Results for instance BLOCKS4i.6.4
QBFEVAL'07



Solver Time Result
qSS0.79UNSAT
sKizzo-0.10-qck4.34UNSAT
AQME-1NN5.22UNSAT
AQME-C4.55.26UNSAT
AQME-RIPPER5.3UNSAT
preQuel_sKizzo-0.1013.09UNSAT
sKizzo-0.10-std13.91UNSAT
qZilla15.21UNSAT
Adaptive2clsQ17.29UNSAT
QUANTOR_2.1523.83UNSAT
EBDDRES30.61FAIL
aigqbf_s193.09FAIL
aigqbf_sr600FAIL
ncQuBE1.0600FAIL
ncQuBE1.1600FAIL
squolem600FAIL
yQuaffle600FAIL