Home
last modified time | relevance | path

Searched refs:x133 (Results 1 – 25 of 727) sorted by relevance

12345678910>>...30

/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlqe/
H A Dmtp3.tst7 ex(x111,ex(x112,ex(x113,ex(x121,ex(x122,ex(x123,ex(x131,ex(x132,ex(x133,
12 x131+x231+x331=a31 and x132+x232+x332=a32 and x133+x233+x333=a33 and
13 x111+x121+x131=b11 and x112+x122+x132=b12 and x113+x123+x133=b13 and
16 x111+x112+x113=c11 and x121+x122+x123=c12 and x131+x132+x133=c13 and
21 0 leq x131 and 0 leq x132 and 0 leq x133 and
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/datatypes/
H A Dtyped_v3l20092.cvc21 …dren(x134) ELSE null ENDIF))) = (LET x132 = node((LET x133 = x6 IN (IF is_cons(x133) THEN cdr(x133…
/dports/math/onednn/oneDNN-2.5.1/tests/benchdnn/inputs/matmul/
H A Dtest_matmul_ci51 --bia_mask=2,3 77x133:133x117
57 --bia_mask=2,3 77x133:133x117
63 --bia_mask=2,3 77x133:133x117
/dports/lang/fpc-source/fpc-3.2.2/tests/test/cg/variants/
H A Dtvarol133.pp29 x133: shortint;
38 v := x133;
/dports/math/SCIP/scip-7.0.3/check/instances/PseudoBoolean/
H A Dnormalized-t2001.13queen13.1110976730--soft-33-100-0.wbo28 [53] -1 x131 -1 x132 -1 x133 -1 x134 -1 x135 -1 x136 -1 x137 -1 x138 -1 x139 -1 x140 -1 x141 -1 x14…
29 [57] +1 x131 +1 x132 +1 x133 +1 x134 +1 x135 +1 x136 +1 x137 +1 x138 +1 x139 +1 x140 +1 x141 +1 x14…
38 [69] -1 x3 -1 x16 -1 x29 -1 x42 -1 x55 -1 x68 -1 x81 -1 x94 -1 x107 -1 x120 -1 x133 -1 x146 -1 x159…
39 +1 x3 +1 x16 +1 x29 +1 x42 +1 x55 +1 x68 +1 x81 +1 x94 +1 x107 +1 x120 +1 x133 +1 x146 +1 x159 >= 1…
68 [9] -1 x105 -1 x119 -1 x133 -1 x147 -1 x161 >= -1 ;
83 -1 x157 -1 x145 -1 x133 -1 x121 -1 x109 -1 x97 -1 x85 -1 x73 -1 x61 -1 x49 -1 x37 -1 x25 -1 x13 >= …
96 -1 x157 -1 x145 -1 x133 -1 x121 -1 x109 -1 x97 -1 x85 -1 x73 -1 x61 -1 x49 -1 x37 -1 x25 -1 x13 >= …
108 … x3 -4 x16 -8 x29 -7 x42 -4 x55 -12 x68 -7 x81 -5 x94 -2 x107 -4 x120 -11 x133 -2 x146 -1 x159 -7 …
H A Dnormalized-t2001.13queen13.1111218308.opb27 -1 x131 -1 x132 -1 x133 -1 x134 -1 x135 -1 x136 -1 x137 -1 x138 -1 x139 -1 x140 -1 x141 -1 x142 -1 …
28 +1 x131 +1 x132 +1 x133 +1 x134 +1 x135 +1 x136 +1 x137 +1 x138 +1 x139 +1 x140 +1 x141 +1 x142 +1 …
37 -1 x3 -1 x16 -1 x29 -1 x42 -1 x55 -1 x68 -1 x81 -1 x94 -1 x107 -1 x120 -1 x133 -1 x146 -1 x159 >= -…
38 +1 x3 +1 x16 +1 x29 +1 x42 +1 x55 +1 x68 +1 x81 +1 x94 +1 x107 +1 x120 +1 x133 +1 x146 +1 x159 >= 1…
67 -1 x105 -1 x119 -1 x133 -1 x147 -1 x161 >= -1 ;
82 -1 x157 -1 x145 -1 x133 -1 x121 -1 x109 -1 x97 -1 x85 -1 x73 -1 x61 -1 x49 -1 x37 -1 x25 -1 x13 >= …
95 -1 x157 -1 x145 -1 x133 -1 x121 -1 x109 -1 x97 -1 x85 -1 x73 -1 x61 -1 x49 -1 x37 -1 x25 -1 x13 >= …
107 … x3 -9 x16 -11 x29 -7 x42 -5 x55 -13 x68 -8 x81 -6 x94 -5 x107 -5 x120 -2 x133 -7 x146 -13 x159 -1…
/dports/math/py-mip/mip-1.13.0/test/data/
H A D1443_0-9.lp15 …-0.10000 x128 -0.10000 x129 -0.10000 x130 -0.10000 x131 -0.10000 x132 -0.10000 x133 -0.10000 x134 …
51 cons19: x37 + x61 + x105 + x115 + x133 + x155 + x162 + x167 + x185 + x195
178 cons143: x124 - x133 >= -0
531 cons496: x126 + x133 <= 1
536 cons501: x127 + x133 <= 1
543 cons508: x128 + x133 <= 1
546 cons511: x129 + x133 <= 1
549 cons514: x130 + x133 <= 1
559 cons524: x133 + x136 <= 1
864 0 <= x133 <= 1
[all …]
H A D2050_3_7.lp198 cons148: x118 - x133 >= -0
554 cons504: x120 + x133 <= 1
560 cons510: x121 + x133 <= 1
569 cons519: x122 + x133 <= 1
584 cons534: x125 + x133 <= 1
593 cons543: x128 + x133 <= 1
596 cons546: x129 + x133 <= 1
602 cons552: x131 + x133 <= 1
607 cons557: x133 + x136 <= 1
608 cons558: x133 + x137 <= 1
[all …]
/dports/print/qpdf/qpdf-10.5.0/qpdf/qtest/qpdf/
H A Dminimal-xref.out4 4/0, uncompressed, offset = 307 (0x133)
/dports/x11-fonts/font-manager/font-manager-0.8.7/lib/orthographies/
H A DDutch29 0x133,
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/
H A DwPBE_exchange.F265 x133 = x44/x41**2
266 x134 = x132*x133
354 x217 = x133*x216*x80
645 x133 = gamma_aa*x132
694 x179 = x133*x178
748 x232 = x133*x183
790 x274 = x133*x273
837 x318 = x133*x317
963 x432 = x133*x81
1083 x541 = x133*x270
[all …]
H A DVWN5_nomu_correlation.F281 &, x127, x128, x129, x130, x131, x132, x133, x134, x135, x136, x137
424 x133 = x0*x132
425 x134 = 1.30858805893694d0*x131 + x133
436 x145 = 0.69084891187832d0*x131 + x133
463 x166 = 0.209634086332231d0*x131 + x133
/dports/x11/libwacom/libwacom-1.5/data/
H A Dek-remote.tablet30 EvdevCodes=0x100;0x101;0x102;0x103;0x104;0x105;0x106;0x107;0x108;0x109;0x130;0x131;0x132;0x133;0x13…
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/go.test/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/go.test/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/go.test/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/go.test/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/go.test/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/go.test/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/go.test/test/fixedbugs/
H A Dbug385_64.go149 var x133 [10<<20]byte; z = x133

12345678910>>...30