| Name | additional-aig/minisat+/ stein45.sat_opt.aig |
| MD5SUM | 7ffe1b44637def179fc494c59046ae53 |
| 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.086986 |
| Satisfiable | YES |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 461460 | SAT | 0.086986 | 0.087645 |
| minicirc 2007-05-17 | 461846 | SAT | 0.208967 | 0.207946 |
| picoaigersat 2007-05-15 | 461457 | SAT | 0.326949 | 0.324873 |
| aigsat-wc 2007-05-15 | 461458 | SAT | 1.27081 | 1.27205 |
| aigsat-sp 2007-05-15 | 461459 | SAT | 2.37064 | 2.37163 |