| /dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
| H A D | bug143.smt | 267 :extrapreds ((x181))
1249 …( implies ( and ( not x177 ) ( and ( not x178 ) ( and x179 ( and x180 ( and x181 ( and x182 true )…
1265 …( implies ( and ( not x177 ) ( and x178 ( and x179 ( and x180 ( and x181 ( and x182 true ) ) ) ) )…
1281 …( implies ( and x177 ( and ( not x178 ) ( and x179 ( and x180 ( and x181 ( and x182 true ) ) ) ) )…
1289 …( implies ( and x177 ( and x178 ( and ( not x179 ) ( and x180 ( and x181 ( and x182 true ) ) ) ) )…
1293 …( implies ( and x177 ( and x178 ( and x179 ( and ( not x180 ) ( and x181 ( and x182 true ) ) ) ) )…
1295 …( implies ( and x177 ( and x178 ( and x179 ( and x180 ( and ( not x181 ) ( and x182 true ) ) ) ) )…
1296 …( implies ( and x177 ( and x178 ( and x179 ( and x180 ( and x181 ( and ( not x182 ) true ) ) ) ) )…
1297 …( implies ( and x177 ( and x178 ( and x179 ( and x180 ( and x181 ( and x182 true ) ) ) ) ) ) ( = t…
1416 ( implies ( and ( not x181 ) true ) ( = tmp5 0 ) )
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
| H A D | miplib-pp08a-3000.smt | 270 :extrapreds ((x181))
1252 …( implies ( and ( not x177 ) ( and ( not x178 ) ( and x179 ( and x180 ( and x181 ( and x182 true )…
1268 …( implies ( and ( not x177 ) ( and x178 ( and x179 ( and x180 ( and x181 ( and x182 true ) ) ) ) )…
1284 …( implies ( and x177 ( and ( not x178 ) ( and x179 ( and x180 ( and x181 ( and x182 true ) ) ) ) )…
1292 …( implies ( and x177 ( and x178 ( and ( not x179 ) ( and x180 ( and x181 ( and x182 true ) ) ) ) )…
1296 …( implies ( and x177 ( and x178 ( and x179 ( and ( not x180 ) ( and x181 ( and x182 true ) ) ) ) )…
1298 …( implies ( and x177 ( and x178 ( and x179 ( and x180 ( and ( not x181 ) ( and x182 true ) ) ) ) )…
1299 …( implies ( and x177 ( and x178 ( and x179 ( and x180 ( and x181 ( and ( not x182 ) true ) ) ) ) )…
1300 …( implies ( and x177 ( and x178 ( and x179 ( and x180 ( and x181 ( and x182 true ) ) ) ) ) ) ( = t…
1419 ( implies ( and ( not x181 ) true ) ( = tmp5 0 ) )
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | typed_v1l50016-simp.cvc | 30 …77) THEN data(x177) ELSE zero ENDIF)))),(LET x178 = (LET x179 = (LET x180 = (LET x181 = node(x2) IN
31 (IF is_node(x181) THEN children(x181) ELSE null ENDIF)) IN
|
| /dports/multimedia/handbrake/ffmpeg-4.4/tests/ref/fate/ |
| H A D | gif-deal | 4 #dimensions 0: 430x181
|
| /dports/multimedia/gstreamer1-libav/gst-libav-1.16.2/gst-libs/ext/libav/tests/ref/fate/ |
| H A D | gif-deal | 4 #dimensions 0: 430x181
|
| /dports/multimedia/ffmpeg/ffmpeg-4.4.1/tests/ref/fate/ |
| H A D | gif-deal | 4 #dimensions 0: 430x181
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/ffmpeg/tests/ref/fate/ |
| H A D | gif-deal | 4 #dimensions 0: 430x181
|
| /dports/math/py-mip/mip-1.13.0/test/data/ |
| H A D | 2050_3_7.lp | 20 …-0.10000 x178 -0.10000 x179 -0.10000 x180 -0.10000 x181 -0.10000 x182 -0.10000 x183 -0.10000 x184 …
41 cons6: x19 + x29 + x41 + x56 + x85 + x99 + x121 + x162 + x181 + x198
242 cons192: x175 - x181 >= -0
689 cons639: x176 + x181 <= 1
714 cons664: x181 + x184 <= 1
715 cons665: x181 + x185 <= 1
716 cons666: x181 + x192 <= 1
717 cons667: x181 + x193 <= 1
973 …+ 0.43750 x177 + 0.43750 x178 + 0.43750 x179 + 0.31250 x180 + 0.43750 x181 + 0.43750 x182 + 0.4375…
1167 0 <= x181 <= 1
[all …]
|
| /dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
| H A D | PW92_ERF_correlation.F | 462 x181 = x180*x54
463 x182 = x179*x181
911 x181 = x44*(x176 - x177 + x180)
1037 &4*x175 - 4.0d0*x181) + x127 - x158
1323 x181 = x180*x29
1325 x183 = x181*x182
1356 x212 = x181*x27
1426 x281 = x181*x280
1578 x422 = 2.56488140124205d0*x181
1685 x522 = x181*x521
[all …]
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/go.test/test/fixedbugs/ |
| H A D | bug385_64.go | 197 var x181 [10<<20]byte; z = x181
|