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



Solver Time Result
qfun0.1111.07UNSAT
Qute_hybrid876.73FAIL
ghostq-cegar900FAIL
ghostq-plain900FAIL
cqesto900FAIL
QuAbS_2017900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL