|
|
Solver |
|
|
|
|
MiniSat++ |
kw_aig |
NFLSAT |
|
|
(64bit) |
(64bit) |
(64bit) |
|
|
Niklas Sšrensson |
Johan Alfredsson |
Himanshu Jain |
Instance |
SAT / UNSAT |
Sweden |
Sweden |
USA |
(19 SAT, 45 UNSAT, 36 UNKNOWN) |
|
|
|
|
|
139464p0neg.aig.smv.kinduction_bound_20 |
SAT |
10 |
31 |
4 |
139464p23.aig.smv.kinduction_bound_20 |
SAT |
10 |
31 |
4 |
139464p24.aig.smv.kinduction_bound_20 |
SAT |
9 |
30 |
5 |
AProVE07-25 |
UNKNOWN |
--- |
--- |
--- |
AProVE07-27 |
UNKNOWN |
--- |
--- |
--- |
bjrb07amba9andenv |
UNKNOWN |
--- |
--- |
--- |
countbits1024 |
UNKNOWN |
--- |
--- |
--- |
countbits512 |
UNKNOWN |
--- |
--- |
--- |
countbitssrl256 |
UNKNOWN |
--- |
--- |
--- |
cube-11-h14-sat |
UNKNOWN |
--- |
--- |
--- |
cvs_vc81759 |
UNSAT |
52 |
3 |
724 |
cvs_vc81760 |
UNSAT |
52 |
3 |
723 |
dated-10-11-u |
UNSAT |
--- |
--- |
--- |
dated-10-15-u |
UNSAT |
16 |
40 |
38 |
dated-10-17-s |
SAT |
13 |
115 |
13 |
dated-10-17-u |
UNSAT |
--- |
--- |
--- |
dspam_dump_vc1080 |
UNSAT |
2 |
8 |
2 |
dspam_dump_vc1104 |
UNSAT |
7 |
23 |
40 |
dspam_dump_vc950 |
UNSAT |
2 |
8 |
36 |
eijk.S298.S |
UNSAT |
7 |
25 |
5 |
eijk.S713.S.aig_bound_50 |
UNSAT |
11 |
15 |
24 |
eijk.S832.S |
UNSAT |
0 |
0 |
0 |
eijkbs3271 |
UNKNOWN |
--- |
--- |
--- |
eijkbs3330 |
UNKNOWN |
--- |
--- |
--- |
eijkS5378 |
UNSAT |
248 |
216 |
142 |
emptyroom-4-h21-unsat |
UNSAT |
293 |
269 |
371 |
g9x9.sat_opt |
SAT |
0 |
0 |
0 |
ibm20_len44_sat |
SAT |
19 |
22 |
27 |
ibm29_len26_sat |
SAT |
4 |
5 |
9 |
ii8d1.sat_nonopt |
SAT |
--- |
36 |
558 |
intel_004.aig.smv.kinduction_bound_30 |
UNSAT |
0 |
4 |
30 |
intel_016.aig.smv.kinduction_bound_20 |
SAT |
10 |
25 |
4 |
intel_025.aig.smv.kinduction_bound_30 |
SAT |
8 |
25 |
4 |
intel_030.aig.smv.kinduction_bound_20 |
SAT |
52 |
586 |
20 |
intel_033.aig.smv.kinduction_bound_10 |
SAT |
12 |
612 |
3 |
intel_037.aig.smv.kinduction_bound_30 |
SAT |
161 |
--- |
20 |
intel_043.aig_bound_10 |
UNSAT |
3 |
--- |
1 |
intel027 |
UNSAT |
15 |
--- |
6 |
intel030 |
UNSAT |
19 |
--- |
6 |
intel039 |
SAT |
36 |
--- |
34 |
intel042 |
UNSAT |
28 |
--- |
9 |
intel064 |
UNKNOWN |
--- |
--- |
--- |
isqrt |
UNSAT |
200 |
120 |
195 |
lfsr_004_127_128 |
UNSAT |
6 |
80 |
104 |
lfsr_008_015_112 |
UNKNOWN |
--- |
--- |
--- |
lfsr_008_015_128 |
UNKNOWN |
--- |
--- |
--- |
lfsr_008_031_128 |
UNKNOWN |
--- |
--- |
--- |
lfsr_008_063_112 |
UNSAT |
94 |
51 |
346 |
lfsr_008_159_064 |
UNSAT |
20 |
173 |
224 |
lseu.unsat |
UNSAT |
24 |
33 |
39 |
manol-pipe-c7nidw |
UNSAT |
46 |
102 |
--- |
manol-pipe-f10ni |
UNSAT |
654 |
516 |
--- |
maxand256 |
UNKNOWN |
--- |
--- |
--- |
maxxor064 |
UNKNOWN |
--- |
--- |
--- |
maxxor256 |
UNKNOWN |
--- |
--- |
--- |
mizh-sha0-36-2 |
SAT |
83 |
--- |
--- |
mod008.unsat |
UNSAT |
0 |
0 |
0 |
mulhs64 |
UNKNOWN |
--- |
--- |
--- |
neclaftp3002 |
SAT |
126 |
39 |
20 |
nusmvqueue |
UNSAT |
--- |
390 |
252 |
p0548.sat_nonopt |
UNKNOWN |
--- |
--- |
--- |
p0548.undecided |
UNKNOWN |
--- |
--- |
--- |
par8-5-c.sat_opt |
SAT |
0 |
0 |
0 |
par8-5-c.unsat |
UNSAT |
0 |
0 |
0 |
partial-10-11-u |
UNKNOWN |
--- |
--- |
--- |
partial-10-13-s |
UNKNOWN |
--- |
--- |
--- |
partial-10-13-u |
UNKNOWN |
--- |
--- |
--- |
partial-10-17-s |
UNKNOWN |
--- |
--- |
--- |
pdtpmsheap |
UNKNOWN |
--- |
--- |
--- |
pdtpmstimeout |
UNKNOWN |
--- |
--- |
--- |
pdtvisns3p06 |
UNKNOWN |
--- |
--- |
--- |
pdtvisns3p09 |
UNSAT |
129 |
321 |
474 |
pdtvissoap2 |
UNSAT |
266 |
237 |
304 |
pdtvistimeout0 |
UNKNOWN |
--- |
--- |
--- |
problem_12 |
UNKNOWN |
--- |
--- |
--- |
problem_7 |
SAT |
--- |
602 |
790 |
prop08_len17_base |
UNSAT |
0 |
0 |
0 |
s4-4-3-1.unsat |
UNSAT |
0 |
1 |
0 |
seymour.undecided |
UNKNOWN |
--- |
--- |
--- |
simple_processors_006_003_0032 |
UNSAT |
38 |
10 |
205 |
simple_processors_008_004_0032 |
UNSAT |
769 |
36 |
--- |
simple_processors_008_006_0016 |
UNSAT |
858 |
29 |
--- |
simple_processors_008_008_0016 |
UNSAT |
--- |
84 |
--- |
smulov1bw48 |
UNKNOWN |
--- |
--- |
--- |
smulov2bw384 |
UNSAT |
37 |
162 |
--- |
sortnet-8-ipc5-h18-unsat |
UNKNOWN |
--- |
--- |
--- |
ssort14 |
UNKNOWN |
--- |
--- |
--- |
ssort18 |
UNKNOWN |
--- |
--- |
--- |
ssort19 |
UNKNOWN |
--- |
--- |
--- |
ssort6 |
UNSAT |
19 |
40 |
546 |
ssort8 |
UNSAT |
783 |
680 |
--- |
stein27.sat_opt |
SAT |
0 |
0 |
0 |
total-10-11-u |
UNSAT |
30 |
124 |
106 |
umulov1bw160 |
UNSAT |
37 |
52 |
217 |
umulov1bw224 |
UNSAT |
187 |
--- |
--- |
uts-l06-ipc5-h28-unknown |
UNSAT |
11 |
58 |
56 |
vis.prodcell^19.E |
UNSAT |
1 |
5 |
1 |
VS3-benchmark-A10 |
UNKNOWN |
--- |
--- |
--- |
VS3-benchmark-A12 |
UNKNOWN |
--- |
--- |
--- |
Y86_std |
UNSAT |
47 |
104 |
655 |
|
|
|
|
|
#Solved: |
|
58 |
54 |
53 |
#Solved SAT/UNSAT: |
|
17/41 |
16/38 |
18/35 |
|
|
|
|
|
Total time for solved instances (in sec.): |
|
5564 |
6181 |
7396 |
Average time per solved instance (in sec.): |
|
95.93 |
114.47 |
139.55 |
|
|
|
|
|
Rank: |
|
1 |
2 |
3 |