/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c3_path/ |
H A D | c3_path.spef | 50 *I inst_2:Z O 53 1 inst_2:Z 0.0010 55 2 inst_2:Z nx44 0.0010 82 *I inst_2:A I 85 2 inst_2:A 5.0000 87 2 nx4 inst_2:A 0.2000
|
H A D | c3_path.output | 4 inst_2:Z F 5 inst_2:A F 11 inst_2:Z R 12 inst_2:A R 24 inst_2:Z F 25 inst_2:A F 33 inst_2:Z R 34 inst_2:A R 52 inst_2:Z F 53 inst_2:A F [all …]
|
H A D | change_1.spef | 19 *I inst_2:A I 25 5 inst_2:A 0.2878 30 5 nx4:3 inst_2:A 0.1485
|
H A D | change_2.spef | 112 *I inst_2:A I 118 5 inst_2:A 0.1905 123 5 nx4:3 inst_2:A 0.2331
|
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c3_slack/ |
H A D | c3_slack.spef | 50 *I inst_2:Z O 53 1 inst_2:Z 0.0010 55 2 inst_2:Z nx44 0.0010 82 *I inst_2:A I 85 2 inst_2:A 5.0000 87 2 nx4 inst_2:A 0.2000
|
H A D | change_1.spef | 19 *I inst_2:A I 25 5 inst_2:A 0.2878 30 5 nx4:3 inst_2:A 0.1485
|
H A D | change_2.spef | 112 *I inst_2:A I 118 5 inst_2:A 0.1905 123 5 nx4:3 inst_2:A 0.2331
|
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c17/ |
H A D | change_7.spef | 57 *I inst_2:A2 I 63 4 inst_2:A2 0.0406 71 4 net_1:2 inst_2:A2 0.1308 81 *I inst_2:A1 I 88 6 inst_2:A1 0.3464 94 6 nx7:4 inst_2:A1 0.2665 119 *I inst_2:ZN O 122 1 inst_2:ZN 0.2927 129 2 inst_2:ZN net_2:1 0.3298
|
H A D | c17.spef | 19 *I inst_2:A2 I 23 2 inst_2:A2 0.0073 38 3 net_1:1 inst_2:A2 0.0010 105 *I inst_2:A1 I 108 2 inst_2:A1 0.0166 117 3 inst_2:A1 nx7:6 0.0050 165 *I inst_2:ZN O 168 1 inst_2:ZN 0.0287 171 2 inst_2:ZN inst_4:A2 0.0041
|
H A D | c17.ops | 97 report_at -pin inst_2:A1 101 report_rat -pin inst_2:A1 105 report_slack -pin inst_2:A1 109 report_at -pin inst_2:A2 113 report_rat -pin inst_2:A2 117 report_slack -pin inst_2:A2 121 report_at -pin inst_2:ZN 125 report_rat -pin inst_2:ZN 405 report_at -pin inst_2:A1 417 report_at -pin inst_2:A2 [all …]
|
H A D | c17.shell | 103 report_at -pin inst_2:A1 107 report_rat -pin inst_2:A1 111 report_slack -pin inst_2:A1 115 report_at -pin inst_2:A2 119 report_rat -pin inst_2:A2 123 report_slack -pin inst_2:A2 127 report_at -pin inst_2:ZN 131 report_rat -pin inst_2:ZN 411 report_at -pin inst_2:A1 423 report_at -pin inst_2:A2 [all …]
|
H A D | change_4.spef | 72 *I inst_2:A1 I 79 6 inst_2:A1 0.0565 85 6 nx7:4 inst_2:A1 0.3356 191 *I inst_2:A2 I 201 8 inst_2:A2 0.4131 209 8 net_1:5 inst_2:A2 0.4814 214 *I inst_2:ZN O 217 1 inst_2:ZN 0.3915 221 2 inst_2:ZN TAUNET_11:1 0.3105
|
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c17_slack/ |
H A D | change_7.spef | 57 *I inst_2:A2 I 63 4 inst_2:A2 0.0406 71 4 net_1:2 inst_2:A2 0.1308 81 *I inst_2:A1 I 88 6 inst_2:A1 0.3464 94 6 nx7:4 inst_2:A1 0.2665 119 *I inst_2:ZN O 122 1 inst_2:ZN 0.2927 129 2 inst_2:ZN net_2:1 0.3298
|
H A D | c17_slack.spef | 19 *I inst_2:A2 I 23 2 inst_2:A2 0.0073 38 3 net_1:1 inst_2:A2 0.0010 105 *I inst_2:A1 I 108 2 inst_2:A1 0.0166 117 3 inst_2:A1 nx7:6 0.0050 165 *I inst_2:ZN O 168 1 inst_2:ZN 0.0287 171 2 inst_2:ZN inst_4:A2 0.0041
|
H A D | change_4.spef | 91 *I inst_2:A1 I 99 7 inst_2:A1 0.2529 106 7 nx7:5 inst_2:A1 0.3833 208 *I inst_2:A2 I 214 4 inst_2:A2 0.0668 223 4 net_1:2 inst_2:A2 0.4004 354 *I inst_2:ZN O 357 1 inst_2:ZN 0.0283 363 2 inst_2:ZN TAUNET_25:1 0.2046
|
/dports/cad/opentimer/OpenTimer-18d28ff/example/sizer/ |
H A D | sizer.spef | 19 *I inst_2:A2 I 23 2 inst_2:A2 0.0073 38 3 net_1:1 inst_2:A2 0.0010 105 *I inst_2:A1 I 108 2 inst_2:A1 0.0166 117 3 inst_2:A1 nx7:6 0.0050 165 *I inst_2:ZN O 168 1 inst_2:ZN 0.0287 171 2 inst_2:ZN inst_4:A2 0.0041
|
H A D | sizer.conf | 21 repower_gate inst_2 NAND2_X1 34 repower_gate inst_2 NAND2_X4
|
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/s27_path/ |
H A D | change_7.spef | 18 *I inst_2:ZN O 21 1 inst_2:ZN 0.2611 27 2 inst_2:ZN net_11:1 0.1659 249 *I inst_2:A2 I 254 3 inst_2:A2 0.1600 259 3 net_9:1 inst_2:A2 0.4787 339 *I inst_2:A1 I 345 5 inst_2:A1 0.2702 350 5 net_6:3 inst_2:A1 0.0903
|
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/s27/ |
H A D | change_7.spef | 18 *I inst_2:ZN O 21 1 inst_2:ZN 0.2611 27 2 inst_2:ZN net_11:1 0.1659 249 *I inst_2:A2 I 254 3 inst_2:A2 0.1600 259 3 net_9:1 inst_2:A2 0.4787 339 *I inst_2:A1 I 345 5 inst_2:A1 0.2702 350 5 net_6:3 inst_2:A1 0.0903
|
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/testunits/module_BN/ |
H A D | UAIBNReaderTestSuite.h | 108 gum::Instantiation inst_2(proba_2); in testRead_file2_float() 109 inst_2.setFirst(); in testRead_file2_float() 110 TS_ASSERT_DELTA(proba_2[inst_2], 0.3, 0.001) in testRead_file2_float() 111 inst_2.setLast(); in testRead_file2_float() 112 TS_ASSERT_DELTA(proba_2[inst_2], 0.7, 0.001) in testRead_file2_float() 194 gum::Instantiation inst_2(proba_2); in testRead_file3() 196 inst_2.setFirst(); in testRead_file3() 198 TS_ASSERT_DELTA(proba_2[inst_2], 0.3, 0.001) in testRead_file3() 200 inst_2.setLast(); in testRead_file3() 202 TS_ASSERT_DELTA(proba_2[inst_2], 0.7, 0.001) in testRead_file3()
|
H A D | BIFXMLBNReaderTestSuite.h | 111 gum::Instantiation inst_2(proba_2); in testRead_file2_float() 112 inst_2.setFirst(); in testRead_file2_float() 113 TS_ASSERT_DELTA(proba_2[inst_2], 0.3f, 0.001f) in testRead_file2_float() 114 inst_2.setLast(); in testRead_file2_float() 115 TS_ASSERT_DELTA(proba_2[inst_2], 0.7f, 0.001f) in testRead_file2_float() 194 gum::Instantiation inst_2(proba_2); in testRead_file2_double() 196 inst_2.setFirst(); in testRead_file2_double() 200 inst_2.setLast(); in testRead_file2_double() 262 gum::Instantiation inst_2(proba_2); in testRead_file3() 264 inst_2.setFirst(); in testRead_file3() [all …]
|
H A D | BIFReaderTestSuite.h | 124 gum::Instantiation inst_2(proba_2); in testRead_file2_float() 125 inst_2.setFirst(); in testRead_file2_float() 127 inst_2.setLast(); in testRead_file2_float() 188 gum::Instantiation inst_2(proba_2); in testRead_file2_double() 190 inst_2.setFirst(); in testRead_file2_double() 194 inst_2.setLast(); in testRead_file2_double() 260 gum::Instantiation inst_2(proba_2); in testRead_file3() 262 inst_2.setFirst(); in testRead_file3() 264 TS_ASSERT_DELTA(proba_2[inst_2], 0.3f, 0.001f) in testRead_file3() 266 inst_2.setLast(); in testRead_file3() [all …]
|
H A D | DSLReaderTestSuite.h | 110 gum::Instantiation inst_2(proba_2); in testRead_file2_float() 111 inst_2.setFirst(); in testRead_file2_float() 112 TS_ASSERT(std::abs((proba_2[inst_2] - 0.3f)) < 0.001f) in testRead_file2_float() 113 inst_2.setLast(); in testRead_file2_float() 114 TS_ASSERT(std::abs((proba_2[inst_2] - 0.7f)) < 0.001f) in testRead_file2_float() 159 gum::Instantiation inst_2(proba_2); in testRead_file2_double() 160 inst_2.setFirst(); in testRead_file2_double() 161 TS_ASSERT(std::abs((proba_2[inst_2] - 0.3)) < 0.001) in testRead_file2_double() 162 inst_2.setLast(); in testRead_file2_double() 163 TS_ASSERT(std::abs((proba_2[inst_2] - 0.7)) < 0.001) in testRead_file2_double()
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/sygus/ |
H A D | cegis-unif-inv-eq-fair.sy | 184 (top.res.inst_2@0 Bool) 208 top.res.inst_2@0) 279 top.res.inst_2@1 292 top.res.inst_2@0) 331 (top.res.inst_2 Bool) 375 (top.res.inst_2 Bool) 399 top.res.inst_2) 429 (top.res.inst_2 Bool) 475 top.res.inst_2! 488 top.res.inst_2) [all …]
|
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c2670/ |
H A D | change_2.spef | 91 *I inst_2:A I 99 7 inst_2:A 0.2529 106 7 n2438:5 inst_2:A 0.3833
|