Results for instance eijk.S208o.S-d3
QBFEVAL'07



Solver Time Result
QUANTOR_2.150.01SAT
squolem0.01SAT
EBDDRES0.01SAT
aigqbf_sr0.02SAT
sKizzo-0.10-qck0.02SAT
preQuel_sKizzo-0.100.02SAT
sKizzo-0.10-std0.02SAT
aigqbf_s0.02SAT
yQuaffle0.03SAT
Adaptive2clsQ0.04SAT
qSS0.04SAT
qZilla0.04SAT
ncQuBE1.00.05SAT
ncQuBE1.10.05SAT
AQME-1NN1.45SAT
AQME-C4.51.53SAT
AQME-RIPPER1.59SAT