Results for instance C499.blif_0.10_1.00_0_1_out_exact
QBFEVAL'08



Solver Time Result
quantor3.00.02SAT
ssolveC0.05SAT
ssolve-A0.05SAT
ssolveB0.05SAT
Nenofex0.1SAT
QuBE6.10.13SAT
AQME-1NN1.12SAT