SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
industrial-aig/anbulagan/
medium-sat/total-10-17-s.aig

Jump to solvers results

General information on the benchmark

Nameindustrial-aig/anbulagan/
medium-sat/total-10-17-s.aig
MD5SUM93f2fd5495cadcaf6bab39c71fb5adb6
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark84.9911
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15460232SAT 84.9911 85.117
picoaigersat 2007-05-15460229SAT 176.451 176.502
aigsat-sp 2007-05-15460231? (MO) 44.5202 44.5704
aigsat-wc 2007-05-15460230? (MO) 54.3317 54.3609
minicirc 2007-05-17461539? (TO) 1200.1 1200.91