| /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 | 319 :extrapreds ((x233))
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…
1312 ( implies ( and ( not x233 ) true ) ( = tmp57 0 ) )
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
| H A D | miplib-pp08a-3000.smt | 322 :extrapreds ((x233))
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…
1315 ( implies ( and ( not x233 ) true ) ( = tmp57 0 ) )
[all …]
|
| /dports/misc/fq/fq-0.0.2/format/matroska/testdata/ |
| H A D | mpeg2.fqtest | 346 … | | flags{}: 0x233-0x233.7 (1)
347 … | . | key_frame: true 0x233-0x233 (0.1)
348 … | . | reserved: 0 0x233.1-0x233.3 (0.3)
349 … | . | invisible: false 0x233.4-0x233.4 (0.1)
350 … | . | lacing: 0 0x233.5-0x233.6 (0.2)
351 … | . | discardable: false 0x233.7-0x233.7 (0.1)
|
| H A D | mp3.fqtest | 360 … | P | bitrate: 64000 (5) 0x233-0x233.3 (0.4)
361 … | P | sample_rate: 44100 (0) 0x233.4-0x233.5 (0.2)
362 … | P | padding: "Not padded" (0b0) 0x233.6-0x233.6 (0.1)
363 … | P | private: 0 0x233.7-0x233.7 (0.1)
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/ |
| H A D | lra-vts-inf.smt2 | 45 (let ((?x233 1))
49 (let (($x484 (or (and (<= ?x458 ?x24) (<= (+ ?x464 (* (- 12) |v4:13|)) ?x233)) (and $x474 (<= (+ ?x…
88 …(<= ?x293 ?x135)) (<= ?x302 ?x59)) (and (or (<= ?x311 ?x158) $x319) (or (<= ?x327 ?x233) $x335)))))
104 (let (($x244 (and (and (<= (+ ?x212 ?x115) ?x10) $x222) (and (<= ?x232 ?x233) (<= ?x241 ?x228)))))
|
| /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 …
49 cons10: x31 + x81 + x125 + x218 + x233 + x270 <= 1
291 cons241: x226 - x233 >= -0
832 cons782: x227 + x233 <= 1
845 cons795: x230 + x233 <= 1
855 cons805: x233 + x234 <= 1
856 cons806: x233 + x236 <= 1
977 …227 + 0.43750 x228 + 0.43750 x229 + 0.43750 x231 + 0.43750 x232 + 0.56250 x233 + 0.56250 x234 + 0.…
1219 0 <= x233 <= 1
1307 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239
|
| /dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
| H A D | PBE_ERFGWS_correlation.F | 645 x233 = x231*x232
1477 x233 = rho_s*x58
1483 x239 = x233*x238
1559 x307 = x233*x306
1838 &*x233*x236* x461 + x233*x458*(x387 - x456) + 2.33928935898208d0*x2
2771 x709 = x233*x609 - x233*x700 + x233*x703 + x233*x708
2778 x715 = x233*x241
2858 x793 = x233*x568
4028 &1350*x1351 *x233 - x1350*x1352*x201*x204*x680 + x1362*x233*(-x1192
4448 x233 = x78*x79
[all …]
|
| H A D | PW92_ERF_correlation.F | 268 &, x226, x227, x228, x229, x230, x231, x232, x233, x234, x235, x236
521 x233 = 1.08351503479231d0*x216
556 &5434535825d0*x111 + 2.08878617852919d0*x175)/x49**2 + x233 + 3.008
557 &15243991335d0*x234 - x53*(x233 + 1.39252411901946d0*x234)) - x182*
709 &, x226, x227, x228, x229, x230, x231, x232, x233, x234, x235, x236
966 x233 = x116*x222*x232
1016 &)*x49*x87* x88 + x137*x213*x48 + x218 - x223 + x227 + x230 + x233
1028 &x221*x256 + x223 - x227 - x230 - x233 - x234 - x241 - x244)) - x18
1378 x233 = x52*x54
1707 x538 = x233*x68
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/arith/ |
| H A D | miplib-pp08a-3000.smt2 | 319 (declare-fun x233 () Bool)
327 …x233)) (?v_580 (not x232)) (?v_581 (not x231)) (?v_582 (not x230)) (?v_583 (and (not x229) true)))…
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 292 int x233; in main() local
550 if(i == 0)x233 = 233; in main()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 292 int x233; in main() local
550 if(i == 0)x233 = 233; in main()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 292 int x233; in main() local
550 if(i == 0)x233 = 233; in main()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 290 int x233; in main() local
548 if(i == 0)x233 = 233; in main()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 290 int x233; in main() local
548 if(i == 0)x233 = 233; 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 | 292 int x233; in main() local
550 if(i == 0)x233 = 233; 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 | 292 int x233; in main() local
550 if(i == 0)x233 = 233; in main()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 292 int x233; in main() local
550 if(i == 0)x233 = 233; in main()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/Sema/ |
| H A D | many-parameters.c | 243 int x233,
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/Sema/ |
| H A D | many-parameters.c | 243 int x233,
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/Sema/ |
| H A D | many-parameters.c | 243 int x233,
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 243 int x233,
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 243 int x233,
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/Sema/ |
| H A D | many-parameters.c | 243 int x233,
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/Sema/ |
| H A D | many-parameters.c | 243 int x233,
|