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



Solver Time Result
QuAbS___quabs-caqe_20193.25SAT
Quabs_20183.28SAT
PortfolioGhostQQfunQuAbSQute___pfs7.57SAT
PortfolioGhostQQfunQuAbSQute___pf37.59SAT
PortfolioGhostQQfunQuAbSQute___pf28.7SAT
Qute_default9.38SAT
GhostQ___plain_qcir_201911.53SAT
GhostQ___cegar_qcir_201916.6SAT
quabs___caqe-hqspre610.67SAT