Results for instance vis.prodcell^07.E-f2
QBFEVAL'08



Solver Time Result
quantor3.034.67FAIL
QuBE6.1100.52SAT
AQME-1NN560.7FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
Nenofex600FAIL