Results for instance JP-sat-03-08-4
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Quabs_2018900.01FAIL
PortfolioGhostQQfunQuAbSQute___pfs900.01FAIL
quabs___caqe-bloqqer900.02FAIL
Cqesto_2018900.02FAIL
GhostQ_PG___cegar_qcir_2018900.02FAIL
GhostQ_PG___plain_qcir_2018900.02FAIL
Qute_hybrid900.03FAIL
QFUN900.05FAIL
Qute_opt993900.06FAIL
Qute_opt617900.06FAIL
PortfolioGhostQQfunQuAbSQute___pf3900.09FAIL
quabs___caqe-hqspre900.09FAIL
PortfolioGhostQQfunQuAbSQute___pf2900.09FAIL