📄 diagnose_input_model.sof
字号:
"S_128"}, { "S_129"}, { "S_130"}, { "S_131"}, { "S_132"}, { "S_133"}, { "S_134"}, { "S_135"}, { "S_136"}, { "S_137"}, { "S_138"}, { "S_139"}, { "S_140"}, { "S_141"}, { "S_142"}, { "S_143"}, { "S_144"};@ search_models 2 @values = { weighted = true; vertices = {0, {0}}; arcs = {S, T, 0, true};}, { weighted = true; vertices = {0, {0}}, {1, {1}}, {2, {2}}, {3, {3}}, {4, {4}}, {5, {5}}, {6, {6}}, {7, {7}}, {8, {8}}, {9, {9}}, {10, {10}}; arcs = {S, 0, 0, true}, {0, 0, -0.661502, true}, {0, 1, -0.725827, true}, {1, 1, -0.591532, true}, {1, 2, -0.806268, true}, {2, 2, -0.516322, true}, {2, 3, -0.908102, true}, {3, 3, -0.524275, true}, {3, 4, -0.89645, true}, {4, 4, -0.14702, true}, {4, 5, -1.98979, true}, {5, 5, -0.875886, true}, {5, 6, -0.538698, true}, {6, 6, -0.925903, true}, {6, 7, -0.504468, true}, {7, 7, -0.585172, true}, {7, 8, -0.814208, true}, {8, 8, -0.691017, true}, {8, 9, -0.695282, true}, {9, 9, -0.844211, true}, {9, 10, -0.561937, true}, {10, 10, -2.12092, true}, {10, T, -0.127744, true};}, { weighted = true; vertices = {0, {11}}, {1, {12}}, {2, {13}}, {3, {14}}, {4, {15}}, {5, {16}}, {6, {17}}, {7, {18}}, {8, {19}}, {9, {20}}, {10, {21}}; arcs = {S, 0, 0, true}, {0, 0, -0.402847, true}, {0, 1, -1.10387, true}, {1, 1, -0.254154, true}, {1, 2, -1.4942, true}, {2, 2, -0.455364, true}, {2, 3, -1.00571, true}, {3, 3, -0.442133, true}, {3, 4, -1.02908, true}, {4, 4, -0.435637, true}, {4, 5, -1.04087, true}, {5, 5, -0.474623, true}, {5, 6, -0.973178, true}, {6, 6, -0.507, true}, {6, 7, -0.922056, true}, {7, 7, -0.65895, true}, {7, 8, -0.728556, true}, {8, 8, -0.279348, true}, {8, 9, -1.41172, true}, {9, 9, -0.412022, true}, {9, 10, -1.08563, true}, {10, 10, -0.267911, true}, {10, T, -1.44807, true};}, { weighted = true; vertices = {0, {22}}, {1, {23}}, {2, {24}}, {3, {25}}, {4, {26}}, {5, {27}}, {6, {28}}, {7, {29}}, {8, {30}}, {9, {31}}, {10, {32}}; arcs = {S, 0, 0, true}, {0, 0, -0.221249, true}, {0, 1, -1.61705, true}, {1, 1, -0.348148, true}, {1, 2, -1.22416, true}, {2, 2, -1.23507, true}, {2, 3, -0.343636, true}, {3, 3, -1.08831, true}, {3, 4, -0.410658, true}, {4, 4, -1.03307, true}, {4, 5, -0.43992, true}, {5, 5, -0.301385, true}, {5, 6, -1.34628, true}, {6, 6, -0.427317, true}, {6, 7, -1.05629, true}, {7, 7, -0.548686, true}, {7, 8, -0.862059, true}, {8, 8, -0.610714, true}, {8, 9, -0.782991, true}, {9, 9, -0.428618, true}, {9, 10, -1.05385, true}, {10, 10, -0.248303, true}, {10, T, -1.51469, true};}, { weighted = true; vertices = {0, {33}}, {1, {34}}, {2, {35}}, {3, {36}}, {4, {37}}, {5, {38}}, {6, {39}}, {7, {40}}, {8, {41}}, {9, {42}}, {10, {43}}; arcs = {S, 0, 0, true}, {0, 0, -0.174829, true}, {0, 1, -1.83009, true}, {1, 1, -0.461948, true}, {1, 2, -0.994401, true}, {2, 2, -0.508199, true}, {2, 3, -0.920243, true}, {3, 3, -0.548075, true}, {3, 4, -0.862895, true}, {4, 4, -0.795378, true}, {4, 5, -0.600405, true}, {5, 5, -0.929252, true}, {5, 6, -0.502277, true}, {6, 6, -0.82773, true}, {6, 7, -0.574547, true}, {7, 7, -0.455516, true}, {7, 8, -1.00545, true}, {8, 8, -0.263397, true}, {8, 9, -1.4629, true}, {9, 9, -0.436414, true}, {9, 10, -1.03945, true}, {10, 10, -0.297015, true}, {10, T, -1.35881, true};}, { weighted = true; vertices = {0, {44}}, {1, {45}}, {2, {46}}, {3, {47}}, {4, {48}}, {5, {49}}, {6, {50}}, {7, {51}}, {8, {52}}, {9, {53}}, {10, {54}}; arcs = {S, 0, 0, true}, {0, 0, -0.135252, true}, {0, 1, -2.06748, true}, {1, 1, -0.752722, true}, {1, 2, -0.636923, true}, {2, 2, -0.706698, true}, {2, 3, -0.679777, true}, {3, 3, -0.378637, true}, {3, 4, -1.15453, true}, {4, 4, -0.357697, true}, {4, 5, -1.20159, true}, {5, 5, -0.688099, true}, {5, 6, -0.698221, true}, {6, 6, -0.774529, true}, {6, 7, -0.617893, true}, {7, 7, -0.597569, true}, {7, 8, -0.798836, true}, {8, 8, -0.38772, true}, {8, 9, -1.13508, true}, {9, 9, -0.450624, true}, {9, 10, -1.01399, true}, {10, 10, -0.278576, true}, {10, T, -1.41412, true};}, { weighted = true; vertices = {0, {55}}, {1, {56}}, {2, {57}}, {3, {58}}, {4, {59}}, {5, {60}}, {6, {61}}, {7, {62}}, {8, {63}}, {9, {64}}, {10, {65}}; arcs = {S, 0, 0, true}, {0, 0, -0.158456, true}, {0, 1, -1.92046, true}, {1, 1, -0.410878, true}, {1, 2, -1.08787, true}, {2, 2, -0.422228, true}, {2, 3, -1.06591, true}, {3, 3, -0.199843, true}, {3, 4, -1.70848, true}, {4, 4, -0.33495, true}, {4, 5, -1.25658, true}, {5, 5, -0.505635, true}, {5, 6, -0.924127, true}, {6, 6, -0.623752, true}, {6, 7, -0.76772, true}, {7, 7, -0.775588, true}, {7, 8, -0.616989, true}, {8, 8, -0.727054, true}, {8, 9, -0.660352, true}, {9, 9, -0.491851, true}, {9, 10, -0.945445, true}, {10, 10, -0.224601, true}, {10, T, -1.60363, true};}, { weighted = true; vertices = {0, {66}}, {1, {67}}, {2, {68}}, {3, {69}}, {4, {70}}, {5, {71}}, {6, {72}}, {7, {73}}, {8, {74}}, {9, {75}}, {10, {76}}; arcs = {S, 0, 0, true}, {0, 0, -0.103516, true}, {0, 1, -2.31934, true}, {1, 1, -0.445821, true}, {1, 2, -1.02248, true}, {2, 2, -0.222051, true}, {2, 3, -1.61382, true}, {3, 3, -0.465111, true}, {3, 4, -0.989037, true}, {4, 4, -0.632526, true}, {4, 5, -0.757682, true}, {5, 5, -0.539482, true}, {5, 6, -0.874789, true}, {6, 6, -0.541553, true}, {6, 7, -0.871901, true}, {7, 7, -0.624505, true}, {7, 8, -0.76685, true}, {8, 8, -0.446185, true}, {8, 9, -1.02183, true}, {9, 9, -0.201724, true}, {9, 10, -1.70002, true}, {10, 10, -0.290973, true}, {10, T, -1.37649, true};}, { weighted = true; vertices = {0, {77}}, {1, {78}}, {2, {79}}, {3, {80}}, {4, {81}}, {5, {82}}, {6, {83}}, {7, {84}}, {8, {85}}, {9, {86}}, {10, {87}}, {11, {88}}, {12, {89}}, {13, {90}}, {14, {91}}, {15, {92}}, {16, {93}}; arcs = {S, 0, 0, true}, {0, 0, -0.427666, true}, {0, 1, -1.05564, true}, {1, 1, -0.19468, true}, {1, 2, -1.73216, true}, {2, 2, -0.737449, true}, {2, 3, -0.650725, true}, {3, 3, -2.41384, true}, {3, 4, -0.0937297, true}, {4, 4, -1.16987, true}, {4, 5, -0.371654, true}, {5, 5, -1.35126, true}, {5, 6, -0.299639, true}, {6, 6, -0.976038, true}, {6, 7, -0.472889, true}, {7, 7, -0.346098, true}, {7, 8, -1.2291, true}, {8, 8, -0.799756, true}, {8, 9, -0.596817, true}, {9, 9, -1.03555, true}, {9, 10, -0.438554, true}, {10, 10, -0.511173, true}, {10, 11, -0.91577, true}, {11, 11, -0.408697, true}, {11, 12, -1.09218, true}, {12, 12, -0.402833, true}, {12, 13, -1.1039, true}, {13, 13, -0.755993, true}, {13, 14, -0.634019, true}, {14, 14, -0.341787, true}, {14, 15, -1.2396, true}, {15, 15, -0.491934, true}, {15, 16, -0.945315, true}, {16, 16, -0.316034, true}, {16, T, -1.30577, true};}, { weighted = true; vertices = {0, {94}}, {1, {95}}, {2, {96}}, {3, {97}}, {4, {98}}, {5, {99}}, {6, {100}}, {7, {101}}, {8, {102}}, {9, {103}}, {10, {104}}; arcs = {S, 0, 0, true}, {0, 0, -0.287548, true}, {0, 1, -1.3867, true}, {1, 1, -0.327092, true}, {1, 2, -1.27661, true}, {2, 2, -0.286621, true}, {2, 3, -1.38948, true}, {3, 3, -0.336166, true}, {3, 4, -1.25353, true}, {4, 4, -0.665125, true}, {4, 5, -0.721977, true}, {5, 5, -0.964771, true}, {5, 6, -0.479764, true}, {6, 6, -1.36789, true}, {6, 7, -0.293892, true}, {7, 7, -0.874456, true}, {7, 8, -0.53972, true}, {8, 8, -0.939272, true}, {8, 9, -0.495793, true}, {9, 9, -0.527239, true}, {9, 10, -0.892166, true}, {10, 10, -0.220343, true}, {10, T, -1.62072, true};}, { weighted = true; vertices = {0, {105}}, {1, {106}}, {2, {107}}, {3, {108}}, {4, {109}}, {5, {110}}, {6, {111}}, {7, {112}}, {8, {113}}, {9, {114}}, {10, {115}}; arcs = {S, 0, 0, true}, {0, 0, -0.233013, true}, {0, 1, -1.57091, true}, {1, 1, -0.428636, true}, {1, 2, -1.05382, true}, {2, 2, -0.448035, true}, {2, 3, -1.01855, true}, {3, 3, -0.152651, true}, {3, 4, -1.95496, true}, {4, 4, -0.377841, true}, {4, 5, -1.15626, true}, {5, 5, -0.506201, true}, {5, 6, -0.923268, true}, {6, 6, -0.608045, true}, {6, 7, -0.786171, true}, {7, 7, -0.741831, true}, {7, 8, -0.646724, true}, {8, 8, -0.568012, true}, {8, 9, -0.836212, true}, {9, 9, -0.444774, true}, {9, 10, -1.02435, true}, {10, 10, -0.356024, true}, {10, T, -1.20549, true};}, { weighted = true; vertices = {0, {116}}, {1, {117}}, {2, {118}}, {3, {119}}, {4, {120}}, {5, {121}}, {6, {122}}, {7, {123}}, {8, {124}}, {9, {125}}, {10, {126}}, {11, {127}}, {12, {128}}, {13, {129}}, {14, {130}}, {15, {131}}, {16, {132}}; arcs = {S, 0, 0, true}, {0, 0, -0.294283, true}, {0, 1, -1.36675, true}, {1, 1, -0.231279, true}, {1, 2, -1.57754, true}, {2, 2, -0.540619, true}, {2, 3, -0.873202, true}, {3, 3, -0.561938, true}, {3, 4, -0.84421, true}, {4, 4, -0.551853, true}, {4, 5, -0.857743, true}, {5, 5, -0.76257, true}, {5, 6, -0.628233, true}, {6, 6, -0.811336, true}, {6, 7, -0.587462, true}, {7, 7, -0.636822, true}, {7, 8, -0.752836, true}, {8, 8, -0.459916, true}, {8, 9, -0.997872, true}, {9, 9, -0.659811, true}, {9, 10, -0.727633, true}, {10, 10, -0.705905, true}, {10, 11, -0.68055, true}, {11, 11, -0.575255, true}, {11, 12, -0.826819, true}, {12, 12, -0.460299, true}, {12, 13, -0.997215, true}, {13, 13, -0.6581, true}, {13, 14, -0.729467, true}, {14, 14, -0.741637, true}, {14, 15, -0.6469, true}, {15, 15, -0.760685, true}, {15, 16, -0.629883, true}, {16, 16, -0.351219, true}, {16, T, -1.21682, true};}, { weighted = true; vertices = {0, {133}}, {1, {134}}, {2, {135}}, {3, {136}}, {4, {137}}, {5, {138}}, {6, {139}}, {7, {140}}, {8, {141}}, {9, {142}}, {10, {143}}; arcs = {S, 0, 0, true}, {0, 0, -0.330357, true}, {0, 1, -1.26822, true}, {1, 1, -0.77469, true}, {1, 2, -0.617755, true}, {2, 2, -0.960361, true}, {2, 3, -0.482489, true}, {3, 3, -0.665865, true}, {3, 4, -0.721195, true}, {4, 4, -0.290757, true}, {4, 5, -1.37713, true}, {5, 5, -0.33364, true}, {5, 6, -1.25988, true}, {6, 6, -0.357116, true}, {6, 7, -1.20294, true}, {7, 7, -0.478478, true}, {7, 8, -0.966862, true}, {8, 8, -0.715969, true}, {8, 9, -0.670835, true}, {9, 9, -0.515095, true}, {9, 10, -0.909921, true}, {10, 10, -0.265371, true}, {10, T, -1.45638, true};};
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -