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



Solver Time Result
ncQuBE1.11.79SAT
ncQuBE1.02.1SAT
AQME-1NN2.9SAT
EBDDRES25.45FAIL
QUANTOR_2.1544.35FAIL
AQME-RIPPER163.24SAT
AQME-C4.5163.29SAT
sKizzo-0.10-qck347.75SAT
qSS600FAIL
Adaptive2clsQ600FAIL
qZilla600FAIL
preQuel_sKizzo-0.10600FAIL
sKizzo-0.10-std600FAIL
aigqbf_sr600FAIL
aigqbf_s600FAIL
squolem600FAIL
yQuaffle600FAIL