Skip to content

Instantly share code, notes, and snippets.

@plopp
Last active November 12, 2020 23:55
Show Gist options
  • Select an option

  • Save plopp/11d7751838fa291251d35ca2d3223eef to your computer and use it in GitHub Desktop.

Select an option

Save plopp/11d7751838fa291251d35ca2d3223eef to your computer and use it in GitHub Desktop.

Revisions

  1. plopp revised this gist Nov 12, 2020. 1 changed file with 3 additions and 3 deletions.
    6 changes: 3 additions & 3 deletions 3018-PROver parameters
    Original file line number Diff line number Diff line change
    @@ -28,6 +28,6 @@ $112=1600.000
    $120=30.000
    $121=30.000
    $122=30.000
    $130=500.000
    $131=400.000
    $132=100.000
    $130=263.000
    $131=157.000
    $132=34.000
  2. plopp created this gist Nov 12, 2020.
    33 changes: 33 additions & 0 deletions 3018-PROver parameters
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,33 @@
    $1=25
    $2=0
    $3=2
    $4=0
    $5=0
    $6=0
    $10=1
    $11=0.010
    $12=0.002
    $13=0
    $20=0
    $21=1
    $22=1
    $23=3
    $24=25.000
    $25=500.000
    $26=250
    $27=1.000
    $30=10000
    $31=0
    $32=0
    $100=798.030
    $101=792.862
    $102=792.310
    $110=1600.000
    $111=1600.000
    $112=1600.000
    $120=30.000
    $121=30.000
    $122=30.000
    $130=500.000
    $131=400.000
    $132=100.000