| /dports/misc/fq/fq-0.0.2/format/mp4/testdata/ |
| H A D | hevc.fqtest | 391 … | | boxes[0:1]: 0x1476-0x149a.7 (37)
392 … | | [0]{}: box 0x1476-0x149a.7 (37)
393 … 00 00 00 25 | ...% | size: 37 0x1476-0x1479.7 (4)
|
| /dports/devel/m17n-db/m17n-db-1.8.0/MIM/ |
| H A D | oj-phonetic.mim | 196 ("kwi" 0x1476)
|
| /dports/misc/fq/fq-0.0.2/format/matroska/testdata/ |
| H A D | vp8.fqtest | 381 … | | type: "binary" (6) 0x1476-NA (0)
382 … 84 | . | size: 4 0x1476-0x1476.7 (1)
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
| H A D | bmc-ibm-2.smt | 1486 :extrapreds ((x1476))
8510 (or (not x1479) x1476)
8515 (or (not x1482) x1476)
8524 (or (not x1487) x1476)
8529 (or (not x1489) x1476)
8538 (or (not x1494) x1476)
8543 (or (not x1496) x1476)
8552 (or (not x1501) x1476)
8558 (or x1476 (not x1503))
8559 (or x1476 (not x1495))
[all …]
|
| H A D | qwh.35.405.shuffled-as.sat03-1651.smt | 1484 :extrapreds ((x1476))
3508 (or x1476 x625)
3899 (or (not x1513) x1476)
4066 (or x713 x1476)
6121 (or (not x1487) x1476)
7665 (or x1476 x496)
8470 (or (not x613) x1476)
9381 (or (not x355) x1476)
10008 (or x1476 (not x128))
10864 (or (not x374) x1476)
[all …]
|
| H A D | friedman_n6_i4.smt | 1485 :extrapreds ((x1476))
41192 (or (not x1479) (not x50) x1483 x1476 x1139)
41196 (or (not x1483) (not x1479) x1476 x1139 x50)
41198 (or (not x1479) (not x1139) x1483 x1476 x50)
41200 (or (not x1476) (not x48) x1483 x1475 x1136)
41246 (or (not x1479) x1476 x1139 x997)
41250 (or (not x1476) (not x1139) x997)
41252 (or (not x1476) (not x997) x1139)
41254 (or (not x1476) x1479)
41256 (or (not x1476) x1475 x1136 x993)
[all …]
|
| H A D | bmc-ibm-1.smt | 1486 :extrapreds ((x1476))
17215 (or (not x1476) (not x1462))
17216 (or (not x1476) (not x1464))
17217 (or (not x1476) (not x1465))
17218 (or (not x1476) x1463)
17219 (or (not x1476) (not x1467))
17220 (or (not x1476) (not x1414))
17221 (or (not x1476) (not x1468))
17222 (or (not x1476) (not x1469))
17223 (or (not x1476) (not x1375))
[all …]
|
| H A D | bmc-ibm-5.smt | 1486 :extrapreds ((x1476))
15777 (or (not x1409) (not x1475) (not x1476) (not x1221) (not x1213) x1477)
15780 (or (not x1477) x1476)
15988 (or x1476 (not x1264))
15989 (or x1476 (not x1556))
15990 (or x1476 (not x1268))
15991 (or x1264 x1556 x1268 (not x1476))
16000 (or (not x1475) (not x1476) x1561)
16002 (or (not x1561) x1476)
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | friedman_n4_i5.smt | 1485 :extrapreds ((x1476))
6474 (or (not x307) (not x1469) x1476 x1475)
6478 (or (not x1476) (not x1469) x307)
6503 (or (not x34) x1476 x1474 x1231)
6504 (or (not x1476) (not x1231) (not x34) x1474)
6505 (or (not x1476) x1474 x1231 x34)
6506 (or (not x1231) x1476 x1474 x34)
6507 (or (not x1474) (not x29) x1476 x1473 x1230)
6509 (or (not x1476) (not x1474) x1473 x1230 x29)
6510 (or (not x1474) (not x1230) x1476 x1473 x29)
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/ |
| H A D | bug2.smt | 1479 :extrapreds ((x1476))
8502 :assumption (or (not x1479) x1476)
8507 :assumption (or (not x1482) x1476)
8516 :assumption (or (not x1487) x1476)
8521 :assumption (or (not x1489) x1476)
8530 :assumption (or (not x1494) x1476)
8535 :assumption (or (not x1496) x1476)
8544 :assumption (or (not x1501) x1476)
8550 :assumption (or x1476 (not x1503))
8551 :assumption (or x1476 (not x1495))
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
| H A D | C880mul.miter.shuffled-as.sat03-348.smt | 1484 :extrapreds ((x1476))
1682 (or x1543 x1476 x714 (not x1259) x1452)
1755 (or x1552 (not x1476) (not x1259))
2388 (or (not x929) (not x1075) x1476)
2774 (or (not x714) x1476 (not x1452))
3202 (or x1259 x1552 x1476)
3454 (or x678 x1476)
3636 (or x1452 (not x714) (not x1476))
8818 (or (not x1442) (not x1075) x1476)
10175 (or x1476 x1442 x1075)
[all …]
|
| /dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
| H A D | PBE_ERFGWS_correlation.F | 2006 &, x1468, x1469, x1470, x1471, x1472, x1473, x1474, x1475, x1476, x
3624 x1476 = 12.0326097596534d0*x1475
3665 & - x1472*x1476 - x1472*x1477 + x1482 - x71*(x1485 - x1486 + x1488
3872 x1686 = x1139*x1481*x1685 + x1476*x1665 + x1477*x1665 - x71*(5.570
|
| H A D | TPSS_ERFGWS_correlation.F | 3969 &, x1468, x1469, x1470, x1471, x1472, x1473, x1474, x1475, x1476, x
5787 x1476 = x1475 - 2.8d0*x94
5788 x1477 = 0.35d0*x1474 + x1476
8676 x3873 = x1476 + 0.35d0*x3872
9714 &, x1468, x1469, x1470, x1471, x1472, x1473, x1474, x1475, x1476, x
11359 x1476 = x1455*x1474*x17
11362 & + x1476*( 6.47312545615482d-9*x1199 - x1397*x1454 + x582*x620 + x
11364 &x1475 + 0.00119622876108671d0*x1473 + x1476*(2.31183052005529d-9*x
|
| /dports/graphics/sane-backends/sane-backends-1.0.32/doc/descriptions/ |
| H A D | unsupported.desc | 638 :usbid "0x04c5" "0x1476"
|
| /dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 8246 uint32_t x1476;
9197 fiat_secp384r1_addcarryx_u32(&x1476, &x1477, x1475, x1413, x1451);
9234 fiat_secp384r1_addcarryx_u32(&x1548, &x1549, x1547, x1476, x1523);
10816 uint32_t x1476;
11767 fiat_secp384r1_addcarryx_u32(&x1476, &x1477, x1475, x1413, x1451);
11804 fiat_secp384r1_addcarryx_u32(&x1548, &x1549, x1547, x1476, x1523);
|
| /dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 8246 uint32_t x1476; in fiat_secp384r1_mul() local
9197 fiat_secp384r1_addcarryx_u32(&x1476, &x1477, x1475, x1413, x1451); in fiat_secp384r1_mul()
9234 fiat_secp384r1_addcarryx_u32(&x1548, &x1549, x1547, x1476, x1523); in fiat_secp384r1_mul()
10816 uint32_t x1476; in fiat_secp384r1_square() local
11767 fiat_secp384r1_addcarryx_u32(&x1476, &x1477, x1475, x1413, x1451); in fiat_secp384r1_square()
11804 fiat_secp384r1_addcarryx_u32(&x1548, &x1549, x1547, x1476, x1523); in fiat_secp384r1_square()
|
| /dports/www/firefox/firefox-99.0/security/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 8246 uint32_t x1476; in fiat_secp384r1_mul() local
9197 fiat_secp384r1_addcarryx_u32(&x1476, &x1477, x1475, x1413, x1451); in fiat_secp384r1_mul()
9234 fiat_secp384r1_addcarryx_u32(&x1548, &x1549, x1547, x1476, x1523); in fiat_secp384r1_mul()
10816 uint32_t x1476; in fiat_secp384r1_square() local
11767 fiat_secp384r1_addcarryx_u32(&x1476, &x1477, x1475, x1413, x1451); in fiat_secp384r1_square()
11804 fiat_secp384r1_addcarryx_u32(&x1548, &x1549, x1547, x1476, x1523); in fiat_secp384r1_square()
|
| /dports/security/nss/nss-3.76.1/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 8246 uint32_t x1476; in fiat_secp384r1_mul() local
9197 fiat_secp384r1_addcarryx_u32(&x1476, &x1477, x1475, x1413, x1451); in fiat_secp384r1_mul()
9234 fiat_secp384r1_addcarryx_u32(&x1548, &x1549, x1547, x1476, x1523); in fiat_secp384r1_mul()
10816 uint32_t x1476; in fiat_secp384r1_square() local
11767 fiat_secp384r1_addcarryx_u32(&x1476, &x1477, x1475, x1413, x1451); in fiat_secp384r1_square()
11804 fiat_secp384r1_addcarryx_u32(&x1548, &x1549, x1547, x1476, x1523); in fiat_secp384r1_square()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/ecl/ |
| H A D | ecp_secp384r1.c | 8246 uint32_t x1476; in fiat_secp384r1_mul() local
9197 fiat_secp384r1_addcarryx_u32(&x1476, &x1477, x1475, x1413, x1451); in fiat_secp384r1_mul()
9234 fiat_secp384r1_addcarryx_u32(&x1548, &x1549, x1547, x1476, x1523); in fiat_secp384r1_mul()
10816 uint32_t x1476; in fiat_secp384r1_square() local
11767 fiat_secp384r1_addcarryx_u32(&x1476, &x1477, x1475, x1413, x1451); in fiat_secp384r1_square()
11804 fiat_secp384r1_addcarryx_u32(&x1548, &x1549, x1547, x1476, x1523); in fiat_secp384r1_square()
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/arith/ |
| H A D | pbrewrites-test.smt2 | 1482 (declare-fun x1476 () Int)
|
| /dports/math/yices/yices-2.6.2/tests/regress/mantis/ |
| H A D | 0014.smt2 | 280 (declare-fun x1476 () (_ BitVec 2))
2795 (assert (= (concat x1477 x1480) x1476))
3187 (assert (= (concat x1476 x1483) x1475))
|
| /dports/misc/dartsim/dart-6.11.1/unittests/unit/ |
| H A D | GeneratedWamIkFast.cpp | 19263 x1476 in ComputeIk() local
19286 + x1476); in ComputeIk()
19291 * x1476)) in ComputeIk()
|
| H A D | SharedLibraryWamIkFast.cpp | 19275 x1476 in ComputeIk() local
19298 + x1476); in ComputeIk()
19303 * x1476)) in ComputeIk()
|
| /dports/misc/dartsim/dart-6.11.1/examples/wam_ikfast/ikfast/ |
| H A D | ikfast71.Transform6D.4_6_9_10_11_12_f8.cpp | 6574 IkReal x1476=(px*x1475); in ComputeIk() local
6577 …1009803921569)+(((-1.0)*(1.32323529411765)*cj9))+(((3.92156862745098)*pp))+(((-1.0)*x1477))+x1476); in ComputeIk()
6578 evalcond[2]=((-0.2125)+(((-0.09)*x1476))+(((0.09)*x1477))+(((1.1)*pz))+(((-1.0)*(1.0)*pp))); in ComputeIk()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/rt.equinox.p2/bundles/org.eclipse.equinox.p2.tests/testData/sat4j/ |
| H A D | Bug247638.opb | 1570 …+1 x453 +1 x1469 +1 x1470 +1 x1471 +1 x1472 +1 x1473 +1 x1474 +1 x1475 +1 x1476 +1 x1477 +1 x522 +…
9310 -1 x1476 +1 x54 >= 0;
9312 -1 x1476 +1 x21 >= 0;
9314 -1 x1476 +1 x637 >= 0;
9316 -1 x1476 +1 x76 >= 0;
9534 …+1 x453 +1 x1469 +1 x1470 +1 x1471 +1 x1472 +1 x1473 +1 x1474 +1 x1475 +1 x1476 +1 x1477 +1 x522 +…
10034 -1 x2427 1 x1000 1 x1476 >= 0;
10068 …+1 x453 +1 x1469 +1 x1470 +1 x1471 +1 x1472 +1 x1473 +1 x1474 +1 x1475 +1 x1476 +1 x1477 +1 x522 +…
12047 -1 x2811 1 x1476 >= 0;
12488 …+1 x453 +1 x1469 +1 x1470 +1 x1471 +1 x1472 +1 x1473 +1 x1474 +1 x1475 +1 x1476 +1 x1477 +1 x522 +…
[all …]
|