Results for instance texas.ifetch1^3.E-d3
QBFEVAL'08



Solver Time Result
ssolveC0.01SAT
quantor3.00.01SAT
ssolveB0.01SAT
ssolve-A0.02SAT
QuBE6.10.04SAT
Nenofex0.25SAT
AQME-1NN0.94SAT