| Name | additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S832.S.aig |
| MD5SUM | 25af7467b2dca7fdadbc2b02b5d7565d |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1.71174 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 461000 | UNSAT | 1.71174 | 1.71765 |
| picoaigersat 2007-05-15 | 460997 | UNSAT | 1.78173 | 1.79146 |
| minicirc 2007-05-17 | 461731 | UNSAT | 2.18067 | 2.18067 |
| aigsat-wc 2007-05-15 | 460998 | UNSAT | 2.86456 | 2.86844 |
| aigsat-sp 2007-05-15 | 460999 | UNSAT | 4.25935 | 4.2612 |