Results for instance adder-6-sat
QBFEVAL'07



Solver Time Result
EBDDRES0.86SAT
sKizzo-0.10-qck2.43SAT
sKizzo-0.10-std5.84SAT
AQME-1NN6.46SAT
preQuel_sKizzo-0.106.56SAT
AQME-RIPPER6.58SAT
AQME-C4.56.68SAT
Adaptive2clsQ37.73SAT
QUANTOR_2.1539SAT
aigqbf_s52.98SAT
aigqbf_sr82.31SAT
qSS367.36SAT
qZilla430.42SAT
ncQuBE1.0600FAIL
ncQuBE1.1600FAIL
squolem600FAIL
yQuaffle600FAIL