Results for instance klieber2017q-080-20-eq
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
QFUN0SAT
Cqesto_20181.37SAT
PortfolioGhostQQfunQuAbSQute___pf35.74FAIL
PortfolioGhostQQfunQuAbSQute___pfs5.82FAIL
PortfolioGhostQQfunQuAbSQute___pf27.12FAIL
Quabs_2018110.35SAT
GhostQ_PG___cegar_qcir_2018245.51SAT
GhostQ_PG___plain_qcir_2018900.04FAIL
quabs___caqe-bloqqer900.04FAIL
Qute_opt993900.05FAIL
Qute_opt617900.08FAIL
quabs___caqe-hqspre900.08FAIL
Qute_hybrid900.09FAIL