Results for instance sortnetsort9.AE.stepl.004
QBFEVAL'07



Solver Time Result
AQME-C4.516.32SAT
AQME-RIPPER16.39SAT
AQME-1NN16.39SAT
yQuaffle16.4SAT
QUANTOR_2.1527.73FAIL
EBDDRES30.49FAIL
ncQuBE1.131.21SAT
qSS222.03FAIL
qZilla241.3SAT
Adaptive2clsQ281.32SAT
ncQuBE1.0351.2SAT
aigqbf_s600FAIL
preQuel_sKizzo-0.10600FAIL
sKizzo-0.10-qck600FAIL
squolem600FAIL
sKizzo-0.10-std600FAIL
aigqbf_sr600FAIL