Name | additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^15.E.aig |
MD5SUM | 97df76c677fc52b691b9328a9dcf73ed |
Bench Category | ALL (all instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 10.0875 |
Satisfiable | NO |
(Un)Satisfiability was proved |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
aig-cmusat 2007-05-15 | 461108 | UNSAT | 10.0875 | 10.0986 |
aigsat-wc 2007-05-15 | 461106 | UNSAT | 18.4902 | 18.509 |
minicirc 2007-05-17 | 461758 | UNSAT | 18.8091 | 18.82 |
picoaigersat 2007-05-15 | 461105 | UNSAT | 22.5746 | 22.5796 |
aigsat-sp 2007-05-15 | 461107 | UNSAT | 24.6133 | 24.6311 |