Results for instance sortnetsort5.AE.stepl.005
QBFEVAL'07



Solver Time Result
yQuaffle0.16UNSAT
ncQuBE1.10.2UNSAT
ncQuBE1.00.21UNSAT
AQME-1NN0.71UNSAT
AQME-C4.50.77UNSAT
AQME-RIPPER0.86UNSAT
qZilla16.37UNSAT
EBDDRES24.45FAIL
QUANTOR_2.1540.87FAIL
Adaptive2clsQ71.8UNSAT
preQuel_sKizzo-0.10390.14FAIL
sKizzo-0.10-qck399.64FAIL
sKizzo-0.10-std400.08FAIL
squolem600FAIL
qSS600FAIL
aigqbf_s600FAIL
aigqbf_sr600FAIL