Results for instance DW-sat-08-22-1
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
QuAbS___quabs-caqe_20197.12SAT
Quabs_20187.13SAT
PortfolioGhostQQfunQuAbSQute___pfs9.47SAT
PortfolioGhostQQfunQuAbSQute___pf39.48SAT
PortfolioGhostQQfunQuAbSQute___pf210.6SAT
GhostQ___cegar_qcir_201983.3SAT
GhostQ___plain_qcir_2019100.56SAT
quabs___caqe-hqspre491.38SAT
Qute_default900.09FAIL