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



Solver Time Result
qfun0.1106.98SAT
QuAbS_2017137.88SAT
Qute_hybrid876.97FAIL
ghostq-plain896.91FAIL
ghostq-cegar896.96FAIL
cqesto900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL