Sota solver results for family Debug
QBFEVAL'16 - Prenex CNF Track.


InstanceSolverResultTime
c1_Debug_s5_f1_e1_v2rareqsSAT544.76
c2_Debug_s3_f2_e1_v3rareqsSAT281.05