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



Solver Time Result
QuBE6.11.12UNSAT
AQME-1NN4.52UNSAT
quantor3.032.89FAIL
Nenofex522.43FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL