| Name | additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.guidance^7.C.aig |
| MD5SUM | 8ebedcdf1a8f6c3200c9370d57fabdbe |
| Bench Category | ALL (all instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 17.2384 |
| Satisfiable | NO |
| (Un)Satisfiability was proved |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| minicirc 2007-05-17 | 461740 | UNSAT | 17.2384 | 17.2396 |
| picoaigersat 2007-05-15 | 461033 | UNSAT | 17.4223 | 17.4279 |
| aig-cmusat 2007-05-15 | 461036 | UNSAT | 29.2346 | 29.2558 |
| aigsat-wc 2007-05-15 | 461034 | UNSAT | 90.4702 | 90.54 |
| aigsat-sp 2007-05-15 | 461035 | UNSAT | 117.482 | 117.517 |