Skip to content

Instantly share code, notes, and snippets.

@dpo

dpo/gist:972c7fb8abec17f2ce0541a67a02d160

Created January 13, 2019 14:31
Show Gist options
  • Save dpo/972c7fb8abec17f2ce0541a67a02d160 to your computer and use it in GitHub Desktop.
Save dpo/972c7fb8abec17f2ce0541a67a02d160 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
# name xfree x ≤|≥ ≤ x ≤ x = Ax ≤|≥ ≤ Ax ≤ Ax =. c ≤|≥ ≤ c ≤ c =
10FOLDTR 1000 0 0 0 0 0 998 0 0 2 NOR2-AN-V-0
AIRCRFTA 5 0 0 3 0 0 0 0 0 5 NOR2-RN-8-5
ARGAUSS 3 0 0 0 0 0 0 0 0 15 NOR2-AN-3-15
ARGTRIG 200 0 0 0 0 0 0 0 0 200 NOR2-AN-V-V
ARTIF 5000 0 0 2 0 0 0 0 0 5000 NOR2-AN-V-V
ARWHDNE 500 0 0 0 0 0 499 0 0 499 NOR2-AN-V-V
BA-L1 57 0 0 0 0 0 0 0 0 12 NOR2-MN-57-12
BA-L16 66462 0 0 0 0 0 0 0 0 167436 NOR2-MN-66462-83718
BA-L1SP 57 0 0 0 0 0 0 0 0 12 NOR2-MN-57-12
BA-L21 34134 0 0 0 0 0 0 0 0 72910 NOR2-MN-34134-36455
BA-L49 23769 0 0 0 0 0 0 0 0 63686 NOR2-MN-23769-31843
BA-L52 192627 0 0 0 0 0 0 0 0 694346 NOR2-MN-192627-347173
BA-L73 33753 0 0 0 0 0 0 0 0 92244 NOR2-MN-33753-46122
BARDNE 3 0 0 0 0 0 0 0 0 15 NOR2-AN-3-15
BDVALUE 5000 0 0 2 0 0 0 0 0 5000 NOR2-MN-V-V
BDVALUES 10000 0 0 2 0 0 0 0 0 10000 NOR2-MN-V-V
BENNETT5 3 0 0 0 0 0 0 0 0 154 NOR2-MN-3-154
BIGGS6NE 6 0 0 0 0 0 0 0 0 13 NOR2-AN-6-13
BOX3NE 3 0 0 0 0 0 0 0 0 10 NOR2-AN-3-10
BOXBOD 2 0 0 0 0 0 0 0 0 6 NOR2-MN-2-6
BRATU2D 4900 0 0 284 0 0 0 0 0 4900 NOR2-MN-V-V
BRATU2DT 4900 0 0 284 0 0 0 0 0 4900 NOR2-MN-V-V
BRATU3D 3375 0 0 1538 0 0 0 0 0 3375 NOR2-MN-V-V
BROWNALE 200 0 0 0 0 0 199 0 0 1 NOR2-AN-V-0
BROWNDENE 4 0 0 0 0 0 0 0 0 20 NOR2-AN-4-20
BROYDNBD 5000 0 0 0 0 0 0 0 0 5000 NOR2-AN-V-V
CBRATU2D 2888 0 0 312 0 0 0 0 0 2888 NOR2-MN-V-V
CBRATU3D 2000 0 0 1456 0 0 0 0 0 2000 NOR2-MN-V-V
CHANDHEU 500 0 0 0 0 0 0 0 0 500 NOR2-RN-V-V
CHANNEL 9598 0 0 2 0 0 7998 0 0 1600 NOR2-AN-V-V
CHNRSBNE 50 0 0 0 0 0 49 0 0 49 NOR2-AN-V-V
CHWIRUT1 3 0 0 0 0 0 0 0 0 214 NOR2-MN-3-214
CHWIRUT2 3 0 0 0 0 0 0 0 0 54 NOR2-MN-3-54
CLUSTER 2 0 0 0 0 0 0 0 0 2 NOR2-AN-2-2
CUBENE 2 0 0 0 0 0 1 0 0 1 NOR2-AN-2-2
CYCLIC3 100002 0 0 0 0 0 2 0 0 100000 NOR2-AN-V-0
DANWOOD 2 0 0 0 0 0 0 0 0 6 NOR2-MN-2-6
DECONVNE 51 0 0 12 0 0 0 0 0 40 NOR2-MN-61-0
DMN15102 66 0 0 0 0 0 0 0 0 4643 NOR2-MN-66-4643
DMN15103 99 0 0 0 0 0 0 0 0 4643 NOR2-MN-99-4643
DMN15332 66 0 0 0 0 0 0 0 0 4643 NOR2-MN-66-4643
DMN15333 99 0 0 0 0 0 0 0 0 4643 NOR2-MN-99-4643
DMN37142 66 0 0 0 0 0 0 0 0 4643 NOR2-MN-66-4643
DMN37143 99 0 0 0 0 0 0 0 0 4643 NOR2-MN-99-4643
ECKERLE4 3 0 0 0 0 0 0 0 0 35 NOR2-MN-3-35
EIGENAU 2550 0 0 0 0 0 0 0 0 2550 NOR2-AN-V-V
EIGENB 2550 0 0 0 0 0 0 0 0 2550 NOR2-AN-V-V
EIGENC 2652 0 0 0 0 0 0 0 0 2652 NOR2-AN-V-V
ENSO 9 0 0 0 0 0 0 0 0 168 NOR2-MN-9-168
FBRAIN 2 0 0 0 0 0 0 0 0 2211 NOR2-AN-2-2211
FBRAIN2 4 0 0 0 0 0 0 0 0 2211 NOR2-AN-4-2211
FBRAIN3 6 0 0 0 0 0 0 0 0 2211 NOR2-AN-6-2211
FREURONE 2 0 0 0 0 0 0 0 0 2 NOR2-AN-V-V
GAUSS1 8 0 0 0 0 0 0 0 0 250 NOR2-MN-8-250
GAUSS2 8 0 0 0 0 0 0 0 0 250 NOR2-MN-8-250
GAUSS3 8 0 0 0 0 0 0 0 0 250 NOR2-MN-8-250
GBRAIN 2 0 0 0 0 0 0 0 0 2200 NOR2-AN-2-2200
GROWTH 3 0 0 0 0 0 0 0 0 12 NOR2-AN-3-12
GULFNE 3 0 0 0 0 0 0 0 0 99 NOR2-MN-3-0
HAHN1 7 0 0 0 0 0 0 0 0 236 NOR2-MN-7-37
HATFLDF 3 0 0 0 0 0 0 0 0 3 NOR2-AN-3-3
HATFLDG 25 0 0 0 0 0 0 0 0 25 NOR2-AY-25-25
HEART6 6 0 0 0 0 0 0 0 0 6 NOR2-MN-6-6
HEART8 8 0 0 0 0 0 2 0 0 6 NOR2-MN-8-8
HELIXNE 3 0 0 0 0 0 1 0 0 2 NOR2-AN-3-3
HYDCAR20 99 0 0 0 0 0 0 0 0 99 NOR2-AN-99-99
HYDCAR6 29 0 0 0 0 0 0 0 0 29 NOR2-AN-29-29
INTEGREQ 500 0 0 2 0 0 0 0 0 500 NOR2-AN-V-V
INTEQNE 12 0 0 0 0 0 2 0 0 10 NOR2-AN-V-V
JENSMPNE 2 0 0 0 0 0 0 0 0 10 NOR2-AN-2-10
KIRBY2 5 0 0 0 0 0 0 0 0 151 NOR2-MN-5-151
KOWOSBNE 4 0 0 0 0 0 0 0 0 11 NOR2-MN-4-11
KSS 1000 0 0 0 0 0 0 0 0 1000 NOR2-AN-V-0
LANCZOS1 6 0 0 0 0 0 0 0 0 24 NOR2-MN-6-24
LANCZOS2 6 0 0 0 0 0 0 0 0 24 NOR2-MN-6-24
LANCZOS3 6 0 0 0 0 0 0 0 0 24 NOR2-MN-6-24
LSC1 3 0 0 0 0 0 0 0 0 6 NOR2-MN-3-6
LSC2 3 0 0 0 0 0 0 0 0 6 NOR2-MN-3-6
LUKSAN11 100 0 0 0 0 0 99 0 0 99 NOR2-AN-V-V
LUKSAN12 98 0 0 0 0 0 32 0 0 160 NOR2-AN-V-V
LUKSAN13 98 0 0 0 0 0 0 0 0 224 NOR2-AN-V-V
LUKSAN14 98 0 0 0 0 0 160 0 0 64 NOR2-AN-V-V
LUKSAN15 100 0 0 0 0 0 0 0 0 196 NOR2-AN-V-V
LUKSAN16 100 0 0 0 0 0 0 0 0 196 NOR2-AN-V-V
LUKSAN17 100 0 0 0 0 0 0 0 0 196 NOR2-AN-V-V
LUKSAN21 100 0 0 0 0 0 0 0 0 100 NOR2-AN-V-V
LUKSAN22 100 0 0 0 0 0 1 0 0 197 NOR2-AN-V-V
METHANB8 31 0 0 0 0 0 0 0 0 31 NOR2-MN-31-31
METHANL8 31 0 0 0 0 0 0 0 0 31 NOR2-MN-31-31
MEYER3NE 3 0 0 0 0 0 0 0 0 16 NOR2-RN-3-16
MGH09 4 0 0 0 0 0 0 0 0 11 NOR2-MN-4-11
MGH10 3 0 0 0 0 0 0 0 0 16 NOR2-MN-3-16
MGH10S 3 0 0 0 0 0 0 0 0 16 NOR2-MN-3-16
MGH17 5 0 0 0 0 0 0 0 0 33 NOR2-MN-5-33
MGH17S 5 0 0 0 0 0 0 0 0 33 NOR2-MN-5-33
MISRA1A 2 0 0 0 0 0 0 0 0 14 NOR2-MN-2-14
MISRA1B 2 0 0 0 0 0 0 0 0 14 NOR2-MN-2-14
MISRA1C 2 0 0 0 0 0 0 0 0 14 NOR2-MN-2-14
MISRA1D 2 0 0 0 0 0 0 0 0 14 NOR2-MN-2-14
MNISTS0 494 0 0 0 0 0 0 0 0 60000 NOR2-MN-494-6000
MNISTS5 494 0 0 0 0 0 0 0 0 60000 NOR2-MN-494-6000
MOREBVNE 10 0 0 0 0 0 0 0 0 10 NOR2-MN-V-V
MUONSINE 1 0 0 0 0 0 0 0 0 512 NOR2-MN-1-512
NELSON 3 0 0 0 0 0 0 0 0 128 NOR2-MN-3-128
NYSTROM5 15 0 0 3 0 0 2 0 0 18 NOR2-RY-18-20
OSBORNE1 5 0 0 0 0 0 0 0 0 33 NOR2-MN-5-33
OSBORNE2 11 0 0 0 0 0 0 0 0 65 NOR2-MN-11-65
OSCIGRNE 100000 0 0 0 0 0 0 0 0 100000 NOR2-AN-V-V
OSCIPANE 10 0 0 0 0 0 1 0 0 9 NOR2-AN-V-V
PENLT1NE 10 0 0 0 0 0 10 0 0 1 NOR2-AN-V-V
PENLT2NE 4 0 0 0 0 0 1 0 0 7 NOR2-AN-V-V
POROUS1 4900 0 0 284 0 0 0 0 0 4900 NOR2-MN-V-V
POROUS2 4900 0 0 284 0 0 0 0 0 4900 NOR2-MN-V-V
POWELLBS 2 0 0 0 0 0 0 0 0 2 NOR2-AN-2-2
POWELLSE 4 0 0 0 0 0 2 0 0 2 NOR2-AN-V-V
POWELLSQ 2 0 0 0 0 0 0 0 0 2 NOR2-AN-2-2
RAT42 3 0 0 0 0 0 0 0 0 9 NOR2-MN-3-9
RAT43 4 0 0 0 0 0 0 0 0 15 NOR2-MN-4-15
RECIPE 3 0 0 0 0 0 1 0 0 2 NOR2-AY-3-3
ROSZMAN1 4 0 0 0 0 0 0 0 0 25 NOR2-MN-4-25
RSNBRNE 2 0 0 0 0 0 1 0 0 1 NOR2-AN-2-2
SEMICN2U 5000 0 0 2 0 0 0 0 0 5000 NOR2-AN-V-V
SINVALNE 2 0 0 0 0 0 1 0 0 1 NOR2-AN-2-2
SPIN 1327 0 0 0 0 0 0 0 0 1325 NOR2-AN-V-V
SPIN2 102 0 0 0 0 0 0 0 0 100 NOR2-AN-V-V
SSINE 3 0 0 0 0 0 0 0 0 2 NOR2-AN-3-2
THURBER 7 0 0 0 0 0 0 0 0 37 NOR2-MN-7-37
TRIGGER 6 0 0 1 0 0 3 0 0 3 NOR2-MY-7-6
VANDANIUMS 22 0 0 0 0 0 0 0 0 10 NOR2-MN-V-10
VARDIMNE 10 0 0 0 0 0 11 0 0 1 NOR2-AN-V-V
VESUVIA 8 0 0 0 0 0 0 0 0 1025 NOR2-MN-8-1025
VESUVIO 8 0 0 0 0 0 0 0 0 1025 NOR2-MN-8-1025
VESUVIOU 8 0 0 0 0 0 0 0 0 1025 NOR2-MN-8-1025
WATSONNE 12 0 0 0 0 0 1 0 0 30 NOR2-AN-V-31
WOODSNE 4000 0 0 0 0 0 1001 0 0 2000 NOR2-AN-V-V
YATP1NE 123200 0 0 0 0 0 0 0 0 123200 NOR2-AN-V-V
YATP2SQ 123200 0 0 0 0 0 0 0 0 123200 NOR2-AN-V-V
YFITNE 3 0 0 0 0 0 0 0 0 17 NOR2-MN-3-16
légende :
xfree nombre de variables libres (i.e., sans bornes)
x ≤|≥ nombre de variables avec une seule borne
≤ x ≤ nombre de variables avec deux bornes
x = nombre de variables fixées (CUTEst les traitera pour nous)
Ax ≤|≥ nombre de contraintes linéaires avec une seule inégalité
≤ Ax ≤ nombre de contraintes linéaires avec deux inégalités
Ax = nombre de contraintes linéaires d'égalité
c ≤|≥ nombre de contraintes générales avec une seule inégalité
≤ c ≤ nombre de contraintes générales avec deux inégalités
c = nombre de contraintes générales d’égalité
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment