Name | industrial-aig/ narain/clauses-4.aig |
MD5SUM | 32af416c798c65b7cda5b01939480d0b |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 68.5376 |
Satisfiable | YES |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
aig-cmusat 2007-05-15 | 460652 | SAT | 68.5376 | 68.5893 |
aigsat-wc 2007-05-15 | 460650 | SAT | 86.9818 | 87.0073 |
picoaigersat 2007-05-15 | 460649 | SAT | 97.6961 | 97.7659 |
aigsat-sp 2007-05-15 | 460651 | SAT | 192.438 | 192.499 |
minicirc 2007-05-17 | 461644 | ? (problem) | 23.5384 | 23.5518 |