Results for instance vis.4-arbit^1.E-d4
QBFEVAL'08



Solver Time Result
QuBE6.10.1SAT
ssolveC0.37SAT
ssolve-A0.4SAT
ssolveB0.44SAT
AQME-1NN1.25SAT
quantor3.028.22FAIL
Nenofex482.86FAIL