| /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,
10 x111+x211+x311=a11 and x112+x212+x312=a12 and x113+x213+x313=a13 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
22 0 leq x211 and 0 leq x212 and 0 leq x213 and
|
| /dports/games/exult/exult-snapshot-v1.7.0.20211128/content/sifixes/src/npcs/ |
| H A D | edrin.uc | 13 * sets flag 531 (0x213). In testing you must ask about his dreams in two
15 * when he speaks of her. Only after does he check for flag 531 (0x213).
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
| H A D | bug143.smt | 299 :extrapreds ((x213))
673 …( implies ( and ( not x216 ) ( and ( not x215 ) ( and x214 ( and x213 ( and x212 ( and x211 true )…
689 …( implies ( and ( not x216 ) ( and x215 ( and x214 ( and x213 ( and x212 ( and x211 true ) ) ) ) )…
705 …( implies ( and x216 ( and ( not x215 ) ( and x214 ( and x213 ( and x212 ( and x211 true ) ) ) ) )…
713 …( implies ( and x216 ( and x215 ( and ( not x214 ) ( and x213 ( and x212 ( and x211 true ) ) ) ) )…
717 …( implies ( and x216 ( and x215 ( and x214 ( and ( not x213 ) ( and x212 ( and x211 true ) ) ) ) )…
719 …( implies ( and x216 ( and x215 ( and x214 ( and x213 ( and ( not x212 ) ( and x211 true ) ) ) ) )…
720 …( implies ( and x216 ( and x215 ( and x214 ( and x213 ( and x212 ( and ( not x211 ) true ) ) ) ) )…
721 …( implies ( and x216 ( and x215 ( and x214 ( and x213 ( and x212 ( and x211 true ) ) ) ) ) ) ( = t…
1352 ( implies ( and ( not x213 ) true ) ( = tmp37 0 ) )
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
| H A D | miplib-pp08a-3000.smt | 302 :extrapreds ((x213))
676 …( implies ( and ( not x216 ) ( and ( not x215 ) ( and x214 ( and x213 ( and x212 ( and x211 true )…
692 …( implies ( and ( not x216 ) ( and x215 ( and x214 ( and x213 ( and x212 ( and x211 true ) ) ) ) )…
708 …( implies ( and x216 ( and ( not x215 ) ( and x214 ( and x213 ( and x212 ( and x211 true ) ) ) ) )…
716 …( implies ( and x216 ( and x215 ( and ( not x214 ) ( and x213 ( and x212 ( and x211 true ) ) ) ) )…
720 …( implies ( and x216 ( and x215 ( and x214 ( and ( not x213 ) ( and x212 ( and x211 true ) ) ) ) )…
722 …( implies ( and x216 ( and x215 ( and x214 ( and x213 ( and ( not x212 ) ( and x211 true ) ) ) ) )…
723 …( implies ( and x216 ( and x215 ( and x214 ( and x213 ( and x212 ( and ( not x211 ) true ) ) ) ) )…
724 …( implies ( and x216 ( and x215 ( and x214 ( and x213 ( and x212 ( and x211 true ) ) ) ) ) ) ( = t…
1355 ( implies ( and ( not x213 ) true ) ( = tmp37 0 ) )
[all …]
|
| /dports/math/py-mip/mip-1.13.0/test/data/ |
| H A D | 1443_0-9.lp | 22 …-0.10000 x208 -0.10000 x210 -0.10000 x211 -0.10000 x212 -0.10000 x213 -0.10000 x214 -0.10000 x215 …
39 + x142 + x154 + x160 + x175 + x193 + x199 + x205 + x213 + x221 <= 1
247 cons212: x209 - x213 >= -0
678 cons643: x211 + x213 <= 1
682 cons647: x212 + x213 <= 1
686 cons651: x213 + x214 <= 1
687 cons652: x213 + x216 <= 1
726 …+ 0.50000 x210 + 0.50000 x211 + 0.50000 x212 + 0.50000 x213 + 0.45000 x214 + 0.50000 x215 + 0.5000…
944 0 <= x213 <= 1
977 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219
|
| H A D | 2050_3_7.lp | 23 …-0.10000 x209 -0.10000 x210 -0.10000 x211 -0.10000 x213 -0.10000 x214 -0.10000 x215 -0.10000 x216 …
32 cons0: x0 + x95 + x158 + x176 + x195 + x213 + x283 <= 1
272 cons222: x212 - x213 >= -0
797 cons747: x213 + x216 <= 1
798 cons748: x213 + x218 <= 1
799 cons749: x213 + x220 <= 1
800 cons750: x213 + x222 <= 1
801 cons751: x213 + x223 <= 1
1199 0 <= x213 <= 1
1305 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219
|
| /dports/multimedia/handbrake/ffmpeg-4.4/tests/ref/fate/ |
| H A D | matroska-vp8-alpha-remux | 6 #dimensions 0: 320x213
|
| /dports/multimedia/ffmpeg/ffmpeg-4.4.1/tests/ref/fate/ |
| H A D | matroska-vp8-alpha-remux | 6 #dimensions 0: 320x213
|
| /dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
| H A D | PW92_ERF_correlation.F | 266 &, x204, x205, x206, x207, x208, x209, x210, x211, x212, x213, x214
498 x213 = x57*x9
502 x217 = x106*(0.452125560575033d0*x213 + 1.06404211235975d0*x214 +
509 x222 = x31*(0.0751469112939684d0*x213 + 0.00836319657736588d0*x215
528 &133 + x131* x238*(0.0582386976490866d0*x213 + 0.219734258381682d0*
534 &2672375d0* x213*x40 + 0.0375734556469842d0*x213 - 0.15191350248593
946 x213 = 24.0d0*x89
1362 x217 = x213*x216
1687 x524 = x213*x214
2356 x213 = 0.682784063255296d0*x105*x117
[all …]
|
| H A D | TPSS_ERFGWS_exchange.F | 1622 x213 = x212*x48
1623 x214 = 1.24378109452736d0*x213
2187 x213 = x212*x60
2188 x214 = x211*x213
2369 x378 = x213*x377
2807 x213 = x5*x68
2959 &208*x358 + 1.07681220315979d0*x213*x352 - 0.246769463224118d0*x213
3440 x213 = x212*x99
3551 x317 = 0.0757133580346725d0*x213
4107 x213 = 1.24378109452736d0*x212
[all …]
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 272 int x213; in main() local
530 if(i == 0)x213 = 213; in main()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 272 int x213; in main() local
530 if(i == 0)x213 = 213; in main()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 272 int x213; in main() local
530 if(i == 0)x213 = 213; in main()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 270 int x213; in main() local
528 if(i == 0)x213 = 213; in main()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 270 int x213; in main() local
528 if(i == 0)x213 = 213; 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 | 272 int x213; in main() local
530 if(i == 0)x213 = 213; 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 | 272 int x213; in main() local
530 if(i == 0)x213 = 213; in main()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/hotspot/jtreg/vmTestbase/jit/t/t091/ |
| H A D | t091.java | 272 int x213; in main() local
530 if(i == 0)x213 = 213; in main()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/Sema/ |
| H A D | many-parameters.c | 223 int x213,
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/Sema/ |
| H A D | many-parameters.c | 223 int x213,
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/Sema/ |
| H A D | many-parameters.c | 223 int x213,
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 223 int x213,
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/Sema/ |
| H A D | many-parameters.c | 223 int x213,
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/Sema/ |
| H A D | many-parameters.c | 223 int x213,
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/Sema/ |
| H A D | many-parameters.c | 223 int x213,
|