Home
last modified time | relevance | path

Searched refs:x165 (Results 1 – 25 of 738) sorted by relevance

12345678910>>...30

/dports/lang/fpc-source/fpc-3.2.2/tests/test/cg/variants/
H A Divarol165.pp26 x165: extended;
35 v := x165;
/dports/math/SCIP/scip-7.0.3/check/instances/PseudoBoolean/
H A Dnormalized-t2001.13queen13.1110976730--soft-33-100-0.wbo32 [30] -1 x157 -1 x158 -1 x159 -1 x160 -1 x161 -1 x162 -1 x163 -1 x164 -1 x165 -1 x166 -1 x167 -1 x16…
33 +1 x157 +1 x158 +1 x159 +1 x160 +1 x161 +1 x162 +1 x163 +1 x164 +1 x165 +1 x166 +1 x167 +1 x168 +1 …
50 …9 -1 x22 -1 x35 -1 x48 -1 x61 -1 x74 -1 x87 -1 x100 -1 x113 -1 x126 -1 x139 -1 x152 -1 x165 >= -1 ;
51 …x9 +1 x22 +1 x35 +1 x48 +1 x61 +1 x74 +1 x87 +1 x100 +1 x113 +1 x126 +1 x139 +1 x152 +1 x165 >= 1 ;
64 -1 x53 -1 x67 -1 x81 -1 x95 -1 x109 -1 x123 -1 x137 -1 x151 -1 x165 >= -1 ;
104 -1 x165 -1 x153 -1 x141 -1 x129 -1 x117 >= -1 ;
108 …-2 x48 -12 x61 -2 x74 -11 x87 -8 x100 -3 x113 -4 x126 -13 x139 -1 x152 -9 x165 -7 x10 -7 x23 -1 x3…
H A Dnormalized-t2001.13queen13.1111218308.opb31 -1 x157 -1 x158 -1 x159 -1 x160 -1 x161 -1 x162 -1 x163 -1 x164 -1 x165 -1 x166 -1 x167 -1 x168 -1 …
32 +1 x157 +1 x158 +1 x159 +1 x160 +1 x161 +1 x162 +1 x163 +1 x164 +1 x165 +1 x166 +1 x167 +1 x168 +1 …
49 -1 x9 -1 x22 -1 x35 -1 x48 -1 x61 -1 x74 -1 x87 -1 x100 -1 x113 -1 x126 -1 x139 -1 x152 -1 x165 >= …
50 +1 x9 +1 x22 +1 x35 +1 x48 +1 x61 +1 x74 +1 x87 +1 x100 +1 x113 +1 x126 +1 x139 +1 x152 +1 x165 >= …
63 -1 x53 -1 x67 -1 x81 -1 x95 -1 x109 -1 x123 -1 x137 -1 x151 -1 x165 >= -1 ;
103 -1 x165 -1 x153 -1 x141 -1 x129 -1 x117 >= -1 ;
107 … -8 x48 -13 x61 -2 x74 -9 x87 -9 x100 -9 x113 -7 x126 -5 x139 -3 x152 -10 x165 -8 x10 -7 x23 -12 x…
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/
H A Dtyped_v1l50016-simp.cvc15 …9 = (LET x160 = (LET x161 = (LET x162 = cons((LET x163 = (LET x164 = (LET x165 = (LET x166 = (LET …
24 (IF is_cons(x165) THEN cdr(x165) ELSE null ENDIF)) IN
/dports/sysutils/file/file-5.39/magic/Magdir/
H A Despressif22 >>0x165 ubyte^0x1BF x \b, hostname %c
55 #>>0x165 string x (%.33s)
/dports/devel/py-magic/file-5.40/magic/Magdir/
H A Despressif22 >>0x165 ubyte^0x1BF x \b, hostname %c
55 #>>0x165 string x (%.33s)
/dports/multimedia/gstreamer1-libav/gst-libav-1.16.2/gst-libs/ext/libav/tests/ref/fate/
H A Dxxan-wc44 #dimensions 0: 320x165
H A Dwc3movie-xan4 #dimensions 0: 320x165
/dports/multimedia/ffmpeg/ffmpeg-4.4.1/tests/ref/fate/
H A Dxxan-wc44 #dimensions 0: 320x165
H A Dwc3movie-xan4 #dimensions 0: 320x165
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/ffmpeg/tests/ref/fate/
H A Dxxan-wc44 #dimensions 0: 320x165
H A Dwc3movie-xan4 #dimensions 0: 320x165
/dports/multimedia/handbrake/ffmpeg-4.4/tests/ref/fate/
H A Dxxan-wc44 #dimensions 0: 320x165
H A Dwc3movie-xan4 #dimensions 0: 320x165
/dports/math/SCIP/scip-7.0.3/check/instances/MINLP/
H A Dex1266.mps152 x165 c28 1 c22 -1
153 x165 c69 1 c10 -380
154 x165 c16 380
573 UP Bound x165 5
622 x153 x165 0.5
623 x165 x153 0.5
/dports/math/py-mip/mip-1.13.0/test/data/
H A D1443_0-9.lp18 …-0.10000 x161 -0.10000 x162 -0.10000 x163 -0.10000 x164 -0.10000 x165 -0.10000 x166 -0.10000 x168 …
58 cons24: x28 + x48 + x62 + x93 + x117 + x149 + x165 + x188 + x197 <= 1
207 cons172: x159 - x165 >= -0
621 cons586: x161 + x165 <= 1
623 cons588: x162 + x165 <= 1
624 cons589: x163 + x165 <= 1
626 cons591: x165 + x166 <= 1
721 …+ 0.50000 x160 + 0.45000 x161 + 0.50000 x162 + 0.45000 x163 + 0.50000 x164 + 0.42857 x165 + 0.5000…
896 0 <= x165 <= 1
972 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169
H A D2050_3_7.lp53 cons13: x33 + x78 + x88 + x102 + x127 + x138 + x152 + x165 + x184 + x202
227 cons177: x157 - x165 >= -0
644 cons594: x158 + x165 <= 1
652 cons602: x159 + x165 <= 1
656 cons606: x160 + x165 <= 1
663 cons613: x162 + x165 <= 1
671 cons621: x165 + x168 <= 1
672 cons622: x165 + x171 <= 1
673 cons623: x165 + x173 <= 1
1151 0 <= x165 <= 1
[all …]
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/
H A DwPBE_exchange.F297 x165 = x114*x82
680 x165 = x164*x46
681 x166 = x163*x165
711 x196 = x165*x195
896 x371 = x165*x356
947 x418 = x165*x417
990 x456 = x165*x455
1066 x525 = x165*x476
1170 x622 = x165*x89
1269 x712 = x165*x633
[all …]
/dports/x11-fonts/font-manager/font-manager-0.8.7/lib/orthographies/
H A DCentralEuropean83 0x165,
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/boringssl/src/third_party/fiat/
H A Dp256_64.h370 uint64_t x165; in fiat_p256_mul() local
372 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_mul()
385 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_mul()
399 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); in fiat_p256_mul()
665 uint64_t x165; in fiat_p256_square() local
667 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_square()
680 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_square()
694 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); 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 Dp256_64.h370 uint64_t x165; in fiat_p256_mul() local
372 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_mul()
385 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_mul()
399 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); in fiat_p256_mul()
665 uint64_t x165; in fiat_p256_square() local
667 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_square()
680 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_square()
694 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); in fiat_p256_square()
/dports/net/quiche/quiche-0.9.0/deps/boringssl/src/third_party/fiat/
H A Dp256_64.h370 uint64_t x165; in fiat_p256_mul() local
372 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_mul()
385 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_mul()
399 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); in fiat_p256_mul()
665 uint64_t x165; in fiat_p256_square() local
667 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_square()
680 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_square()
694 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); in fiat_p256_square()
/dports/security/boringssl/boringssl-6a71840/third_party/fiat/
H A Dp256_64.h370 uint64_t x165; in fiat_p256_mul() local
372 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_mul()
385 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_mul()
399 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); in fiat_p256_mul()
665 uint64_t x165; in fiat_p256_square() local
667 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_square()
680 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_square()
694 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); in fiat_p256_square()
/dports/devel/pecl-grpc/grpc-1.42.0/third_party/boringssl-with-bazel/src/third_party/fiat/
H A Dp256_64.h370 uint64_t x165; in fiat_p256_mul() local
372 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_mul()
385 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_mul()
399 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); in fiat_p256_mul()
665 uint64_t x165; in fiat_p256_square() local
667 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_square()
680 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_square()
694 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); in fiat_p256_square()
/dports/devel/py-grpcio/grpcio-1.43.0/third_party/boringssl-with-bazel/src/third_party/fiat/
H A Dp256_64.h370 uint64_t x165; in fiat_p256_mul() local
372 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_mul()
385 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_mul()
399 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); in fiat_p256_mul()
665 uint64_t x165; in fiat_p256_square() local
667 fiat_p256_addcarryx_u64(&x165, &x166, x164, x146, x160); in fiat_p256_square()
680 fiat_p256_subborrowx_u64(&x174, &x175, 0x0, x165, UINT64_C(0xffffffffffffffff)); in fiat_p256_square()
694 fiat_p256_cmovznz_u64(&x184, x183, x174, x165); in fiat_p256_square()

12345678910>>...30