| /dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlqe/ |
| H A D | mtp3.tst | 8 ex(x211,ex(x212,ex(x213,ex(x221,ex(x222,ex(x223,ex(x231,ex(x232,ex(x233,
12 x131+x231+x331=a31 and x132+x232+x332=a32 and x133+x233+x333=a33 and
14 x211+x221+x231=b21 and x212+x222+x232=b22 and x213+x223+x233=b23 and
17 x211+x212+x213=c21 and x221+x222+x223=c22 and x231+x232+x233=c23 and
24 0 leq x231 and 0 leq x232 and 0 leq x233 and
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
| H A D | bug143.smt | 317 :extrapreds ((x231))
1057 …( implies ( and ( not x234 ) ( and ( not x233 ) ( and x232 ( and x231 ( and x230 ( and x229 true )…
1073 …( implies ( and ( not x234 ) ( and x233 ( and x232 ( and x231 ( and x230 ( and x229 true ) ) ) ) )…
1089 …( implies ( and x234 ( and ( not x233 ) ( and x232 ( and x231 ( and x230 ( and x229 true ) ) ) ) )…
1097 …( implies ( and x234 ( and x233 ( and ( not x232 ) ( and x231 ( and x230 ( and x229 true ) ) ) ) )…
1101 …( implies ( and x234 ( and x233 ( and x232 ( and ( not x231 ) ( and x230 ( and x229 true ) ) ) ) )…
1103 …( implies ( and x234 ( and x233 ( and x232 ( and x231 ( and ( not x230 ) ( and x229 true ) ) ) ) )…
1104 …( implies ( and x234 ( and x233 ( and x232 ( and x231 ( and x230 ( and ( not x229 ) true ) ) ) ) )…
1105 …( implies ( and x234 ( and x233 ( and x232 ( and x231 ( and x230 ( and x229 true ) ) ) ) ) ) ( = t…
1316 ( implies ( and ( not x231 ) true ) ( = tmp55 0 ) )
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
| H A D | miplib-pp08a-3000.smt | 320 :extrapreds ((x231))
1060 …( implies ( and ( not x234 ) ( and ( not x233 ) ( and x232 ( and x231 ( and x230 ( and x229 true )…
1076 …( implies ( and ( not x234 ) ( and x233 ( and x232 ( and x231 ( and x230 ( and x229 true ) ) ) ) )…
1092 …( implies ( and x234 ( and ( not x233 ) ( and x232 ( and x231 ( and x230 ( and x229 true ) ) ) ) )…
1100 …( implies ( and x234 ( and x233 ( and ( not x232 ) ( and x231 ( and x230 ( and x229 true ) ) ) ) )…
1104 …( implies ( and x234 ( and x233 ( and x232 ( and ( not x231 ) ( and x230 ( and x229 true ) ) ) ) )…
1106 …( implies ( and x234 ( and x233 ( and x232 ( and x231 ( and ( not x230 ) ( and x229 true ) ) ) ) )…
1107 …( implies ( and x234 ( and x233 ( and x232 ( and x231 ( and x230 ( and ( not x229 ) true ) ) ) ) )…
1108 …( implies ( and x234 ( and x233 ( and x232 ( and x231 ( and x230 ( and x229 true ) ) ) ) ) ) ( = t…
1319 ( implies ( and ( not x231 ) true ) ( = tmp55 0 ) )
[all …]
|
| /dports/misc/fq/fq-0.0.2/format/matroska/testdata/ |
| H A D | vp9.fqtest | 346 … | | flags{}: 0x231-0x231.7 (1)
347 … | . | key_frame: true 0x231-0x231 (0.1)
348 … | . | reserved: 0 0x231.1-0x231.3 (0.3)
349 … | . | invisible: false 0x231.4-0x231.4 (0.1)
350 … | . | lacing: 0 0x231.5-0x231.6 (0.2)
351 … | . | discardable: false 0x231.7-0x231.7 (0.1)
|
| /dports/misc/fq/fq-0.0.2/format/zip/testdata/ |
| H A D | test0.fqtest | 350 … | | | flags{}: 0x230-0x231.7 (2)
359 … | . | reserved0: 0 0x231-0x231.1 (0.2)
360 … | . | mask_header_values: false 0x231.2-0x231.2 (0.1)
361 … | . | reserved1: false 0x231.3-0x231.3 (0.1)
362 … | . | language_encoding: false 0x231.4-0x231.4 (0.1)
363 … | . | unused1: 0 0x231.5-0x231.7 (0.3)
|
| H A D | test9.fqtest | 350 … | | | flags{}: 0x230-0x231.7 (2)
359 … | . | reserved0: 0 0x231-0x231.1 (0.2)
360 … | . | mask_header_values: false 0x231.2-0x231.2 (0.1)
361 … | . | reserved1: false 0x231.3-0x231.3 (0.1)
362 … | . | language_encoding: false 0x231.4-0x231.4 (0.1)
363 … | . | unused1: 0 0x231.5-0x231.7 (0.3)
|
| /dports/math/py-mip/mip-1.13.0/test/data/ |
| H A D | 2050_3_7.lp | 25 …-0.10000 x231 -0.10000 x232 -0.10000 x233 -0.10000 x234 -0.10000 x235 -0.10000 x236 -0.10000 x237 …
45 + x149 + x163 + x182 + x200 + x217 + x231 + x243 + x249 + x268 + x288
289 cons239: x226 - x231 >= -0
830 cons780: x227 + x231 <= 1
837 cons787: x228 + x231 <= 1
843 cons793: x230 + x231 <= 1
850 cons800: x231 + x232 <= 1
851 cons801: x231 + x240 <= 1
977 …-0.56250 x226 + 0.43750 x227 + 0.43750 x228 + 0.43750 x229 + 0.43750 x231 + 0.43750 x232 + 0.56250…
1217 0 <= x231 <= 1
[all …]
|
| /dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
| H A D | PW92_ERF_correlation.F | 268 &, x226, x227, x228, x229, x230, x231, x232, x233, x234, x235, x236
519 x231 = mu*x178
520 x232 = x231*x50
555 &(2.54445191835098d0* x214*x25 - 2.0d0*x230*x232 + x231*x52*(1.8574
709 &, x226, x227, x228, x229, x230, x231, x232, x233, x234, x235, x236
964 x231 = x119*x26
965 x232 = x111*x231
1009 x272 = -x214*x219*x268 + x219*x269*x270 + x228*x231*x268 - x232*x2
1079 &, x226, x227, x228, x229, x230, x231, x232, x233, x234, x235, x236
1376 x231 = x230*x50
[all …]
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 290 int x231; in main() local
548 if(i == 0)x231 = 231; in main()
|
| /dports/cad/opentimer/OpenTimer-18d28ff/benchmark/vga_lcd/ |
| H A D | vga_lcd.timing | 392 rat x231 210 210 220 220
393 load x231 4.0
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 290 int x231; in main() local
548 if(i == 0)x231 = 231; in main()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 290 int x231; in main() local
548 if(i == 0)x231 = 231; in main()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 288 int x231; in main() local
546 if(i == 0)x231 = 231; in main()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 288 int x231; in main() local
546 if(i == 0)x231 = 231; in main()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 290 int x231; in main() local
548 if(i == 0)x231 = 231; in main()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 290 int x231; in main() local
548 if(i == 0)x231 = 231; in main()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 290 int x231; in main() local
548 if(i == 0)x231 = 231; in main()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/Sema/ |
| H A D | many-parameters.c | 241 int x231,
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/Sema/ |
| H A D | many-parameters.c | 241 int x231,
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/Sema/ |
| H A D | many-parameters.c | 241 int x231,
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 241 int x231,
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 241 int x231,
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/Sema/ |
| H A D | many-parameters.c | 241 int x231,
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/Sema/ |
| H A D | many-parameters.c | 241 int x231,
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 241 int x231,
|