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