Results for instance sortnetsort9.v.stepl.007
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
qfun0.126.97SAT
Qute_hybrid878.91FAIL
ghostq-cegar900FAIL
ghostq-plain900FAIL
cqesto900FAIL
QuAbS_2017900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL