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



Solver Time Result
QuBE6.10.11SAT
ssolveC0.39SAT
ssolve-A0.66SAT
ssolveB0.91SAT
AQME-1NN1.38SAT
quantor3.0304.65SAT
Nenofex600FAIL