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



Solver Time Result
Cqesto_20180UNSAT
QFUN0UNSAT
quabs___caqe-hqspre1.18UNSAT
quabs___caqe-bloqqer1.61UNSAT
PortfolioGhostQQfunQuAbSQute___pfs5.79FAIL
PortfolioGhostQQfunQuAbSQute___pf35.8FAIL
PortfolioGhostQQfunQuAbSQute___pf26.94FAIL
GhostQ_PG___cegar_qcir_201822.78UNSAT
Quabs_201834.08UNSAT
Qute_hybrid515.46UNSAT
Qute_opt993665.49UNSAT
Qute_opt617827.78UNSAT
GhostQ_PG___plain_qcir_2018900.03FAIL