Results for instance sortnetsort9.v.stepl.009
QBFEVAL'07



Solver Time Result
qSS13.81SAT
QUANTOR_2.1515.22SAT
AQME-1NN16.91SAT
AQME-RIPPER17.08SAT
AQME-C4.517.14SAT
Adaptive2clsQ27.24SAT
qZilla31.81SAT
EBDDRES32.97FAIL
sKizzo-0.10-qck39.3SAT
sKizzo-0.10-std114.29SAT
preQuel_sKizzo-0.10117.21SAT
squolem600FAIL
aigqbf_s600FAIL
ncQuBE1.1600FAIL
ncQuBE1.0600FAIL
aigqbf_sr600FAIL
yQuaffle600FAIL