Results for instance load_3c_comp_comp7_REAL.unsat
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
qfun0.15.21UNSAT
ghostq-cegar41.68UNSAT
Qute_hybrid877.15FAIL
ghostq-plain900FAIL
cqesto900FAIL
QuAbS_2017900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL