program                            arguments              status                        time
manuscript_checks.py                                      exit code 0                    214.5 s
verify_cone_exact.py                                      exit code 0                     13.3 s
verify_volumes.py                                         exit code 0                      1.0 s
verify_first_variation.py                                 exit code 0                      2.0 s
verify_sphere_numeric.py                                  exit code 0                      0.5 s
verify_crofton.py                                         exit code 0                    223.3 s
verify_theoremD.py                                        exit code 0                     18.1 s
verify_perturbation.py                                    exit code 0                    105.3 s
e1_exact_identities.py                                    exit code 0                     17.9 s
e3_pointwise.py                    P1                     exit code 0                      2.1 s
e4_linear_spheres.py                                      exit code 0                    136.6 s
e7_tasaki_check.py                                        exit code 0                      0.0 s
e11_stretched_exact.py             M                      exit code 0                     10.5 s
e12_phi_closed_form.py                                    exit code 0                      0.7 s
e14_next_case_probe.py                                    exit code 0                      1.2 s
e15_theoremF_pointwise.py                                 exit code 0                      2.1 s
