SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameadditional-aig/ibm/
ibm20_len43_unsat.aig
MD5SUM8cc2e1bed02bc4de6d09fe1713983ce2
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark167.696
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picoaigersat 2007-05-15461213UNSAT 167.696 167.778
minicirc 2007-05-17461785UNSAT 171.625 171.723
aig-cmusat 2007-05-15461216UNSAT 718.169 718.425
aigsat-sp 2007-05-15461215UNSAT 954.517 954.769
aigsat-wc 2007-05-15461214? (TO) 1200.11 1200.45