| Name | additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S298.S.aig |
| MD5SUM | 61a23421edd3b2308f762ab7b09f84a2 |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 21.1028 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| aigsat-wc 2007-05-15 | 460890 | UNSAT | 21.1028 | 21.1289 |
| aigsat-sp 2007-05-15 | 460891 | UNSAT | 22.5136 | 22.5147 |
| minicirc 2007-05-17 | 461704 | UNSAT | 42.2046 | 42.2254 |
| aig-cmusat 2007-05-15 | 460892 | UNSAT | 61.3977 | 61.4331 |
| picoaigersat 2007-05-15 | 460889 | UNSAT | 102.461 | 102.486 |