Results for instance query49_query58_1344
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pf35.81FAIL
PortfolioGhostQQfunQuAbSQute___pfs5.82FAIL
PortfolioGhostQQfunQuAbSQute___pf26.9FAIL
quabs___caqe-bloqqer284.27UNSAT
Cqesto_2018900.01FAIL
GhostQ_PG___cegar_qcir_2018900.01FAIL
QFUN900.01FAIL
quabs___caqe-hqspre900.02FAIL
Quabs_2018900.02FAIL
Qute_hybrid900.06FAIL
GhostQ_PG___plain_qcir_2018900.07FAIL
Qute_opt617900.07FAIL
Qute_opt993900.09FAIL