Results for instance ev-pr-4x4-11-3-0-0-1-lg
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
ghostq-plain2.01SAT
Qute_opt9933.57SAT
Qute_hybrid192.51SAT
Qute_opt617320.27SAT
ghostq-cegar341.53SAT
QuAbS_2017413.44SAT
cqesto458.69SAT
qfun0.1900FAIL