Name | additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^24.E.aig |
MD5SUM | e1c6c8f649970fae23ab568189df67f2 |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 38.9671 |
Satisfiable | NO |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
aig-cmusat 2007-05-15 | 460836 | UNSAT | 38.9671 | 38.9985 |
minicirc 2007-05-17 | 461690 | UNSAT | 41.5337 | 41.5558 |
aigsat-wc 2007-05-15 | 460834 | UNSAT | 46.9259 | 46.9428 |
aigsat-sp 2007-05-15 | 460835 | UNSAT | 57.1863 | 57.2249 |
picoaigersat 2007-05-15 | 460833 | UNSAT | 83.9062 | 83.9262 |