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



Solver Time Result
qZilla1.14SAT
Adaptive2clsQ1.14SAT
qSS1.17SAT
QUANTOR_2.151.57SAT
AQME-1NN1.91SAT
AQME-C4.51.98SAT
AQME-RIPPER2.08SAT
sKizzo-0.10-qck5.14SAT
preQuel_sKizzo-0.1018.73SAT
EBDDRES30.39FAIL
sKizzo-0.10-std109.71SAT
squolem600FAIL
ncQuBE1.0600FAIL
ncQuBE1.1600FAIL
aigqbf_s600FAIL
aigqbf_sr600FAIL
yQuaffle600FAIL