Results for instance SR-unsat-02-01-06-1
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Qute_hybrid0UNSAT
quabs___caqe-hqspre0UNSAT
QFUN0UNSAT
Quabs_20180UNSAT
Cqesto_20180UNSAT
Qute_opt9930UNSAT
Qute_opt6170UNSAT
GhostQ_PG___plain_qcir_20180.21UNSAT
GhostQ_PG___cegar_qcir_20180.22UNSAT
PortfolioGhostQQfunQuAbSQute___pf34.69UNSAT
PortfolioGhostQQfunQuAbSQute___pf24.7UNSAT
PortfolioGhostQQfunQuAbSQute___pfs4.79UNSAT
quabs___caqe-bloqqer900.09FAIL