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



Solver Time Result
AQME-1NN3.58SAT
AQME-C4.53.63SAT
AQME-RIPPER3.69SAT
QUANTOR_2.154.54SAT
Adaptive2clsQ5.62SAT
qZilla5.64SAT
qSS5.65SAT
preQuel_sKizzo-0.1021.21SAT
sKizzo-0.10-std21.81SAT
sKizzo-0.10-qck33.77SAT
EBDDRES33.84FAIL
aigqbf_s430.11FAIL
aigqbf_sr600FAIL
ncQuBE1.0600FAIL
ncQuBE1.1600FAIL
squolem600FAIL
yQuaffle600FAIL