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



Solver Time Result
preQuel_sKizzo-0.100.01SAT
QUANTOR_2.150.02SAT
yQuaffle0.03SAT
sKizzo-0.10-qck0.03SAT
sKizzo-0.10-std0.04SAT
ncQuBE1.00.05SAT
ncQuBE1.10.06SAT
qSS0.06SAT
Adaptive2clsQ0.07SAT
qZilla0.08SAT
aigqbf_s0.08SAT
aigqbf_sr0.09SAT
AQME-1NN0.53SAT
AQME-C4.50.61SAT
AQME-RIPPER0.68SAT
EBDDRES1.29SAT
squolem600FAIL