Results for instance c3_BMC_p1_k256
QBFEVAL'07



Solver Time Result
Adaptive2clsQ6.78SAT
qZilla6.79SAT
QUANTOR_2.1525.43SAT
EBDDRES27.73FAIL
sKizzo-0.10-qck138.67SAT
sKizzo-0.10-std146.92SAT
qSS229.37FAIL
AQME-C4.5283.4SAT
AQME-1NN283.5SAT
aigqbf_s297.49FAIL
aigqbf_sr297.89FAIL
AQME-RIPPER366.84FAIL
preQuel_sKizzo-0.10600FAIL
ncQuBE1.0600FAIL
ncQuBE1.1600FAIL
squolem600FAIL
yQuaffle600FAIL