Results for instance c6_BMC_p2_k2
QBFEVAL'07



Solver Time Result
preQuel_sKizzo-0.100.04SAT
QUANTOR_2.150.04UNSAT
qZilla0.05UNSAT
yQuaffle0.06UNSAT
sKizzo-0.10-std0.07UNSAT
sKizzo-0.10-qck0.07UNSAT
Adaptive2clsQ0.08UNSAT
ncQuBE1.10.11UNSAT
ncQuBE1.00.11UNSAT
qSS0.24UNSAT
AQME-1NN0.6UNSAT
AQME-C4.50.67UNSAT
AQME-RIPPER0.74UNSAT
aigqbf_sr2.8UNSAT
aigqbf_s2.82UNSAT
EBDDRES25.13FAIL
squolem600FAIL