Results for instance vis.prodcell^21.E-f4
QBFEVAL'08



Solver Time Result
QuBE6.11.16UNSAT
AQME-1NN3.68UNSAT
Nenofex22.8UNSAT
quantor3.033.71FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL