| Name | additional-aig/minisat+/ mod008.unsat.aig |
| MD5SUM | a1a2c38de84266729a6e19668f177147 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.094985 |
| Satisfiable | YES |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 461520 | SAT | 0.094985 | 0.09602 |
| picoaigersat 2007-05-15 | 461517 | SAT | 0.095984 | 0.093635 |
| aigsat-sp 2007-05-15 | 461519 | SAT | 0.200968 | 0.201216 |
| aigsat-wc 2007-05-15 | 461518 | SAT | 0.212967 | 0.213846 |
| minicirc 2007-05-17 | 461861 | SAT | 0.71589 | 0.714992 |