Results for instance vis.elevator^1.E-d3
QBFEVAL'08



Solver Time Result
QuBE6.10.18SAT
AQME-1NN2.88SAT
quantor3.030.05FAIL
Nenofex473.27FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL