Results for instance ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
quabs___caqe-hqspre4.01SAT
quabs___caqe-bloqqer8.09SAT
PortfolioGhostQQfunQuAbSQute___pfs118.15SAT
PortfolioGhostQQfunQuAbSQute___pf3118.78SAT
PortfolioGhostQQfunQuAbSQute___pf2119.32SAT
Quabs_2018173.3SAT
Cqesto_2018352.36SAT
Qute_opt993900.03FAIL
Qute_hybrid900.04FAIL
QFUN900.06FAIL
GhostQ_PG___cegar_qcir_2018900.08FAIL
Qute_opt617900.08FAIL
GhostQ_PG___plain_qcir_2018900.09FAIL