Results for instance stmt17_78_98
QBFEVAL'08



Solver Time Result
quantor3.039.4FAIL
Nenofex247.6FAIL
AQME-1NN483.44FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
QuBE6.1600FAIL