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



Solver Time Result
QuBE6.10.65UNSAT
Nenofex14.83UNSAT
quantor3.029.29FAIL
AQME-1NN88.63UNSAT
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL