Results for instance stmt1_811_812
QBFEVAL'08



Solver Time Result
ssolveC0.05SAT
QuBE6.10.07SAT
ssolve-A0.19SAT
ssolveB0.2SAT
AQME-1NN0.89SAT
quantor3.0128.26FAIL
Nenofex542.45SAT