Results for instance JP-unsat-02-06-3
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Cqesto_20182.39UNSAT
Quabs_20183.68UNSAT
PortfolioGhostQQfunQuAbSQute___pf38.06UNSAT
PortfolioGhostQQfunQuAbSQute___pfs8.12UNSAT
quabs___caqe-hqspre8.57UNSAT
PortfolioGhostQQfunQuAbSQute___pf29.19UNSAT
GhostQ_PG___cegar_qcir_201814.86UNSAT
QFUN24.94UNSAT
Qute_hybrid900.01FAIL
quabs___caqe-bloqqer900.02FAIL
Qute_opt993900.05FAIL
GhostQ_PG___plain_qcir_2018900.06FAIL
Qute_opt617900.06FAIL