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



Solver Time Result
QuBE6.10.08SAT
ssolve-A0.14SAT
ssolveC0.14SAT
ssolveB0.17SAT
AQME-1NN1.05SAT
quantor3.042.17SAT
Nenofex378.65FAIL