Results for instance eijk.S208c.S-d4
QBFEVAL'07



Solver Time Result
QUANTOR_2.150.01SAT
sKizzo-0.10-std0.01SAT
sKizzo-0.10-qck0.02SAT
yQuaffle0.03SAT
EBDDRES0.03SAT
aigqbf_s0.03SAT
aigqbf_sr0.04SAT
qSS0.04SAT
qZilla0.04SAT
ncQuBE1.00.05SAT
ncQuBE1.10.06SAT
Adaptive2clsQ0.06SAT
squolem0.16SAT
AQME-1NN0.53SAT
AQME-C4.50.62SAT
AQME-RIPPER0.66SAT
preQuel_sKizzo-0.10600FAIL