QBF Solver Evaluation Portal
qbflib.orgInstances of family tipdiam solved by nenofex-qbfeval10
QBFEVAL'10 - Competitive Track.
| Instance | Result | Time | |
|---|---|---|---|
| eijk.S208o.S-d4 | SAT | 0.11 | |
| cmu.periodic.N-d2 | SAT | 19.3 | |
| eijk.S1238.S-d3 | FAIL | 214.32 | |
| vis.prodcell^01.E-d4 | FAIL | 246.86 | |
| vis.coherence^1.E-d4 | FAIL | 257.71 | |
| eijk.S1423.S-d4 | FAIL | 263.65 | |
| nusmv.dme1-16.B-d4 | FAIL | 435.07 | |
| cmu.periodic.N-d4 | FAIL | 465.76 | |
| nusmv.reactor^1.C-d4 | FAIL | 477.97 | |
| nusmv.queue.B-d4 | FAIL | 487.19 | |
| irst.dme4.B-d4 | FAIL | 527.56 | |
| ken.flash^14.C-d4 | FAIL | 611.83 | |
| nusmv.reactor^2.C-d4 | FAIL | 692.85 | |
| irst.dme5.B-d4 | FAIL | 706.22 |