Home
last modified time | relevance | path

Searched refs:x623 (Results 126 – 150 of 217) sorted by relevance

123456789

/dports/devel/ppl/ppl-1.2/demos/ppl_lpsol/
H A Dexpected_int32757 x623 = 0
H A Dexpected_int64757 x623 = 0
H A Dexpected_mpz2359 x623 = 0
3131 x623 = 0
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/
H A DPW92_ERF_correlation.F1115 &, x622, x623, x624, x625, x626, x627, x628, x629, x630, x631, x632
1801 x623 = 0.0115260005177981d0*x622
1803 x625 = x104*x314*x624*(x343*x619 + x343*x620 - x618 - x621*x623)
1805 x627 = x320*x624*(x361*x619 + x361*x620 + x618 + x623*x626)
H A DVWN5_ERF_correlation.F1135 &, x622, x623, x624, x625, x626, x627, x628, x629, x630, x631, x632
1816 x623 = x621/x61**2
1817 x624 = x339*x623
2131 &7596534d0*x800) - x484*x488*x623*x766 + x534*x797 + x722 *(-x418*(
/dports/lang/scheme48/scheme48-1.9.2/scheme/big/
H A Dcheck.scm16 …608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627…
27 …608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627…
/dports/lang/racket/racket-8.3/src/ChezScheme/unicode/
H A Dunicode-char-cases.ss2303 #1456# #1457=(#\x644 . #\x623) #1457#
2810 #\x626 #\x625 #\x624 #\x623 #\x622 #\x4F9 #\x4F8 #\x4F5
/dports/lang/racket-minimal/racket-8.3/src/ChezScheme/unicode/
H A Dunicode-char-cases.ss2303 #1456# #1457=(#\x644 . #\x623) #1457#
2810 #\x626 #\x625 #\x624 #\x623 #\x622 #\x4F9 #\x4F8 #\x4F5
/dports/devel/ppl/ppl-1.2/demos/ppl_lpsol/examples/
H A Dopt1217.mps700 x623 c14 8 c23 1
1496 UP bnd x623 1
/dports/lang/chez-scheme/ChezScheme-9.5.4/unicode/
H A Dunicode-char-cases.ss2303 #1456# #1457=(#\x644 . #\x623) #1457#
2810 #\x626 #\x625 #\x624 #\x623 #\x622 #\x4F9 #\x4F8 #\x4F5
/dports/math/disco/DisCO-releases-1.0.0-33-g68720be/examples/data/hard/
H A Daflow30a.mps1726 x623 c38 1 c40 -1
1727 x623 c221 1
2809 UP bnd x623 94
/dports/x11-clocks/intclock/intclock-2.13/data/
H A Dzones.dat209 America/Argentina/Ushuaia=أشوا
271 Asia/Urumqi=أرومكي
298 Asia/Aqtau=أكتاو
299 Asia/Oral=أورال
300 Asia/Aqtobe=أكتوب
302 Asia/Almaty=ألماتي
325 Atlantic/Azores=أزورس
334 Asia/Omsk=أومسك
343 Asia/Anadyr=أندير
346 Europe/Uzhgorod=أوزجرود
[all …]
H A Dterritories.dat583 150=أوروبا
589 AD=أندورا
593 AI=أنجويلا
594 AL=ألبانيا
595 AM=أرمينيا
597 AO=أنجولا
640 CV=الرأس الأخضر
644 DE=ألمانيا
655 ES=أسبانيا
701 JO=الأردن
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/
H A Dinstance_1444.smt631 :extrapreds ((x623))
2524 (or (not x623) x480 x622)
2525 (or x623 (not x480) x622)
2526 (or x623 x480 (not x622))
2527 (or (not x623) (not x480) (not x622))
4137 (or (not x625) x623 x624)
4138 (or x625 (not x623) x624)
4139 (or x625 x623 (not x624))
4140 (or (not x625) (not x623) (not x624))
H A Dfriedman_n4_i5.smt632 :extrapreds ((x623))
10718 (or (not x413) x623)
10723 (or (not x406) x623)
10728 (or (not x398) x623)
10733 (or (not x389) x623)
11778 (or (not x623) x624)
11779 (or (not x624) x623 x600)
11781 (or (not x598) x623)
11782 (or (not x598) x623)
11783 (or (not x623) x598)
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/
H A Dmiplib-opt1217--27.smt1403 :extrapreds ((x623))
2947 ( implies ( and ( not x623 ) ( and ( not x576 ) true ) ) ( = tmp434 0 ) )
2948 ( implies ( and ( not x623 ) ( and x576 true ) ) ( = tmp434 1 ) )
2949 ( implies ( and x623 ( and ( not x576 ) true ) ) ( = tmp434 1 ) )
2950 ( implies ( and x623 ( and x576 true ) ) ( = tmp434 2 ) )
3413 ( implies ( and ( not x623 ) ( and ( not x624 ) true ) ) ( = tmp317 0 ) )
3414 ( implies ( and ( not x623 ) ( and x624 true ) ) ( = tmp317 6 ) )
3415 ( implies ( and x623 ( and ( not x624 ) true ) ) ( = tmp317 8 ) )
3416 ( implies ( and x623 ( and x624 true ) ) ( = tmp317 14 ) )
/dports/misc/fq/fq-0.0.2/format/pcap/testdata/
H A Dhttp_gzip.fqtest504 … .. | ether_type: "ipv4" (0x800) (Internet Protocol version 4) 0x623-0x624.7 (2)
/dports/math/yices/yices-2.6.2/tests/regress/arrays/
H A Dfrugal1000.smt1633 :extrafuns ((x623 Element))
2012 …6) i617 x617) i618 x618) i619 x619) i620 x620) i621 x621) i622 x622) i623 x623) i624 x624) i625 x6…
2013 …6) i617 x617) i618 x618) i619 x619) i620 x620) i621 x621) i622 x622) i623 x623) i624 x624) i625 x6…
H A Dfrugal1000.ys1632 (define x623::Element)
2011 …) (i618) x618) (i619) x619) (i620) x620) (i621) x621) (i622) x622) (i623) x623) (i624) x624) (i625…
2012 …) (i618) x618) (i619) x619) (i620) x620) (i621) x621) (i622) x622) (i623) x623) (i624) x624) (i625…
/dports/math/yices/yices-2.6.2/examples/
H A Dfrugal1000.smt1633 :extrafuns ((x623 Element))
2012 …6) i617 x617) i618 x618) i619 x619) i620 x620) i621 x621) i622 x622) i623 x623) i624 x624) i625 x6…
2013 …6) i617 x617) i618 x618) i619 x619) i620 x620) i621 x621) i622 x622) i623 x623) i624 x624) i625 x6…
H A Dfrugal1000.ys1632 (define x623::Element)
2011 …) (i618) x618) (i619) x619) (i620) x620) (i621) x621) (i622) x622) (i623) x623) (i624) x624) (i625…
2012 …) (i618) x618) (i619) x619) (i620) x620) (i621) x621) (i622) x622) (i623) x623) (i624) x624) (i625…
/dports/security/hs-cryptol/cryptol-2.11.0/bench/data/
H A DBigSequenceHex.cry1 …8, 0x619, 0x61a, 0x61b, 0x61c, 0x61d, 0x61e, 0x61f, 0x620, 0x621, 0x622, 0x623, 0x624, 0x625, 0x62…
/dports/math/cvc4/CVC4-1.7/test/regress/regress4/
H A DC880mul.miter.shuffled-as.sat03-348.smt631 :extrapreds ((x623))
1651 (or x1194 (not x405) x297 x1519 (not x623))
2435 (or x1500 x405 x623 (not x1194) x297)
2856 (or x439 x623)
4416 (or (not x439) x889 x966 (not x623) x1183)
5781 (or x623 x966 (not x1183))
5787 (or x623 (not x1519))
6059 (or (not x966) x623 x1183)
6759 (or (not x623) x297 (not x1500))
6770 (or (not x889) x623)
[all …]
H A Dinstance_1151.smt632 :extrapreds ((x623))
1648 (or x623 x624)
1649 (or (not x623) (not x624))
2726 (or (not x623) x200 x622)
2727 (or x623 (not x200) x622)
2728 (or x623 x200 (not x622))
2729 (or (not x623) (not x200) (not x622))
/dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/ecl/
H A Decp_secp384r1.c7393 uint32_t x623;
8761 fiat_secp384r1_mulx_u32(&x623, &x624, x581, UINT32_C(0xffffffff));
8775 fiat_secp384r1_addcarryx_u32(&x650, &x651, x649, x587, x623);
9963 uint32_t x623;
11345 fiat_secp384r1_addcarryx_u32(&x650, &x651, x649, x587, x623);
12879 fiat_secp384r1_uint1 x623;
13575 fiat_secp384r1_addcarryx_u32(&x622, &x623, x621, x598, 0x0);
13576 fiat_secp384r1_addcarryx_u32(&x624, &x625, x623, x600, 0x0);
14438 uint32_t x623;
15328 fiat_secp384r1_addcarryx_u32(&x623, &x624, x622, x608, x605);
[all …]

123456789