Results for instance DWs-sat-12-28-1
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Cqesto_20189.38SAT
PortfolioGhostQQfunQuAbSQute___pfs19.33SAT
PortfolioGhostQQfunQuAbSQute___pf319.58SAT
PortfolioGhostQQfunQuAbSQute___pf220.6SAT
Quabs_2018364.1SAT
GhostQ_PG___plain_qcir_2018463.11SAT
quabs___caqe-bloqqer900FAIL
Qute_opt993900.02FAIL
QFUN900.02FAIL
Qute_hybrid900.03FAIL
GhostQ_PG___cegar_qcir_2018900.05FAIL
Qute_opt617900.06FAIL
quabs___caqe-hqspre900.06FAIL