| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/aufbv/ |
| H A D | bug348.smt | 76 (let (?n69 (bvand ?n66 ?n68))
77 (let (?n70 (store ?n54 ?n7 ?n69))
78 (let (?n71 (bvnot ?n69))
81 (let (?n74 (bvand ?n63 ?n69))
|
| /dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c1908/ |
| H A D | c1908.timing | 71 rat n69 9 9 11 11
72 load n69 4.0
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/bv/ |
| H A D | calc2_sec2_shifter_mult_bmc15.atlas.delta01.smt | 75 (flet ($n69 (= ?n5 ?n68))
76 (let (?n70 (ite $n69 ?n2 ?n9))
|
| H A D | fuzz15.delta01.smt | 83 (let (?n69 (bvxnor ?n16 ?n68))
86 (flet ($n72 (= ?n69 ?n71))
|
| H A D | fuzz17.delta01.smt | 79 (flet ($n69 (= ?n67 ?n68))
80 (flet ($n70 (or $n41 $n62 $n69))
|
| H A D | fuzz18.delta02.smt | 80 (flet ($n69 (= v1 ?n68))
83 (flet ($n72 (or $n15 $n69 $n71))
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/nasm/test/ |
| H A D | fwdopt.asm | 70 n68: jmp n69
71 n69: jmp n70 label
|
| H A D | fwdoptpp.asm | 81 n68: jmp n69
82 n69: jmp n70 label
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/nasm/travis/test/ |
| H A D | fwdoptpp.asm | 77 n68: jmp n69
78 n69: jmp n70 label
|
| H A D | fwdopt.asm | 69 n68: jmp n69
70 n69: jmp n70 label
|
| /dports/devel/nasm/nasm-2.15.05/test/ |
| H A D | fwdopt.asm | 70 n68: jmp n69
71 n69: jmp n70 label
|
| H A D | fwdoptpp.asm | 81 n68: jmp n69
82 n69: jmp n70 label
|
| /dports/devel/nasm/nasm-2.15.05/travis/test/ |
| H A D | fwdopt.asm | 69 n68: jmp n69
70 n69: jmp n70 label
|
| H A D | fwdoptpp.asm | 77 n68: jmp n69
78 n69: jmp n70 label
|
| /dports/devel/boost-docs/boost_1_72_0/libs/graph/test/ |
| H A D | cycle_ratio_s382.90.dot | 54 n69 -> n28 [w1=1];
150 n104 -> n69 [w1=1];
151 n70 -> n69 [w1=1];
|
| /dports/devel/boost-python-libs/boost_1_72_0/libs/graph/test/ |
| H A D | cycle_ratio_s382.90.dot | 54 n69 -> n28 [w1=1];
150 n104 -> n69 [w1=1];
151 n70 -> n69 [w1=1];
|
| /dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/graph/test/ |
| H A D | cycle_ratio_s382.90.dot | 54 n69 -> n28 [w1=1];
150 n104 -> n69 [w1=1];
151 n70 -> n69 [w1=1];
|
| /dports/databases/mysqlwsrep57-server/boost_1_59_0/libs/graph/test/ |
| H A D | cycle_ratio_s382.90.dot | 54 n69 -> n28 [w1=1];
150 n104 -> n69 [w1=1];
151 n70 -> n69 [w1=1];
|
| /dports/databases/percona57-server/boost_1_59_0/libs/graph/test/ |
| H A D | cycle_ratio_s382.90.dot | 54 n69 -> n28 [w1=1];
150 n104 -> n69 [w1=1];
151 n70 -> n69 [w1=1];
|
| /dports/databases/xtrabackup/boost_1_59_0/libs/graph/test/ |
| H A D | cycle_ratio_s382.90.dot | 54 n69 -> n28 [w1=1];
150 n104 -> n69 [w1=1];
151 n70 -> n69 [w1=1];
|
| /dports/databases/percona57-client/boost_1_59_0/libs/graph/test/ |
| H A D | cycle_ratio_s382.90.dot | 54 n69 -> n28 [w1=1];
150 n104 -> n69 [w1=1];
151 n70 -> n69 [w1=1];
|
| /dports/devel/boost-libs/boost_1_72_0/libs/graph/test/ |
| H A D | cycle_ratio_s382.90.dot | 54 n69 -> n28 [w1=1];
150 n104 -> n69 [w1=1];
151 n70 -> n69 [w1=1];
|
| /dports/devel/hyperscan/boost_1_75_0/libs/graph/test/ |
| H A D | cycle_ratio_s382.90.dot | 54 n69 -> n28 [w1=1];
150 n104 -> n69 [w1=1];
151 n70 -> n69 [w1=1];
|
| /dports/math/p5-AI-NeuralNet-BackProp/p5-AI-NeuralNet-BackProp-0.89_1/examples/ |
| H A D | letters.dat | 80 n69=1.01843786188623,1.00877780850987,1.00877780850987,0.995263075692796,1.01165740286499,1.0064910…
|
| /dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c2670/ |
| H A D | c2670.spef | 11408 2 n69 n69:18 0.0061
11410 4 n69:2 n69:1 0.0050
11411 5 n69:2 n69:3 0.0017
11412 6 n69:4 n69:3 0.0050
11413 7 n69:5 n69:4 0.0030
11414 8 n69:5 n69:6 0.0021
11415 9 n69:7 n69:6 0.0030
11416 10 n69:8 n69:7 0.0025
11417 11 n69:8 n69:9 0.0030
11418 12 n69:9 n69:10 0.0030
[all …]
|