Results for instance k_d4_n-21
QBFEVAL'07



Solver Time Result
preQuel_sKizzo-0.102.94SAT
sKizzo-0.10-qck6.41SAT
QUANTOR_2.1510.53FAIL
sKizzo-0.10-std17.55SAT
AQME-1NN18.71SAT
qSS18.76SAT
AQME-C4.518.8SAT
AQME-RIPPER18.88SAT
EBDDRES23.72FAIL
qZilla55.26SAT
aigqbf_s91.61SAT
squolem176.12SAT
aigqbf_sr223.28SAT
ncQuBE1.0325.28FAIL
Adaptive2clsQ600FAIL
ncQuBE1.1600FAIL
yQuaffle600FAIL