Results for instance sortnetsort8.v.stepl.004
QBFEVAL'07



Solver Time Result
QUANTOR_2.152UNSAT
AQME-1NN2.86UNSAT
AQME-C4.52.9UNSAT
AQME-RIPPER3UNSAT
Adaptive2clsQ3.78UNSAT
qSS3.78UNSAT
qZilla3.8UNSAT
sKizzo-0.10-std19.1UNSAT
preQuel_sKizzo-0.1019.36UNSAT
EBDDRES33.87FAIL
sKizzo-0.10-qck40.09UNSAT
aigqbf_s105.79FAIL
squolem600FAIL
ncQuBE1.1600FAIL
ncQuBE1.0600FAIL
aigqbf_sr600FAIL
yQuaffle600FAIL