Results for instance DW-sat-08-22-1
Prenex non-CNF Track



Solver Time Result
QuAbS___quabs-caqe_20196.98SAT
Quabs_20187.08SAT
Cqesto_201816.79SAT
GhostQ___cegar_qcir_201983.49SAT
GhostQ___plain_qcir_2019102.2SAT
QFUN121.58SAT
quabs___caqe-hqspre490.95SAT
Qute_default900FAIL