Instance | Result | Time | |
---|---|---|---|
eijk.S208o.S-d4 | SAT | 0 | |
vis.coherence^1.E-d4 | SAT | 3.29 | |
irst.dme4.B-d4 | SAT | 7.59 | |
vis.prodcell^01.E-d4 | SAT | 13.51 | |
irst.dme5.B-d4 | SAT | 20.88 | |
ken.flash^14.C-d4 | FAIL | 1200.14 | |
nusmv.queue.B-d4 | FAIL | 1200.15 | |
eijk.S1238.S-d3 | FAIL | 1200.16 | |
eijk.S1423.S-d4 | FAIL | 1200.16 | |
nusmv.reactor^2.C-d4 | FAIL | 1200.16 | |
nusmv.dme1-16.B-d4 | FAIL | 1200.16 | |
nusmv.reactor^1.C-d4 | FAIL | 1200.17 | |
cmu.periodic.N-d4 | FAIL | 1200.17 | |
cmu.periodic.N-d2 | FAIL | 1200.18 |