Results for instance gb_s2_r2_comp3_REAL.unsat
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pf35.75FAIL
PortfolioGhostQQfunQuAbSQute___pfs5.85FAIL
PortfolioGhostQQfunQuAbSQute___pf26.91FAIL
quabs___caqe-bloqqer18.97UNSAT
QFUN49.31UNSAT
quabs___caqe-hqspre56.5UNSAT
GhostQ_PG___cegar_qcir_2018512.38UNSAT
Cqesto_2018900.02FAIL
Qute_hybrid900.03FAIL
Qute_opt993900.04FAIL
Quabs_2018900.04FAIL
GhostQ_PG___plain_qcir_2018900.08FAIL
Qute_opt617900.08FAIL