Results for instance JP-sat-02-08-3
Prenex non-CNF Track



Solver Time Result
Cqesto_20180.82SAT
QuAbS___quabs-caqe_20191.53SAT
Quabs_20181.57SAT
Qute_default3.78SAT
QFUN7.29SAT
GhostQ___cegar_qcir_201913.96SAT
quabs___caqe-hqspre25.33SAT
GhostQ___plain_qcir_2019112.81SAT