SAT 2007 Competition AIG special track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Nameadditional-aig/ibm/
ibm20_len44_sat.aig
MD5SUM29697a78954f3165922a83c0d9cb5fa2
Bench CategoryALL (all instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.3618
SatisfiableYES
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minicirc 2007-05-17461793SAT 27.3618 27.3842
picoaigersat 2007-05-15461245SAT 80.2718 80.2971
aig-cmusat 2007-05-15461248SAT 132.412 132.49
aigsat-sp 2007-05-15461247SAT 666.564 666.801
aigsat-wc 2007-05-15461246SAT 878.62 878.882