Results for instance DW-sat-06-20-1
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Cqesto_20182.41SAT
Quabs_20183.3SAT
QFUN5.35SAT
PortfolioGhostQQfunQuAbSQute___pf37.32SAT
PortfolioGhostQQfunQuAbSQute___pfs7.34SAT
PortfolioGhostQQfunQuAbSQute___pf28.52SAT
GhostQ_PG___plain_qcir_201811.66SAT
GhostQ_PG___cegar_qcir_201816.76SAT
Qute_opt99335.53SAT
Qute_hybrid274.75SAT
quabs___caqe-hqspre790.37SAT
quabs___caqe-bloqqer900.01FAIL
Qute_opt617900.08FAIL