Results for instance sortnetsort8.v.stepl.008
QBFEVAL'07



Solver Time Result
QUANTOR_2.154.37SAT
AQME-1NN4.82SAT
AQME-C4.54.88SAT
AQME-RIPPER4.95SAT
qZilla6.66SAT
Adaptive2clsQ6.72SAT
qSS6.73SAT
preQuel_sKizzo-0.1020.18SAT
sKizzo-0.10-std21.07SAT
sKizzo-0.10-qck33.79SAT
EBDDRES33.93FAIL
squolem600FAIL
aigqbf_s600FAIL
aigqbf_sr600FAIL
ncQuBE1.0600FAIL
ncQuBE1.1600FAIL
yQuaffle600FAIL