Results for instance c2_BMC_p1_k2048
QBFEVAL'07



Solver Time Result
preQuel_sKizzo-0.105.35FAIL
ncQuBE1.17.82FAIL
ncQuBE1.07.85FAIL
QUANTOR_2.1527.69FAIL
EBDDRES38.35FAIL
sKizzo-0.10-qck50.09FAIL
sKizzo-0.10-std55.42FAIL
qSS57.52FAIL
Adaptive2clsQ71.08FAIL
qZilla71.23FAIL
AQME-1NN236.77FAIL
aigqbf_sr600FAIL
aigqbf_s600FAIL
squolem600FAIL
AQME-RIPPER600FAIL
AQME-C4.5600FAIL
yQuaffle600FAIL