Results for instance CM-sat-04-01-06-3
Prenex non-CNF Track



Solver Time Result
Cqesto_20183.8SAT
Quabs_20185.94SAT
QuAbS___quabs-caqe_20195.99SAT
QFUN16.99SAT
GhostQ___cegar_qcir_201925.96SAT
quabs___caqe-hqspre513.92SAT
Qute_default900FAIL
GhostQ___plain_qcir_2019900FAIL