-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathQC.SIF
549 lines (449 loc) · 14 KB
/
QC.SIF
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
***************************
* SET UP THE INITIAL DATA *
***************************
NAME QC
* Problem :
* *********
* Source: Quality Control problem 104 from
* Betty Schultz and Ben Reiser.
* SIF input: Andrew Conn, August 1992.
* classification OLR2-MY-9-4
* Number of variables
IE M 9
* Other useful parameters
IE 1 1
IE 2 2
IE 3 3
IE 4 4
IE 5 5
IE 6 6
IE 7 7
IE 8 8
IE 9 9
IE 10 10
IE 11 11
IE 12 12
IE 13 13
IE 14 14
IE 15 15
IE 16 16
IE 17 17
IE N 10048
IE NGG 9900
IE NGB 35
IE NBG 15
IE NBU 18
IE NBB 2
IE NUU 40
IE NUB 21
IE NGBUU 9
IE NBGUU 2
IE NBGBU 2
IE NGBUB 3
IE NBBUU 1
IE NBBBU 0
IE NBBUB 0
I- MM N NGG
I+ S1 NGG NGB
I+ S1 S1 NGBUU
I+ S1 S1 NGBUB
I+ S2 NBG NBB
I+ S2 S2 NBU
I+ S2 S2 NBGUU
I+ S2 S2 NBBUU
I+ S2 S2 NBGBU
I+ S2 S2 NBBBU
I+ S2 S2 NBBUB
I+ S3 NGG NBG
I+ S3 S3 NBGUU
I+ S3 S3 NBGBU
I+ S4 NGB NBB
I+ S4 S4 NUB
I+ S4 S4 NGBUU
I+ S4 S4 NBBUU
I+ S4 S4 NBBBU
I+ S4 S4 NGBUB
I+ S4 S4 NBBUB
I+ U1 NGB NGBUU
I+ U1 U1 NGBUB
I+ L1 U1 NUU
I+ L1 L1 NUB
I+ U2 NBG NBGUU
I+ U2 U2 NBGBU
I+ L2 U2 NUU
I+ L2 L2 NBU
I+ U3 NBB NBBUU
I+ U3 U3 NBBBU
I+ U3 U3 NBBUB
I+ L3 U3 NUU
I+ L3 L3 NBU
I+ L3 L3 NUB
I+ U4 U2 NBU
I+ L4 U4 NUU
I+ U5 U1 NUB
I+ L5 U5 NUU
I+ U6 U3 NUB
I+ L6 U6 NBU
I+ L6 L6 NUU
I+ U7 U3 NBU
I+ L7 U7 NUB
I+ L7 L7 NUU
I+ L8 U2 NBBUU
I+ L8 L8 NBBBU
I+ L8 L8 NBBUB
I+ L8 L8 NBU
I+ L8 L8 NBB
I+ U8 L8 NUU
I+ U8 U8 NUB
I+ L9 U1 NBBUU
I+ L9 L9 NBBBU
I+ L9 L9 NBBUB
I+ L9 L9 NUB
I+ L9 L9 NBB
I+ U9 L9 NUU
I+ U9 U9 NBU
RE ZERO 0.0
RE TWO 2.0
RI RS1 S1
RI RS2 S2
RI RS3 S3
RI RS4 S4
RI RNBG NBG
RI RNBGBU NBGBU
RI RNBGUU NBGUU
RI RNGB NGB
RI RNGBUB NGBUB
RI RNGBUU NGBUU
RI RNBB NBB
RI RNBBUB NBBUB
RI RNBBBU NBBBU
RI RNBBUU NBBUU
RI RNBGBU NBGBU
RI RNUU NUU
RI RNUB NUB
RI RNBU NBU
RI RN N
RI RL1 L1
RI RU1 U1
RI RL2 L2
RI RU2 U2
RI RL3 L3
RI RU3 U3
RI RL4 L4
RI RU4 U4
RI RL5 L5
RI RU5 U5
RI RL6 L6
RI RU6 U6
RI RL7 L7
RI RU7 U7
RI RL8 L8
RI RU8 U8
RI RL9 L9
RI RU9 U9
R/ LF1 RL8 RN
R/ UF1 RU8 RN
R+ SF1 LF1 UF1
R/ SF1 SF1 TWO
R/ LF2 RL9 RN
R/ UF2 RU9 RN
R+ SF2 LF2 UF2
R/ SF2 SF2 TWO
R/ LGBGB RNGB RL1
R/ UGBGB RNGB RU1
R+ SGBGB LGBGB UGBGB
R/ SGBGB SGBGB TWO
R/ LUBGB RNGBUB RL5
R+ UUBGB RNGBUB RNUB
R/ UUBGB UUBGB RU5
R+ SUBGB LUBGB UUBGB
R/ SUBGB SUBGB TWO
R/ LBGBG RNBG RL2
R/ UBGBG RNBG RU2
R+ SBGBG LBGBG UBGBG
R/ SBGBG SBGBG TWO
R/ LBUBG RNBGBU RL4
R+ UBUBG RNBGBU RNBU
R/ UBUBG UBUBG RU4
R+ SBUBG LBUBG UBUBG
R/ SBUBG SBUBG TWO
R/ LBBBB RNBB RL3
R/ UBBBB RNBB RU3
R+ SBBBB LBBBB UBBBB
R/ SBBBB SBBBB TWO
R/ LBUBB RNBBBU RL7
R+ UBUBB RNBBBU RNBU
R/ UBUBB UBUBB RU7
R+ SBUBB LBUBB UBUBB
R/ SBUBB SBUBB TWO
R/ LUBBB RNBBUB RL6
R+ UUBBB RNBBUB RNUB
R/ UUBBB UUBBB RU6
R+ SUBBB LUBBB UUBBB
R/ SUBBB SUBBB TWO
RI RMM MM
R/ RMM RMM RN
VARIABLES
F1
F2
PBGBG
PBUBG
PGBGB
PUBGB
PBBBB
PUBBB
PBUBB
GROUPS
XN OBJ(1) F1 -1.0
XN OBJ(2) F1 1.0
XN OBJ(3) F2 -1.0
XN OBJ(4) F2 1.0
XN OBJ(5) PBUBG 1.0
XN OBJ(6) PUBGB 1.0
XN OBJ(7) F1 1.0 F2 1.0
XN OBJ(8) PGBGB 1.0
XN OBJ(9) PBGBG 1.0
XN OBJ(10) PBBBB 1.0
XN OBJ(11) PGBGB -1.0 PUBGB -1.0
XN OBJ(12) PBGBG -1.0 PBUBG -1.0
XN OBJ(13) PBBBB -1.0 PUBBB -1.0
XN OBJ(13) PBUBB -1.0
XN OBJ(14) PBUBG 1.0
XN OBJ(15) PBUBB 1.0
XN OBJ(16) PUBGB 1.0
XN OBJ(17) PUBBB 1.0
L CON0 PBGBG 1.0 PBUBG 1.0
L CON1 PGBGB 1.0 PUBGB 1.0
L CON2 PBBBB 1.0 PUBBB 1.0
L CON2 PBUBB 1.0
G CON3 F1 1.0 F2 1.0
CONSTANTS
X CONST OBJ(1) -1.0
X CONST OBJ(3) -1.0
X CONST OBJ(7) -1.0
X CONST OBJ(11) -1.0
X CONST OBJ(12) -1.0
X CONST OBJ(13) -1.0
CONST CON0 1.0
CONST CON1 1.0
CONST CON2 1.0
Z CONST CON3 RMM
BOUNDS
UP BND 'DEFAULT' 1.0
ZL BND F1 LF1
ZU BND F1 UF1
ZL BND F2 LF2
ZU BND F2 UF2
ZL BND PBGBG LBGBG
ZU BND PBGBG UBGBG
ZL BND PBUBG LBUBG
ZU BND PBUBG UBUBG
ZL BND PGBGB LGBGB
ZU BND PGBGB UGBGB
ZL BND PUBGB LUBGB
ZU BND PUBGB UUBGB
ZL BND PBBBB LBBBB
ZU BND PBBBB UBBBB
FX BND PBUBB 0.0
FX BND PUBBB 0.0
START POINT
V QC 'DEFAULT' 1.5
ZV QC F1 SF1
ZV QC F2 SF2
ZV QC PBGBG SBGBG
ZV QC PBUBG SBUBG
ZV QC PGBGB SGBGB
ZV QC PUBGB SUBGB
ZV QC PBBBB SBBBB
ZV QC PBUBB ZERO
ZV QC PUBBB ZERO
ELEMENT TYPE
* 2PROD
EV 2PROD V1 V2
* I2PROD
EV I2PROD V1 V2
EV I2PROD V3
IV I2PROD U1 U2
* I3PROD
EV I3PROD V1 V2
EV I3PROD V3 V4
IV I3PROD U1 U2
IV I3PROD U3
* 3PRODI
EV 3PRODI V1 V2
EV 3PRODI V3 V4
EV 3PRODI V5
IV 3PRODI U1 U2
IV 3PRODI U3
ELEMENT USES
XT E(1) 2PROD
ZV E(1) V1 F2
ZV E(1) V2 PBUBG
XT E(2) 2PROD
ZV E(2) V1 F2
ZV E(2) V2 PBUBB
XT E(3) 2PROD
ZV E(3) V1 F1
ZV E(3) V2 PUBGB
XT E(4) 2PROD
ZV E(4) V1 F1
ZV E(4) V2 PUBBB
XT E(5) I2PROD
ZV E(5) V1 F1
ZV E(5) V2 PBGBG
ZV E(5) V3 PBUBG
XT E(6) I3PROD
ZV E(6) V1 F1
ZV E(6) V2 F2
ZV E(6) V3 PBGBG
ZV E(6) V4 PBUBG
XT E(7) I2PROD
ZV E(7) V1 F2
ZV E(7) V2 PGBGB
ZV E(7) V3 PUBGB
XT E(8) I3PROD
ZV E(8) V1 F1
ZV E(8) V2 F2
ZV E(8) V3 PGBGB
ZV E(8) V4 PUBGB
XT E(9) 3PRODI
ZV E(9) V1 F1
ZV E(9) V2 F2
ZV E(9) V3 PBBBB
ZV E(9) V4 PUBBB
ZV E(9) V5 PBUBB
GROUP TYPE
* LOG
GV LOG T
GP LOG P
GROUP USES
XT OBJ(1) LOG
ZP OBJ(1) P RS1
XT OBJ(2) LOG
ZP OBJ(2) P RS2
XT OBJ(3) LOG
ZP OBJ(3) P RS3
XT OBJ(4) LOG
ZP OBJ(4) P RS4
XT OBJ(5) LOG
XE OBJ(5) E(1) -1.0 E(2)
ZP OBJ(5) P RNBU
XT OBJ(6) LOG
XE OBJ(6) E(3) -1.0 E(4)
ZP OBJ(6) P RNUB
XT OBJ(7) LOG
XE OBJ(7) E(5) E(6) -1.0
XE OBJ(7) E(7) E(8) -1.0
XE OBJ(7) E(9)
ZP OBJ(7) P RNUU
XT OBJ(8) LOG
ZP OBJ(8) P RNGB
XT OBJ(9) LOG
ZP OBJ(9) P RNBG
XT OBJ(10) LOG
ZP OBJ(10) P RNBB
XT OBJ(11) LOG
ZP OBJ(11) P RNGBUU
XT OBJ(12) LOG
ZP OBJ(12) P RNBGUU
XT OBJ(13) LOG
ZP OBJ(13) P RNBBUU
XT OBJ(14) LOG
ZP OBJ(14) P RNBGBU
XT OBJ(15) LOG
ZP OBJ(15) P RNBBBU
XT OBJ(16) LOG
ZP OBJ(16) P RNGBUB
XT OBJ(17) LOG
ZP OBJ(17) P RNBBUB
OBJECT BOUND
* Solution
*LO SOLTN 1138.416240
ENDATA
***********************
* SET UP THE FUNCTION *
* AND RANGE ROUTINES *
***********************
ELEMENTS QC
TEMPORARIES
R ZERO
INDIVIDUALS
* Element type 2PROD
T 2PROD
A ZERO 0.0
F V1*V2
G V1 V2
G V2 V1
H V1 V1 ZERO
H V2 V2 ZERO
H V1 V2 1.0
* Element type I2PROD
T I2PROD
R U1 V1 1.0
R U2 V2 -1.0 V3 -1.0
A ZERO 0.0
F U1 * U2
G U1 U2
G U2 U1
H U1 U1 ZERO
H U2 U2 ZERO
H U1 U2 1.0
* Element type I3PROD
T I3PROD
R U1 V1 1.0
R U2 V2 1.0
R U3 V3 -1.0 V4 -1.0
F U1 * U2 * (1.0 + U3)
G U1 U2 * (1.0 + U3)
G U2 U1 * (1.0 + U3)
G U3 U1 * U2
H U1 U1 ZERO
H U1 U2 1.0 + U3
H U1 U3 U2
H U2 U2 ZERO
H U2 U3 U1
H U3 U3 ZERO
* Element type 3PRODI
T 3PRODI
R U1 V1 1.0
R U2 V2 1.0
R U3 V3 -1.0 V4 -1.0
R U3 V5 -1.0
F U1 * U2 * (1.0 + U3)
G U1 U2 * (1.0 + U3)
G U2 U1 * (1.0 + U3)
G U3 U1 * U2
H U1 U1 ZERO
H U1 U2 1.0 + U3
H U1 U3 U2
H U2 U2 ZERO
H U2 U3 U1
H U3 U3 ZERO
ENDATA
GROUPS QC
TEMPORARIES
L ARG0
R SMALL
R LARGE
R FF
R GG
R HH
M LOG
M ABS
INDIVIDUALS
* group type log
T LOG
A T ABS( T )
A SMALL 1.0D-10
A LARGE 1.0D+10
A ARG0 T .LE. SMALL
I ARG0 FF P * LOG( SMALL)
E ARG0 FF P * LOG( T )
I ARG0 GG P * LARGE
E ARG0 GG P / T
I ARG0 HH - P * LARGE ** 2
E ARG0 HH - P / T ** 2
F FF
G GG
H HH
ENDATA