| Name | additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S953.S.aig |
| MD5SUM | c2a0b904ced171e699a2ed8a40675cee |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.6549 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aig-cmusat 2007-05-15 | 461064 | UNSAT | 0.6549 | 0.657322 |
| picoaigersat 2007-05-15 | 461061 | UNSAT | 0.711891 | 0.707993 |
| aigsat-wc 2007-05-15 | 461062 | UNSAT | 0.841871 | 0.844054 |
| aigsat-sp 2007-05-15 | 461063 | UNSAT | 1.13883 | 1.14121 |
| minicirc 2007-05-17 | 461747 | UNSAT | 1.19082 | 1.19085 |