Results for instance c4_Debug_s5_f2_e1_v1
QBFEVAL'07



Solver Time Result
Adaptive2clsQ59.1SAT
QUANTOR_2.15106.96SAT
AQME-1NN229.67SAT
sKizzo-0.10-qck269.71SAT
qZilla307.31SAT
preQuel_sKizzo-0.10353.09SAT
sKizzo-0.10-std390.43SAT
AQME-C4.5400.36SAT
AQME-RIPPER600FAIL
ncQuBE1.1600FAIL
ncQuBE1.0600FAIL
EBDDRES600FAIL
qSS600FAIL
squolem600FAIL
aigqbf_s600FAIL
aigqbf_sr600FAIL
yQuaffle600FAIL