SAT 2007 Competition AIG special track: solvers results per benchmarks

Result page for benchmark
additional-aig/tip-k-ind-aigs-o1234g/
O1/vis.prodcell^15.E.aig

Jump to solvers results

General information on the benchmark

Nameadditional-aig/tip-k-ind-aigs-o1234g/
O1/vis.prodcell^15.E.aig
MD5SUM97df76c677fc52b691b9328a9dcf73ed
Bench CategoryALL (all instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10.0875
SatisfiableNO
(Un)Satisfiability was proved

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
aig-cmusat 2007-05-15461108UNSAT 10.0875 10.0986
aigsat-wc 2007-05-15461106UNSAT 18.4902 18.509
minicirc 2007-05-17461758UNSAT 18.8091 18.82
picoaigersat 2007-05-15461105UNSAT 22.5746 22.5796
aigsat-sp 2007-05-15461107UNSAT 24.6133 24.6311