Results for instance c3_Debug_s3_f2_e2_v2
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
Qute_hybrid876.36FAIL
qfun0.1882.61FAIL
ghostq-cegar889.42FAIL
ghostq-plain889.61FAIL
cqesto900FAIL
QuAbS_2017900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL