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



Solver Time Result
yQuaffle2.71SAT
ncQuBE1.05.19SAT
ncQuBE1.110.51SAT
AQME-1NN12.7SAT
AQME-RIPPER12.76SAT
AQME-C4.512.82SAT
EBDDRES22.68FAIL
QUANTOR_2.1530.19FAIL
qZilla34.19SAT
Adaptive2clsQ85.26SAT
aigqbf_s149.12FAIL
squolem600FAIL
qSS600FAIL
preQuel_sKizzo-0.10600FAIL
sKizzo-0.10-qck600FAIL
sKizzo-0.10-std600FAIL
aigqbf_sr600FAIL