Results for instance CM-sat-07-01-06-3
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Cqesto_201851.1SAT
GhostQ_PG___cegar_qcir_2018160.7SAT
PortfolioGhostQQfunQuAbSQute___pfs213SAT
PortfolioGhostQQfunQuAbSQute___pf2213.87SAT
PortfolioGhostQQfunQuAbSQute___pf3242.11SAT
QFUN259.17SAT
Quabs_2018457.67SAT
Qute_opt993900.02FAIL
quabs___caqe-hqspre900.02FAIL
Qute_opt617900.04FAIL
quabs___caqe-bloqqer900.04FAIL
Qute_hybrid900.05FAIL
GhostQ_PG___plain_qcir_2018900.07FAIL