Skip to content

Instantly share code, notes, and snippets.

@drx
Created July 17, 2011 15:54
Show Gist options
  • Save drx/1087720 to your computer and use it in GitHub Desktop.
Save drx/1087720 to your computer and use it in GitHub Desktop.
Minimize
value: mod0+mod1+mod2+mod3+mod4+mod5+mod6+mod7+mod8+mod9+mod10+mod11+mod12+mod13+mod14+mod15+mod16+mod17+mod18+mod19+mod20+mod21+mod22+mod23+mod24+mod25+mod26+mod27+mod28+mod29+mod30+mod31+mod32+mod33+mod34+mod35+mod36+mod37+mod38+mod39+mod40+mod41+mod42+mod43+mod44+mod45+mod46+mod47+mod48+mod49+mod50+mod51+mod52+mod53+mod54+mod55+mod56+mod57+mod58+mod59+k0+k1+k2+k3+k4+k5+k6+k7+k8+k9+k10+k11+k12+k13+k14+k15+k16+k17+k18+k19+k20+k21+k22+k23+k24+k25+k26+k27+k28+k29+k30+k31+k32+k33+k34+k35+k36+k37+k38+k39+k40+k41+k42+k43+k44+k45+k46+k47+k48+k49+k50+k51+k52+k53+k54+k55+k56+k57+k58+k59
Subject To
lvl0: seed0 - 10mod0 = 7
rand1: seed1 - 4294967296seedmod0 - Aseed0 - k0 = 0
no1: seed1 - 125mod1 = 80
rand2: seed2 - 4294967296seedmod1 - Aseed1 - k1 = 0
qual2: seed2 - 100000mod2 = 56548
rand3: seed3 - 4294967296seedmod2 - Aseed2 - k2 = 0
lvl3: seed3 - 10mod3 = 5
rand4: seed4 - 4294967296seedmod3 - Aseed3 - k3 = 0
no4: seed4 - 125mod4 = 32
rand5: seed5 - 4294967296seedmod4 - Aseed4 - k4 = 0
qual5: seed5 - 100000mod5 = 33131
rand6: seed6 - 4294967296seedmod5 - Aseed5 - k5 = 0
lvl6: seed6 - 10mod6 = 6
rand7: seed7 - 4294967296seedmod6 - Aseed6 - k6 = 0
no7: seed7 - 125mod7 = 34
rand8: seed8 - 4294967296seedmod7 - Aseed7 - k7 = 0
exc8: seed8 - 10000mod8 = 6817
rand9: seed9 - 4294967296seedmod8 - Aseed8 - k8 = 0
eli9: seed9 - 10000mod9 = 3568
rand10: seed10 - 4294967296seedmod9 - Aseed9 - k9 = 0
qual10: seed10 - 100000mod10 = 91492
rand11: seed11 - 4294967296seedmod10 - Aseed10 - k10 = 0
lvl11: seed11 - 10mod11 = 5
rand12: seed12 - 4294967296seedmod11 - Aseed11 - k11 = 0
no12: seed12 - 125mod12 = 38
rand13: seed13 - 4294967296seedmod12 - Aseed12 - k12 = 0
exc13: seed13 - 10000mod13 = 5768
rand14: seed14 - 4294967296seedmod13 - Aseed13 - k13 = 0
eli14: seed14 - 10000mod14 = 394
rand15: seed15 - 4294967296seedmod14 - Aseed14 - k14 = 0
qual15: seed15 - 100000mod15 = 59487
rand16: seed16 - 4294967296seedmod15 - Aseed15 - k15 = 0
lvl16: seed16 - 10mod16 = 2
rand17: seed17 - 4294967296seedmod16 - Aseed16 - k16 = 0
no17: seed17 - 125mod17 = 58
rand18: seed18 - 4294967296seedmod17 - Aseed17 - k17 = 0
exc18: seed18 - 10000mod18 = 925
rand19: seed19 - 4294967296seedmod18 - Aseed18 - k18 = 0
qual19: seed19 - 100000mod19 = 45683
rand20: seed20 - 4294967296seedmod19 - Aseed19 - k19 = 0
lvl20: seed20 - 10mod20 = 8
rand21: seed21 - 4294967296seedmod20 - Aseed20 - k20 = 0
no21: seed21 - 125mod21 = 0
rand22: seed22 - 4294967296seedmod21 - Aseed21 - k21 = 0
qual22: seed22 - 100000mod22 = 13077
rand23: seed23 - 4294967296seedmod22 - Aseed22 - k22 = 0
lvl23: seed23 - 10mod23 = 7
rand24: seed24 - 4294967296seedmod23 - Aseed23 - k23 = 0
no24: seed24 - 125mod24 = 37
rand25: seed25 - 4294967296seedmod24 - Aseed24 - k24 = 0
exc25: seed25 - 10000mod25 = 2067
rand26: seed26 - 4294967296seedmod25 - Aseed25 - k25 = 0
qual26: seed26 - 100000mod26 = 2582
rand27: seed27 - 4294967296seedmod26 - Aseed26 - k26 = 0
lvl27: seed27 - 10mod27 = 9
rand28: seed28 - 4294967296seedmod27 - Aseed27 - k27 = 0
no28: seed28 - 125mod28 = 62
rand29: seed29 - 4294967296seedmod28 - Aseed28 - k28 = 0
exc29: seed29 - 10000mod29 = 3439
rand30: seed30 - 4294967296seedmod29 - Aseed29 - k29 = 0
qual30: seed30 - 100000mod30 = 96731
rand31: seed31 - 4294967296seedmod30 - Aseed30 - k30 = 0
lvl31: seed31 - 10mod31 = 1
rand32: seed32 - 4294967296seedmod31 - Aseed31 - k31 = 0
no32: seed32 - 125mod32 = 20
rand33: seed33 - 4294967296seedmod32 - Aseed32 - k32 = 0
exc33: seed33 - 10000mod33 = 6347
rand34: seed34 - 4294967296seedmod33 - Aseed33 - k33 = 0
eli34: seed34 - 10000mod34 = 4540
rand35: seed35 - 4294967296seedmod34 - Aseed34 - k34 = 0
qual35: seed35 - 100000mod35 = 20641
rand36: seed36 - 4294967296seedmod35 - Aseed35 - k35 = 0
lvl36: seed36 - 10mod36 = 8
rand37: seed37 - 4294967296seedmod36 - Aseed36 - k36 = 0
no37: seed37 - 125mod37 = 58
rand38: seed38 - 4294967296seedmod37 - Aseed37 - k37 = 0
exc38: seed38 - 10000mod38 = 4238
rand39: seed39 - 4294967296seedmod38 - Aseed38 - k38 = 0
qual39: seed39 - 100000mod39 = 255
rand40: seed40 - 4294967296seedmod39 - Aseed39 - k39 = 0
lvl40: seed40 - 10mod40 = 3
rand41: seed41 - 4294967296seedmod40 - Aseed40 - k40 = 0
no41: seed41 - 125mod41 = 113
rand42: seed42 - 4294967296seedmod41 - Aseed41 - k41 = 0
exc42: seed42 - 10000mod42 = 5653
rand43: seed43 - 4294967296seedmod42 - Aseed42 - k42 = 0
eli43: seed43 - 10000mod43 = 4154
rand44: seed44 - 4294967296seedmod43 - Aseed43 - k43 = 0
qual44: seed44 - 100000mod44 = 75770
rand45: seed45 - 4294967296seedmod44 - Aseed44 - k44 = 0
lvl45: seed45 - 10mod45 = 8
rand46: seed46 - 4294967296seedmod45 - Aseed45 - k45 = 0
no46: seed46 - 125mod46 = 112
rand47: seed47 - 4294967296seedmod46 - Aseed46 - k46 = 0
exc47: seed47 - 10000mod47 = 4816
rand48: seed48 - 4294967296seedmod47 - Aseed47 - k47 = 0
eli48: seed48 - 10000mod48 = 1637
rand49: seed49 - 4294967296seedmod48 - Aseed48 - k48 = 0
qual49: seed49 - 100000mod49 = 96447
rand50: seed50 - 4294967296seedmod49 - Aseed49 - k49 = 0
lvl50: seed50 - 10mod50 = 4
rand51: seed51 - 4294967296seedmod50 - Aseed50 - k50 = 0
no51: seed51 - 125mod51 = 113
rand52: seed52 - 4294967296seedmod51 - Aseed51 - k51 = 0
exc52: seed52 - 10000mod52 = 5697
rand53: seed53 - 4294967296seedmod52 - Aseed52 - k52 = 0
eli53: seed53 - 10000mod53 = 6406
rand54: seed54 - 4294967296seedmod53 - Aseed53 - k53 = 0
qual54: seed54 - 100000mod54 = 94847
rand55: seed55 - 4294967296seedmod54 - Aseed54 - k54 = 0
lvl55: seed55 - 10mod55 = 8
rand56: seed56 - 4294967296seedmod55 - Aseed55 - k55 = 0
no56: seed56 - 125mod56 = 48
rand57: seed57 - 4294967296seedmod56 - Aseed56 - k56 = 0
exc57: seed57 - 10000mod57 = 6053
rand58: seed58 - 4294967296seedmod57 - Aseed57 - k57 = 0
eli58: seed58 - 10000mod58 = 7873
rand59: seed59 - 4294967296seedmod58 - Aseed58 - k58 = 0
qual59: seed59 - 100000mod59 = 24059
rand60: seed60 - 4294967296seedmod59 - Aseed59 - k59 = 0
Bounds
0 <= k0 <= 4294967295
0 <= k1 <= 4294967295
0 <= k2 <= 4294967295
0 <= k3 <= 4294967295
0 <= k4 <= 4294967295
0 <= k5 <= 4294967295
0 <= k6 <= 4294967295
0 <= k7 <= 4294967295
0 <= k8 <= 4294967295
0 <= k9 <= 4294967295
0 <= k10 <= 4294967295
0 <= k11 <= 4294967295
0 <= k12 <= 4294967295
0 <= k13 <= 4294967295
0 <= k14 <= 4294967295
0 <= k15 <= 4294967295
0 <= k16 <= 4294967295
0 <= k17 <= 4294967295
0 <= k18 <= 4294967295
0 <= k19 <= 4294967295
0 <= k20 <= 4294967295
0 <= k21 <= 4294967295
0 <= k22 <= 4294967295
0 <= k23 <= 4294967295
0 <= k24 <= 4294967295
0 <= k25 <= 4294967295
0 <= k26 <= 4294967295
0 <= k27 <= 4294967295
0 <= k28 <= 4294967295
0 <= k29 <= 4294967295
0 <= k30 <= 4294967295
0 <= k31 <= 4294967295
0 <= k32 <= 4294967295
0 <= k33 <= 4294967295
0 <= k34 <= 4294967295
0 <= k35 <= 4294967295
0 <= k36 <= 4294967295
0 <= k37 <= 4294967295
0 <= k38 <= 4294967295
0 <= k39 <= 4294967295
0 <= k40 <= 4294967295
0 <= k41 <= 4294967295
0 <= k42 <= 4294967295
0 <= k43 <= 4294967295
0 <= k44 <= 4294967295
0 <= k45 <= 4294967295
0 <= k46 <= 4294967295
0 <= k47 <= 4294967295
0 <= k48 <= 4294967295
0 <= k49 <= 4294967295
0 <= k50 <= 4294967295
0 <= k51 <= 4294967295
0 <= k52 <= 4294967295
0 <= k53 <= 4294967295
0 <= k54 <= 4294967295
0 <= k55 <= 4294967295
0 <= k56 <= 4294967295
0 <= k57 <= 4294967295
0 <= k58 <= 4294967295
0 <= k59 <= 4294967295
0 <= seed0 <= 4294967295
0 <= seed1 <= 4294967295
0 <= seed2 <= 4294967295
0 <= seed3 <= 4294967295
0 <= seed4 <= 4294967295
0 <= seed5 <= 4294967295
0 <= seed6 <= 4294967295
0 <= seed7 <= 4294967295
0 <= seed8 <= 4294967295
0 <= seed9 <= 4294967295
0 <= seed10 <= 4294967295
0 <= seed11 <= 4294967295
0 <= seed12 <= 4294967295
0 <= seed13 <= 4294967295
0 <= seed14 <= 4294967295
0 <= seed15 <= 4294967295
0 <= seed16 <= 4294967295
0 <= seed17 <= 4294967295
0 <= seed18 <= 4294967295
0 <= seed19 <= 4294967295
0 <= seed20 <= 4294967295
0 <= seed21 <= 4294967295
0 <= seed22 <= 4294967295
0 <= seed23 <= 4294967295
0 <= seed24 <= 4294967295
0 <= seed25 <= 4294967295
0 <= seed26 <= 4294967295
0 <= seed27 <= 4294967295
0 <= seed28 <= 4294967295
0 <= seed29 <= 4294967295
0 <= seed30 <= 4294967295
0 <= seed31 <= 4294967295
0 <= seed32 <= 4294967295
0 <= seed33 <= 4294967295
0 <= seed34 <= 4294967295
0 <= seed35 <= 4294967295
0 <= seed36 <= 4294967295
0 <= seed37 <= 4294967295
0 <= seed38 <= 4294967295
0 <= seed39 <= 4294967295
0 <= seed40 <= 4294967295
0 <= seed41 <= 4294967295
0 <= seed42 <= 4294967295
0 <= seed43 <= 4294967295
0 <= seed44 <= 4294967295
0 <= seed45 <= 4294967295
0 <= seed46 <= 4294967295
0 <= seed47 <= 4294967295
0 <= seed48 <= 4294967295
0 <= seed49 <= 4294967295
0 <= seed50 <= 4294967295
0 <= seed51 <= 4294967295
0 <= seed52 <= 4294967295
0 <= seed53 <= 4294967295
0 <= seed54 <= 4294967295
0 <= seed55 <= 4294967295
0 <= seed56 <= 4294967295
0 <= seed57 <= 4294967295
0 <= seed58 <= 4294967295
0 <= seed59 <= 4294967295
seedmod0 free
seedmod1 free
seedmod2 free
seedmod3 free
seedmod4 free
seedmod5 free
seedmod6 free
seedmod7 free
seedmod8 free
seedmod9 free
seedmod10 free
seedmod11 free
seedmod12 free
seedmod13 free
seedmod14 free
seedmod15 free
seedmod16 free
seedmod17 free
seedmod18 free
seedmod19 free
seedmod20 free
seedmod21 free
seedmod22 free
seedmod23 free
seedmod24 free
seedmod25 free
seedmod26 free
seedmod27 free
seedmod28 free
seedmod29 free
seedmod30 free
seedmod31 free
seedmod32 free
seedmod33 free
seedmod34 free
seedmod35 free
seedmod36 free
seedmod37 free
seedmod38 free
seedmod39 free
seedmod40 free
seedmod41 free
seedmod42 free
seedmod43 free
seedmod44 free
seedmod45 free
seedmod46 free
seedmod47 free
seedmod48 free
seedmod49 free
seedmod50 free
seedmod51 free
seedmod52 free
seedmod53 free
seedmod54 free
seedmod55 free
seedmod56 free
seedmod57 free
seedmod58 free
seedmod59 free
Integer
k0
k1
k2
k3
k4
k5
k6
k7
k8
k9
k10
k11
k12
k13
k14
k15
k16
k17
k18
k19
k20
k21
k22
k23
k24
k25
k26
k27
k28
k29
k30
k31
k32
k33
k34
k35
k36
k37
k38
k39
k40
k41
k42
k43
k44
k45
k46
k47
k48
k49
k50
k51
k52
k53
k54
k55
k56
k57
k58
k59
seed0
seed1
seed2
seed3
seed4
seed5
seed6
seed7
seed8
seed9
seed10
seed11
seed12
seed13
seed14
seed15
seed16
seed17
seed18
seed19
seed20
seed21
seed22
seed23
seed24
seed25
seed26
seed27
seed28
seed29
seed30
seed31
seed32
seed33
seed34
seed35
seed36
seed37
seed38
seed39
seed40
seed41
seed42
seed43
seed44
seed45
seed46
seed47
seed48
seed49
seed50
seed51
seed52
seed53
seed54
seed55
seed56
seed57
seed58
seed59
seedmod0
seedmod1
seedmod2
seedmod3
seedmod4
seedmod5
seedmod6
seedmod7
seedmod8
seedmod9
seedmod10
seedmod11
seedmod12
seedmod13
seedmod14
seedmod15
seedmod16
seedmod17
seedmod18
seedmod19
seedmod20
seedmod21
seedmod22
seedmod23
seedmod24
seedmod25
seedmod26
seedmod27
seedmod28
seedmod29
seedmod30
seedmod31
seedmod32
seedmod33
seedmod34
seedmod35
seedmod36
seedmod37
seedmod38
seedmod39
seedmod40
seedmod41
seedmod42
seedmod43
seedmod44
seedmod45
seedmod46
seedmod47
seedmod48
seedmod49
seedmod50
seedmod51
seedmod52
seedmod53
seedmod54
seedmod55
seedmod56
seedmod57
seedmod58
seedmod59
mod0
mod1
mod2
mod3
mod4
mod5
mod6
mod7
mod8
mod9
mod10
mod11
mod12
mod13
mod14
mod15
mod16
mod17
mod18
mod19
mod20
mod21
mod22
mod23
mod24
mod25
mod26
mod27
mod28
mod29
mod30
mod31
mod32
mod33
mod34
mod35
mod36
mod37
mod38
mod39
mod40
mod41
mod42
mod43
mod44
mod45
mod46
mod47
mod48
mod49
mod50
mod51
mod52
mod53
mod54
mod55
mod56
mod57
mod58
mod59
End
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment