Results for instance sortnetsort10.v.stepl.010
QBFEVAL'07



Solver Time Result
EBDDRES33.32FAIL
QUANTOR_2.1539.96SAT
Adaptive2clsQ54.4SAT
qZilla54.42SAT
qSS65.16SAT
AQME-1NN253.94SAT
AQME-C4.5254.09SAT
AQME-RIPPER254.31SAT
sKizzo-0.10-qck600FAIL
ncQuBE1.1600FAIL
ncQuBE1.0600FAIL
squolem600FAIL
aigqbf_s600FAIL
aigqbf_sr600FAIL
sKizzo-0.10-std600FAIL
preQuel_sKizzo-0.10600FAIL
yQuaffle600FAIL