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



Solver Time Result
quantor3.00.02SAT
ssolve-A0.04SAT
ssolveC0.04SAT
QuBE6.10.05SAT
ssolveB0.06SAT
AQME-1NN0.98SAT
Nenofex1.6SAT