Results for instance c1_Debug_s3_f1_e1_v1
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
aqme-1070.27SAT
caqe-portfolio299.81FAIL
squeezebf+aqme599.72FAIL