Results for instance JP-sat-02-08-3
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Cqesto_20180.86SAT
Quabs_20181.55SAT
Qute_opt9931.83SAT
PortfolioGhostQQfunQuAbSQute___pf24.64SAT
PortfolioGhostQQfunQuAbSQute___pfs5.81FAIL
PortfolioGhostQQfunQuAbSQute___pf36.41SAT
QFUN7.4SAT
GhostQ_PG___cegar_qcir_201814.59SAT
quabs___caqe-hqspre21.46SAT
Qute_opt61793.5SAT
GhostQ_PG___plain_qcir_2018119.05SAT
Qute_hybrid122.31SAT
quabs___caqe-bloqqer900.07FAIL