BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/chc2c.xml name: chc2c run sets: CHC-COMP2025_check-sat.LIA-Lin date: Mon, 2025-05-05 20:40:58 CEST tool: CHC2C 1.0 tool executable: ./chc-comp25.sh options: resource limits: - memory: 30000.0 MB - time: 1800 s - cpu cores: 8 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 8 - memory: 30000.0 MB ------------------------------------------------------------ CHC-COMP2025_check-sat.LIA-Lin Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- aeval-benchmarks/multi-phase/s_split_53_000.smt2 true 811.80 265.23 apollon033 aeval-benchmarks/multi-phase/s_split_27_000.smt2 unknown 56.65 15.71 apollon039 aeval-benchmarks/multi-phase/s_split_24_000.smt2 true 809.12 265.91 apollon043 aeval-benchmarks/multi-phase/s_split_39_000.smt2 true 231.70 70.18 apollon112 aeval-benchmarks/multi-phase/s_split_15_000.smt2 true 808.62 265.23 apollon130 aeval-benchmarks/multi-phase/s_split_03_000.smt2 unknown 71.50 18.49 apollon018 aeval-benchmarks/multi-phase/s_split_13_000.smt2 true 227.19 69.67 apollon128 aeval-benchmarks/multi-phase/s_split_30_000.smt2 unknown 229.93 94.31 apollon034 aeval-benchmarks/multi-phase/s_split_51_000.smt2 true 808.71 265.19 apollon109 aeval-benchmarks/multi-phase/s_split_34_000.smt2 true 278.12 79.47 apollon107 aeval-benchmarks/multi-phase/s_split_52_000.smt2 true 808.86 265.45 apollon062 aeval-benchmarks/multi-phase/s_split_29_000.smt2 true 809.14 265.38 apollon027 aeval-benchmarks/multi-phase/s_split_11_000.smt2 unknown 1544.68 1104.08 apollon166 aeval-benchmarks/multi-phase/s_split_09_000.smt2 true 430.66 117.84 apollon091 aeval-benchmarks/multi-phase/s_split_45_000.smt2 true 810.27 265.30 apollon126 aeval-benchmarks/multi-phase/s_split_46_000.smt2 true 620.22 174.83 apollon016 aeval-benchmarks/multi-phase/s_split_48_000.smt2 true 808.51 265.36 apollon161 aeval-benchmarks/multi-phase/s_split_44_000.smt2 true 811.47 265.22 apollon152 aeval-benchmarks/multi-phase/s_split_32_000.smt2 true 812.08 265.40 apollon017 aeval-benchmarks/multi-phase/s_split_08_000.smt2 true 808.60 265.39 apollon027 aeval-benchmarks/multi-phase/s_split_22_000.smt2 true 809.14 265.25 apollon054 aeval-benchmarks/multi-phase/s_split_28_000.smt2 true 672.40 181.73 apollon080 aeval-benchmarks/multi-phase/s_split_31_000.smt2 true 622.43 175.74 apollon024 aeval-benchmarks/multi-phase/s_split_21_000.smt2 true 314.88 87.61 apollon092 aeval-benchmarks/multi-phase/s_split_38_000.smt2 true 280.17 80.43 apollon030 aeval-benchmarks/multi-phase/s_split_01_000.smt2 true 810.68 265.39 apollon120 aeval-benchmarks/multi-phase/s_split_33_000.smt2 true 808.61 265.37 apollon023 aeval-benchmarks/multi-phase/s_split_10_000.smt2 true 809.18 265.25 apollon025 aeval-benchmarks/multi-phase/s_split_37_000.smt2 true 229.09 69.89 apollon147 aeval-benchmarks/multi-phase/s_split_06_000.smt2 true 809.81 265.36 apollon125 aeval-benchmarks/multi-phase/s_split_42_000.smt2 true 809.26 265.23 apollon007 aeval-benchmarks/multi-phase/s_split_23_000.smt2 true 299.24 84.13 apollon033 aeval-benchmarks/multi-phase/s_split_17_000.smt2 unknown 998.06 912.66 apollon097 aeval-benchmarks/multi-phase/s_split_20_000.smt2 true 601.55 173.40 apollon069 aeval-benchmarks/multi-phase/s_split_36_000.smt2 true 278.89 80.41 apollon003 aeval-benchmarks/multi-phase/s_split_54_000.smt2 true 809.87 265.25 apollon120 aeval-benchmarks/multi-phase/s_split_47_000.smt2 unknown 52.98 15.29 apollon149 aeval-benchmarks/multi-phase/s_split_25_000.smt2 true 752.80 219.04 apollon073 aeval-benchmarks/multi-phase/s_split_41_000.smt2 true 808.65 265.10 apollon080 aeval-benchmarks/multi-phase/s_split_50_000.smt2 true 809.27 265.25 apollon011 aeval-benchmarks/multi-phase/s_split_14_000.smt2 true 808.19 265.25 apollon101 aeval-benchmarks/multi-phase/s_split_12_000.smt2 true 612.02 174.49 apollon133 aeval-benchmarks/multi-phase/s_split_26_000.smt2 unknown 55.16 15.57 apollon080 aeval-benchmarks/multi-phase/s_split_16_000.smt2 true 810.17 265.22 apollon079 aeval-benchmarks/multi-phase/s_split_04_000.smt2 true 636.20 178.05 apollon018 aeval-benchmarks/multi-phase/s_split_19_000.smt2 unknown 1282.11 982.60 apollon044 aeval-benchmarks/multi-phase/s_split_43_000.smt2 true 810.99 265.19 apollon141 aeval-benchmarks/multi-phase/s_split_35_000.smt2 unknown 81.89 21.13 apollon020 aeval-benchmarks/multi-phase/s_split_07_000.smt2 unknown 73.43 19.78 apollon004 aeval-benchmarks/multi-phase/s_split_49_000.smt2 true 809.20 265.21 apollon067 aeval-benchmarks/multi-phase/s_split_02_000.smt2 true 809.21 265.28 apollon039 aeval-benchmarks/multi-phase/s_split_40_000.smt2 true 810.39 265.24 apollon156 aeval-benchmarks/multi-phase/s_split_18_000.smt2 unknown 359.44 139.98 apollon113 aeval-benchmarks/multi-phase/s_split_05_000.smt2 unknown 66.52 17.64 apollon119 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e7_2886_000.smt2 unknown 1082.15 934.83 apollon036 vmt-chc-benchmarks/lustre/car_6_e3_294_e5_979_000.smt2 TIMEOUT 1804.74 620.31 apollon055 vmt-chc-benchmarks/lustre/metros_3_e4_1251_000.smt2 unknown 657.67 214.69 apollon065 vmt-chc-benchmarks/lustre/traffic_000.smt2 unknown 975.29 911.95 apollon060 vmt-chc-benchmarks/lustre/FIREFLY_4_000.smt2 unknown 1073.54 916.31 apollon135 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e2_1026_000.smt2 TIMEOUT 1806.20 633.22 apollon111 vmt-chc-benchmarks/lustre/car_5_e3_11_e5_24_000.smt2 TIMEOUT 1802.85 628.10 apollon165 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e2_3395_000.smt2 unknown 1026.33 908.88 apollon097 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e1_3755_000.smt2 unknown 1047.72 921.27 apollon144 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e2_1492_000.smt2 unknown 1060.59 912.75 apollon129 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e2_615_000.smt2 TIMEOUT 1806.39 650.43 apollon086 vmt-chc-benchmarks/lustre/MESI_i4_e7_1017_e6_1132_000.smt2 unknown 184.93 37.68 apollon003 vmt-chc-benchmarks/lustre/car_4_e8_118_000.smt2 unknown 99.99 21.67 apollon103 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e7_3447_000.smt2 unknown 1055.96 927.68 apollon118 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e2_2251_000.smt2 unknown 390.48 87.30 apollon153 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e1_1489_000.smt2 unknown 1068.20 913.60 apollon113 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e2_2755_000.smt2 unknown 1115.67 921.37 apollon125 vmt-chc-benchmarks/lustre/fast_1_e8_747_000.smt2 true 84.17 16.64 apollon089 vmt-chc-benchmarks/lustre/car_4_e3_57_e4_1047_000.smt2 unknown 107.86 23.01 apollon033 vmt-chc-benchmarks/lustre/DRAGON_10_000.smt2 unknown 222.14 49.07 apollon067 vmt-chc-benchmarks/lustre/rtp_2_000.smt2 unknown 1211.78 946.24 apollon104 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e3_522_000.smt2 unknown 125.60 26.84 apollon163 vmt-chc-benchmarks/lustre/durationThm_3_e2_148_000.smt2 unknown 83.51 20.25 apollon020 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_000.smt2 unknown 602.33 405.44 apollon157 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_000.smt2 unknown 660.20 215.59 apollon122 vmt-chc-benchmarks/lustre/ticket3i_all_e3_557_e7_3464_000.smt2 unknown 226.57 50.34 apollon128 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e7_998_000.smt2 TIMEOUT 1805.84 674.53 apollon056 vmt-chc-benchmarks/lustre/peterson_2_000.smt2 unknown 286.93 60.48 apollon060 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_1315_000.smt2 TIMEOUT 1806.34 693.28 apollon052 vmt-chc-benchmarks/lustre/car_3_e2_695_000.smt2 unknown 103.93 22.63 apollon156 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e3_1915_000.smt2 unknown 400.22 91.43 apollon049 vmt-chc-benchmarks/lustre/car_2_e7_1027_e7_359_000.smt2 unknown 105.08 22.50 apollon068 vmt-chc-benchmarks/lustre/DRAGON_1_000.smt2 unknown 271.81 90.82 apollon152 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e3_4574_000.smt2 TIMEOUT 1801.67 735.25 apollon135 vmt-chc-benchmarks/lustre/metros_5_000.smt2 unknown 657.96 214.91 apollon013 vmt-chc-benchmarks/lustre/ILLINOIS_a1_000.smt2 unknown 1106.34 922.29 apollon053 vmt-chc-benchmarks/lustre/ILLINOIS_4_e7_2651_e7_2847_000.smt2 unknown 215.55 49.12 apollon089 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e3_422_000.smt2 unknown 1078.74 917.35 apollon003 vmt-chc-benchmarks/lustre/DRAGON_10_e7_3861_e7_2180_000.smt2 unknown 236.21 51.30 apollon135 vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997_000.smt2 unknown 275.03 91.78 apollon118 vmt-chc-benchmarks/lustre/metros_3_e4_987_e3_291_000.smt2 unknown 657.91 214.96 apollon155 vmt-chc-benchmarks/lustre/DRAGON_8_e3_786_000.smt2 unknown 360.77 80.44 apollon049 vmt-chc-benchmarks/lustre/peterson_all_000.smt2 unknown 1162.06 933.64 apollon079 vmt-chc-benchmarks/lustre/ticket3i_5_e7_3307_000.smt2 unknown 1113.16 922.61 apollon051 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_000.smt2 unknown 1092.82 935.15 apollon080 vmt-chc-benchmarks/lustre/DRAGON_all_000.smt2 unknown 1056.05 929.09 apollon161 vmt-chc-benchmarks/lustre/DRAGON_9_000.smt2 unknown 223.06 48.67 apollon067 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e1_1486_000.smt2 TIMEOUT 1805.88 676.53 apollon101 vmt-chc-benchmarks/lustre/swimmingpool_9_000.smt2 TIMEOUT 1805.62 665.54 apollon098 vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e2_3135_000.smt2 unknown 1051.28 919.88 apollon098 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e7_341_000.smt2 TIMEOUT 1805.93 673.04 apollon049 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_000.smt2 unknown 1042.44 919.00 apollon082 vmt-chc-benchmarks/lustre/MESI_3_000.smt2 unknown 149.18 32.39 apollon064 vmt-chc-benchmarks/lustre/hysteresis_all_000.smt2 unknown 989.30 901.17 apollon113 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e2_158_000.smt2 unknown 1048.88 920.11 apollon093 vmt-chc-benchmarks/lustre/rtp_vt_000.smt2 unknown 1652.84 1109.72 apollon052 vmt-chc-benchmarks/lustre/MESI_4_e7_1140_e7_433_000.smt2 unknown 142.87 29.59 apollon114 vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e7_1864_000.smt2 unknown 1109.85 934.91 apollon053 vmt-chc-benchmarks/lustre/MOESI_2_e2_155_000.smt2 unknown 1057.07 920.10 apollon061 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e3_511_000.smt2 unknown 1045.37 919.21 apollon158 vmt-chc-benchmarks/lustre/speed2_e8_449_000.smt2 unknown 99.85 27.42 apollon089 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e1_6205_000.smt2 unknown 1049.18 928.06 apollon154 vmt-chc-benchmarks/lustre/FIREFLY_8_000.smt2 unknown 1067.66 913.11 apollon066 vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e4_4421_000.smt2 unknown 1173.78 643.95 apollon124 vmt-chc-benchmarks/lustre/MOESI_2_e8_101_000.smt2 unknown 1065.91 919.47 apollon063 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e6_2476_000.smt2 unknown 1042.30 925.44 apollon002 vmt-chc-benchmarks/lustre/FIREFLY_10_e7_919_e2_3192_000.smt2 unknown 1108.87 921.73 apollon099 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e4_165_000.smt2 unknown 83.66 20.42 apollon145 vmt-chc-benchmarks/lustre/ticket3i_7_e7_3176_000.smt2 unknown 1092.84 920.18 apollon148 vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5322_000.smt2 unknown 1116.70 938.35 apollon071 vmt-chc-benchmarks/lustre/MESI_i4_e6_2175_000.smt2 unknown 163.37 33.59 apollon080 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e6_2281_000.smt2 unknown 150.78 30.37 apollon163 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e7_3738_000.smt2 unknown 1051.66 914.08 apollon130 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e3_2055_000.smt2 TIMEOUT 1804.39 718.40 apollon015 vmt-chc-benchmarks/lustre/DRAGON_10_e1_998_000.smt2 unknown 214.60 47.14 apollon099 vmt-chc-benchmarks/lustre/FIREFLY_2_e2_3244_e3_1305_000.smt2 TIMEOUT 1805.70 685.35 apollon073 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e2_2673_000.smt2 unknown 1068.55 914.78 apollon116 vmt-chc-benchmarks/lustre/ILLINOIS_5_000.smt2 unknown 221.55 49.59 apollon098 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e1_556_000.smt2 TIMEOUT 1801.57 573.85 apollon017 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e1_1128_000.smt2 TIMEOUT 1804.58 644.75 apollon156 vmt-chc-benchmarks/lustre/speed_e7_207_e8_507_000.smt2 unknown 87.93 20.54 apollon091 vmt-chc-benchmarks/lustre/DRAGON_all_e7_4065_000.smt2 unknown 1074.52 933.93 apollon114 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e7_1173_000.smt2 unknown 1092.41 920.15 apollon085 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e4_232_000.smt2 TIMEOUT 1803.96 579.70 apollon091 vmt-chc-benchmarks/lustre/MESI_i1_e4_1986_000.smt2 TIMEOUT 1802.83 663.16 apollon123 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e1_768_000.smt2 unknown 223.88 57.45 apollon009 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e7_3594_000.smt2 unknown 1111.21 920.26 apollon018 vmt-chc-benchmarks/lustre/SYNAPSE_5_000.smt2 unknown 1008.31 906.24 apollon149 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e7_3681_000.smt2 unknown 244.25 51.19 apollon168 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e5_3248_000.smt2 unknown 1074.45 918.31 apollon142 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e5_260_000.smt2 unknown 82.26 20.12 apollon079 vmt-chc-benchmarks/lustre/metros_1_e1_846_e2_1394_000.smt2 unknown 122.96 26.52 apollon158 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e3_2660_000.smt2 TIMEOUT 1804.52 687.01 apollon106 vmt-chc-benchmarks/lustre/car_6_e3_294_e3_47_000.smt2 TIMEOUT 1805.36 624.90 apollon133 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e7_2326_000.smt2 TIMEOUT 1804.97 715.87 apollon155 vmt-chc-benchmarks/lustre/DRAGON_all2_e8_5504_e7_579_000.smt2 unknown 1115.29 936.66 apollon141 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_000.smt2 unknown 1113.80 921.60 apollon012 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e2_1352_000.smt2 unknown 659.07 215.85 apollon024 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e6_1459_000.smt2 unknown 157.21 33.33 apollon020 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e5_3642_000.smt2 unknown 1583.60 1107.56 apollon163 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e8_320_000.smt2 unknown 1012.19 917.53 apollon121 vmt-chc-benchmarks/lustre/peterson_3_000.smt2 unknown 272.98 59.00 apollon097 vmt-chc-benchmarks/lustre/FIREFLY_rt_000.smt2 unknown 242.04 47.29 apollon119 vmt-chc-benchmarks/lustre/FIREFLY_luke_5_000.smt2 unknown 1095.74 937.60 apollon050 vmt-chc-benchmarks/lustre/FIREFLY_5_000.smt2 unknown 1070.70 914.62 apollon157 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e2_2392_000.smt2 unknown 1098.69 934.99 apollon109 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e2_1923_000.smt2 unknown 1078.26 917.27 apollon147 vmt-chc-benchmarks/lustre/car_all_e3_1068_000.smt2 unknown 397.48 202.42 apollon130 vmt-chc-benchmarks/lustre/MOESI_2_e3_1523_000.smt2 unknown 1053.61 920.02 apollon025 vmt-chc-benchmarks/lustre/ticket3i_all_000.smt2 unknown 162.15 38.59 apollon043 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e8_1334_000.smt2 unknown 1058.40 918.28 apollon106 vmt-chc-benchmarks/lustre/DRAGON_13_e3_1418_e3_2761_000.smt2 unknown 753.51 445.99 apollon097 vmt-chc-benchmarks/lustre/ticket3i_2_000.smt2 unknown 196.48 56.51 apollon107 vmt-chc-benchmarks/lustre/fast_1_000.smt2 true 86.92 17.36 apollon121 vmt-chc-benchmarks/lustre/MESI_1_e2_162_e7_1545_000.smt2 unknown 134.20 27.88 apollon021 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e6_2061_000.smt2 unknown 1055.98 928.03 apollon126 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_000.smt2 unknown 1049.98 914.36 apollon150 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e3_1549_000.smt2 TIMEOUT 1806.01 694.57 apollon114 vmt-chc-benchmarks/lustre/_6counters_e3_140_e8_149_000.smt2 unknown 976.11 908.67 apollon005 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e7_3042_e3_1213_000.smt2 unknown 1114.71 921.75 apollon115 vmt-chc-benchmarks/lustre/speed2_000.smt2 unknown 982.88 907.57 apollon015 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_000.smt2 unknown 1010.53 926.02 apollon066 vmt-chc-benchmarks/lustre/car_all_e2_142_e7_209_000.smt2 unknown 996.11 899.38 apollon150 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e1_1852_000.smt2 TIMEOUT 1804.78 632.91 apollon052 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e1_2375_000.smt2 TIMEOUT 1807.80 677.96 apollon002 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e1_3182_000.smt2 unknown 1028.87 909.62 apollon142 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e7_1262_000.smt2 unknown 1015.35 925.99 apollon011 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e4_958_000.smt2 unknown 237.12 126.14 apollon015 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_000.smt2 TIMEOUT 1803.30 709.61 apollon112 vmt-chc-benchmarks/lustre/_6counters_000.smt2 unknown 1131.91 1012.18 apollon024 vmt-chc-benchmarks/lustre/cd_000.smt2 unknown 990.91 911.89 apollon035 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e1_154_000.smt2 unknown 1122.04 927.62 apollon144 vmt-chc-benchmarks/lustre/DRAGON_8_e3_786_e7_4541_000.smt2 unknown 367.98 82.36 apollon163 vmt-chc-benchmarks/lustre/DRAGON_11_e2_1678_e1_3565_000.smt2 unknown 1116.65 593.06 apollon168 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e1_946_000.smt2 unknown 1074.56 917.02 apollon051 vmt-chc-benchmarks/lustre/DRAGON_3_000.smt2 unknown 1048.13 921.70 apollon028 vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e7_3516_000.smt2 unknown 1095.50 921.41 apollon034 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_000.smt2 TIMEOUT 1806.34 730.00 apollon030 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e3_2294_000.smt2 TIMEOUT 1803.94 630.29 apollon108 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e7_193_000.smt2 TIMEOUT 1800.15 1268.11 apollon045 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e2_617_000.smt2 unknown 1017.14 904.90 apollon033 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_000.smt2 unknown 186.03 42.66 apollon114 vmt-chc-benchmarks/lustre/MOESI_2_e7_2910_e7_1804_000.smt2 TIMEOUT 1804.46 648.84 apollon100 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e2_138_000.smt2 unknown 758.17 448.12 apollon035 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_000.smt2 unknown 979.19 910.72 apollon154 vmt-chc-benchmarks/lustre/Gas_000.smt2 unknown 1553.55 1105.28 apollon052 vmt-chc-benchmarks/lustre/SYNAPSE_1_000.smt2 unknown 842.31 744.73 apollon023 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e8_1167_000.smt2 unknown 1060.66 919.82 apollon112 vmt-chc-benchmarks/lustre/rtp_1_000.smt2 unknown 1107.70 922.17 apollon160 vmt-chc-benchmarks/lustre/metros_2_e2_704_e1_389_000.smt2 TIMEOUT 1801.37 573.69 apollon090 vmt-chc-benchmarks/lustre/metros_2_e2_704_e3_76_000.smt2 TIMEOUT 1807.59 624.32 apollon114 vmt-chc-benchmarks/lustre/fast_2_000.smt2 true 112.65 21.13 apollon150 vmt-chc-benchmarks/lustre/DRAGON_2_000.smt2 unknown 1114.86 925.40 apollon079 vmt-chc-benchmarks/lustre/ex3_e8_381_e8_477_000.smt2 unknown 106.86 35.19 apollon155 vmt-chc-benchmarks/lustre/car_4_e3_57_e6_784_000.smt2 unknown 94.43 19.52 apollon106 vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e8_3691_000.smt2 unknown 1112.11 936.38 apollon160 vmt-chc-benchmarks/lustre/metros_3_e4_987_e2_80_000.smt2 unknown 658.14 215.04 apollon113 vmt-chc-benchmarks/lustre/metros_4_e5_1150_000.smt2 unknown 659.49 215.39 apollon162 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e8_1916_000.smt2 unknown 1056.72 912.85 apollon080 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e5_2046_000.smt2 unknown 226.58 49.57 apollon106 vmt-chc-benchmarks/lustre/hysteresis_2_000.smt2 unknown 91.82 21.09 apollon049 vmt-chc-benchmarks/lustre/car_3_e7_626_e1_305_000.smt2 unknown 540.00 282.56 apollon009 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e2_1255_000.smt2 unknown 655.75 461.37 apollon109 vmt-chc-benchmarks/lustre/ticket3i_all_e2_1117_e7_553_000.smt2 unknown 216.17 47.60 apollon121 vmt-chc-benchmarks/lustre/durationThm_2_e1_118_000.smt2 unknown 982.33 902.40 apollon145 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e3_2970_000.smt2 unknown 1094.96 934.51 apollon129 vmt-chc-benchmarks/lustre/car_4_e7_592_000.smt2 unknown 102.88 22.42 apollon050 vmt-chc-benchmarks/lustre/FIREFLY_2_e3_151_e3_1540_000.smt2 TIMEOUT 1805.74 690.34 apollon120 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e3_1543_000.smt2 unknown 1582.65 1109.01 apollon069 vmt-chc-benchmarks/lustre/ex8_e7_74_e7_740_000.smt2 unknown 175.57 81.89 apollon131 vmt-chc-benchmarks/lustre/car_2_e8_491_e7_826_000.smt2 unknown 102.38 22.29 apollon053 vmt-chc-benchmarks/lustre/swimmingpool_1_e7_1621_000.smt2 TIMEOUT 1802.63 714.59 apollon142 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e2_1058_000.smt2 unknown 194.64 43.90 apollon141 vmt-chc-benchmarks/lustre/car_all_e2_142_e8_194_000.smt2 unknown 97.26 20.51 apollon112 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e7_523_000.smt2 unknown 238.45 50.87 apollon128 vmt-chc-benchmarks/lustre/metros_2_e2_704_000.smt2 TIMEOUT 1806.06 536.77 apollon162 vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997_e7_3613_e2_3409_000.smt2 unknown 405.45 120.93 apollon093 vmt-chc-benchmarks/lustre/ticket3i_7_e2_2724_e7_524_000.smt2 unknown 1096.75 918.81 apollon054 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e8_1581_000.smt2 unknown 1012.24 926.20 apollon039 vmt-chc-benchmarks/lustre/DRAGON_14_e1_2392_000.smt2 unknown 1114.38 592.69 apollon092 vmt-chc-benchmarks/lustre/swimmingpool_4_000.smt2 TIMEOUT 1804.86 681.52 apollon091 vmt-chc-benchmarks/lustre/durationThm_3_e1_36_e7_432_000.smt2 unknown 196.34 96.31 apollon015 vmt-chc-benchmarks/lustre/metros_1_e8_725_e3_556_000.smt2 unknown 123.48 26.61 apollon007 vmt-chc-benchmarks/lustre/MESI_all_000.smt2 unknown 144.84 30.24 apollon166 vmt-chc-benchmarks/lustre/DRAGON_8_000.smt2 unknown 362.28 80.84 apollon049 vmt-chc-benchmarks/lustre/car_5_e3_11_000.smt2 TIMEOUT 1803.98 619.69 apollon039 vmt-chc-benchmarks/lustre/metros_1_000.smt2 unknown 137.63 29.61 apollon030 vmt-chc-benchmarks/lustre/car_6_e1_152_e1_391_000.smt2 unknown 1002.55 902.26 apollon009 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e5_1637_000.smt2 TIMEOUT 1805.87 682.38 apollon095 vmt-chc-benchmarks/lustre/metros_1_e2_1102_000.smt2 unknown 126.25 27.15 apollon053 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e8_1713_000.smt2 TIMEOUT 1805.30 662.61 apollon107 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e3_2657_000.smt2 TIMEOUT 1801.73 673.08 apollon067 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_all_000.smt2 unknown 117.45 24.32 apollon055 vmt-chc-benchmarks/lustre/DRAGON_8_e2_3896_e3_3125_000.smt2 unknown 357.65 80.43 apollon069 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e4_578_000.smt2 unknown 1057.88 919.98 apollon097 vmt-chc-benchmarks/lustre/car_all_e8_856_000.smt2 unknown 103.29 22.31 apollon090 vmt-chc-benchmarks/lustre/DRAGON_14_e3_5120_000.smt2 unknown 1176.35 644.50 apollon041 vmt-chc-benchmarks/lustre/SYNAPSE_6_000.smt2 unknown 1009.02 904.36 apollon028 vmt-chc-benchmarks/lustre/DRAGON_5_e1_1835_000.smt2 unknown 381.55 84.99 apollon067 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e7_2614_000.smt2 unknown 1082.09 932.30 apollon164 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_000.smt2 TIMEOUT 1805.58 691.78 apollon149 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e7_1163_000.smt2 unknown 126.68 27.23 apollon144 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e5_846_000.smt2 unknown 656.57 214.62 apollon067 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e1_2678_000.smt2 unknown 1065.40 914.41 apollon153 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_144_000.smt2 TIMEOUT 1805.68 676.47 apollon113 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e3_135_000.smt2 TIMEOUT 1806.34 653.33 apollon027 vmt-chc-benchmarks/lustre/MOESI_2_e1_1121_000.smt2 unknown 1051.08 919.62 apollon105 vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e7_872_000.smt2 unknown 234.21 49.99 apollon162 vmt-chc-benchmarks/lustre/metros_1_e1_846_e3_1060_000.smt2 unknown 127.86 28.25 apollon090 vmt-chc-benchmarks/lustre/car_all_000.smt2 unknown 998.01 902.59 apollon085 vmt-chc-benchmarks/lustre/durationThm_2_e1_301_e7_64_000.smt2 unknown 138.09 59.03 apollon158 vmt-chc-benchmarks/lustre/DRAGON_3_e2_5343_e1_988_000.smt2 unknown 1042.91 920.50 apollon051 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e7_1059_e8_1111_000.smt2 unknown 658.40 215.19 apollon098 vmt-chc-benchmarks/lustre/speed2_e8_449_e7_353_000.smt2 unknown 981.99 907.42 apollon005 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e7_1026_000.smt2 unknown 404.70 121.55 apollon105 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_000.smt2 unknown 1131.32 926.65 apollon130 vmt-chc-benchmarks/lustre/durationThm_3_e1_36_000.smt2 unknown 192.67 95.26 apollon040 vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e1_505_000.smt2 unknown 1110.32 589.16 apollon037 vmt-chc-benchmarks/lustre/ILLINOIS_all_e3_2354_e6_993_000.smt2 unknown 1044.72 926.18 apollon095 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e8_3171_000.smt2 unknown 1122.16 924.71 apollon064 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e8_1896_000.smt2 TIMEOUT 1804.48 632.20 apollon156 vmt-chc-benchmarks/lustre/car_all_e3_1068_e3_163_000.smt2 unknown 386.79 197.82 apollon118 vmt-chc-benchmarks/lustre/metros_4_e1_917_000.smt2 unknown 657.95 215.88 apollon055 vmt-chc-benchmarks/lustre/ticket3i_6_e7_1096_e7_2688_000.smt2 unknown 1110.03 923.42 apollon086 vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e3_1744_000.smt2 unknown 224.49 48.79 apollon104 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e3_1601_000.smt2 unknown 1055.39 913.89 apollon121 vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e7_1466_000.smt2 unknown 227.95 49.96 apollon160 vmt-chc-benchmarks/lustre/swimmingpool_1_000.smt2 TIMEOUT 1803.69 695.83 apollon106 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e7_1440_000.smt2 TIMEOUT 1801.28 574.06 apollon131 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e2_753_000.smt2 TIMEOUT 1801.03 1282.73 apollon033 vmt-chc-benchmarks/lustre/car_4_e3_57_e7_350_000.smt2 unknown 369.35 193.18 apollon020 vmt-chc-benchmarks/lustre/ticket3i_4_e7_1775_e7_3320_000.smt2 unknown 1117.82 923.62 apollon031 vmt-chc-benchmarks/lustre/MESI_3_e3_2584_000.smt2 unknown 154.25 33.25 apollon021 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e2_3308_000.smt2 unknown 1052.01 928.89 apollon079 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e1_1759_000.smt2 unknown 1057.21 929.52 apollon038 vmt-chc-benchmarks/lustre/metros_1_e1_846_e8_1253_000.smt2 unknown 125.75 26.92 apollon154 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e1_667_000.smt2 unknown 1717.84 1317.39 apollon164 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e1_2924_000.smt2 unknown 1122.59 922.63 apollon012 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e5_1637_000.smt2 TIMEOUT 1804.79 638.10 apollon091 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e3_1180_000.smt2 unknown 147.14 29.62 apollon040 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e3_2012_000.smt2 unknown 833.28 507.15 apollon095 vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1653_000.smt2 TIMEOUT 1804.32 634.21 apollon016 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_000.smt2 unknown 1045.65 912.71 apollon162 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e7_638_000.smt2 unknown 1011.23 926.33 apollon082 vmt-chc-benchmarks/lustre/rtp_all_e7_2500_000.smt2 unknown 1255.91 955.65 apollon021 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e3_1839_000.smt2 TIMEOUT 1806.77 688.59 apollon114 vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e2_936_000.smt2 unknown 377.26 84.37 apollon051 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e1_1455_000.smt2 unknown 1093.90 932.86 apollon153 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e1_1292_000.smt2 unknown 152.77 30.87 apollon064 vmt-chc-benchmarks/lustre/car_all_e3_1068_e4_275_000.smt2 unknown 994.34 901.06 apollon099 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e3_979_000.smt2 unknown 1064.53 928.71 apollon010 vmt-chc-benchmarks/lustre/durationThm_1_e7_217_e7_31_000.smt2 unknown 173.42 79.04 apollon086 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e6_4484_000.smt2 unknown 224.37 48.93 apollon111 vmt-chc-benchmarks/lustre/DRAGON_11_e1_1117_e7_4950_000.smt2 unknown 600.91 406.01 apollon098 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e2_5340_000.smt2 unknown 1130.82 926.94 apollon031 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e1_3277_000.smt2 TIMEOUT 1806.63 691.91 apollon164 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e3_5316_000.smt2 unknown 366.98 81.83 apollon035 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e2_1145_000.smt2 unknown 363.65 82.17 apollon081 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2_e7_1068_e8_1019_000.smt2 unknown 1560.48 1117.87 apollon146 vmt-chc-benchmarks/lustre/_6counters_e8_371_e7_304_000.smt2 unknown 1053.11 957.18 apollon104 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e3_5972_000.smt2 unknown 1119.38 924.58 apollon009 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e2_5844_000.smt2 unknown 230.85 50.12 apollon039 vmt-chc-benchmarks/lustre/ILLINOIS_2_000.smt2 unknown 1026.31 908.79 apollon118 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e3_2640_000.smt2 unknown 227.64 49.23 apollon081 vmt-chc-benchmarks/lustre/rtp_6_000.smt2 unknown 1102.98 923.11 apollon150 vmt-chc-benchmarks/lustre/DRAGON_11_e2_5396_e3_282_000.smt2 unknown 1169.71 646.34 apollon018 vmt-chc-benchmarks/lustre/car_6_e1_152_000.smt2 unknown 1024.96 907.07 apollon089 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_000.smt2 TIMEOUT 1805.80 713.12 apollon108 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e2_1375_e1_418_000.smt2 unknown 1116.09 920.76 apollon091 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e7_685_000.smt2 unknown 614.45 427.74 apollon075 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_3191_e7_2146_000.smt2 unknown 1090.68 920.60 apollon021 vmt-chc-benchmarks/lustre/ex8_e7_55_000.smt2 unknown 191.49 86.61 apollon111 vmt-chc-benchmarks/lustre/SYNAPSE_6_e7_938_e2_1012_000.smt2 unknown 1006.32 914.47 apollon062 vmt-chc-benchmarks/lustre/car_5_e2_405_e8_1055_000.smt2 TIMEOUT 1802.91 620.22 apollon168 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e4_34_000.smt2 TIMEOUT 1807.62 644.85 apollon046 vmt-chc-benchmarks/lustre/MESI_i4_e1_1023_e8_2498_000.smt2 TIMEOUT 1803.37 630.71 apollon017 vmt-chc-benchmarks/lustre/DRAGON_3_e3_3846_000.smt2 unknown 1048.37 920.98 apollon154 vmt-chc-benchmarks/lustre/DRAGON_11_000.smt2 unknown 1120.75 593.05 apollon142 vmt-chc-benchmarks/lustre/MOESI_all_000.smt2 unknown 178.99 35.24 apollon149 vmt-chc-benchmarks/lustre/car_1_e7_184_e3_299_000.smt2 unknown 996.97 899.74 apollon011 vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e3_2749_000.smt2 unknown 223.49 48.79 apollon039 vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e7_4699_000.smt2 unknown 1108.97 936.73 apollon035 vmt-chc-benchmarks/lustre/ex3_000.smt2 unknown 980.56 906.84 apollon135 vmt-chc-benchmarks/lustre/car_1_000.smt2 unknown 996.05 901.26 apollon052 vmt-chc-benchmarks/lustre/car_3_e7_626_000.smt2 unknown 100.15 21.86 apollon030 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e3_389_000.smt2 TIMEOUT 1806.01 688.38 apollon033 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e8_3031_000.smt2 unknown 217.04 48.12 apollon107 vmt-chc-benchmarks/lustre/car_all_e2_108_000.smt2 unknown 998.57 899.58 apollon007 vmt-chc-benchmarks/lustre/traffic_e7_46_e8_16_000.smt2 unknown 974.74 911.14 apollon013 vmt-chc-benchmarks/lustre/peterson_vt_000.smt2 TIMEOUT 1804.33 635.49 apollon090 vmt-chc-benchmarks/lustre/metros_4_000.smt2 unknown 657.40 214.87 apollon080 vmt-chc-benchmarks/lustre/SYNAPSE_123_000.smt2 unknown 1015.60 926.47 apollon060 vmt-chc-benchmarks/lustre/peterson_4_000.smt2 unknown 286.28 61.21 apollon046 vmt-chc-benchmarks/lustre/DRAGON_3_e7_3211_000.smt2 unknown 1080.25 926.47 apollon105 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e4_2415_000.smt2 TIMEOUT 1804.08 709.47 apollon015 vmt-chc-benchmarks/lustre/ticket3i_7_000.smt2 unknown 1031.44 910.51 apollon068 vmt-chc-benchmarks/lustre/DRAGON_10_e3_3429_000.smt2 unknown 241.07 51.48 apollon145 vmt-chc-benchmarks/lustre/car_all_e3_1068_e6_790_000.smt2 unknown 997.66 899.95 apollon158 vmt-chc-benchmarks/lustre/ticket3i_1_e7_1669_000.smt2 unknown 1105.89 917.96 apollon046 vmt-chc-benchmarks/lustre/car_all_e3_1068_e2_13_000.smt2 unknown 370.87 199.97 apollon132 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e3_495_000.smt2 TIMEOUT 1804.39 634.27 apollon057 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e1_2319_000.smt2 TIMEOUT 1805.80 636.53 apollon130 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e5_84_000.smt2 TIMEOUT 1805.06 708.03 apollon071 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e6_500_000.smt2 TIMEOUT 1802.80 663.07 apollon041 vmt-chc-benchmarks/lustre/MESI_i4_000.smt2 TIMEOUT 1804.43 628.37 apollon155 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_000.smt2 TIMEOUT 1800.67 680.66 apollon081 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e7_1882_000.smt2 unknown 1085.14 919.86 apollon066 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e2_1053_000.smt2 TIMEOUT 1806.55 636.00 apollon086 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e7_616_000.smt2 unknown 1084.64 919.64 apollon013 vmt-chc-benchmarks/lustre/DRAGON_2_e1_2316_000.smt2 unknown 1114.44 925.89 apollon035 vmt-chc-benchmarks/lustre/ex3_e7_590_e7_590_000.smt2 unknown 90.19 20.74 apollon013 vmt-chc-benchmarks/lustre/ex8_e8_220_e7_249_000.smt2 unknown 176.60 80.68 apollon114 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_2_000.smt2 unknown 1001.80 901.98 apollon071 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e8_5719_000.smt2 unknown 1172.94 644.50 apollon023 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e6_113_000.smt2 unknown 103.72 24.34 apollon105 vmt-chc-benchmarks/lustre/rtp_10_e7_106_e7_2564_000.smt2 unknown 1233.60 959.84 apollon030 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e8_3915_000.smt2 unknown 377.59 86.15 apollon012 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_856_000.smt2 unknown 1015.76 926.30 apollon103 vmt-chc-benchmarks/lustre/SYNAPSE_i1_000.smt2 unknown 1619.87 1254.99 apollon116 vmt-chc-benchmarks/lustre/rtp_all_000.smt2 unknown 1246.61 951.51 apollon036 vmt-chc-benchmarks/lustre/ticket3i_6_000.smt2 unknown 1062.21 914.48 apollon126 vmt-chc-benchmarks/lustre/swimmingpool_6_000.smt2 TIMEOUT 1804.96 666.74 apollon050 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e7_1062_000.smt2 unknown 1013.37 926.24 apollon108 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e3_1882_000.smt2 unknown 1066.04 914.66 apollon043 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e3_4298_000.smt2 TIMEOUT 1802.31 715.88 apollon119 vmt-chc-benchmarks/lustre/fast_2_e8_460_e8_1920_000.smt2 true 115.63 21.38 apollon079 vmt-chc-benchmarks/lustre/swimmingpool_7_000.smt2 TIMEOUT 1805.13 676.13 apollon043 vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1350_e8_1354_000.smt2 TIMEOUT 1804.33 637.63 apollon056 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e4_147_000.smt2 TIMEOUT 1806.94 688.65 apollon026 vmt-chc-benchmarks/lustre/_6counters_e8_371_e1_448_000.smt2 unknown 977.39 908.28 apollon073 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e3_829_000.smt2 unknown 1126.58 926.26 apollon041 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e3_2697_000.smt2 TIMEOUT 1801.79 687.46 apollon069 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e7_2499_000.smt2 TIMEOUT 1803.20 718.84 apollon148 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e2_2545_000.smt2 unknown 232.97 125.15 apollon135 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e1_1201_000.smt2 TIMEOUT 1805.33 705.80 apollon146 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e6_1826_000.smt2 unknown 1071.97 917.12 apollon158 vmt-chc-benchmarks/lustre/car_5_e3_11_e1_429_000.smt2 TIMEOUT 1805.67 616.27 apollon055 vmt-chc-benchmarks/lustre/car_6_e2_893_000.smt2 TIMEOUT 1802.55 625.80 apollon085 vmt-chc-benchmarks/lustre/MOESI_1_e3_1884_e7_1875_000.smt2 unknown 1042.50 909.47 apollon098 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e3_1753_000.smt2 unknown 1073.68 914.60 apollon166 vmt-chc-benchmarks/lustre/FIREFLY_10_000.smt2 unknown 1060.88 912.25 apollon034 vmt-chc-benchmarks/lustre/metros_2_e1_1116_000.smt2 unknown 1083.43 918.30 apollon144 vmt-chc-benchmarks/lustre/rtp_3_000.smt2 unknown 1109.86 925.20 apollon146 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e7_1847_000.smt2 TIMEOUT 1802.22 664.29 apollon010 vmt-chc-benchmarks/lustre/DRAGON_6_e7_5046_e7_3623_000.smt2 unknown 364.98 82.35 apollon148 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e3_1472_000.smt2 TIMEOUT 1804.60 638.20 apollon021 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e2_1483_000.smt2 unknown 1124.38 601.27 apollon109 vmt-chc-benchmarks/lustre/metros_4_e2_968_e6_236_000.smt2 unknown 657.63 215.08 apollon049 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e1_823_000.smt2 TIMEOUT 1804.74 618.64 apollon093 vmt-chc-benchmarks/lustre/car_3_e1_586_000.smt2 unknown 523.73 272.21 apollon107 vmt-chc-benchmarks/lustre/ticket3i_7_e8_2126_e7_78_000.smt2 unknown 1095.04 923.22 apollon121 vmt-chc-benchmarks/lustre/FIREFLY_11_e1_3457_000.smt2 unknown 1116.95 922.29 apollon103 vmt-chc-benchmarks/lustre/ex3_e8_381_e7_224_000.smt2 unknown 980.80 906.43 apollon044 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e8_941_000.smt2 unknown 1022.44 915.89 apollon150 vmt-chc-benchmarks/lustre/fast_1_e8_747_e8_1041_000.smt2 true 87.17 17.20 apollon034 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e1_6030_000.smt2 unknown 766.50 448.45 apollon024 vmt-chc-benchmarks/lustre/car_3_e8_33_e1_856_000.smt2 unknown 519.71 273.17 apollon145 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e8_1177_000.smt2 unknown 1006.00 914.71 apollon056 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2229_000.smt2 unknown 1063.74 914.72 apollon142 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e3_2021_000.smt2 TIMEOUT 1806.17 639.86 apollon053 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e8_2325_000.smt2 TIMEOUT 1801.43 653.91 apollon136 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_000.smt2 unknown 1008.12 913.35 apollon127 vmt-chc-benchmarks/lustre/two_counters_e2_3_000.smt2 unknown 102.78 34.43 apollon123 vmt-chc-benchmarks/lustre/MESI_i1_e2_2656_000.smt2 TIMEOUT 1803.66 654.55 apollon079 vmt-chc-benchmarks/lustre/car_6_e2_589_e3_349_000.smt2 TIMEOUT 1804.25 624.32 apollon162 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e5_124_000.smt2 unknown 980.73 910.52 apollon167 vmt-chc-benchmarks/lustre/MESI_i1_000.smt2 TIMEOUT 1800.70 669.14 apollon131 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e1_2644_000.smt2 unknown 1119.62 927.60 apollon145 vmt-chc-benchmarks/lustre/ILLINOIS_4_000.smt2 unknown 146.22 37.66 apollon107 vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_1041_000.smt2 TIMEOUT 1805.02 625.93 apollon050 vmt-chc-benchmarks/lustre/metros_2_e2_704_e7_810_000.smt2 TIMEOUT 1807.61 570.95 apollon124 vmt-chc-benchmarks/lustre/durationThm_2_e2_206_e7_33_000.smt2 true 59.11 12.64 apollon089 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e3_2698_000.smt2 unknown 172.36 35.85 apollon054 vmt-chc-benchmarks/lustre/durationThm_3_e3_207_000.smt2 unknown 80.35 19.71 apollon112 vmt-chc-benchmarks/lustre/readwrit_000.smt2 unknown 274.59 57.09 apollon135 vmt-chc-benchmarks/lustre/FIREFLY_u1_e2_3403_e2_957_000.smt2 unknown 1128.37 923.95 apollon090 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_000.smt2 unknown 1121.11 921.55 apollon116 vmt-chc-benchmarks/lustre/swimmingpool_4_e7_2197_000.smt2 TIMEOUT 1805.16 679.38 apollon016 vmt-chc-benchmarks/lustre/_6countern_000.smt2 unknown 50.46 14.54 apollon023 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_000.smt2 unknown 1072.33 916.32 apollon075 vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606_e7_4891_000.smt2 TIMEOUT 1802.65 708.08 apollon134 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e2_1853_000.smt2 unknown 1073.47 916.56 apollon041 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e1_1979_000.smt2 TIMEOUT 1800.39 683.26 apollon127 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e3_2607_000.smt2 unknown 1054.26 928.68 apollon002 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e4_3719_000.smt2 unknown 1583.39 1109.68 apollon133 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e2_1767_000.smt2 TIMEOUT 1804.66 702.96 apollon113 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e2_1815_000.smt2 TIMEOUT 1805.47 641.48 apollon167 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e6_167_000.smt2 unknown 92.83 22.29 apollon109 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e3_961_000.smt2 unknown 119.38 26.22 apollon092 vmt-chc-benchmarks/lustre/SYNAPSE_all_000.smt2 unknown 1001.60 915.99 apollon103 vmt-chc-benchmarks/lustre/traffic_e7_348_000.smt2 unknown 994.11 920.06 apollon033 vmt-chc-benchmarks/lustre/MESI_1_000.smt2 unknown 143.30 29.09 apollon158 vmt-chc-benchmarks/lustre/car_4_e7_592_e7_265_000.smt2 unknown 92.48 19.23 apollon058 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_000.smt2 unknown 1124.50 590.57 apollon005 vmt-chc-benchmarks/lustre/car_6_e3_294_e1_956_000.smt2 TIMEOUT 1804.70 628.01 apollon128 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e3_640_000.smt2 unknown 121.11 25.94 apollon039 vmt-chc-benchmarks/lustre/ILLINOIS_all_000.smt2 unknown 1041.05 925.36 apollon030 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e1_5832_000.smt2 TIMEOUT 1803.14 708.96 apollon103 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_000.smt2 unknown 1119.64 923.22 apollon002 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e7_394_000.smt2 unknown 82.72 19.78 apollon080 vmt-chc-benchmarks/lustre/metros_1_e1_846_e1_1317_000.smt2 unknown 130.09 28.06 apollon152 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_3758_000.smt2 unknown 1054.29 912.21 apollon101 vmt-chc-benchmarks/lustre/FIREFLY_2_e7_1776_e2_3202_000.smt2 unknown 1067.63 928.60 apollon103 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e1_1303_000.smt2 unknown 382.29 87.10 apollon004 vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302_000.smt2 TIMEOUT 1804.42 637.08 apollon167 vmt-chc-benchmarks/lustre/car_5_e2_405_e7_1028_000.smt2 TIMEOUT 1802.99 626.58 apollon119 vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e7_2443_000.smt2 TIMEOUT 1801.15 718.22 apollon065 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e8_2560_000.smt2 unknown 1059.74 911.72 apollon074 vmt-chc-benchmarks/lustre/DRAGON_all2_000.smt2 unknown 1577.91 1109.33 apollon061 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e7_1597_000.smt2 TIMEOUT 1803.69 638.87 apollon104 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e1_1145_000.smt2 unknown 154.47 33.35 apollon075 vmt-chc-benchmarks/lustre/fast_2_e7_2526_e7_2736_000.smt2 TIMEOUT 1802.22 653.98 apollon053 vmt-chc-benchmarks/lustre/ex8_e8_220_000.smt2 unknown 171.26 78.71 apollon145 vmt-chc-benchmarks/lustre/FIREFLY_all_000.smt2 unknown 222.73 57.22 apollon168 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e1_3123_000.smt2 TIMEOUT 1806.98 680.35 apollon150 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e7_1962_000.smt2 unknown 1092.24 928.57 apollon025 vmt-chc-benchmarks/lustre/fast_1_e7_1035_000.smt2 TIMEOUT 1804.23 634.05 apollon168 vmt-chc-benchmarks/lustre/durationThm_1_e2_3_000.smt2 unknown 90.40 21.38 apollon071 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1692_000.smt2 unknown 1067.40 913.00 apollon117 vmt-chc-benchmarks/lustre/Gas_e7_435_e8_532_000.smt2 unknown 1558.77 1110.41 apollon048 vmt-chc-benchmarks/lustre/cd_e7_621_e7_669_000.smt2 unknown 1578.13 1232.56 apollon046 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e4_1791_000.smt2 unknown 1054.39 928.37 apollon048 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_974_000.smt2 unknown 1006.57 905.91 apollon036 vmt-chc-benchmarks/lustre/car_4_e8_118_e7_178_000.smt2 unknown 105.72 22.76 apollon168 vmt-chc-benchmarks/lustre/rtp_7_000.smt2 unknown 1112.65 924.80 apollon052 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e8_1769_000.smt2 unknown 1059.44 917.09 apollon153 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e2_2893_000.smt2 unknown 1072.75 916.30 apollon079 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_1_000.smt2 unknown 1013.89 901.11 apollon118 vmt-chc-benchmarks/lustre/durationThm_3_e2_63_e7_21_000.smt2 unknown 82.81 19.99 apollon043 vmt-chc-benchmarks/lustre/two_counters_e1_268_000.smt2 unknown 80.57 18.93 apollon113 vmt-chc-benchmarks/lustre/ticket3i_1_000.smt2 unknown 1053.90 911.87 apollon122 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e7_1607_000.smt2 unknown 193.82 52.60 apollon056 vmt-chc-benchmarks/lustre/swimmingpool_2_000.smt2 unknown 1092.24 919.07 apollon003 vmt-chc-benchmarks/lustre/car_3_e8_33_000.smt2 unknown 105.22 22.42 apollon004 vmt-chc-benchmarks/lustre/car_6_000.smt2 unknown 1068.51 916.59 apollon109 vmt-chc-benchmarks/lustre/speed_e7_207_000.smt2 unknown 87.19 20.55 apollon130 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e7_3528_000.smt2 TIMEOUT 1807.50 731.98 apollon105 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e7_2291_000.smt2 unknown 1115.32 937.24 apollon168 vmt-chc-benchmarks/lustre/rtp_10_000.smt2 unknown 1107.49 923.12 apollon056 vmt-chc-benchmarks/lustre/metros_4_e2_968_e2_1166_000.smt2 unknown 122.75 26.79 apollon160 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e2_1561_000.smt2 unknown 1046.51 910.09 apollon069 vmt-chc-benchmarks/lustre/metros_4_e2_968_e4_801_000.smt2 unknown 656.26 214.82 apollon020 vmt-chc-benchmarks/lustre/ILLINOIS_3_000.smt2 unknown 1044.96 924.44 apollon081 vmt-chc-benchmarks/lustre/MESI_i1_e4_1986_e1_1519_000.smt2 TIMEOUT 1803.85 660.81 apollon044 vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e1_2288_000.smt2 unknown 1051.60 917.16 apollon106 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e3_271_000.smt2 TIMEOUT 1805.27 643.26 apollon039 vmt-chc-benchmarks/lustre/ex3_e7_590_000.smt2 unknown 981.76 905.61 apollon017 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_000.smt2 unknown 407.11 91.17 apollon152 vmt-chc-benchmarks/lustre/durationThm_1_000.smt2 unknown 99.88 22.98 apollon012 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e3_3628_000.smt2 unknown 1050.62 928.44 apollon099 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e7_3856_000.smt2 TIMEOUT 1802.66 714.20 apollon010 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e1_667_000.smt2 TIMEOUT 1802.77 706.88 apollon129 vmt-chc-benchmarks/lustre/ticket3i_all_e8_505_e7_2450_000.smt2 unknown 220.12 49.19 apollon062 vmt-chc-benchmarks/lustre/fast_2_e8_460_000.smt2 true 113.60 21.43 apollon125 vmt-chc-benchmarks/lustre/rtp_8_000.smt2 unknown 1113.45 925.30 apollon068 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e5_1826_000.smt2 unknown 1055.78 919.68 apollon133 vmt-chc-benchmarks/lustre/car_2_000.smt2 unknown 100.05 21.70 apollon122 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e3_3946_000.smt2 TIMEOUT 1803.74 716.70 apollon068 vmt-chc-benchmarks/lustre/car_4_e8_118_e3_514_000.smt2 unknown 365.35 190.52 apollon067 vmt-chc-benchmarks/lustre/durationThm_2_e7_145_e7_154_000.smt2 unknown 141.65 58.54 apollon019 vmt-chc-benchmarks/lustre/durationThm_2_e7_145_000.smt2 unknown 137.50 57.44 apollon002 vmt-chc-benchmarks/lustre/car_4_e3_57_e5_999_000.smt2 unknown 381.99 191.25 apollon105 vmt-chc-benchmarks/lustre/car_all_e7_188_e7_743_000.smt2 unknown 998.61 909.96 apollon056 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e3_507_000.smt2 unknown 658.48 214.95 apollon043 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e6_1336_000.smt2 unknown 1000.59 915.75 apollon137 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e4_897_000.smt2 TIMEOUT 1806.12 686.30 apollon132 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_000.smt2 TIMEOUT 1803.78 709.21 apollon165 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2_000.smt2 unknown 1560.38 1116.86 apollon101 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e7_906_000.smt2 unknown 1070.98 930.52 apollon081 vmt-chc-benchmarks/lustre/metros_3_000.smt2 unknown 657.21 215.02 apollon023 vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907_000.smt2 unknown 1008.30 917.27 apollon152 vmt-chc-benchmarks/lustre/SYNAPSE_6_e3_1666_e5_1558_000.smt2 unknown 1009.04 905.20 apollon012 vmt-chc-benchmarks/lustre/car_3_000.smt2 unknown 100.93 22.07 apollon085 vmt-chc-benchmarks/lustre/car_5_e7_244_000.smt2 unknown 145.59 30.15 apollon050 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e1_1675_000.smt2 TIMEOUT 1800.07 1276.42 apollon025 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e7_1043_000.smt2 unknown 1006.06 913.34 apollon142 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e7_1826_e8_126_000.smt2 unknown 1118.64 922.20 apollon133 vmt-chc-benchmarks/lustre/MOESI_2_000.smt2 unknown 1054.01 919.90 apollon089 vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e8_2138_000.smt2 unknown 1056.01 918.11 apollon019 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e7_619_000.smt2 TIMEOUT 1802.19 652.26 apollon154 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e2_562_000.smt2 unknown 171.83 35.59 apollon107 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1303_000.smt2 TIMEOUT 1800.92 1293.49 apollon157 vmt-chc-benchmarks/lustre/rtp_5_000.smt2 unknown 1112.58 923.42 apollon153 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_1375_000.smt2 TIMEOUT 1806.66 624.82 apollon118 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e7_1817_000.smt2 unknown 1065.07 929.49 apollon044 vmt-chc-benchmarks/lustre/DRAGON_8_e7_3752_000.smt2 unknown 369.26 82.77 apollon115 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e5_4006_000.smt2 unknown 231.43 124.68 apollon155 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_748_000.smt2 unknown 1010.74 925.47 apollon111 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2077_000.smt2 TIMEOUT 1803.34 728.45 apollon031 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e3_3117_000.smt2 unknown 653.03 459.44 apollon049 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e5_1536_000.smt2 unknown 1055.56 929.67 apollon064 vmt-chc-benchmarks/lustre/SYNAPSE_2_000.smt2 unknown 1007.10 911.62 apollon164 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e4_294_000.smt2 unknown 90.17 21.67 apollon091 vmt-chc-benchmarks/lustre/DRAGON_12_e7_4611_e8_5145_000.smt2 unknown 768.04 446.25 apollon168 vmt-chc-benchmarks/lustre/ILLINOIS_5_e7_692_e7_2865_000.smt2 unknown 210.92 48.49 apollon043 vmt-chc-benchmarks/lustre/DRAGON_all_e2_1514_000.smt2 unknown 1058.60 929.48 apollon080 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e8_5861_000.smt2 unknown 1111.17 936.66 apollon123 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e7_251_000.smt2 TIMEOUT 1804.34 636.91 apollon162 vmt-chc-benchmarks/lustre/FIREFLY_11_000.smt2 unknown 1120.09 924.49 apollon167 vmt-chc-benchmarks/lustre/SYNAPSE_5_e7_1138_e8_809_000.smt2 unknown 1007.04 904.70 apollon019 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e1_1565_000.smt2 TIMEOUT 1805.42 687.75 apollon147 vmt-chc-benchmarks/lustre/ticket3i_4_000.smt2 unknown 1054.80 913.66 apollon065 vmt-chc-benchmarks/lustre/SYNAPSE_2_e7_790_e8_1344_000.smt2 unknown 1007.61 911.95 apollon098 vmt-chc-benchmarks/lustre/durationThm_3_e7_334_e7_118_000.smt2 unknown 119.61 46.24 apollon147 vmt-chc-benchmarks/lustre/MESI_3_e1_2517_e8_2163_000.smt2 unknown 161.72 34.33 apollon048 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_000.smt2 unknown 1715.44 1323.39 apollon063 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e1_5434_000.smt2 unknown 369.16 82.23 apollon004 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e4_1717_000.smt2 TIMEOUT 1801.09 653.29 apollon031 vmt-chc-benchmarks/lustre/swimmingpool_5_000.smt2 TIMEOUT 1805.84 689.11 apollon123 vmt-chc-benchmarks/lustre/peterson_1_000.smt2 unknown 279.71 59.14 apollon040 vmt-chc-benchmarks/lustre/FIREFLY_9_e7_170_e3_3647_000.smt2 unknown 245.63 51.96 apollon067 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e3_977_000.smt2 TIMEOUT 1804.72 662.14 apollon007 vmt-chc-benchmarks/lustre/car_5_e3_11_e7_693_000.smt2 TIMEOUT 1805.79 620.45 apollon063 vmt-chc-benchmarks/lustre/hysteresis_3_000.smt2 unknown 995.47 922.15 apollon039 vmt-chc-benchmarks/lustre/MESI_i3_000.smt2 TIMEOUT 1807.88 640.24 apollon064 vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907_e7_1363_000.smt2 unknown 1013.51 926.55 apollon085 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e7_1264_000.smt2 unknown 370.55 83.11 apollon039 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e2_2670_000.smt2 TIMEOUT 1805.77 695.79 apollon166 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e3_1216_000.smt2 TIMEOUT 1806.31 632.09 apollon027 vmt-chc-benchmarks/lustre/SYNAPSE_6_e2_1439_e1_954_000.smt2 unknown 1007.15 904.77 apollon053 vmt-chc-benchmarks/lustre/metros_4_e2_968_e7_860_000.smt2 TIMEOUT 1802.97 548.29 apollon099 vmt-chc-benchmarks/lustre/car_4_e3_556_000.smt2 unknown 362.11 191.31 apollon080 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e1_317_000.smt2 unknown 131.17 28.10 apollon155 vmt-chc-benchmarks/lustre/rtp_5_e7_3972_000.smt2 unknown 1211.96 944.94 apollon156 vmt-chc-benchmarks/lustre/metros_4_e2_968_e3_931_000.smt2 unknown 118.59 26.38 apollon156 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e2_454_000.smt2 unknown 117.49 26.53 apollon162 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e2_2131_000.smt2 TIMEOUT 1805.76 685.17 apollon082 vmt-chc-benchmarks/lustre/FIREFLY_a3_000.smt2 unknown 1099.21 935.29 apollon091 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e6_2707_000.smt2 unknown 1055.99 920.34 apollon060 vmt-chc-benchmarks/lustre/car_2_e7_1027_e1_1047_000.smt2 unknown 93.94 19.38 apollon069 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_1192_000.smt2 TIMEOUT 1807.40 684.11 apollon121 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_1713_000.smt2 unknown 1077.09 917.66 apollon034 vmt-chc-benchmarks/lustre/DRAGON_all2_e8_4626_000.smt2 unknown 1110.96 936.78 apollon168 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e1_1331_000.smt2 unknown 1719.92 1313.77 apollon040 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e1_268_e7_501_000.smt2 unknown 412.05 123.84 apollon106 vmt-chc-benchmarks/lustre/DRAGON_5_e3_1503_e7_1879_000.smt2 TIMEOUT 1803.73 720.65 apollon064 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e2_1098_000.smt2 TIMEOUT 1804.75 642.84 apollon109 vmt-chc-benchmarks/lustre/MESI_4_000.smt2 unknown 146.30 29.65 apollon111 vmt-chc-benchmarks/lustre/ticket3i_5_000.smt2 unknown 1055.66 914.86 apollon154 vmt-chc-benchmarks/lustre/DRAGON_4_e3_4133_000.smt2 unknown 387.19 88.50 apollon073 vmt-chc-benchmarks/lustre/MESI_i3_e1_2143_000.smt2 TIMEOUT 1805.01 636.24 apollon040 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e1_1270_000.smt2 TIMEOUT 1801.04 1278.56 apollon120 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e7_410_000.smt2 unknown 993.62 923.30 apollon158 vmt-chc-benchmarks/lustre/fast_2_e7_1871_000.smt2 TIMEOUT 1802.50 648.84 apollon103 vmt-chc-benchmarks/lustre/metros_3_e3_1117_000.smt2 unknown 658.74 215.71 apollon132 vmt-chc-benchmarks/lustre/metros_1_e7_1255_e7_12_000.smt2 unknown 121.00 26.33 apollon019 vmt-chc-benchmarks/lustre/car_all_e8_856_e3_180_000.smt2 unknown 381.84 196.16 apollon030 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e8_4841_000.smt2 unknown 383.23 87.11 apollon160 vmt-chc-benchmarks/lustre/car_4_000.smt2 unknown 99.78 21.84 apollon090 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e6_1569_000.smt2 unknown 219.43 56.58 apollon030 vmt-chc-benchmarks/lustre/speed_e8_136_000.smt2 unknown 117.51 41.51 apollon152 vmt-chc-benchmarks/lustre/MESI_i4_e4_1689_000.smt2 TIMEOUT 1804.15 635.36 apollon134 vmt-chc-benchmarks/lustre/ILLINOIS_1_000.smt2 unknown 159.47 48.91 apollon162 vmt-chc-benchmarks/lustre/ILLINOIS_r4a_000.smt2 unknown 231.81 62.65 apollon056 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e5_2554_000.smt2 unknown 177.76 36.38 apollon113 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e1_3235_000.smt2 unknown 1093.90 935.16 apollon094 vmt-chc-benchmarks/lustre/FIREFLY_3_000.smt2 unknown 191.40 43.54 apollon024 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e7_572_000.smt2 unknown 1003.80 908.47 apollon141 vmt-chc-benchmarks/lustre/FIREFLY_all_e7_1909_000.smt2 unknown 194.83 52.81 apollon030 vmt-chc-benchmarks/lustre/DRAGON_4_000.smt2 unknown 379.47 86.69 apollon165 vmt-chc-benchmarks/lustre/durationThm_2_e2_206_000.smt2 true 57.21 12.47 apollon154 vmt-chc-benchmarks/lustre/ticket3i_7_e3_59_e7_2122_000.smt2 unknown 1089.84 920.48 apollon045 vmt-chc-benchmarks/lustre/DRAGON_4_e1_4312_000.smt2 unknown 387.17 87.97 apollon043 vmt-chc-benchmarks/lustre/speed2_e7_223_e7_213_000.smt2 unknown 86.98 20.43 apollon034 vmt-chc-benchmarks/lustre/car_3_e8_33_e7_220_000.smt2 unknown 104.24 22.63 apollon153 vmt-chc-benchmarks/lustre/cd_e7_621_e8_714_000.smt2 unknown 991.53 912.47 apollon095 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e7_4732_000.smt2 unknown 609.22 417.12 apollon090 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e1_2383_000.smt2 TIMEOUT 1804.81 647.38 apollon010 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_000.smt2 unknown 1058.51 928.85 apollon015 vmt-chc-benchmarks/lustre/metros_2_000.smt2 unknown 1045.48 910.20 apollon066 vmt-chc-benchmarks/lustre/durationThm_2_000.smt2 unknown 982.67 900.27 apollon065 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e2_3220_000.smt2 unknown 230.22 58.44 apollon158 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_1_000.smt2 unknown 641.23 345.14 apollon130 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e1_2305_000.smt2 unknown 189.59 43.46 apollon163 vmt-chc-benchmarks/lustre/SYNAPSE_6_e8_1147_e2_1326_000.smt2 unknown 1008.44 910.43 apollon119 vmt-chc-benchmarks/lustre/DRAGON_14_e3_1259_e1_5798_000.smt2 unknown 1178.13 645.51 apollon163 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e7_358_000.smt2 unknown 95.78 23.08 apollon158 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_000.smt2 unknown 874.78 521.98 apollon027 vmt-chc-benchmarks/lustre/durationThm_1_e2_3_e7_336_000.smt2 unknown 88.36 21.13 apollon053 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e1_1510_000.smt2 TIMEOUT 1806.07 640.52 apollon024 vmt-chc-benchmarks/lustre/SYNAPSE_4_000.smt2 unknown 1003.76 907.38 apollon089 vmt-chc-benchmarks/lustre/DRAGON_10_e2_402_000.smt2 unknown 223.07 48.60 apollon074 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e1_5887_000.smt2 unknown 1102.35 577.15 apollon018 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e7_2194_000.smt2 TIMEOUT 1804.36 630.74 apollon158 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e1_1130_000.smt2 unknown 238.24 126.63 apollon009 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e7_1119_000.smt2 unknown 1087.36 920.25 apollon123 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e7_3371_000.smt2 unknown 195.06 52.59 apollon004 vmt-chc-benchmarks/lustre/MOESI_all_e3_2032_e3_2788_000.smt2 TIMEOUT 1802.16 661.52 apollon105 vmt-chc-benchmarks/lustre/car_all_e1_388_000.smt2 unknown 1450.38 1168.52 apollon136 vmt-chc-benchmarks/lustre/car_3_e8_33_e2_1010_000.smt2 unknown 106.07 22.59 apollon009 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_000.smt2 unknown 1049.10 928.88 apollon154 vmt-chc-benchmarks/lustre/speed_e7_207_e7_538_000.smt2 unknown 89.05 20.96 apollon082 vmt-chc-benchmarks/lustre/car_all_e3_1068_e5_882_000.smt2 unknown 380.27 199.88 apollon162 vmt-chc-benchmarks/lustre/MESI_i1_e3_188_000.smt2 TIMEOUT 1802.41 647.23 apollon125 vmt-chc-benchmarks/lustre/car_all_e1_618_e3_303_000.smt2 unknown 1428.82 1162.47 apollon125 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e6_128_000.smt2 unknown 982.36 900.72 apollon031 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e2_698_000.smt2 TIMEOUT 1801.81 683.59 apollon036 vmt-chc-benchmarks/lustre/MESI_2_000.smt2 unknown 142.22 28.87 apollon054 vmt-chc-benchmarks/lustre/metros_2_e2_704_e2_13_000.smt2 unknown 1013.24 913.33 apollon023 vmt-chc-benchmarks/lustre/car_all_e3_1068_e1_178_000.smt2 unknown 393.44 201.33 apollon080 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e1_1318_000.smt2 unknown 1054.18 929.02 apollon154 vmt-chc-benchmarks/lustre/metros_1_e7_606_000.smt2 unknown 124.22 26.76 apollon069 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e7_529_000.smt2 TIMEOUT 1805.23 578.51 apollon124 vmt-chc-benchmarks/lustre/durationThm_3_000.smt2 unknown 97.45 23.57 apollon035 vmt-chc-benchmarks/lustre/car_5_e2_405_e3_473_000.smt2 TIMEOUT 1804.74 625.83 apollon160 vmt-chc-benchmarks/lustre/ex8_000.smt2 unknown 182.72 84.13 apollon009 vmt-chc-benchmarks/lustre/car_6_e2_589_e2_506_000.smt2 TIMEOUT 1803.81 623.55 apollon041 vmt-chc-benchmarks/lustre/traffic_e7_46_e7_171_000.smt2 unknown 993.33 920.33 apollon042 vmt-chc-benchmarks/lustre/DRAGON_1_e3_11891_e7_4569_e4_4881_000.smt2 unknown 406.02 121.48 apollon038 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e2_236_000.smt2 TIMEOUT 1800.08 1270.03 apollon116 vmt-chc-benchmarks/lustre/DRAGON_1_e1_3184_000.smt2 unknown 275.60 90.99 apollon010 vmt-chc-benchmarks/lustre/DRAGON_12_000.smt2 unknown 841.62 507.96 apollon152 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e3_287_000.smt2 TIMEOUT 1807.62 616.15 apollon023 vmt-chc-benchmarks/lustre/two_counters_e7_222_000.smt2 unknown 80.49 18.97 apollon123 vmt-chc-benchmarks/lustre/two_counters_e3_325_000.smt2 unknown 106.49 36.07 apollon086 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e2_3580_000.smt2 unknown 1122.33 926.15 apollon063 vmt-chc-benchmarks/lustre/speed_e8_649_e7_709_000.smt2 unknown 983.74 900.12 apollon104 vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302_e1_1141_000.smt2 TIMEOUT 1806.30 647.17 apollon026 vmt-chc-benchmarks/lustre/hysteresis_1_000.smt2 unknown 88.27 20.44 apollon079 vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e8_5957_000.smt2 unknown 1111.34 937.33 apollon130 vmt-chc-benchmarks/lustre/metros_1_e1_846_e7_397_000.smt2 unknown 125.58 26.93 apollon071 vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e1_1852_000.smt2 unknown 1088.36 920.96 apollon034 vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e7_961_000.smt2 TIMEOUT 1806.21 633.09 apollon050 vmt-chc-benchmarks/lustre/metros_2_e3_112_000.smt2 TIMEOUT 1804.62 547.14 apollon058 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e2_237_000.smt2 unknown 1716.35 1314.84 apollon044 vmt-chc-benchmarks/lustre/rtp_9_000.smt2 unknown 1111.79 923.10 apollon068 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e2_267_000.smt2 unknown 1050.94 928.15 apollon045 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e4_164_000.smt2 TIMEOUT 1803.06 551.15 apollon058 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_000.smt2 unknown 1118.25 924.52 apollon134 vmt-chc-benchmarks/lustre/FIREFLY_6_e3_686_e6_2964_000.smt2 unknown 1115.41 922.87 apollon058 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e7_3491_000.smt2 unknown 1074.21 915.78 apollon101 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e1_725_000.smt2 TIMEOUT 1805.83 678.60 apollon028 vmt-chc-benchmarks/lustre/durationThm_1_e3_173_000.smt2 unknown 89.23 21.52 apollon028 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e1_3998_000.smt2 TIMEOUT 1801.35 724.34 apollon100 vmt-chc-benchmarks/lustre/FIREFLY_u1_e7_3318_000.smt2 TIMEOUT 1803.20 661.53 apollon020 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_425_000.smt2 unknown 1012.53 926.41 apollon021 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e7_2728_000.smt2 unknown 1050.74 912.64 apollon030 vmt-chc-benchmarks/lustre/two_counters_000.smt2 unknown 977.53 910.47 apollon145 vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5406_e7_6697_000.smt2 unknown 1105.14 926.54 apollon155 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_000.smt2 unknown 1011.50 926.22 apollon064 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e3_2931_000.smt2 unknown 1058.54 914.20 apollon003 vmt-chc-benchmarks/lustre/rtp_4_000.smt2 unknown 1107.44 923.50 apollon085 vmt-chc-benchmarks/lustre/FIREFLY_luke_3_000.smt2 unknown 1129.60 926.52 apollon118 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e4_1_000.smt2 true 61.04 13.32 apollon131 vmt-chc-benchmarks/lustre/durationThm_3_e7_201_000.smt2 unknown 257.40 124.63 apollon158 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e3_1191_000.smt2 TIMEOUT 1800.29 1253.63 apollon065 vmt-chc-benchmarks/lustre/swimmingpool_8_000.smt2 TIMEOUT 1806.51 683.92 apollon146 vmt-chc-benchmarks/lustre/metros_4_e2_968_e5_991_000.smt2 TIMEOUT 1801.62 573.20 apollon003 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e8_1525_000.smt2 unknown 1004.79 910.03 apollon035 vmt-chc-benchmarks/lustre/DRAGON_14_000.smt2 unknown 1176.05 646.38 apollon055 vmt-chc-benchmarks/lustre/speed2_e8_449_e8_517_000.smt2 unknown 109.24 35.96 apollon063 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e3_941_000.smt2 TIMEOUT 1805.63 677.78 apollon010 vmt-chc-benchmarks/lustre/car_5_000.smt2 unknown 308.31 76.31 apollon011 vmt-chc-benchmarks/lustre/metros_1_e8_1567_000.smt2 unknown 125.82 26.77 apollon121 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e1_2667_000.smt2 TIMEOUT 1801.15 661.11 apollon128 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e2_2653_e7_4370_000.smt2 unknown 407.75 122.40 apollon015 vmt-chc-benchmarks/lustre/SYNAPSE_3_000.smt2 unknown 1011.32 926.13 apollon091 vmt-chc-benchmarks/lustre/durationThm_1_e7_12_000.smt2 unknown 251.66 114.62 apollon023 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e3_2330_000.smt2 unknown 1160.43 634.94 apollon041 vmt-chc-benchmarks/lustre/speed2_e7_223_000.smt2 unknown 980.25 905.19 apollon165 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e1_541_000.smt2 unknown 651.02 460.46 apollon011 vmt-chc-benchmarks/lustre/FIREFLY_6_e2_3302_000.smt2 unknown 1117.01 923.26 apollon104 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e7_1665_000.smt2 unknown 177.29 37.07 apollon018 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e2_943_000.smt2 unknown 124.91 26.76 apollon055 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_000.smt2 unknown 372.42 83.12 apollon034 vmt-chc-benchmarks/lustre/car_all_e8_856_e1_217_000.smt2 unknown 516.14 283.91 apollon095 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_000.smt2 unknown 1064.14 928.00 apollon121 vmt-chc-benchmarks/lustre/peterson_1_e7_4234_000.smt2 unknown 483.68 113.27 apollon082 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e2_1089_000.smt2 unknown 1053.67 928.14 apollon164 vmt-chc-benchmarks/lustre/DRAGON_5_000.smt2 unknown 382.52 86.85 apollon108 vmt-chc-benchmarks/lustre/FIREFLY_1_000.smt2 unknown 1073.90 916.95 apollon086 vmt-chc-benchmarks/lustre/ticket3i_all_e7_1837_000.smt2 unknown 219.16 47.94 apollon153 vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_518_e8_922_000.smt2 TIMEOUT 1804.83 632.41 apollon054 vmt-chc-benchmarks/lustre/fast_1_e7_2044_e8_1396_000.smt2 true 83.97 16.72 apollon060 vmt-chc-benchmarks/lustre/ex3_e8_120_000.smt2 unknown 100.12 27.50 apollon043 vmt-chc-benchmarks/lustre/car_5_e7_244_e1_823_000.smt2 unknown 114.36 24.99 apollon086 vmt-chc-benchmarks/lustre/DRAGON_6_000.smt2 unknown 222.54 48.69 apollon051 vmt-chc-benchmarks/lustre/DRAGON_7_000.smt2 unknown 220.48 47.93 apollon064 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e2_846_000.smt2 unknown 1088.09 933.23 apollon157 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e2_5774_000.smt2 unknown 1580.47 1107.79 apollon119 vmt-chc-benchmarks/lustre/car_5_e2_405_e2_1083_000.smt2 TIMEOUT 1802.90 626.84 apollon111 vmt-chc-benchmarks/lustre/FIREFLY_2_000.smt2 unknown 1092.80 933.59 apollon058 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_000.smt2 TIMEOUT 1805.69 668.85 apollon080 vmt-chc-benchmarks/lustre/MESI_i4_e4_1689_e8_290_000.smt2 TIMEOUT 1806.69 633.31 apollon048 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_000.smt2 TIMEOUT 1800.84 734.65 apollon024 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e3_1928_000.smt2 TIMEOUT 1803.96 716.97 apollon165 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e2_676_000.smt2 TIMEOUT 1803.95 711.65 apollon101 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_195_000.smt2 TIMEOUT 1807.14 670.91 apollon062 vmt-chc-benchmarks/lustre/swimmingpool_3_000.smt2 TIMEOUT 1805.01 681.94 apollon089 vmt-chc-benchmarks/lustre/MOESI_1_000.smt2 unknown 1044.70 906.78 apollon012 vmt-chc-benchmarks/lustre/MOESI_2_e7_2607_000.smt2 TIMEOUT 1805.82 650.82 apollon017 vmt-chc-benchmarks/lustre/MESI_i1_e2_1758_e8_12_000.smt2 TIMEOUT 1801.91 663.84 apollon043 vmt-chc-benchmarks/lustre/metros_1_e7_1255_e8_598_000.smt2 unknown 137.56 28.97 apollon157 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e5_2444_000.smt2 TIMEOUT 1807.78 639.64 apollon038 vmt-chc-benchmarks/lustre/metros_4_e2_968_e1_956_000.smt2 TIMEOUT 1806.46 591.51 apollon016 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e3_3091_000.smt2 unknown 1113.03 921.36 apollon160 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e8_1940_000.smt2 unknown 818.54 502.94 apollon104 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_000.smt2 unknown 1071.08 917.38 apollon039 vmt-chc-benchmarks/lustre/ticket3i_3_000.smt2 unknown 1054.33 913.91 apollon054 vmt-chc-benchmarks/lustre/FIREFLY_rt_e3_1770_e2_637_000.smt2 unknown 245.96 48.05 apollon128 vmt-chc-benchmarks/lustre/FIREFLY_5_e1_2552_e7_1169_000.smt2 unknown 1113.38 921.70 apollon062 vmt-chc-benchmarks/lustre/durationThm_1_e1_197_e7_289_000.smt2 unknown 167.52 77.16 apollon005 vmt-chc-benchmarks/lustre/FIREFLY_luke_3_e1_2217_e3_1200_000.smt2 unknown 1136.20 929.29 apollon121 vmt-chc-benchmarks/lustre/FIREFLY_11_e3_2076_e1_1270_000.smt2 unknown 1117.24 921.31 apollon155 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e8_311_000.smt2 unknown 127.08 27.41 apollon145 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e2_74_000.smt2 unknown 1728.51 1320.42 apollon009 vmt-chc-benchmarks/lustre/MESI_i2_000.smt2 TIMEOUT 1806.11 640.91 apollon080 vmt-chc-benchmarks/lustre/twisted_counters_000.smt2 unknown 983.50 910.10 apollon134 vmt-chc-benchmarks/lustre/metros_4_e2_532_000.smt2 unknown 657.83 214.79 apollon074 vmt-chc-benchmarks/lustre/DRAGON_12_e1_4640_e7_128_000.smt2 unknown 658.95 462.03 apollon048 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e7_156_000.smt2 unknown 198.75 53.51 apollon166 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e6_1315_000.smt2 unknown 657.56 214.88 apollon086 vmt-chc-benchmarks/lustre/FIREFLY_7_000.smt2 unknown 1593.32 1101.06 apollon152 vmt-chc-benchmarks/lustre/DRAGON_13_000.smt2 unknown 774.79 461.52 apollon163 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e2_1317_000.smt2 unknown 123.68 26.33 apollon112 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1750_000.smt2 TIMEOUT 1803.83 633.48 apollon009 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e2_2689_000.smt2 unknown 1095.25 935.28 apollon005 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e7_4469_000.smt2 unknown 1128.25 926.75 apollon111 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e2_2812_000.smt2 unknown 1099.17 935.95 apollon042 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e4_1595_000.smt2 unknown 156.11 33.64 apollon036 vmt-chc-benchmarks/lustre/fast_1_e7_2044_e7_1287_000.smt2 TIMEOUT 1805.95 638.49 apollon005 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e7_3568_000.smt2 unknown 1058.85 914.26 apollon082 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e7_1495_000.smt2 unknown 1076.27 918.51 apollon005 vmt-chc-benchmarks/lustre/MESI_3_e2_1872_000.smt2 TIMEOUT 1805.53 628.41 apollon139 vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606_000.smt2 unknown 1118.29 593.45 apollon068 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e3_2542_000.smt2 unknown 1091.84 934.43 apollon135 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e2_2228_000.smt2 TIMEOUT 1801.35 661.69 apollon097 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e7_4070_000.smt2 unknown 1073.43 927.71 apollon024 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e1_6463_000.smt2 unknown 1578.34 1108.10 apollon167 vmt-chc-benchmarks/lustre/metros_3_e4_987_e1_1115_000.smt2 unknown 658.57 215.43 apollon109 vmt-chc-benchmarks/lustre/FIREFLY_9_000.smt2 unknown 199.09 45.04 apollon165 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e5_5_000.smt2 unknown 92.93 22.07 apollon153 vmt-chc-benchmarks/lustre/durationThm_1_e1_197_000.smt2 unknown 168.60 79.37 apollon002 vmt-chc-benchmarks/lustre/car_all_e8_856_e7_578_000.smt2 unknown 103.85 22.42 apollon041 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e3_1658_000.smt2 TIMEOUT 1804.07 640.27 apollon133 vmt-chc-benchmarks/lustre/DRAGON_4_e3_1540_e1_5048_000.smt2 unknown 393.58 88.81 apollon060 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_2574_000.smt2 unknown 1089.95 920.27 apollon010 vmt-chc-benchmarks/lustre/ticket3i_all_e1_2706_e7_1776_000.smt2 unknown 222.86 49.55 apollon030 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e7_1465_000.smt2 unknown 1019.71 926.60 apollon124 vmt-chc-benchmarks/lustre/fast_1_e8_747_e7_692_000.smt2 TIMEOUT 1802.73 650.87 apollon074 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e6_1974_000.smt2 unknown 1075.37 916.90 apollon031 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e7_2225_000.smt2 unknown 361.98 82.22 apollon009 vmt-chc-benchmarks/lustre/SYNAPSE_2_e3_216_000.smt2 TIMEOUT 1805.63 625.45 apollon144 vmt-chc-benchmarks/lustre/ILLINOIS_2_e3_1554_e6_2223_000.smt2 unknown 1026.55 908.89 apollon019 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_000.smt2 TIMEOUT 1805.86 681.16 apollon040 vmt-chc-benchmarks/lustre/metros_5_e4_1208_e1_337_000.smt2 unknown 658.80 215.23 apollon043 vmt-chc-benchmarks/lustre/metros_4_e3_1025_000.smt2 TIMEOUT 1804.31 549.73 apollon098 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e2_2421_000.smt2 TIMEOUT 1804.34 643.47 apollon130 vmt-chc-benchmarks/lustre/FIREFLY_6_000.smt2 unknown 1119.23 922.99 apollon037 vmt-chc-benchmarks/lustre/MOESI_1_e2_982_e7_492_000.smt2 unknown 1042.63 908.43 apollon100 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e7_5856_000.smt2 unknown 1081.97 935.30 apollon128 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e2_1394_000.smt2 TIMEOUT 1804.35 638.44 apollon153 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e1_1044_000.smt2 TIMEOUT 1802.08 568.02 apollon051 vmt-chc-benchmarks/lustre/_6counters_e8_371_e2_80_000.smt2 true 55.23 12.12 apollon018 vmt-chc-benchmarks/lustre/SYNAPSE_5_e2_1525_000.smt2 unknown 1012.91 905.36 apollon108 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e1_1895_000.smt2 unknown 1053.42 911.82 apollon055 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e1_1350_000.smt2 unknown 656.83 215.00 apollon049 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_3_000.smt2 unknown 1007.47 901.48 apollon046 vmt-chc-benchmarks/lustre/FIREFLY_u1_000.smt2 unknown 1130.16 924.94 apollon093 vmt-chc-benchmarks/lustre/metros_4_e1_821_e5_911_000.smt2 unknown 656.58 214.85 apollon099 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e7_1626_000.smt2 TIMEOUT 1805.29 638.96 apollon033 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e4_1464_000.smt2 TIMEOUT 1807.82 680.73 apollon132 vmt-chc-benchmarks/lustre/fast_2_e8_460_e7_43_000.smt2 TIMEOUT 1800.62 658.16 apollon017 vmt-chc-benchmarks/lustre/MESI_all_e4_1147_e7_497_000.smt2 unknown 144.39 30.05 apollon135 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e5_2391_000.smt2 TIMEOUT 1802.26 661.87 apollon152 vmt-chc-benchmarks/lustre/cd_e7_621_000.smt2 unknown 1542.86 1231.86 apollon111 vmt-chc-benchmarks/conc/fib_bench_safe_v3_000.smt2 unknown 1562.68 1115.68 apollon058 vmt-chc-benchmarks/conc/szymanski_safe_000.smt2 true 72.09 15.75 apollon039 vmt-chc-benchmarks/conc/fib_bench_safe_v2_000.smt2 unknown 1548.49 1102.88 apollon089 vmt-chc-benchmarks/conc/stateful01_safe_v1_000.smt2 unknown 1207.13 956.50 apollon136 vmt-chc-benchmarks/conc/fib_bench_safe_v1_000.smt2 unknown 1558.66 1114.38 apollon009 vmt-chc-benchmarks/conc/lamport_safe_000.smt2 true 629.04 206.50 apollon132 vmt-chc-benchmarks/ctigar/simple_if.c_000.smt2 unknown 988.90 910.80 apollon013 vmt-chc-benchmarks/ctigar/gulwani_cegar2.c_000.smt2 unknown 1019.92 908.32 apollon163 vmt-chc-benchmarks/ctigar/bkley.c_000.smt2 unknown 1275.21 952.71 apollon007 vmt-chc-benchmarks/ctigar/xyz2.c_000.smt2 unknown 1565.22 1103.70 apollon049 vmt-chc-benchmarks/ctigar/NetBSD_loop_int.c_000.smt2 unknown 1703.51 1126.27 apollon161 vmt-chc-benchmarks/ctigar/sendmail-close-angle.c_000.smt2 unknown 1605.64 1099.71 apollon071 vmt-chc-benchmarks/ctigar/nest-if5.c_000.smt2 unknown 1026.31 921.53 apollon048 vmt-chc-benchmarks/ctigar/svd-some-loop.c_000.smt2 unknown 1652.30 1110.20 apollon050 vmt-chc-benchmarks/ctigar/nest-if3.c_000.smt2 unknown 1042.42 923.64 apollon069 vmt-chc-benchmarks/ctigar/lifo.c_000.smt2 true 808.01 265.88 apollon013 vmt-chc-benchmarks/ctigar/nested4.c_000.smt2 unknown 1002.87 907.04 apollon125 vmt-chc-benchmarks/ctigar/NetBSD_loop.c_000.smt2 unknown 1010.34 907.13 apollon157 vmt-chc-benchmarks/ctigar/nest-len.c_000.smt2 unknown 1141.88 933.89 apollon045 vmt-chc-benchmarks/ctigar/ken-imp.c_000.smt2 unknown 1429.31 1017.76 apollon060 vmt-chc-benchmarks/ctigar/dillig01.c_000.smt2 unknown 997.85 908.66 apollon004 vmt-chc-benchmarks/ctigar/nested.c_000.smt2 unknown 993.29 903.98 apollon028 vmt-chc-benchmarks/ctigar/dillig28.c_000.smt2 unknown 1007.93 919.81 apollon123 vmt-chc-benchmarks/ctigar/barbr.c_000.smt2 true 809.48 266.53 apollon053 vmt-chc-benchmarks/ctigar/xy0.c_000.smt2 unknown 1551.27 1099.11 apollon145 vmt-chc-benchmarks/ctigar/bound.c_000.smt2 unknown 1081.07 919.91 apollon117 vmt-chc-benchmarks/ctigar/swim1.c_000.smt2 true 809.24 266.94 apollon095 vmt-chc-benchmarks/ctigar/dillig03.c_000.smt2 unknown 1560.95 1098.87 apollon122 vmt-chc-benchmarks/ctigar/dillig37.c_000.smt2 unknown 1031.13 913.24 apollon015 vmt-chc-benchmarks/ctigar/svd4.c_000.smt2 TIMEOUT 1802.37 1150.27 apollon004 vmt-chc-benchmarks/ctigar/apache-get-tag.c_000.smt2 unknown 1466.69 1032.07 apollon025 vmt-chc-benchmarks/ctigar/pldi08.c_000.smt2 unknown 978.91 906.54 apollon081 vmt-chc-benchmarks/ctigar/nested1.c_000.smt2 unknown 1012.04 917.47 apollon124 vmt-chc-benchmarks/ctigar/nested5.c_000.smt2 unknown 1052.49 917.07 apollon043 vmt-chc-benchmarks/ctigar/seq.c_000.smt2 unknown 648.65 193.22 apollon056 vmt-chc-benchmarks/ctigar/NetBSD_g_Ctoc.c_000.smt2 TIMEOUT 1803.67 1152.99 apollon100 vmt-chc-benchmarks/ctigar/seq-sim.c_000.smt2 unknown 1561.54 1099.16 apollon023 vmt-chc-benchmarks/ctigar/up3.c_000.smt2 unknown 1565.67 1109.69 apollon036 vmt-chc-benchmarks/ctigar/xy4.c_000.smt2 unknown 1551.73 1100.41 apollon016 vmt-chc-benchmarks/ctigar/bind_expands_vars2.c_000.smt2 unknown 125.48 38.23 apollon133 vmt-chc-benchmarks/ctigar/cars.c_000.smt2 TIMEOUT 1806.18 1149.66 apollon148 vmt-chc-benchmarks/ctigar/dillig32.c_000.smt2 unknown 1152.89 945.55 apollon074 vmt-chc-benchmarks/ctigar/dillig05.c_000.smt2 unknown 1561.71 1099.30 apollon139 vmt-chc-benchmarks/ctigar/dillig19.c_000.smt2 unknown 1614.61 1110.88 apollon061 vmt-chc-benchmarks/ctigar/nested9.c_000.smt2 unknown 1553.68 1099.02 apollon166 vmt-chc-benchmarks/ctigar/ex1.c_000.smt2 unknown 1015.91 911.37 apollon139 vmt-chc-benchmarks/ctigar/dillig07.c_000.smt2 unknown 989.70 907.61 apollon004 vmt-chc-benchmarks/ctigar/xy10.c_000.smt2 unknown 1377.59 1014.80 apollon057 vmt-chc-benchmarks/ctigar/gulv_simp.c_000.smt2 unknown 1082.70 923.64 apollon020 vmt-chc-benchmarks/ctigar/ex2.c_000.smt2 unknown 1616.81 1113.76 apollon131 vmt-chc-benchmarks/ctigar/seesaw.c_000.smt2 unknown 1257.98 958.33 apollon139 vmt-chc-benchmarks/ctigar/nest-if4.c_000.smt2 unknown 1093.20 931.90 apollon157 vmt-chc-benchmarks/ctigar/svd2.c_000.smt2 unknown 1138.38 933.17 apollon058 vmt-chc-benchmarks/ctigar/seq4.c_000.smt2 unknown 1570.52 1097.26 apollon074 vmt-chc-benchmarks/ctigar/efm.c_000.smt2 true 809.59 265.78 apollon017 vmt-chc-benchmarks/ctigar/dillig25.c_000.smt2 unknown 1060.23 915.79 apollon123 vmt-chc-benchmarks/ctigar/xyz.c_000.smt2 unknown 1575.92 1101.33 apollon079 vmt-chc-benchmarks/ctigar/nested6.c_000.smt2 unknown 1230.73 955.12 apollon082 vmt-chc-benchmarks/ctigar/nest-if.c_000.smt2 unknown 1020.43 908.43 apollon152 vmt-chc-benchmarks/ctigar/nested2.c_000.smt2 unknown 1012.80 917.03 apollon013 vmt-chc-benchmarks/ctigar/NetBSD_glob3_iny.c_000.smt2 true 559.17 161.78 apollon119 vmt-chc-benchmarks/ctigar/dillig33.c_000.smt2 unknown 1128.47 935.91 apollon055 vmt-chc-benchmarks/ctigar/sendmail-mime-fromqp.c_000.smt2 unknown 1279.59 981.52 apollon060 vmt-chc-benchmarks/ctigar/seq2.c_000.smt2 unknown 1572.72 1099.15 apollon067 vmt-chc-benchmarks/ctigar/hsortprime.c_000.smt2 unknown 1219.61 956.88 apollon132 vmt-chc-benchmarks/ctigar/nest-if7.c_000.smt2 unknown 1041.83 915.74 apollon107 vmt-chc-benchmarks/ctigar/lifnatprime.c_000.smt2 true 809.02 265.72 apollon021 vmt-chc-benchmarks/ctigar/MADWiFi-encode_ie_ok.c_000.smt2 unknown 1662.28 1117.03 apollon162 vmt-chc-benchmarks/ctigar/seq-proc.c_000.smt2 unknown 1576.77 1099.61 apollon020 vmt-chc-benchmarks/ctigar/dillig17.c_000.smt2 unknown 1563.23 1099.94 apollon122 vmt-chc-benchmarks/ctigar/up-nd.c_000.smt2 unknown 1560.70 1098.25 apollon090 vmt-chc-benchmarks/ctigar/hsort.c_000.smt2 unknown 1688.80 1113.26 apollon147 vmt-chc-benchmarks/ctigar/up.c_000.smt2 unknown 1554.32 1098.31 apollon141 vmt-chc-benchmarks/ctigar/fig2.c_000.smt2 unknown 1575.90 1101.74 apollon129 vmt-chc-benchmarks/ctigar/nest-if1.c_000.smt2 unknown 1044.50 922.58 apollon146 vmt-chc-benchmarks/ctigar/string_concat-noarr.c_000.smt2 unknown 1553.82 1097.79 apollon024 vmt-chc-benchmarks/ctigar/nested3.c_000.smt2 unknown 154.82 65.52 apollon009 vmt-chc-benchmarks/ctigar/fragtest_simple.c_000.smt2 unknown 1566.83 1098.87 apollon037 vmt-chc-benchmarks/ctigar/up2.c_000.smt2 unknown 1564.74 1111.27 apollon149 vmt-chc-benchmarks/ctigar/nest-if2.c_000.smt2 unknown 1030.47 911.67 apollon046 vmt-chc-benchmarks/ctigar/gulv.c_000.smt2 unknown 1578.09 1103.35 apollon016 vmt-chc-benchmarks/ctigar/nest-if6.c_000.smt2 unknown 1386.69 1000.26 apollon007 vmt-chc-benchmarks/ctigar/rajamani_1.c_000.smt2 unknown 1581.17 1101.46 apollon028 vmt-chc-benchmarks/ctigar/nest-if8.c_000.smt2 unknown 1553.15 1096.72 apollon065 vmt-chc-benchmarks/ctigar/seq-z3.c_000.smt2 unknown 1554.87 1097.72 apollon064 vmt-chc-benchmarks/ctigar/gulwani_fig1a.c_000.smt2 unknown 980.40 906.56 apollon126 vmt-chc-benchmarks/ctigar/pldi082_unbounded.c_000.smt2 unknown 1578.86 1103.85 apollon134 vmt-chc-benchmarks/ctigar/svd.c_000.smt2 TIMEOUT 1800.85 1151.34 apollon042 vmt-chc-benchmarks/ctigar/fig1a.c_000.smt2 unknown 1562.61 1110.51 apollon065 vmt-chc-benchmarks/ctigar/large_const.c_000.smt2 unknown 1746.32 1137.86 apollon126 vmt-chc-benchmarks/ctigar/up-nested.c_000.smt2 unknown 115.70 31.95 apollon023 vmt-chc-benchmarks/ctigar/bk-nat.c_000.smt2 unknown 1330.47 972.60 apollon045 vmt-chc-benchmarks/ctigar/swim.c_000.smt2 true 809.52 265.76 apollon133 vmt-chc-benchmarks/ctigar/gulwani_cegar1.c_000.smt2 unknown 1018.02 910.61 apollon167 vmt-chc-benchmarks/ctigar/id_build.c_000.smt2 unknown 1041.97 915.21 apollon106 vmt-chc-benchmarks/ctigar/up4.c_000.smt2 unknown 1558.86 1099.74 apollon062 vmt-chc-benchmarks/ctigar/mergesort.c_000.smt2 unknown 1730.95 1131.83 apollon004 vmt-chc-benchmarks/ctigar/dillig12.c_000.smt2 unknown 1584.75 1102.07 apollon092 vmt-chc-benchmarks/ctigar/svd3.c_000.smt2 unknown 1085.29 931.19 apollon119 vmt-chc-benchmarks/ctigar/dillig20.c_000.smt2 unknown 1253.61 963.81 apollon117 vmt-chc-benchmarks/ctigar/simple_nest.c_000.smt2 unknown 990.04 905.28 apollon149 vmt-chc-benchmarks/ctigar/dillig15.c_000.smt2 unknown 1036.45 925.27 apollon125 vmt-chc-benchmarks/ctigar/svd1.c_000.smt2 true 809.00 265.87 apollon009 vmt-chc-benchmarks/ctigar/sendmail-mime7to8_arr_three_chars_no_test_ok.c_000.smt2 unknown 1195.73 945.14 apollon071 vmt-chc-benchmarks/ctigar/nested7.c_000.smt2 unknown 1281.79 985.07 apollon127 vmt-chc-benchmarks/ctigar/split.c_000.smt2 unknown 1572.57 1100.91 apollon142 vmt-chc-benchmarks/ctigar/seq3.c_000.smt2 unknown 1570.12 1100.66 apollon075 vmt-chc-benchmarks/ctigar/up5.c_000.smt2 unknown 1556.56 1098.44 apollon067 vmt-chc-benchmarks/ctigar/seq-len.c_000.smt2 unknown 1575.38 1101.66 apollon016 vmt-chc-benchmarks/ctigar/lifnat.c_000.smt2 true 807.88 265.83 apollon109 vmt-chc-benchmarks/ctigar/down.c_000.smt2 unknown 1555.04 1099.32 apollon105 vmt-chc-benchmarks/ctigar/barbrprime.c_000.smt2 true 809.39 266.11 apollon069 vmt-chc-benchmarks/ctigar/simple.c_000.smt2 unknown 988.89 916.66 apollon127 vmt-chc-benchmarks/ctigar/substring1.c_000.smt2 unknown 1584.40 1103.60 apollon097 vmt-chc-benchmarks/ctigar/apache-escape-absolute.c_000.smt2 true 809.50 265.75 apollon146 vmt-chc-benchmarks/ctigar/nested8.c_000.smt2 unknown 1616.13 1112.62 apollon057 extra-small-lia/s_multipl_08_000.smt2 true 610.93 265.46 apollon126 extra-small-lia/s_multipl_13_000.smt2 true 611.59 265.30 apollon166 extra-small-lia/menlo_park_term_simpl_2_000.smt2 unknown 1012.42 920.91 apollon128 extra-small-lia/s_multipl_23_000.smt2 true 611.83 265.14 apollon048 extra-small-lia/s_mutants_23_000.smt2 true 809.41 265.27 apollon126 extra-small-lia/s_multipl_11_000.smt2 unknown 1348.38 1097.43 apollon092 extra-small-lia/s_multipl_07_000.smt2 true 610.80 265.24 apollon131 extra-small-lia/three_dots_moving_2_000.smt2 unknown 69.06 18.02 apollon067 extra-small-lia/s_multipl_09_000.smt2 true 609.68 265.34 apollon086 extra-small-lia/s_multipl_22_000.smt2 true 610.93 265.19 apollon166 extra-small-lia/yz_plus_minus_1_000.smt2 true 280.91 80.84 apollon107 extra-small-lia/dtuc_000.smt2 true 610.91 265.20 apollon135 extra-small-lia/bouncy_three_counters_merged_000.smt2 true 807.96 265.11 apollon114 extra-small-lia/s_mutants_06_m_000.smt2 true 609.78 265.22 apollon023 extra-small-lia/s_multipl_17_000.smt2 true 610.14 265.22 apollon112 extra-small-lia/phases_m_000.smt2 unknown 1359.40 1116.68 apollon038 extra-small-lia/bouncy_symmetry_000.smt2 true 610.61 265.22 apollon129 extra-small-lia/s_disj_ite_06_000.smt2 true 252.18 75.05 apollon073 extra-small-lia/bouncy_one_counter_000.smt2 true 611.24 265.34 apollon049 extra-small-lia/s_mutants_21_000.smt2 true 596.49 172.45 apollon067 extra-small-lia/gj2007_m_2_000.smt2 unknown 1348.61 1096.51 apollon148 extra-small-lia/dillig05_m_000.smt2 unknown 1350.56 1104.93 apollon114 extra-small-lia/s_multipl_12_000.smt2 true 609.97 265.19 apollon023 extra-small-lia/yz_plus_minus_2_000.smt2 true 261.39 76.89 apollon095 extra-small-lia/dillig22_m_000.smt2 true 608.81 265.17 apollon132 extra-small-lia/const_mod_2_000.smt2 true 224.62 69.22 apollon162 extra-small-lia/dillig12_m_000.smt2 unknown 1353.13 1104.96 apollon092 extra-small-lia/s_mutants_02_000.smt2 unknown 1013.57 920.07 apollon115 extra-small-lia/count_by_2_000.smt2 true 611.75 265.51 apollon152 extra-small-lia/s_multipl_24_000.smt2 unknown 1011.45 923.71 apollon011 extra-small-lia/dillig21_m_000.smt2 unknown 1350.02 1023.97 apollon101 extra-small-lia/s_multipl_16_000.smt2 true 610.38 265.28 apollon017 extra-small-lia/s_disj_ite_05_000.smt2 true 809.33 265.20 apollon128 extra-small-lia/const_mod_3_000.smt2 true 264.23 77.49 apollon041 extra-small-lia/s_mutants_17_000.smt2 true 595.37 171.89 apollon039 extra-small-lia/s_multipl_15_000.smt2 true 611.00 265.40 apollon057 extra-small-lia/count_by_2_m_nest_000.smt2 true 609.83 265.37 apollon119 extra-small-lia/gj2007_m_1_000.smt2 true 609.43 265.43 apollon053 extra-small-lia/s_mutants_22_000.smt2 unknown 1330.41 1012.95 apollon144 extra-small-lia/const_mod_1_000.smt2 true 248.65 75.61 apollon107 extra-small-lia/s_mutants_20_000.smt2 true 228.77 69.77 apollon013 extra-small-lia/half_true_modif_m_000.smt2 unknown 46.50 14.43 apollon040 extra-small-lia/s_multipl_10_000.smt2 true 611.01 265.31 apollon148 extra-small-lia/s_mutants_16_000.smt2 true 602.51 172.51 apollon031 extra-small-lia/s_multipl_14_000.smt2 true 611.36 265.25 apollon107 extra-small-lia/dillig02_m_000.smt2 unknown 1347.55 1103.84 apollon042 extra-small-lia/s_mutants_05_000.smt2 unknown 1546.19 1095.32 apollon126 extra-small-lia/gj2007_m_3_000.smt2 true 611.23 265.35 apollon141 extra-small-lia/dillig03_m_000.smt2 true 253.24 77.98 apollon071 extra-small-lia/s_multipl_18_000.smt2 unknown 1353.90 1106.91 apollon051 extra-small-lia/dillig32_000.smt2 unknown 1548.17 1101.05 apollon066 extra-small-lia/bouncy_two_counters_merged_000.smt2 true 809.49 265.18 apollon018 extra-small-lia/bouncy_two_counters_equality_000.smt2 true 610.43 265.24 apollon112 extra-small-lia/s_mutants_16_m_000.smt2 true 611.34 265.38 apollon124 extra-small-lia/s_multipl_25_000.smt2 unknown 1351.43 1104.29 apollon148 hcai-bench/svcomp/O3/O3_gcd02_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 1372.67 1113.69 apollon152 hcai-bench/svcomp/O3/O3_sum03_true-unreach-call_false-termination_000.smt2 unknown 989.25 901.55 apollon161 hcai-bench/svcomp/O3/O3_MultCommutative_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 1406.79 1101.69 apollon104 hcai-bench/svcomp/O3/O3_sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination_000.smt2 unknown 130.34 39.32 apollon079 hcai-bench/svcomp/O3/O3_trex03_false-unreach-call_true-termination_000.smt2 unknown 92.56 25.45 apollon127 hcai-bench/svcomp/O3/O3_gcd01_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 1024.95 927.21 apollon068 hcai-bench/svcomp/O3/O3_terminator_03_false-unreach-call_true-termination_000.smt2 unknown 63.47 18.26 apollon107 hcai-bench/svcomp/O3/O3_trex04_true-unreach-call_false-termination_000.smt2 unknown 84.77 23.78 apollon123 hcai-bench/svcomp/O3/O3_Addition03_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 1352.60 1090.74 apollon061 hcai-bench/svcomp/O3/O3_terminator_02_true-unreach-call_true-termination_000.smt2 unknown 994.83 902.55 apollon099 hcai-bench/svcomp/O3/O3_id_o3_false-unreach-call_000.smt2 unknown 965.46 896.21 apollon108 hcai-bench/svcomp/O3/O3_EvenOdd03_false-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 65.64 18.85 apollon015 hcai-bench/svcomp/O3/O3_BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination_000.smt2 true 976.90 900.76 apollon003 hcai-bench/svcomp/O3/O3_sum_non_false-unreach-call_true-termination_000.smt2 false 27.17 7.92 apollon071 hcai-bench/svcomp/O3/O3_nec11_false-unreach-call_false-termination_000.smt2 unknown 47.49 14.35 apollon095 hcai-bench/svcomp/O3/O3_trex01_false-unreach-call_true-termination_000.smt2 unknown 53.38 15.85 apollon030 hcai-bench/svcomp/O3/O3_afterrec_2calls_false-unreach-call_true-termination_000.smt2 unknown 52.06 15.50 apollon020 hcai-bench/svcomp/O3/O3_EvenOdd01_true-unreach-call_true-no-overflow_true-termination_000.smt2 true 611.08 265.36 apollon155 hcai-bench/svcomp/O3/O3_nec20_false-unreach-call_true-termination_000.smt2 unknown 59.49 17.63 apollon099 hcai-bench/svcomp/O3/O3_id_o20_false-unreach-call_000.smt2 unknown 1164.02 977.12 apollon085 hcai-bench/svcomp/O3/O3_Addition03_false-no-overflow_000.smt2 unknown 1349.41 1098.45 apollon002 hcai-bench/svcomp/O3/O3_Addition01_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 994.24 904.14 apollon030 hcai-bench/svcomp/O3/O3_sum_non_eq_true-unreach-call_000.smt2 unknown 987.38 901.75 apollon019 hcai-bench/svcomp/O3/O3_Addition02WithOverflowBug_false-no-overflow_000.smt2 unknown 71.78 20.90 apollon136 hcai-bench/svcomp/O3/O3_sum_non_eq_false-unreach-call_000.smt2 false 24.78 7.70 apollon156 hcai-bench/svcomp/O3/O3_trex01_true-unreach-call_true-termination_000.smt2 unknown 1150.34 936.89 apollon073 hcai-bench/svcomp/O3/O3_terminator_02_false-unreach-call_true-termination_000.smt2 unknown 60.95 17.33 apollon152 hcai-bench/svcomp/O3/O3_EvenOdd03WithOverflowBug_false-no-overflow_000.smt2 unknown 65.86 19.18 apollon011 hcai-bench/svcomp/O3/O3_sum01_true-unreach-call_true-termination_000.smt2 unknown 1021.58 920.04 apollon049 hcai-bench/svcomp/O3/O3_array_false-unreach-call_true-termination_000.smt2 unknown 52.62 14.81 apollon039 hcai-bench/svcomp/O3/O3_terminator_01_false-unreach-call_true-termination_000.smt2 unknown 45.16 14.00 apollon119 hcai-bench/svcomp/O3/O3_for_bounded_loop1_false-unreach-call_true-termination_000.smt2 unknown 84.48 23.77 apollon064 hcai-bench/svcomp/O3/O3_afterrec_true-unreach-call_true-termination_000.smt2 true 241.77 75.49 apollon095 hcai-bench/svcomp/O3/O3_for_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 54.84 16.00 apollon136 hcai-bench/svcomp/O3/O3_sum01_false-unreach-call_true-termination_000.smt2 unknown 1095.26 950.76 apollon028 hcai-bench/svcomp/O3/O3_id_o200_false-unreach-call_000.smt2 unknown 1348.10 1090.51 apollon166 hcai-bench/svcomp/O3/O3_trex03_true-unreach-call_true-termination_000.smt2 unknown 1000.50 906.80 apollon160 hcai-bench/svcomp/O3/O3_count_up_down_true-unreach-call_true-termination_000.smt2 unknown 988.62 911.88 apollon165 hcai-bench/svcomp/O3/O3_for_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 55.07 16.10 apollon016 hcai-bench/svcomp/O3/O3_sum01_bug02_false-unreach-call_true-termination_000.smt2 unknown 865.39 750.88 apollon038 hcai-bench/svcomp/O3/O3_afterrec_false-unreach-call_true-termination_000.smt2 true 1028.06 906.40 apollon156 hcai-bench/svcomp/O3/O3_count_up_down_false-unreach-call_true-termination_000.smt2 unknown 49.43 14.70 apollon144 hcai-bench/svcomp/O3/O3_sum03_false-unreach-call_true-termination_000.smt2 unknown 1095.03 942.60 apollon098 hcai-bench/svcomp/O3/O3_terminator_03_true-unreach-call_true-termination_000.smt2 unknown 73.36 20.44 apollon064 hcai-bench/svcomp/O3/O3_Addition02_false-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 82.19 23.54 apollon058 hcai-bench/svcomp/O3/O3_sum_non_true-unreach-call_true-termination_000.smt2 unknown 985.34 912.90 apollon073 hcai-bench/svcomp/O3/O3_afterrec_2calls_true-unreach-call_true-termination_000.smt2 true 244.17 75.86 apollon051 hcai-bench/svcomp/O3/O3_n.c11_true-unreach-call_false-termination_000.smt2 true 332.16 106.79 apollon162 hcai-bench/svcomp/O3/O3_id_o1000_false-unreach-call_000.smt2 unknown 1347.41 1090.05 apollon095 hcai-bench/svcomp/O3/O3_id_o10_false-unreach-call_000.smt2 unknown 1033.15 916.47 apollon168 hcai-bench/svcomp/O3/O3_id_o100_false-unreach-call_000.smt2 unknown 1347.77 1090.06 apollon113 hcai-bench/svcomp/O0/O0_sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination_000.smt2 unknown 1033.48 926.43 apollon033 hcai-bench/svcomp/O0/O0_fibo_2calls_4_false-unreach-call_true-termination_000.smt2 unknown 44.12 14.33 apollon062 hcai-bench/svcomp/O0/O0_trex03_false-unreach-call_true-termination_000.smt2 unknown 72.92 20.82 apollon099 hcai-bench/svcomp/O0/O0_terminator_03_false-unreach-call_true-termination_000.smt2 unknown 68.51 19.91 apollon119 hcai-bench/svcomp/O0/O0_fibo_2calls_10_false-unreach-call_000.smt2 unknown 43.73 14.09 apollon017 hcai-bench/svcomp/O0/O0_terminator_02_true-unreach-call_true-termination_000.smt2 unknown 87.55 24.83 apollon085 hcai-bench/svcomp/O0/O0_fibo_2calls_8_false-unreach-call_000.smt2 unknown 42.44 13.92 apollon095 hcai-bench/svcomp/O0/O0_while_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 56.76 16.12 apollon024 hcai-bench/svcomp/O0/O0_id2_b3_o2_false-unreach-call_000.smt2 unknown 48.77 14.62 apollon158 hcai-bench/svcomp/O0/O0_EvenOdd03_false-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 56.65 15.65 apollon023 hcai-bench/svcomp/O0/O0_nec11_false-unreach-call_false-termination_000.smt2 unknown 48.49 14.60 apollon011 hcai-bench/svcomp/O0/O0_trex01_false-unreach-call_true-termination_000.smt2 unknown 61.87 17.73 apollon095 hcai-bench/svcomp/O0/O0_nec20_false-unreach-call_true-termination_000.smt2 unknown 963.70 898.53 apollon021 hcai-bench/svcomp/O0/O0_fibo_2calls_5_false-unreach-call_true-termination_000.smt2 unknown 42.74 13.74 apollon041 hcai-bench/svcomp/O0/O0_id2_i5_o5_false-unreach-call_true-termination_000.smt2 unknown 43.60 14.11 apollon147 hcai-bench/svcomp/O0/O0_trex01_true-unreach-call_true-termination_000.smt2 unknown 1168.13 942.75 apollon090 hcai-bench/svcomp/O0/O0_terminator_02_false-unreach-call_true-termination_000.smt2 unknown 59.32 17.13 apollon021 hcai-bench/svcomp/O0/O0_EvenOdd03WithOverflowBug_false-no-overflow_000.smt2 unknown 56.09 15.82 apollon073 hcai-bench/svcomp/O0/O0_sum01_true-unreach-call_true-termination_000.smt2 unknown 1027.56 919.96 apollon147 hcai-bench/svcomp/O0/O0_fibo_2calls_15_false-unreach-call_000.smt2 unknown 43.66 13.89 apollon125 hcai-bench/svcomp/O0/O0_terminator_01_false-unreach-call_true-termination_000.smt2 unknown 65.82 21.60 apollon109 hcai-bench/svcomp/O0/O0_fibo_2calls_25_false-unreach-call_000.smt2 unknown 45.09 14.14 apollon147 hcai-bench/svcomp/O0/O0_sum04_false-unreach-call_true-termination_000.smt2 true 1302.39 995.74 apollon007 hcai-bench/svcomp/O0/O0_for_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 54.77 15.86 apollon090 hcai-bench/svcomp/O0/O0_sum01_false-unreach-call_true-termination_000.smt2 unknown 1119.25 953.27 apollon089 hcai-bench/svcomp/O0/O0_trex03_true-unreach-call_true-termination_000.smt2 unknown 91.28 24.40 apollon117 hcai-bench/svcomp/O0/O0_count_up_down_true-unreach-call_true-termination_000.smt2 unknown 990.06 905.19 apollon054 hcai-bench/svcomp/O0/O0_fibo_2calls_2_false-unreach-call_true-termination_000.smt2 unknown 44.87 15.18 apollon089 hcai-bench/svcomp/O0/O0_for_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 55.90 16.23 apollon048 hcai-bench/svcomp/O0/O0_sum01_bug02_false-unreach-call_true-termination_000.smt2 unknown 1060.15 929.94 apollon035 hcai-bench/svcomp/O0/O0_count_up_down_false-unreach-call_true-termination_000.smt2 unknown 50.49 15.62 apollon023 hcai-bench/svcomp/O0/O0_terminator_03_true-unreach-call_true-termination_000.smt2 unknown 979.76 900.01 apollon100 hcai-bench/svcomp/O0/O0_fibo_2calls_6_false-unreach-call_true-termination_000.smt2 unknown 43.12 14.15 apollon030 hcai-bench/svcomp/O0/O0_while_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 55.40 15.91 apollon081 hcai-bench/svcomp/O0/O0_n.c11_true-unreach-call_false-termination_000.smt2 true 255.65 78.40 apollon133 hcai-bench/svcomp/O0/O0_fibo_2calls_20_false-unreach-call_000.smt2 unknown 45.66 14.49 apollon046 hcai-bench/arrays_orig/array_fill1_abstracted_000.smt2 true 246.20 72.43 apollon090 hcai-bench/arrays_orig/array_fill2_abstracted_000.smt2 true 611.41 265.42 apollon064 hcai-bench/arrays_orig/array_fill1_even_odd_abstracted_000.smt2 unknown 1553.34 1097.86 apollon092 rust-horn/bmc-2-test-bmc-2-unsafe_000.smt2 unknown 50.87 15.60 apollon100 rust-horn/simple-1-01_unsat_000.smt2 unknown 1008.31 921.22 apollon141 rust-horn/bmc-2-test-bmc-2-safe_000.smt2 unknown 1016.21 917.31 apollon149 rust-horn/bmc-1-test-bmc-1-safe_000.smt2 unknown 241.94 72.46 apollon089 rust-horn/bmc-5-test-bmc-diamond-2-safe_000.smt2 unknown 1371.92 1099.24 apollon111 rust-horn/bmc-3-test-bmc-3-safe_000.smt2 unknown 104.17 23.25 apollon052 rust-horn/simple-5-hhk2008_000.smt2 unknown 1044.07 932.06 apollon117 rust-horn/simple-4-06_loop_unsat_000.smt2 unknown 1016.53 924.76 apollon019 rust-horn/bmc-3-test-bmc-3-unsafe_000.smt2 unknown 111.65 29.95 apollon049 rust-horn/bmc-1-test-bmc-1-unsafe_000.smt2 unknown 211.83 76.16 apollon156 rust-horn/bmc-5-test-bmc-diamond-2-unsafe_000.smt2 unknown 222.33 74.33 apollon067 eldarica-misc/BV/qarmc/rsolv_000.smt2 unknown 1469.67 1118.55 apollon129 eldarica-misc/BV/qarmc/qrsolv_000.smt2 unknown 1495.64 1125.71 apollon150 eldarica-misc/LIA/llreve/barthe2_safe.c-1_000.smt2 unknown 64.12 19.41 apollon157 eldarica-misc/LIA/llreve/cube_square_unsafe.c-1_000.smt2 unknown 1054.89 934.77 apollon041 eldarica-misc/LIA/llreve/break_single_merged_safe.c-1_000.smt2 true 611.30 265.20 apollon146 eldarica-misc/LIA/llreve/loop_safe.c-1_000.smt2 unknown 55.00 16.58 apollon038 eldarica-misc/LIA/llreve/digits10_inl_merged_safe.c-1_000.smt2 unknown 512.09 252.18 apollon043 eldarica-misc/LIA/llreve/nested-while_unsafe.c-1_000.smt2 false 37.57 10.23 apollon091 eldarica-misc/LIA/llreve/barthe_unsafe.c-1_000.smt2 unknown 67.92 20.27 apollon158 eldarica-misc/LIA/llreve/03_while_unsafe.c-1_000.smt2 unknown 68.34 22.44 apollon135 eldarica-misc/LIA/llreve/fib_merged_safe.c-1_000.smt2 unknown 1060.55 929.08 apollon139 eldarica-misc/LIA/llreve/loop_unswitching_merged_safe.c-1_000.smt2 unknown 1371.95 1102.67 apollon114 eldarica-misc/LIA/llreve/barthe_safe.c-1_000.smt2 unknown 67.12 20.08 apollon147 eldarica-misc/LIA/llreve/break_single_safe.c-1_000.smt2 unknown 55.41 16.51 apollon074 eldarica-misc/LIA/llreve/loop5_unsafe.c-1_000.smt2 unknown 57.44 16.88 apollon052 eldarica-misc/LIA/llreve/upcount_merged_safe.c-1_000.smt2 unknown 1347.94 1102.41 apollon063 eldarica-misc/LIA/llreve/fib_safe.c-1_000.smt2 unknown 58.48 17.69 apollon056 eldarica-misc/LIA/llreve/while-if_safe.c-1_000.smt2 unknown 67.97 20.79 apollon106 eldarica-misc/LIA/llreve/square_twice_safe.c-1_000.smt2 unknown 1354.65 1100.24 apollon037 eldarica-misc/LIA/llreve/barthe_merged_unsafe.c-1_000.smt2 unknown 1055.74 939.28 apollon145 eldarica-misc/LIA/llreve/loop_merged_safe.c-1_000.smt2 unknown 1349.82 1103.81 apollon075 eldarica-misc/LIA/llreve/loop3_safe.c-1_000.smt2 unknown 50.96 15.60 apollon048 eldarica-misc/LIA/llreve/loop_unswitching_safe.c-1_000.smt2 unknown 74.56 21.95 apollon157 eldarica-misc/LIA/llreve/simple-loop_merged_safe.c-1_000.smt2 true 609.41 265.34 apollon131 eldarica-misc/LIA/llreve/break_merged_safe.c-1_000.smt2 unknown 1404.96 1117.05 apollon086 eldarica-misc/LIA/llreve/barthe2-big2_safe.c-1_000.smt2 unknown 103.18 31.52 apollon152 eldarica-misc/LIA/llreve/nested-while_merged_unsafe.c-1_000.smt2 unknown 68.81 22.70 apollon003 eldarica-misc/LIA/llreve/square_twice_merged_safe.c-1_000.smt2 unknown 1018.03 918.92 apollon011 eldarica-misc/LIA/llreve/nested-while_safe.c-1_000.smt2 unknown 1361.79 1115.70 apollon107 eldarica-misc/LIA/llreve/barthe_merged_safe.c-1_000.smt2 unknown 1046.74 929.60 apollon120 eldarica-misc/LIA/llreve/barthe2-big_safe.c-1_000.smt2 unknown 70.38 22.05 apollon156 eldarica-misc/LIA/llreve/break_safe.c-1_000.smt2 unknown 1428.97 1113.61 apollon134 eldarica-misc/LIA/llreve/loop2_merged_safe.c-1_000.smt2 unknown 1349.58 1099.70 apollon030 eldarica-misc/LIA/llreve/nested-while_merged_safe.c-1_000.smt2 unknown 1220.35 1012.42 apollon128 eldarica-misc/LIA/llreve/barthe2_merged_safe.c-1_000.smt2 unknown 977.43 912.63 apollon081 eldarica-misc/LIA/llreve/digits10_inl_safe.c-1_000.smt2 false 88.18 22.79 apollon155 eldarica-misc/LIA/llreve/barthe2-big2_merged_safe.c-1_000.smt2 unknown 1350.73 1106.36 apollon093 eldarica-misc/LIA/llreve/while_after_while_if_merged_safe.c-1_000.smt2 true 612.13 265.26 apollon109 eldarica-misc/LIA/llreve/bug15_safe.c-1_000.smt2 true 269.12 82.55 apollon156 eldarica-misc/LIA/llreve/loop3_merged_safe.c-1_000.smt2 true 610.48 265.23 apollon036 eldarica-misc/LIA/llreve/while_after_while_if_safe.c-1_000.smt2 unknown 86.16 25.25 apollon128 eldarica-misc/LIA/llreve/square_twice_safe_weaved.c-1_000.smt2 unknown 1355.11 1100.45 apollon067 eldarica-misc/LIA/llreve/loop5_merged_unsafe.c-1_000.smt2 unknown 48.93 15.40 apollon112 eldarica-misc/LIA/llreve/simple-loop_safe.c-1_000.smt2 unknown 46.79 15.06 apollon097 eldarica-misc/LIA/llreve/upcount_safe.c-1_000.smt2 unknown 1348.43 1102.97 apollon090 eldarica-misc/LIA/reve/014c-horn_000.smt2 unknown 1194.81 992.91 apollon012 eldarica-misc/LIA/reve/026-horn_000.smt2 unknown 82.07 24.03 apollon041 eldarica-misc/LIA/reve/007-horn_000.smt2 unknown 92.54 25.00 apollon148 eldarica-misc/LIA/reve/019b-horn_000.smt2 unknown 179.68 51.27 apollon062 eldarica-misc/LIA/reve/016b-horn_000.smt2 unknown 981.78 911.17 apollon080 eldarica-misc/LIA/reve/010b-horn_000.smt2 unknown 1021.85 919.65 apollon112 eldarica-misc/LIA/reve/013-horn_000.smt2 unknown 1023.14 925.65 apollon074 eldarica-misc/LIA/reve/003c-horn_000.smt2 unknown 1124.54 941.20 apollon027 eldarica-misc/LIA/reve/007b-horn_000.smt2 unknown 98.54 25.95 apollon163 eldarica-misc/LIA/reve/024b-horn_000.smt2 unknown 1046.21 938.81 apollon099 eldarica-misc/LIA/reve/011c-horn_000.smt2 false 30.85 8.89 apollon086 eldarica-misc/LIA/reve/003b-horn_000.smt2 unknown 1005.78 913.61 apollon035 eldarica-misc/LIA/reve/014-horn_000.smt2 unknown 148.36 59.44 apollon156 eldarica-misc/LIA/reve/020b-horn_000.smt2 unknown 185.63 48.87 apollon030 eldarica-misc/LIA/reve/015-horn_000.smt2 unknown 1011.95 916.62 apollon057 eldarica-misc/LIA/reve/020-horn_000.smt2 unknown 156.74 40.26 apollon112 eldarica-misc/LIA/reve/010-horn_000.smt2 unknown 979.19 911.24 apollon131 eldarica-misc/LIA/reve/008b-horn_000.smt2 unknown 1105.23 939.30 apollon020 eldarica-misc/LIA/reve/008-horn_000.smt2 unknown 1028.49 929.55 apollon131 eldarica-misc/LIA/reve/011-horn_000.smt2 unknown 1043.41 917.60 apollon046 eldarica-misc/LIA/reve/002c-horn_000.smt2 unknown 67.65 21.19 apollon136 eldarica-misc/LIA/reve/027b-horn_000.smt2 unknown 1010.86 916.76 apollon130 eldarica-misc/LIA/reve/025b-horn_000.smt2 unknown 1367.48 1115.04 apollon160 eldarica-misc/LIA/reve/002d-horn_000.smt2 unknown 67.43 21.47 apollon100 eldarica-misc/LIA/reve/012d-horn_000.smt2 unknown 51.03 15.29 apollon098 eldarica-misc/LIA/reve/019-horn_000.smt2 unknown 155.56 44.63 apollon007 eldarica-misc/LIA/reve/015b-horn_000.smt2 unknown 1015.65 917.58 apollon093 eldarica-misc/LIA/reve/009-horn_000.smt2 unknown 1106.19 931.93 apollon038 eldarica-misc/LIA/reve/012b-horn_000.smt2 unknown 1350.33 1104.99 apollon056 eldarica-misc/LIA/reve/026b-horn_000.smt2 unknown 83.48 23.71 apollon168 eldarica-misc/LIA/reve/014d-horn_000.smt2 unknown 1198.34 994.86 apollon062 eldarica-misc/LIA/reve/016-horn_000.smt2 unknown 975.79 909.71 apollon129 eldarica-misc/LIA/reve/004b-horn_000.smt2 unknown 990.11 921.07 apollon164 eldarica-misc/LIA/reve/003d-horn_000.smt2 unknown 1132.07 943.46 apollon139 eldarica-misc/LIA/reve/018-horn_000.smt2 unknown 1095.42 940.30 apollon119 eldarica-misc/LIA/reve/020c-horn_000.smt2 unknown 98.67 30.08 apollon043 eldarica-misc/LIA/reve/017b-horn_000.smt2 unknown 979.98 910.09 apollon026 eldarica-misc/LIA/reve/023b-horn_000.smt2 unknown 968.53 905.50 apollon093 eldarica-misc/LIA/reve/012c-horn_000.smt2 unknown 49.01 14.78 apollon051 eldarica-misc/LIA/reve/025c-horn_000.smt2 unknown 1350.05 1101.29 apollon156 eldarica-misc/LIA/reve/025d-horn_000.smt2 unknown 1350.02 1101.15 apollon147 eldarica-misc/LIA/reve/004-horn_000.smt2 unknown 1037.20 922.12 apollon048 eldarica-misc/LIA/reve/020d-horn_000.smt2 unknown 74.96 19.78 apollon058 eldarica-misc/LIA/reve/011b-horn_000.smt2 unknown 1043.21 918.46 apollon095 eldarica-misc/LIA/reve/002b-horn_000.smt2 unknown 1007.83 917.79 apollon136 eldarica-misc/LIA/reve/024-horn_000.smt2 unknown 1046.67 936.03 apollon082 eldarica-misc/LIA/reve/012-horn_000.smt2 unknown 1349.20 1104.37 apollon012 eldarica-misc/LIA/reve/023-horn_000.smt2 unknown 968.68 903.77 apollon073 eldarica-misc/LIA/reve/027-horn_000.smt2 unknown 1011.37 915.34 apollon037 eldarica-misc/LIA/reve/018b-horn_000.smt2 unknown 1083.36 937.96 apollon100 eldarica-misc/LIA/reve/017-horn_000.smt2 unknown 979.52 910.76 apollon018 eldarica-misc/LIA/reve/013b-horn_000.smt2 unknown 1026.86 925.29 apollon057 eldarica-misc/LIA/reve/011d-horn_000.smt2 false 30.62 8.93 apollon109 eldarica-misc/LIA/reve/002-horn_000.smt2 unknown 1012.13 918.45 apollon055 eldarica-misc/LIA/reve/025-horn_000.smt2 unknown 1367.71 1114.55 apollon155 eldarica-misc/LIA/reve/009b-horn_000.smt2 unknown 1115.68 933.09 apollon132 eldarica-misc/LIA/reve/003-horn_000.smt2 unknown 1006.91 913.73 apollon136 eldarica-misc/LIA/reve/014b-horn_000.smt2 unknown 145.69 59.37 apollon058 eldarica-misc/LIA/HOLA/17.c_000.smt2 unknown 1349.46 1099.63 apollon127 eldarica-misc/LIA/HOLA/27.c_000.smt2 unknown 1351.89 1105.77 apollon036 eldarica-misc/LIA/HOLA/18.c_000.smt2 unknown 1375.32 1096.81 apollon050 eldarica-misc/LIA/HOLA/34.c_000.smt2 unknown 1384.12 1101.02 apollon107 eldarica-misc/LIA/HOLA/41.c_000.smt2 unknown 1359.58 1100.38 apollon122 eldarica-misc/LIA/HOLA/21.c_000.smt2 unknown 1438.53 1108.77 apollon061 eldarica-misc/LIA/HOLA/06.c_000.smt2 unknown 971.26 529.44 apollon045 eldarica-misc/LIA/HOLA/09.c_000.smt2 unknown 900.24 638.23 apollon128 eldarica-misc/LIA/HOLA/05.c_000.smt2 unknown 581.40 279.27 apollon135 eldarica-misc/LIA/HOLA/10.c_000.smt2 unknown 893.45 544.70 apollon060 eldarica-misc/LIA/HOLA/33.c_000.smt2 unknown 1108.78 736.31 apollon109 eldarica-misc/LIA/HOLA/43.c_000.smt2 unknown 1351.13 1105.95 apollon040 eldarica-misc/LIA/HOLA/35.c_000.smt2 unknown 1039.22 929.92 apollon124 eldarica-misc/LIA/HOLA/44.c_000.smt2 unknown 1360.29 1096.84 apollon042 eldarica-misc/LIA/HOLA/13.c_000.smt2 unknown 568.81 272.07 apollon013 eldarica-misc/LIA/HOLA/22.c_000.smt2 unknown 594.30 289.92 apollon112 eldarica-misc/LIA/HOLA/37.c_000.smt2 unknown 1374.31 1104.03 apollon113 eldarica-misc/LIA/HOLA/42.c_000.smt2 unknown 762.92 485.93 apollon161 eldarica-misc/LIA/HOLA/02.c_000.smt2 unknown 621.72 308.05 apollon086 eldarica-misc/LIA/HOLA/46.c_000.smt2 unknown 595.85 291.35 apollon120 eldarica-misc/LIA/HOLA/07.c_000.smt2 unknown 1392.56 1110.97 apollon106 eldarica-misc/LIA/HOLA/31.c_000.smt2 unknown 976.09 911.49 apollon034 eldarica-misc/LIA/HOLA/32.c_000.smt2 unknown 1409.03 1105.46 apollon026 eldarica-misc/LIA/HOLA/25.c_000.smt2 unknown 1415.14 1109.99 apollon058 eldarica-misc/LIA/HOLA/19.c_000.smt2 unknown 1364.53 1107.01 apollon112 eldarica-misc/LIA/HOLA/14.c_000.smt2 unknown 1380.93 1109.35 apollon003 eldarica-misc/LIA/HOLA/30.c_000.smt2 unknown 1279.95 1037.18 apollon054 eldarica-misc/LIA/HOLA/12.c_000.smt2 unknown 1362.83 1092.02 apollon120 eldarica-misc/LIA/HOLA/08.c_000.smt2 unknown 942.58 635.80 apollon050 eldarica-misc/LIA/HOLA/24.c_000.smt2 unknown 1351.88 1106.08 apollon038 eldarica-misc/LIA/HOLA/26.c_000.smt2 unknown 1283.84 801.46 apollon153 eldarica-misc/LIA/HOLA/20.c_000.smt2 unknown 1365.27 1100.49 apollon116 eldarica-misc/LIA/HOLA/01.c_000.smt2 unknown 268.78 103.69 apollon131 eldarica-misc/LIA/HOLA/04.c_000.smt2 unknown 948.95 907.53 apollon043 eldarica-misc/LIA/HOLA/16.c_000.smt2 unknown 1355.14 1097.41 apollon040 eldarica-misc/LIA/HOLA/28.c_000.smt2 unknown 1404.20 1108.64 apollon146 eldarica-misc/LIA/HOLA/11.c_000.smt2 unknown 1350.54 1096.40 apollon071 eldarica-misc/LIA/HOLA/36.c_000.smt2 unknown 1512.99 1122.96 apollon135 eldarica-misc/LIA/HOLA/38.c_000.smt2 unknown 1383.46 1099.88 apollon132 eldarica-misc/LIA/HOLA/39.c_000.smt2 unknown 1352.79 1104.93 apollon025 eldarica-misc/LIA/HOLA/45.c_000.smt2 unknown 1504.60 1127.13 apollon147 eldarica-misc/LIA/HOLA/40.c_000.smt2 unknown 695.54 359.13 apollon116 eldarica-misc/LIA/HOLA/23.c_000.smt2 unknown 1055.20 931.26 apollon066 eldarica-misc/LIA/HOLA/03.c_000.smt2 unknown 1002.75 920.63 apollon161 eldarica-misc/LIA/HOLA/15.c_000.smt2 unknown 727.84 673.54 apollon144 eldarica-misc/LIA/HOLA/29.c_000.smt2 unknown 821.98 480.06 apollon091 llreve-bench/smt2/loop__nested-while_000.smt2 unknown 1078.25 937.98 apollon027 llreve-bench/smt2/loop__fib_000.smt2 unknown 973.49 909.38 apollon069 llreve-bench/smt2/loop__loop_000.smt2 unknown 975.49 909.75 apollon049 llreve-bench/smt2/loop__digits10_inl_000.smt2 true 351.59 90.40 apollon135 llreve-bench/smt2/loop__barthe2-big_000.smt2 true 611.96 265.37 apollon017 llreve-bench/smt2/loop__upcount_000.smt2 true 231.83 70.04 apollon148 llreve-bench/smt2/loop__break_000.smt2 unknown 1017.60 914.20 apollon075 llreve-bench/smt2/loop__while-if_000.smt2 unknown 117.59 33.35 apollon126 llreve-bench/smt2/faulty__barthe!_000.smt2 unknown 1069.75 964.20 apollon161 llreve-bench/smt2/loop__loop3_000.smt2 true 235.17 70.66 apollon156 llreve-bench/smt2/loop__barthe2_000.smt2 true 236.08 70.79 apollon063 llreve-bench/smt2/loop__loop_unswitching_000.smt2 unknown 1018.39 918.32 apollon002 llreve-bench/smt2/loop__break_single_000.smt2 true 235.79 70.83 apollon152 llreve-bench/smt2/loop__barthe2-big2_000.smt2 true 611.38 265.33 apollon013 llreve-bench/smt2/loop__barthe_000.smt2 unknown 984.52 911.62 apollon018 llreve-bench/smt2/loop__barthe2-big3_000.smt2 unknown 1475.99 1121.19 apollon027 llreve-bench/smt2/loop__loop2_000.smt2 true 234.82 70.60 apollon128 llreve-bench/smt2/loop__simple-loop_000.smt2 true 228.01 69.79 apollon004 llreve-bench/smt2/faulty__nested-while!_000.smt2 unknown 64.33 19.20 apollon043 llreve-bench/smt2/loop__bug15_000.smt2 true 228.97 69.75 apollon089 llreve-bench/smt2/loop__while_after_while_if_000.smt2 unknown 272.09 123.85 apollon039 llreve-bench/smt2/faulty__loop5!_000.smt2 unknown 71.95 18.72 apollon002 hopv/lia/mochi/intro2_000.smt2 unknown 67.73 17.92 apollon037 hopv/lia/mochi/neg1_000.smt2 unknown 69.70 20.65 apollon068 hopv/lia/mochi/sum4_000.smt2 unknown 68.49 18.29 apollon165 hopv/lia/mochi/sum_000.smt2 unknown 964.58 908.57 apollon156 hopv/lia/mochi/exception_000.smt2 true 43.28 10.60 apollon112 hopv/lia/mochi/fxx_000.smt2 true 41.90 10.62 apollon121 hopv/lia/mochi/enc-zip3_000.smt2 unknown 967.66 905.28 apollon105 hopv/lia/mochi/array_init_000.smt2 unknown 1347.76 1097.79 apollon117 hopv/lia/mochi/map_000.smt2 unknown 965.53 905.47 apollon108 hopv/lia/mochi/mult_000.smt2 unknown 966.78 910.26 apollon122 hopv/lia/mochi/intro3_000.smt2 unknown 64.52 17.39 apollon053 hopv/lia/mochi/sum2_000.smt2 unknown 64.78 17.28 apollon021 hopv/lia/mochi/intro1_000.smt2 unknown 63.78 17.67 apollon043 hopv/lia/mochi/exc-simple_000.smt2 true 43.34 10.67 apollon039 hopv/lia/mochi/sum3_000.smt2 unknown 66.27 17.96 apollon089 hopv/lia/mochi/enc-rev_accum_000.smt2 unknown 1003.18 914.89 apollon004 hopv/lia/fpice/inductive6_000.smt2 unknown 58.40 14.96 apollon114 hopv/lia/fpice/inductive2_000.smt2 true 230.47 70.09 apollon121 hopv/lia/fpice/inductive5_000.smt2 unknown 76.45 19.17 apollon164 hopv/lia/fpice/inductive4_000.smt2 unknown 126.80 38.12 apollon060 hopv/lia/fpice/inductive6-3_000.smt2 unknown 64.81 15.88 apollon024 hopv/lia/fpice/inductive6-2_000.smt2 unknown 62.54 15.67 apollon009 hopv/lia/fpice/inductive3_000.smt2 unknown 61.54 15.30 apollon129 hopv/lia/termination/Ackermann03_000.smt2 true 237.63 70.91 apollon135 hopv/lia/termination/alias_partial00_000.smt2 true 240.18 75.21 apollon082 hopv/lia/termination/append01_000.smt2 true 235.57 70.82 apollon042 hopv/lia/termination/CE-0CFA02_000.smt2 true 56.37 12.37 apollon016 hopv/lia/termination/McCarthy9101_000.smt2 true 229.35 69.92 apollon023 hopv/lia/termination/Ackermann00_000.smt2 true 45.94 10.97 apollon069 hopv/lia/termination/binomial01_000.smt2 true 237.33 70.78 apollon034 hopv/lia/termination/CE-1CFA07_000.smt2 unknown 97.73 27.52 apollon011 hopv/lia/termination/Fibonacci00_000.smt2 true 42.65 10.63 apollon090 hopv/lia/termination/Ackermann01_000.smt2 true 234.90 70.59 apollon002 hopv/lia/termination/alias_partial01_000.smt2 true 45.29 10.84 apollon119 hopv/lia/termination/CE-1CFA01_000.smt2 true 83.30 16.93 apollon165 hopv/lia/termination/CE-1CFA05_000.smt2 true 59.56 12.85 apollon168 hopv/lia/termination/zip01_000.smt2 true 233.12 70.54 apollon168 hopv/lia/termination/McCarthy9100_000.smt2 true 42.90 10.67 apollon089 hopv/lia/termination/binomial00_000.smt2 true 50.38 11.56 apollon164 hopv/lia/termination/CE-1CFA02_000.smt2 true 85.51 17.13 apollon157 hopv/lia/termination/append00_000.smt2 true 47.75 11.18 apollon039 hopv/lia/termination/CE-0CFA05_000.smt2 true 55.25 12.31 apollon152 hopv/lia/termination/alias_partial02_000.smt2 true 231.43 70.22 apollon147 hopv/lia/termination/CE-1CFA09_000.smt2 unknown 99.15 28.16 apollon068 hopv/lia/termination/CE-1CFA00_000.smt2 true 78.87 16.22 apollon016 hopv/lia/termination/binomial03_000.smt2 true 243.72 71.94 apollon040 hopv/lia/termination/zip00_000.smt2 true 44.97 11.07 apollon018 hopv/lia/termination/CE-0CFA01_000.smt2 true 58.55 12.73 apollon124 hopv/lia/termination/Fibonacci01_000.smt2 true 229.58 69.92 apollon071 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 8067.21 - Statistics: 1312 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1143