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



Solver Time Result
Cqesto_20181.07SAT
Quabs_20183.83SAT
Qute_opt9934SAT
PortfolioGhostQQfunQuAbSQute___pf35.3SAT
PortfolioGhostQQfunQuAbSQute___pfs5.52SAT
PortfolioGhostQQfunQuAbSQute___pf26.43SAT
QFUN6.46SAT
Qute_opt6179.98SAT
GhostQ_PG___cegar_qcir_201810SAT
GhostQ_PG___plain_qcir_201810.01SAT
Qute_hybrid34.5SAT
quabs___caqe-hqspre68.41SAT
quabs___caqe-bloqqer900.01FAIL