QBF Solver Evaluation Portal
qbflib.orgInstances of family tipdiam solved by sKizzo-0.9-abs
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| cmu.dme1.B-d2 | SAT | 0 | |
| texas.parsesys^1.E-d2 | SAT | 0 | |
| vis.bakery.E-d2 | SAT | 0 | |
| eijk.S208c.S-d2 | SAT | 0.01 | |
| eijk.S444.S-d2 | SAT | 0.01 | |
| eijk.S208o.S-d2 | SAT | 0.01 | |
| cmu.dme2.B-d2 | SAT | 0.01 | |
| eijk.S298.S-d2 | SAT | 0.01 | |
| vis.coherence^1.E-d2 | SAT | 0.01 | |
| eijk.S382.S-d2 | SAT | 0.01 | |
| vis.eisenberg.E-d2 | SAT | 0.01 | |
| eijk.S386.S-d2 | SAT | 0.02 | |
| eijk.S526.S-d2 | SAT | 0.02 | |
| eijk.S208.S-d2 | SAT | 0.02 | |
| eijk.S953.S-d2 | SAT | 0.02 | |
| vis.emodel.E-d2 | SAT | 0.82 | |
| vis.4-arbit^1.E-d2 | SAT | 8.5 | |
| irst.dme4.B-d2 | SAT | 9.11 | |
| eijk.S344.S-d2 | SAT | 9.39 | |
| eijk.S349.S-d2 | SAT | 11.54 | |
| irst.dme6.B-d2 | SAT | 26.25 | |
| nusmv.dme2-16.B-d2 | SAT | 35.59 | |
| eijk.bs1512.S-d2 | SAT | 60.92 | |
| eijk.S832.S-d2 | SAT | 76.09 | |
| eijk.S1196.S-d2 | SAT | 80.59 | |
| eijk.S820.S-d2 | SAT | 114.72 | |
| irst.dme5.B-d2 | SAT | 221.7 | |
| eijk.S1423.S-d2 | SAT | 248.5 | |
| eijk.S1238.S-d2 | SAT | 301.6 | |
| nusmv.dme1-16.B-d2 | SAT | 2297.21 |