Results for instance stmt19_83_217
QBFEVAL'08



Solver Time Result
QuBE6.10.18UNSAT
AQME-1NN5.99UNSAT
quantor3.058.54FAIL
Nenofex161.53FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL