Results for instance k_t4p_p-12
QBFEVAL'07



Solver Time Result
sKizzo-0.10-qck0.15UNSAT
sKizzo-0.10-std0.16UNSAT
qSS0.22UNSAT
preQuel_sKizzo-0.100.36UNSAT
AQME-1NN0.59UNSAT
AQME-C4.50.65UNSAT
AQME-RIPPER0.7UNSAT
EBDDRES0.93UNSAT
squolem1.99UNSAT
QUANTOR_2.1512.49FAIL
aigqbf_s16.03UNSAT
aigqbf_sr37.69UNSAT
qZilla126.85UNSAT
ncQuBE1.0387.44FAIL
ncQuBE1.1600FAIL
Adaptive2clsQ600FAIL
yQuaffle600FAIL