| /dports/lang/fpc-source/fpc-3.2.2/tests/test/cg/variants/ |
| H A D | ivarol169.pp | 27 x169: boolean;
36 v := x169;
|
| /dports/math/SCIP/scip-7.0.3/check/instances/PseudoBoolean/ |
| H A D | normalized-t2001.13queen13.1110976730--soft-33-100-0.wbo | 32 …158 -1 x159 -1 x160 -1 x161 -1 x162 -1 x163 -1 x164 -1 x165 -1 x166 -1 x167 -1 x168 -1 x169 >= -1 ;
33 …x158 +1 x159 +1 x160 +1 x161 +1 x162 +1 x163 +1 x164 +1 x165 +1 x166 +1 x167 +1 x168 +1 x169 >= 1 ;
58 …3 -1 x26 -1 x39 -1 x52 -1 x65 -1 x78 -1 x91 -1 x104 -1 x117 -1 x130 -1 x143 -1 x156 -1 x169 >= -1 ;
59 +1 x13 +1 x26 +1 x39 +1 x52 +1 x65 +1 x78 +1 x91 +1 x104 +1 x117 +1 x130 +1 x143 +1 x156 +1 x169 >=…
60 -1 x1 -1 x15 -1 x29 -1 x43 -1 x57 -1 x71 -1 x85 -1 x99 -1 x113 -1 x127 -1 x141 -1 x155 -1 x169 >= -…
84 [69] -1 x1 -1 x15 -1 x29 -1 x43 -1 x57 -1 x71 -1 x85 -1 x99 -1 x113 -1 x127 -1 x141 -1 x155 -1 x169…
108 …x26 -7 x39 -12 x52 -7 x65 -9 x78 -10 x91 -10 x104 -3 x117 -5 x130 -8 x143 -7 x156 -11 x169 >= -38 ;
|
| H A D | normalized-t2001.13queen13.1111218308.opb | 31 …158 -1 x159 -1 x160 -1 x161 -1 x162 -1 x163 -1 x164 -1 x165 -1 x166 -1 x167 -1 x168 -1 x169 >= -1 ;
32 …x158 +1 x159 +1 x160 +1 x161 +1 x162 +1 x163 +1 x164 +1 x165 +1 x166 +1 x167 +1 x168 +1 x169 >= 1 ;
57 -1 x13 -1 x26 -1 x39 -1 x52 -1 x65 -1 x78 -1 x91 -1 x104 -1 x117 -1 x130 -1 x143 -1 x156 -1 x169 >=…
58 +1 x13 +1 x26 +1 x39 +1 x52 +1 x65 +1 x78 +1 x91 +1 x104 +1 x117 +1 x130 +1 x143 +1 x156 +1 x169 >=…
59 -1 x1 -1 x15 -1 x29 -1 x43 -1 x57 -1 x71 -1 x85 -1 x99 -1 x113 -1 x127 -1 x141 -1 x155 -1 x169 >= -…
83 -1 x1 -1 x15 -1 x29 -1 x43 -1 x57 -1 x71 -1 x85 -1 x99 -1 x113 -1 x127 -1 x141 -1 x155 -1 x169 >= -…
107 …26 -3 x39 -4 x52 -1 x65 -2 x78 -7 x91 -10 x104 -13 x117 -2 x130 -11 x143 -11 x156 -12 x169 >= -38 ;
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | typed_v1l50016-simp.cvc | 15 …T x163 = (LET x164 = (LET x165 = (LET x166 = (LET x167 = (LET x168 = (LET x169 = (LET x170 = (LET …
20 (IF is_cons(x169) THEN car(x169) ELSE leaf(zero) ENDIF)) IN
|
| /dports/math/py-mip/mip-1.13.0/test/data/ |
| H A D | 2050_3_7.lp | 66 cons22: x107 + x133 + x169 + x222 + x246 <= 1
231 cons181: x157 - x169 >= -0
645 cons595: x158 + x169 <= 1
657 cons607: x160 + x169 <= 1
660 cons610: x161 + x169 <= 1
665 cons615: x162 + x169 <= 1
674 cons624: x166 + x169 <= 1
677 cons627: x167 + x169 <= 1
679 cons629: x168 + x169 <= 1
682 cons632: x169 + x173 <= 1
[all …]
|
| /dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
| H A D | wPBE_exchange.F | 301 x169 = x114*x45
684 x169 = x128*x46
685 x170 = 0.20190228809246d0*x169
696 x181 = 0.40380457618492d0*x169
838 x319 = -x153 - 2.66666666666667d0*x169 + x174
844 x325 = 0.10095114404623d0*x169
975 x442 = 0.80760915236984d0*x169
1030 x490 = x169*x489
1092 x550 = x169*x520
1121 x578 = 0.50475572023115d0*x169
[all …]
|
| /dports/math/SCIP/scip-7.0.3/check/instances/MINLP/ |
| H A D | ex1266.mps | 164 x169 c14 430 c73 1
165 x169 c26 1 c8 -430
166 x169 c20 -1
577 UP Bound x169 5
631 x151 x169 0.5
632 x169 x151 0.5
|
| /dports/science/siconos/siconos-4.4.0/numerics/src/FrictionContact/ |
| H A D | FischerBurmeisterGenerated.c | 1024 double x169; in fc3d_FischerBurmeisterFABGenerated() local
1117 x169=pow(rt2, 3); in fc3d_FischerBurmeisterFABGenerated()
1160 x169=pow(rt2, 3); in fc3d_FischerBurmeisterFABGenerated()
2189 x169=pow(rt2, 3); in fc3d_FischerBurmeisterFABGenerated()
2265 x169=pow(rt2, 3); in fc3d_FischerBurmeisterFABGenerated()
2845 x169=pow(rt2, 3); in fc3d_FischerBurmeisterFABGenerated()
2921 x169=pow(rt2, 3); in fc3d_FischerBurmeisterFABGenerated()
3297 x169=pow(rt2, 3); in fc3d_FischerBurmeisterFABGenerated()
3390 x169=pow(rt2, 3); in fc3d_FischerBurmeisterFABGenerated()
9024 double x169; in fc3d_FischerBurmeisterABGenerated() local
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/boringssl/src/third_party/fiat/ |
| H A D | p256_64.h | 376 uint64_t x169; in fiat_p256_mul() local
378 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_mul()
391 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_mul()
403 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_mul()
671 uint64_t x169; in fiat_p256_square() local
673 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_square()
686 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_square()
698 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_square()
|
| /dports/net/quiche/quiche-0.9.0/cargo-crates/boring-sys-1.1.1/deps/boringssl/src/third_party/fiat/ |
| H A D | p256_64.h | 376 uint64_t x169; in fiat_p256_mul() local
378 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_mul()
391 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_mul()
403 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_mul()
671 uint64_t x169; in fiat_p256_square() local
673 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_square()
686 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_square()
698 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_square()
|
| /dports/net/quiche/quiche-0.9.0/deps/boringssl/src/third_party/fiat/ |
| H A D | p256_64.h | 376 uint64_t x169; in fiat_p256_mul() local
378 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_mul()
391 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_mul()
403 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_mul()
671 uint64_t x169; in fiat_p256_square() local
673 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_square()
686 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_square()
698 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_square()
|
| /dports/security/boringssl/boringssl-6a71840/third_party/fiat/ |
| H A D | p256_64.h | 376 uint64_t x169; in fiat_p256_mul() local
378 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_mul()
391 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_mul()
403 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_mul()
671 uint64_t x169; in fiat_p256_square() local
673 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_square()
686 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_square()
698 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_square()
|
| /dports/devel/pecl-grpc/grpc-1.42.0/third_party/boringssl-with-bazel/src/third_party/fiat/ |
| H A D | p256_64.h | 376 uint64_t x169; in fiat_p256_mul() local
378 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_mul()
391 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_mul()
403 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_mul()
671 uint64_t x169; in fiat_p256_square() local
673 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_square()
686 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_square()
698 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_square()
|
| /dports/devel/py-grpcio/grpcio-1.43.0/third_party/boringssl-with-bazel/src/third_party/fiat/ |
| H A D | p256_64.h | 376 uint64_t x169; in fiat_p256_mul() local
378 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_mul()
391 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_mul()
403 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_mul()
671 uint64_t x169; in fiat_p256_square() local
673 fiat_p256_addcarryx_u64(&x169, &x170, x168, x150, x154); in fiat_p256_square()
686 fiat_p256_subborrowx_u64(&x178, &x179, x177, x169, 0x0); in fiat_p256_square()
698 fiat_p256_cmovznz_u64(&x186, x183, x178, x169); in fiat_p256_square()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 185 var x169 [10<<20]byte; z = x169
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 185 var x169 [10<<20]byte; z = x169
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 185 var x169 [10<<20]byte; z = x169
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 185 var x169 [10<<20]byte; z = x169
|
| /dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/test/fixedbugs/ |
| H A D | bug385_64.go | 185 var x169 [10<<20]byte; z = x169
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 185 var x169 [10<<20]byte; z = x169
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 185 var x169 [10<<20]byte; z = x169
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 185 var x169 [10<<20]byte; z = x169
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 185 var x169 [10<<20]byte; z = x169
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 185 var x169 [10<<20]byte; z = x169
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 185 var x169 [10<<20]byte; z = x169
|