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



Solver Time Result
QuAbS___quabs-caqe_20191.53SAT
Quabs_20181.55SAT
Qute_default3.88SAT
PortfolioGhostQQfunQuAbSQute___pf25.16SAT
PortfolioGhostQQfunQuAbSQute___pfs5.92FAIL
PortfolioGhostQQfunQuAbSQute___pf36.37SAT
GhostQ___cegar_qcir_201913.98SAT
quabs___caqe-hqspre25.22SAT
GhostQ___plain_qcir_2019113.37SAT