Results for instance vis.coherence^1.E-d4
QBFEVAL'08



Solver Time Result
QuBE6.10.64SAT
AQME-1NN3.4SAT
ssolveC24.47SAT
quantor3.029.42FAIL
ssolve-A52.99SAT
ssolveB76.59SAT
Nenofex552.78FAIL