Results for instance cube_c5_ser--opt-15_
QBFEVAL'07



Solver Time Result
QUANTOR_2.154.54SAT
yQuaffle6.09SAT
aigqbf_s9.43SAT
qZilla11.15SAT
sKizzo-0.10-std19.95SAT
EBDDRES37.14FAIL
Adaptive2clsQ61.38SAT
preQuel_sKizzo-0.10123.95SAT
AQME-1NN154.55SAT
AQME-C4.5154.62SAT
AQME-RIPPER154.71SAT
sKizzo-0.10-qck389.07SAT
ncQuBE1.1600FAIL
ncQuBE1.0600FAIL
qSS600FAIL
squolem600FAIL
aigqbf_sr600FAIL