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



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pfs5.71FAIL
PortfolioGhostQQfunQuAbSQute___pf35.78FAIL
PortfolioGhostQQfunQuAbSQute___pf27.13FAIL
quabs___caqe-bloqqer900.01FAIL
Quabs_2018900.01FAIL
GhostQ_PG___plain_qcir_2018900.01FAIL
Cqesto_2018900.02FAIL
quabs___caqe-hqspre900.02FAIL
GhostQ_PG___cegar_qcir_2018900.04FAIL
Qute_hybrid900.05FAIL
Qute_opt993900.09FAIL
Qute_opt617900.09FAIL
QFUN900.1FAIL