Results for instance klieber2017q-076-19-eq
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pfs5.82FAIL
PortfolioGhostQQfunQuAbSQute___pf35.84FAIL
PortfolioGhostQQfunQuAbSQute___pf27.01FAIL
GhostQ___cegar_qcir_20197.38SAT
Quabs_201875.2SAT
QuAbS___quabs-caqe_201976.09SAT
quabs___caqe-hqspre462.36SAT
Qute_default900.04FAIL
GhostQ___plain_qcir_2019900.04FAIL