SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
additional-aig/ibm/
ibm23_len36_sat.aig

Jump to solvers results

General information on the benchmark

Nameadditional-aig/ibm/
ibm23_len36_sat.aig
MD5SUM625c2b5530076f14ead382d43857e730
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark142.725
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minicirc 2007-05-17461786SAT 142.725 142.821
picoaigersat 2007-05-15461217SAT 274.41 274.503
aig-cmusat 2007-05-15461220SAT 298.742 298.834
aigsat-wc 2007-05-15461218SAT 671.039 671.558
aigsat-sp 2007-05-15461219? (TO) 1200.1 1200.84