Results for instance SR-unsat-03-01-06-2
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pf3868.51UNSAT
PortfolioGhostQQfunQuAbSQute___pfs873.93UNSAT
PortfolioGhostQQfunQuAbSQute___pf2888.41UNSAT
quabs___caqe-hqspre900FAIL
quabs___caqe-bloqqer900FAIL
QFUN900.01FAIL
Quabs_2018900.02FAIL
Qute_opt993900.02FAIL
Qute_hybrid900.03FAIL
GhostQ_PG___plain_qcir_2018900.05FAIL
Cqesto_2018900.06FAIL
GhostQ_PG___cegar_qcir_2018900.07FAIL
Qute_opt617900.08FAIL