Name | additional-aig/ibm/ ibm20_len43_unsat.aig |
MD5SUM | 8cc2e1bed02bc4de6d09fe1713983ce2 |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 167.696 |
Satisfiable | NO |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
picoaigersat 2007-05-15 | 461213 | UNSAT | 167.696 | 167.778 |
minicirc 2007-05-17 | 461785 | UNSAT | 171.625 | 171.723 |
aig-cmusat 2007-05-15 | 461216 | UNSAT | 718.169 | 718.425 |
aigsat-sp 2007-05-15 | 461215 | UNSAT | 954.517 | 954.769 |
aigsat-wc 2007-05-15 | 461214 | ? (TO) | 1200.11 | 1200.45 |