/dports/www/mod_php73/php-7.3.33/ext/standard/tests/strings/ |
H A D | html_entity_decode_iso8859-5.phpt | 282 CYRILLIC SMALL LETTER ZE: з => d7
|
H A D | html_entity_decode_win1251.phpt | 462 CYRILLIC SMALL LETTER ZE: з => e7
|
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
H A D | VWN5_ERF_correlation.F | 1118 &, x435, x436, x437, x438, x439, x440, x441, x442, x443, x444, x445 1602 x437 = x435*x436 1604 x439 = x437*x438 1613 x448 = x437*x447 2082 &38d0*x431*x465 + 0.526297323276602d0*x433*x437 - x444*x723*x727 -
|
H A D | TPSS_ERFGWS_correlation.F | 1282 x437 = x435*x436 3076 x437 = x34**(-0.333333333333333d0) 3078 x439 = x437 - x438 3089 x450 = x437 - x449 3155 x509 = -1.0d0*x437 + x438 3310 x643 = -x437 4722 x437 = x97**(-5.66666666666667d0) 4723 x438 = x430*x437 10173 x437 = rho_c**(-3.0d0) 10174 x438 = 2.10518929310641d0*x437 [all …]
|
/dports/misc/fq/fq-0.0.2/format/mp4/testdata/ |
H A D | flac.fqtest | 197 … 00 00 | ...... | reserved: raw bits 0x437-0x43c.7 (6)
|
/dports/math/yices/yices-2.6.2/tests/regress/arrays/ |
H A D | frugal500.smt | 947 :extrafuns ((x437 Element)) 1011 …0) i431 x431) i432 x432) i433 x433) i434 x434) i435 x435) i436 x436) i437 x437) i438 x438) i439 x4… 1012 …0) i431 x431) i432 x432) i433 x433) i434 x434) i435 x435) i436 x436) i437 x437) i438 x438) i439 x4…
|
H A D | frugal500.ys | 947 (define x437::Element) 1012 …) (i432) x432) (i433) x433) (i434) x434) (i435) x435) (i436) x436) (i437) x437) (i438) x438) (i439… 1013 …) (i432) x432) (i433) x433) (i434) x434) (i435) x435) (i436) x436) (i437) x437) (i438) x438) (i439…
|
/dports/math/yices/yices-2.6.2/examples/ |
H A D | frugal500.smt | 947 :extrafuns ((x437 Element)) 1011 …0) i431 x431) i432 x432) i433 x433) i434 x434) i435 x435) i436 x436) i437 x437) i438 x438) i439 x4… 1012 …0) i431 x431) i432 x432) i433 x433) i434 x434) i435 x435) i436 x436) i437 x437) i438 x438) i439 x4…
|
H A D | frugal500.ys | 947 (define x437::Element) 1012 …) (i432) x432) (i433) x433) (i434) x434) (i435) x435) (i436) x436) (i437) x437) (i438) x438) (i439… 1013 …) (i432) x432) (i433) x433) (i434) x434) (i435) x435) (i436) x436) (i437) x437) (i438) x438) (i439…
|
H A D | frugal500bool.ys | 948 (define x437::Element) 1013 …) (i432) x432) (i433) x433) (i434) x434) (i435) x435) (i436) x436) (i437) x437) (i438) x438) (i439… 1014 …) (i432) x432) (i433) x433) (i434) x434) (i435) x435) (i436) x436) (i437) x437) (i438) x438) (i439…
|
/dports/devel/ppl/ppl-1.2/demos/ppl_lpsol/ |
H A D | expected_int16 | 551 x437 = 0
|
H A D | expected_int32 | 571 x437 = 0
|
H A D | expected_int64 | 571 x437 = 0
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
H A D | qwh.35.405.shuffled-as.sat03-1651.smt | 445 :extrapreds ((x437)) 3339 (or (not x437) x1277) 4497 (or (not x437) x981) 4612 (or (not x437) x1452) 5909 (or x47 (not x437)) 6020 (or (not x437) x364) 7481 (or (not x437) x205) 7839 (or x40 (not x437)) 7977 (or x967 (not x437)) 9478 (or x739 (not x437)) [all …]
|
/dports/www/mod_php81/php-8.1.1/ext/standard/tests/strings/ |
H A D | html_entity_decode_win1251.phpt | 463 CYRILLIC SMALL LETTER ZE: з => e7
|
H A D | html_entity_decode_cp866.phpt | 267 CYRILLIC SMALL LETTER ZE: з => a7
|
H A D | html_entity_decode_koi8-r.phpt | 420 CYRILLIC SMALL LETTER ZE: з => da
|
/dports/lang/php73/php-7.3.33/ext/standard/tests/strings/ |
H A D | html_entity_decode_win1251.phpt | 462 CYRILLIC SMALL LETTER ZE: з => e7
|
H A D | html_entity_decode_cp866.phpt | 266 CYRILLIC SMALL LETTER ZE: з => a7
|
/dports/lang/php80/php-8.0.15/ext/standard/tests/strings/ |
H A D | html_entity_decode_win1251.phpt | 463 CYRILLIC SMALL LETTER ZE: з => e7
|
/dports/lang/php74/php-7.4.27/ext/standard/tests/strings/ |
H A D | html_entity_decode_win1251.phpt | 462 CYRILLIC SMALL LETTER ZE: з => e7
|
/dports/lang/php81/php-8.1.1/ext/standard/tests/strings/ |
H A D | html_entity_decode_win1251.phpt | 463 CYRILLIC SMALL LETTER ZE: з => e7
|
/dports/www/mod_php74/php-7.4.27/ext/standard/tests/strings/ |
H A D | html_entity_decode_win1251.phpt | 462 CYRILLIC SMALL LETTER ZE: з => e7
|
/dports/www/mod_php80/php-8.0.15/ext/standard/tests/strings/ |
H A D | html_entity_decode_win1251.phpt | 463 CYRILLIC SMALL LETTER ZE: з => e7
|
H A D | html_entity_decode_cp866.phpt | 267 CYRILLIC SMALL LETTER ZE: з => a7
|