Results for instance vis.prodcell^01.E-d4
QBFEVAL'08



Solver Time Result
QuBE6.10.42SAT
ssolveC0.76SAT
ssolve-A1.38SAT
ssolveB2.04SAT
AQME-1NN3.28SAT
quantor3.047.03FAIL
Nenofex364.96FAIL