Results for instance c5_BMC_p1_k32
QBFEVAL'07



Solver Time Result
sKizzo-0.10-std3.3SAT
sKizzo-0.10-qck3.33SAT
qZilla3.65SAT
Adaptive2clsQ3.72SAT
QUANTOR_2.153.76SAT
AQME-1NN5.23SAT
AQME-RIPPER5.36SAT
AQME-C4.55.78SAT
EBDDRES36.53FAIL
ncQuBE1.1600FAIL
ncQuBE1.0600FAIL
aigqbf_sr600FAIL
qSS600FAIL
squolem600FAIL
aigqbf_s600FAIL
preQuel_sKizzo-0.10600FAIL
yQuaffle600FAIL