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



Solver Time Result
AQME-1NN15.83SAT
AQME-C4.515.87SAT
AQME-RIPPER15.93SAT
QUANTOR_2.1521.53SAT
EBDDRES33.08FAIL
sKizzo-0.10-qck38.58SAT
sKizzo-0.10-std111.4SAT
preQuel_sKizzo-0.10113.06SAT
qSS208.11SAT
qZilla292.72SAT
Adaptive2clsQ600FAIL
aigqbf_sr600FAIL
ncQuBE1.0600FAIL
ncQuBE1.1600FAIL
aigqbf_s600FAIL
squolem600FAIL
yQuaffle600FAIL