switch-lemma-degree4
Files of ancillary/experiments/switch-lemma-degree4/ (what the code computes):
aa.pyarbK.pybbKpar.pycover.pydeepfix.pydual.pydualK.pyfinalize_part.pygradx.pysummaries/deepfix_par_j1_p2_169108.jsonsummaries/deepfix_par_j1_p2_22977.jsonsummaries/deepfix_par_j1_p2_284484.jsonsummaries/deepfix_par_j2_p2_1650068.jsonsummaries/deepfix_par_j2_p2_1651474.jsonsummaries/deepfix_par_j2_p2_542426.jsonsummaries/deepfix_par_j3_p0_702630.jsonsummaries/deepfix_par_j3_p0_703975.jsonsummaries/deepfix_par_j3_p0_704027.jsonsummaries/deepfix_par_j3_p0_760748.jsonsummaries/deepfix_par_j3_p0_764485.jsonsummaries/deepfix_par_j3_p0_764559.jsonsummaries/deepfix_par_j3_p2_244159.jsonsummaries/deepfix_par_j4_p2_91380.jsonsummaries/par_j0_p1.final.jsonsummaries/par_j0_p2.final.jsonsummaries/par_j1_p0.final.jsonsummaries/par_j1_p1.final.jsonsummaries/par_j1_p2.final.jsonsummaries/par_j2_p0.final.jsonsummaries/par_j2_p1.final.jsonsummaries/par_j2_p2.final.jsonsummaries/par_j3_p0.final.jsonsummaries/par_j3_p1.final.jsonsummaries/par_j3_p2.final.jsonsummaries/par_j4_p1.final.jsonsummaries/par_j4_p2.final.jsonverify4.pyverify_part.py