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



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pfs5.74FAIL
PortfolioGhostQQfunQuAbSQute___pf26.94FAIL
quabs___caqe-hqspre900.03FAIL
Qute_opt993900.04FAIL
Qute_hybrid900.05FAIL
GhostQ_PG___plain_qcir_2018900.07FAIL
GhostQ_PG___cegar_qcir_2018900.07FAIL
Cqesto_2018900.07FAIL
Qute_opt617900.07FAIL
PortfolioGhostQQfunQuAbSQute___pf3900.09FAIL
QFUN900.09FAIL
quabs___caqe-bloqqer900.09FAIL
Quabs_2018900.12FAIL