Results for instance SR-sat-03-01-08-2
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
QuAbS_2017248.81SAT
cqesto622.39SAT
Qute_hybrid852.84FAIL
ghostq-cegar900FAIL
ghostq-plain900FAIL
qfun0.1900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL