Results for instance DWs-sat-10-25-1
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Cqesto_20185.11SAT
PortfolioGhostQQfunQuAbSQute___pf313.71SAT
PortfolioGhostQQfunQuAbSQute___pfs13.72SAT
PortfolioGhostQQfunQuAbSQute___pf214.8SAT
Quabs_201874.39SAT
GhostQ_PG___cegar_qcir_2018100.75SAT
QFUN389.27SAT
Qute_opt993900.01FAIL
quabs___caqe-hqspre900.01FAIL
GhostQ_PG___plain_qcir_2018900.03FAIL
Qute_opt617900.05FAIL
quabs___caqe-bloqqer900.06FAIL
Qute_hybrid900.07FAIL