> other (main*) time python3 decompose_fsm_optimise.py -c 2 -w ~/OneDrive\ -\ Open\ Universiteit/Onderzoek/AutomataWiki/Mealy/ESM/run1/hyp.10.obf.dot Input FSM: 674 states, 78 inputs, and 147 outputs =============== Start encoding transitivity (o) injectivity bisimulation modulo rel representatives weak size constraints 25 674 =============== Start solving Trying 25 < 349 < 674 up Trying 349 < 511 < 674 up Trying 511 < 592 < 674 down Trying 511 < 551 < 592 down Trying 511 < 531 < 551 down Trying 511 < 521 < 531 down Trying 511 < 516 < 521 down Trying 511 < 513 < 516 down Trying 511 < 512 < 513 down done searching, found bound = 512 Reduced sizes = [512, 512] = 1024 =============== Output mapping: 0 1 5.2-O2.2-O36 cls_0_0 cls_1_0 8 cls_0_0 cls_1_1_u 32 cls_0_0 cls_1_2 40.0 cls_0_1_u cls_1_3_u 22.4-O22.3-O22.2-O22.1-O22.0-O13 cls_0_0 cls_1_4 5.12-O2.12-O35 cls_0_2 cls_1_5_u 40.3 cls_0_3_u cls_1_6_u 3.13 cls_0_4_u cls_1_7 5.1-O2.1-O6-O10 cls_0_5_u cls_1_8 2.23 cls_0_6 cls_1_9 9 cls_0_0 cls_1_10_u 40.4 cls_0_0 cls_1_11_u 3.0 cls_0_7_u cls_1_12 2.8-O38 cls_0_8_u cls_1_13 3.3 cls_0_9_u cls_1_12 5.10 cls_0_0 cls_1_14_u 5.1-O2.1-O6-O36 cls_0_10 cls_1_15 5.23-O2.23-O10 cls_0_0 cls_1_16_u 2.3 cls_0_11_u cls_1_13 24.4-O24.3-O24.2-O24.1-O24.0 cls_0_0 cls_1_17_u 2.14 cls_0_0 cls_1_18_u 3.1 cls_0_12_u cls_1_12 3.19 cls_0_13 cls_1_12 10-O5.2-O2.2 cls_0_14_u cls_1_19_u 21.4-O21.3-O21.2-O21.1-O21.0 cls_0_0 cls_1_20_u 3.21 cls_0_15_u cls_1_7 3.12 cls_0_16_u cls_1_12 5.3-O2.3-O10 cls_0_17_u cls_1_21 39.3 cls_0_18_u cls_1_22_u 3.8 cls_0_19_u cls_1_12 25.4-O25.3-O25.2-O25.1-O25.0 cls_0_0 cls_1_23 5.0-O2.0-O5.8-O2.8-O38 cls_0_20_u cls_1_23 3.6 cls_0_21_u cls_1_12 5.0-O2.0 cls_0_22_u cls_1_2 5.3-O2.3-O5.9-O2.9-O33 cls_0_23_u cls_1_24 5.7-O2.7-O37 cls_0_0 cls_1_25_u 39.1 cls_0_24_u cls_1_26_u 5.14 cls_0_0 cls_1_27 5.3-O2.3 cls_0_25_u cls_1_4 2.13 cls_0_2 cls_1_24 2.0 cls_0_26_u cls_1_13 3.7 cls_0_27_u cls_1_12 2.2 cls_0_0 cls_1_28 3.4 cls_0_28_u cls_1_7 2.17 cls_0_29 cls_1_29 5.3 cls_0_30_u cls_1_30 5.23-O2.23-O36 cls_0_0 cls_1_31 5.4-O2.4 cls_0_0 cls_1_32_u 40.2 cls_0_31_u cls_1_33_u 13-O34 cls_0_0 cls_1_34_u 5.2-O2.2 cls_0_2 cls_1_35_u 5.9-O2.9-O33 cls_0_0 cls_1_36_u 2.23-O36 cls_0_32_u cls_1_27 5.13-O2.13-O28.0 cls_0_2 cls_1_37_u 5.23-O2.23 cls_0_0 cls_1_38_u 2.6 cls_0_0 cls_1_39_u 2.1-O6-O2.12-O35 cls_0_33_u cls_1_0 2.3-O10 cls_0_34_u cls_1_40 5.8-O2.8-O38 cls_0_35_u cls_1_41 5.2-O2.2-O10 cls_0_0 cls_1_21 28.3 cls_0_0 cls_1_42_u 5.4 cls_0_0 cls_1_43_u 39.5 cls_0_36_u cls_1_44_u 2.10-O36 cls_0_0 cls_1_45_u 23.4-O23.3-O23.2-O23.1-O23.0 cls_0_37 cls_1_28 2.1-O6-O10 cls_0_38_u cls_1_46_u 5.1 cls_0_39 cls_1_47 2.16 cls_0_0 cls_1_48_u quiescence cls_0_0 cls_1_15 39.4 cls_0_40_u cls_1_49_u 3.10 cls_0_13 cls_1_7 5.7-O2.7-O26.4-O26.3-O26.2-O26.1-O26.0-O13 cls_0_41_u cls_1_2 5.18 cls_0_0 cls_1_50_u 5.1-O2.1-O6-O5.12-O2.12-O35 cls_0_42_u cls_1_4 5.3-O2.3-O36 cls_0_43_u cls_1_40 26.4-O26.3-O26.2-O26.1-O26.0-O13 cls_0_29 cls_1_51_u 18.4-O18.3-O18.2-O18.1-O18.0 cls_0_0 cls_1_52_u 5.12 cls_0_0 cls_1_47 4 cls_0_0 cls_1_53_u 2.1 cls_0_0 cls_1_8 16-O12-O12-O12-O12-O12-O12-O12-O12 cls_0_44_u cls_1_54_u 2.0-O2.8-O38 cls_0_45_u cls_1_13 2.18 cls_0_0 cls_1_55_u 5.7 cls_0_46 cls_1_47 3.17 cls_0_47_u cls_1_12 2.10 cls_0_0 cls_1_56_u 2.12-O35 cls_0_0 cls_1_57 2.1-O13-O34 cls_0_48_u cls_1_57 2.12 cls_0_0 cls_1_29 35 cls_0_0 cls_1_58_u 27.4-O27.3-O27.2-O27.1-O27.0 cls_0_49_u cls_1_41 2.2-O18.4-O18.3-O18.2-O18.1-O18.0 cls_0_0 cls_1_59_u 3.9 cls_0_50 cls_1_12 39.0 cls_0_51_u cls_1_60_u 5.0 cls_0_46 cls_1_30 2.2-O36 cls_0_0 cls_1_24 7 cls_0_10 cls_1_41 3.20 cls_0_52_u cls_1_12 2.7-O37 cls_0_0 cls_1_61_u 2.1-O6 cls_0_53_u cls_1_15 40.1 cls_0_54_u cls_1_62_u 2.9 cls_0_0 cls_1_63_u 2.1-O6-O36 cls_0_55_u cls_1_64_u 2.9-O33 cls_0_0 cls_1_65 19.4-O19.3-O19.2-O19.1-O19.0 cls_0_0 cls_1_66_u 5.10-O2.10 cls_0_0 cls_1_67_u 3.16 cls_0_50 cls_1_68_u 10-O36 cls_0_0 cls_1_13 5.9 cls_0_56 cls_1_30 5.6-O2.6 cls_0_0 cls_1_9 2.3-O2.9-O33 cls_0_57_u cls_1_9 10-O2.2 cls_0_2 cls_1_4 39.2 cls_0_58_u cls_1_69_u 2.7 cls_0_37 cls_1_41 5.2-O2.2-O18.4-O18.3-O18.2-O18.1-O18.0 cls_0_2 cls_1_31 5.1-O2.1 cls_0_0 cls_1_70_u 5.6 cls_0_0 cls_1_30 10 cls_0_0 cls_1_71_u 36 cls_0_0 cls_1_72_u 5.22-O2.22 cls_0_0 cls_1_73_u 2.7-O26.4-O26.3-O26.2-O26.1-O26.0-O13 cls_0_59_u cls_1_2 2.8 cls_0_60_u cls_1_8 3.14 cls_0_50 cls_1_7 5.23 cls_0_2 cls_1_30 5.22 cls_0_46 cls_1_27 5.10-O2.10-O36 cls_0_0 cls_1_74_u 2.21 cls_0_6 cls_1_23 2.4 cls_0_0 cls_1_41 5.1-O2.1-O6 cls_0_61_u cls_1_41 5.17 cls_0_56 cls_1_47 5.16 cls_0_0 cls_1_75_u 2.23-O10 cls_0_0 cls_1_76_u 3.18 cls_0_13 cls_1_77_u 5.1-O2.1-O13-O34 cls_0_2 cls_1_65 10-O5.23-O2.23 cls_0_0 cls_1_78_u 5.2 cls_0_2 cls_1_47 40.5 cls_0_62_u cls_1_79_u 10-O9 cls_0_0 cls_1_80_u 3.2 cls_0_63_u cls_1_12 34 cls_0_0 cls_1_81 5.13 cls_0_2 cls_1_27 2.2-O10 cls_0_0 cls_1_82_u 5.21 cls_0_64_u cls_1_27 2.22 cls_0_0 cls_1_83_u 2.3-O36 cls_0_65_u cls_1_81 28.0 cls_0_6 cls_1_84_u 5.8 cls_0_39 cls_1_30 python3 decompose_fsm_optimise.py -c 2 -w 12388.54s user 133.05s system 69% cpu 5:00:13.39 total > other (main*)