Results for instance SR-sat-02-01-07-2
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Cqesto_20181.6SAT
Quabs_20183.05SAT
PortfolioGhostQQfunQuAbSQute___pf25.73SAT
PortfolioGhostQQfunQuAbSQute___pf36.84SAT
PortfolioGhostQQfunQuAbSQute___pfs6.9SAT
Qute_opt99311.37SAT
QFUN11.59SAT
GhostQ_PG___cegar_qcir_201814.03SAT
Qute_hybrid14.17SAT
Qute_opt61763.29SAT
quabs___caqe-hqspre72.76SAT
GhostQ_PG___plain_qcir_2018558.6SAT
quabs___caqe-bloqqer900.04FAIL