BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/theta.xml name: theta run sets: CHC-COMP2025_check-sat.LIA-Lin date: Tue, 2025-05-06 14:29:12 CEST tool: ThetaCHC 6.13.2 tool executable: ./chc 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 TIMEOUT 1800.51 1796.38 apollon145 aeval-benchmarks/multi-phase/s_split_27_000.smt2 TIMEOUT 1800.54 1796.22 apollon021 aeval-benchmarks/multi-phase/s_split_24_000.smt2 TIMEOUT 1800.56 1795.93 apollon113 aeval-benchmarks/multi-phase/s_split_39_000.smt2 TIMEOUT 1800.60 1794.64 apollon004 aeval-benchmarks/multi-phase/s_split_15_000.smt2 TIMEOUT 1800.50 1796.80 apollon160 aeval-benchmarks/multi-phase/s_split_03_000.smt2 TIMEOUT 1800.61 1795.06 apollon057 aeval-benchmarks/multi-phase/s_split_13_000.smt2 TIMEOUT 1800.58 1795.40 apollon010 aeval-benchmarks/multi-phase/s_split_30_000.smt2 TIMEOUT 1800.53 1796.37 apollon049 aeval-benchmarks/multi-phase/s_split_51_000.smt2 TIMEOUT 1800.68 1794.51 apollon060 aeval-benchmarks/multi-phase/s_split_34_000.smt2 TIMEOUT 1800.64 1795.07 apollon154 aeval-benchmarks/multi-phase/s_split_52_000.smt2 TIMEOUT 1800.62 1795.49 apollon094 aeval-benchmarks/multi-phase/s_split_29_000.smt2 TIMEOUT 1800.62 1795.09 apollon167 aeval-benchmarks/multi-phase/s_split_11_000.smt2 TIMEOUT 1800.54 1796.19 apollon080 aeval-benchmarks/multi-phase/s_split_09_000.smt2 TIMEOUT 1800.55 1795.64 apollon166 aeval-benchmarks/multi-phase/s_split_45_000.smt2 TIMEOUT 1800.58 1794.24 apollon016 aeval-benchmarks/multi-phase/s_split_46_000.smt2 TIMEOUT 1800.55 1795.17 apollon108 aeval-benchmarks/multi-phase/s_split_48_000.smt2 TIMEOUT 1800.58 1795.62 apollon019 aeval-benchmarks/multi-phase/s_split_44_000.smt2 TIMEOUT 1800.68 1795.10 apollon068 aeval-benchmarks/multi-phase/s_split_32_000.smt2 TIMEOUT 1800.60 1795.54 apollon002 aeval-benchmarks/multi-phase/s_split_08_000.smt2 TIMEOUT 1800.59 1795.32 apollon025 aeval-benchmarks/multi-phase/s_split_22_000.smt2 TIMEOUT 1800.60 1795.63 apollon150 aeval-benchmarks/multi-phase/s_split_28_000.smt2 TIMEOUT 1800.61 1794.90 apollon040 aeval-benchmarks/multi-phase/s_split_31_000.smt2 TIMEOUT 1800.63 1794.32 apollon094 aeval-benchmarks/multi-phase/s_split_21_000.smt2 TIMEOUT 1800.59 1794.71 apollon014 aeval-benchmarks/multi-phase/s_split_38_000.smt2 TIMEOUT 1800.64 1794.58 apollon011 aeval-benchmarks/multi-phase/s_split_01_000.smt2 TIMEOUT 1800.61 1795.26 apollon049 aeval-benchmarks/multi-phase/s_split_33_000.smt2 TIMEOUT 1800.60 1794.89 apollon104 aeval-benchmarks/multi-phase/s_split_10_000.smt2 TIMEOUT 1800.54 1796.00 apollon045 aeval-benchmarks/multi-phase/s_split_37_000.smt2 TIMEOUT 1800.59 1795.38 apollon159 aeval-benchmarks/multi-phase/s_split_06_000.smt2 TIMEOUT 1800.61 1793.77 apollon036 aeval-benchmarks/multi-phase/s_split_42_000.smt2 TIMEOUT 1800.60 1795.06 apollon017 aeval-benchmarks/multi-phase/s_split_23_000.smt2 true 3.00 1.07 apollon002 aeval-benchmarks/multi-phase/s_split_17_000.smt2 TIMEOUT 1800.59 1795.18 apollon013 aeval-benchmarks/multi-phase/s_split_20_000.smt2 TIMEOUT 1800.63 1795.32 apollon109 aeval-benchmarks/multi-phase/s_split_36_000.smt2 TIMEOUT 1800.62 1794.79 apollon032 aeval-benchmarks/multi-phase/s_split_54_000.smt2 TIMEOUT 1800.59 1795.60 apollon154 aeval-benchmarks/multi-phase/s_split_47_000.smt2 TIMEOUT 1800.57 1795.32 apollon135 aeval-benchmarks/multi-phase/s_split_25_000.smt2 true 15.83 13.82 apollon106 aeval-benchmarks/multi-phase/s_split_41_000.smt2 TIMEOUT 1800.61 1794.80 apollon082 aeval-benchmarks/multi-phase/s_split_50_000.smt2 TIMEOUT 1800.49 1796.96 apollon063 aeval-benchmarks/multi-phase/s_split_14_000.smt2 true 228.85 226.06 apollon046 aeval-benchmarks/multi-phase/s_split_12_000.smt2 TIMEOUT 1800.61 1794.95 apollon053 aeval-benchmarks/multi-phase/s_split_26_000.smt2 TIMEOUT 1800.60 1794.75 apollon027 aeval-benchmarks/multi-phase/s_split_16_000.smt2 TIMEOUT 1800.50 1796.76 apollon002 aeval-benchmarks/multi-phase/s_split_04_000.smt2 TIMEOUT 1800.62 1795.39 apollon017 aeval-benchmarks/multi-phase/s_split_19_000.smt2 TIMEOUT 1800.53 1796.22 apollon066 aeval-benchmarks/multi-phase/s_split_43_000.smt2 TIMEOUT 1800.58 1794.89 apollon070 aeval-benchmarks/multi-phase/s_split_35_000.smt2 TIMEOUT 1800.63 1795.63 apollon128 aeval-benchmarks/multi-phase/s_split_07_000.smt2 TIMEOUT 1800.62 1795.28 apollon037 aeval-benchmarks/multi-phase/s_split_49_000.smt2 TIMEOUT 1800.59 1794.92 apollon009 aeval-benchmarks/multi-phase/s_split_02_000.smt2 TIMEOUT 1800.62 1795.41 apollon098 aeval-benchmarks/multi-phase/s_split_40_000.smt2 TIMEOUT 1800.61 1794.64 apollon018 aeval-benchmarks/multi-phase/s_split_18_000.smt2 TIMEOUT 1800.53 1796.35 apollon039 aeval-benchmarks/multi-phase/s_split_05_000.smt2 TIMEOUT 1800.61 1795.02 apollon082 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e7_2886_000.smt2 false 7.16 1.98 apollon106 vmt-chc-benchmarks/lustre/car_6_e3_294_e5_979_000.smt2 false 6.98 2.13 apollon153 vmt-chc-benchmarks/lustre/metros_3_e4_1251_000.smt2 TIMEOUT 1800.58 1792.53 apollon035 vmt-chc-benchmarks/lustre/traffic_000.smt2 TIMEOUT 1800.58 1795.68 apollon130 vmt-chc-benchmarks/lustre/FIREFLY_4_000.smt2 TIMEOUT 1800.56 1791.97 apollon053 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e2_1026_000.smt2 false 4.73 1.48 apollon060 vmt-chc-benchmarks/lustre/car_5_e3_11_e5_24_000.smt2 false 6.15 1.96 apollon144 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e2_3395_000.smt2 TIMEOUT 1800.65 1792.52 apollon020 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e1_3755_000.smt2 TIMEOUT 1800.58 1791.61 apollon061 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e2_1492_000.smt2 TIMEOUT 1800.56 1792.30 apollon092 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e2_615_000.smt2 false 5.24 1.58 apollon021 vmt-chc-benchmarks/lustre/MESI_i4_e7_1017_e6_1132_000.smt2 TIMEOUT 1800.54 1792.55 apollon023 vmt-chc-benchmarks/lustre/car_4_e8_118_000.smt2 TIMEOUT 1800.57 1792.54 apollon102 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e7_3447_000.smt2 false 6.46 1.86 apollon007 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e2_2251_000.smt2 TIMEOUT 1800.56 1792.22 apollon120 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e1_1489_000.smt2 TIMEOUT 1800.56 1792.40 apollon007 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e2_2755_000.smt2 TIMEOUT 1800.58 1792.26 apollon074 vmt-chc-benchmarks/lustre/fast_1_e8_747_000.smt2 TIMEOUT 1800.67 1788.19 apollon018 vmt-chc-benchmarks/lustre/car_4_e3_57_e4_1047_000.smt2 TIMEOUT 1800.58 1791.93 apollon064 vmt-chc-benchmarks/lustre/DRAGON_10_000.smt2 TIMEOUT 1800.59 1791.61 apollon075 vmt-chc-benchmarks/lustre/rtp_2_000.smt2 TIMEOUT 1800.62 1790.61 apollon158 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e3_522_000.smt2 TIMEOUT 1800.60 1791.92 apollon124 vmt-chc-benchmarks/lustre/durationThm_3_e2_148_000.smt2 true 141.95 137.37 apollon097 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_000.smt2 false 6.61 1.95 apollon021 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_000.smt2 TIMEOUT 1800.52 1793.89 apollon158 vmt-chc-benchmarks/lustre/ticket3i_all_e3_557_e7_3464_000.smt2 TIMEOUT 1800.63 1791.20 apollon086 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e7_998_000.smt2 false 7.26 2.28 apollon163 vmt-chc-benchmarks/lustre/peterson_2_000.smt2 TIMEOUT 1800.57 1791.62 apollon079 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_1315_000.smt2 false 6.95 1.98 apollon116 vmt-chc-benchmarks/lustre/car_3_e2_695_000.smt2 TIMEOUT 1800.58 1791.95 apollon141 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e3_1915_000.smt2 TIMEOUT 1800.58 1791.87 apollon143 vmt-chc-benchmarks/lustre/car_2_e7_1027_e7_359_000.smt2 TIMEOUT 1800.57 1792.64 apollon134 vmt-chc-benchmarks/lustre/DRAGON_1_000.smt2 TIMEOUT 1800.61 1791.27 apollon160 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e3_4574_000.smt2 false 7.33 2.12 apollon140 vmt-chc-benchmarks/lustre/metros_5_000.smt2 false 461.97 455.42 apollon017 vmt-chc-benchmarks/lustre/ILLINOIS_a1_000.smt2 TIMEOUT 1800.59 1792.04 apollon089 vmt-chc-benchmarks/lustre/ILLINOIS_4_e7_2651_e7_2847_000.smt2 TIMEOUT 1800.63 1791.92 apollon014 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e3_422_000.smt2 TIMEOUT 1800.55 1792.61 apollon061 vmt-chc-benchmarks/lustre/DRAGON_10_e7_3861_e7_2180_000.smt2 false 6.75 2.08 apollon135 vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997_000.smt2 TIMEOUT 1800.57 1790.56 apollon134 vmt-chc-benchmarks/lustre/metros_3_e4_987_e3_291_000.smt2 false 1785.52 1778.06 apollon162 vmt-chc-benchmarks/lustre/DRAGON_8_e3_786_000.smt2 TIMEOUT 1800.59 1790.05 apollon003 vmt-chc-benchmarks/lustre/peterson_all_000.smt2 TIMEOUT 1800.58 1791.20 apollon071 vmt-chc-benchmarks/lustre/ticket3i_5_e7_3307_000.smt2 TIMEOUT 1800.61 1791.41 apollon074 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_000.smt2 TIMEOUT 1800.56 1791.61 apollon030 vmt-chc-benchmarks/lustre/DRAGON_all_000.smt2 TIMEOUT 1800.56 1791.48 apollon019 vmt-chc-benchmarks/lustre/DRAGON_9_000.smt2 TIMEOUT 1800.60 1790.72 apollon168 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e1_1486_000.smt2 false 6.56 1.87 apollon133 vmt-chc-benchmarks/lustre/swimmingpool_9_000.smt2 false 19.33 13.23 apollon053 vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e2_3135_000.smt2 TIMEOUT 1800.55 1791.53 apollon158 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e7_341_000.smt2 false 8.11 2.74 apollon051 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_000.smt2 TIMEOUT 1800.57 1791.40 apollon005 vmt-chc-benchmarks/lustre/MESI_3_000.smt2 TIMEOUT 1800.54 1793.50 apollon038 vmt-chc-benchmarks/lustre/hysteresis_all_000.smt2 TIMEOUT 1800.62 1792.51 apollon081 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e2_158_000.smt2 TIMEOUT 1800.56 1791.72 apollon156 vmt-chc-benchmarks/lustre/rtp_vt_000.smt2 TIMEOUT 1800.53 1792.14 apollon025 vmt-chc-benchmarks/lustre/MESI_4_e7_1140_e7_433_000.smt2 TIMEOUT 1800.63 1791.92 apollon156 vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e7_1864_000.smt2 false 7.39 2.07 apollon139 vmt-chc-benchmarks/lustre/MOESI_2_e2_155_000.smt2 TIMEOUT 1800.65 1791.95 apollon017 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e3_511_000.smt2 TIMEOUT 1800.55 1791.97 apollon017 vmt-chc-benchmarks/lustre/speed2_e8_449_000.smt2 true 1334.88 1328.95 apollon118 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e1_6205_000.smt2 TIMEOUT 1800.56 1791.74 apollon097 vmt-chc-benchmarks/lustre/FIREFLY_8_000.smt2 TIMEOUT 1800.61 1791.19 apollon139 vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e4_4421_000.smt2 TIMEOUT 1800.55 1791.82 apollon028 vmt-chc-benchmarks/lustre/MOESI_2_e8_101_000.smt2 TIMEOUT 1800.65 1792.07 apollon046 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e6_2476_000.smt2 TIMEOUT 1800.53 1793.01 apollon062 vmt-chc-benchmarks/lustre/FIREFLY_10_e7_919_e2_3192_000.smt2 TIMEOUT 1800.61 1792.48 apollon090 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e4_165_000.smt2 true 141.45 136.75 apollon128 vmt-chc-benchmarks/lustre/ticket3i_7_e7_3176_000.smt2 TIMEOUT 1800.65 1791.06 apollon055 vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5322_000.smt2 false 7.23 2.08 apollon095 vmt-chc-benchmarks/lustre/MESI_i4_e6_2175_000.smt2 TIMEOUT 1800.53 1793.25 apollon151 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e6_2281_000.smt2 TIMEOUT 1800.55 1792.68 apollon070 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e7_3738_000.smt2 false 6.13 1.83 apollon135 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e3_2055_000.smt2 false 7.04 2.03 apollon105 vmt-chc-benchmarks/lustre/DRAGON_10_e1_998_000.smt2 TIMEOUT 1800.59 1791.20 apollon037 vmt-chc-benchmarks/lustre/FIREFLY_2_e2_3244_e3_1305_000.smt2 false 6.90 1.97 apollon109 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e2_2673_000.smt2 TIMEOUT 1800.56 1792.46 apollon150 vmt-chc-benchmarks/lustre/ILLINOIS_5_000.smt2 TIMEOUT 1800.63 1790.88 apollon015 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e1_556_000.smt2 false 10.84 5.52 apollon040 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e1_1128_000.smt2 false 4.75 1.45 apollon119 vmt-chc-benchmarks/lustre/speed_e7_207_e8_507_000.smt2 TIMEOUT 1800.58 1793.04 apollon149 vmt-chc-benchmarks/lustre/DRAGON_all_e7_4065_000.smt2 false 7.21 2.07 apollon162 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e7_1173_000.smt2 false 6.25 1.86 apollon100 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e4_232_000.smt2 false 395.24 388.69 apollon039 vmt-chc-benchmarks/lustre/MESI_i1_e4_1986_000.smt2 false 5.15 1.57 apollon068 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e1_768_000.smt2 TIMEOUT 1800.56 1792.77 apollon003 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e7_3594_000.smt2 TIMEOUT 1800.60 1791.28 apollon013 vmt-chc-benchmarks/lustre/SYNAPSE_5_000.smt2 TIMEOUT 1800.54 1793.38 apollon162 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e7_3681_000.smt2 TIMEOUT 1800.55 1793.02 apollon020 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e5_3248_000.smt2 TIMEOUT 1800.56 1792.93 apollon147 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e5_260_000.smt2 TIMEOUT 1800.63 1792.49 apollon165 vmt-chc-benchmarks/lustre/metros_1_e1_846_e2_1394_000.smt2 TIMEOUT 1800.58 1791.69 apollon166 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e3_2660_000.smt2 false 6.81 2.10 apollon157 vmt-chc-benchmarks/lustre/car_6_e3_294_e3_47_000.smt2 false 6.61 2.08 apollon119 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e7_2326_000.smt2 false 8.08 2.30 apollon135 vmt-chc-benchmarks/lustre/DRAGON_all2_e8_5504_e7_579_000.smt2 false 7.45 2.17 apollon075 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_000.smt2 TIMEOUT 1800.57 1791.88 apollon155 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e2_1352_000.smt2 TIMEOUT 1800.53 1793.43 apollon060 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e6_1459_000.smt2 TIMEOUT 1800.55 1792.39 apollon133 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e5_3642_000.smt2 TIMEOUT 1800.56 1791.16 apollon001 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e8_320_000.smt2 TIMEOUT 1800.53 1794.10 apollon148 vmt-chc-benchmarks/lustre/peterson_3_000.smt2 TIMEOUT 1800.56 1791.74 apollon135 vmt-chc-benchmarks/lustre/FIREFLY_rt_000.smt2 TIMEOUT 1800.57 1792.29 apollon103 vmt-chc-benchmarks/lustre/FIREFLY_luke_5_000.smt2 TIMEOUT 1800.56 1792.98 apollon146 vmt-chc-benchmarks/lustre/FIREFLY_5_000.smt2 TIMEOUT 1800.61 1791.63 apollon114 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e2_2392_000.smt2 TIMEOUT 1800.56 1792.59 apollon031 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e2_1923_000.smt2 TIMEOUT 1800.56 1792.70 apollon101 vmt-chc-benchmarks/lustre/car_all_e3_1068_000.smt2 false 4.82 1.62 apollon100 vmt-chc-benchmarks/lustre/MOESI_2_e3_1523_000.smt2 TIMEOUT 1800.61 1792.40 apollon164 vmt-chc-benchmarks/lustre/ticket3i_all_000.smt2 TIMEOUT 1800.58 1790.93 apollon077 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e8_1334_000.smt2 TIMEOUT 1800.61 1791.33 apollon027 vmt-chc-benchmarks/lustre/DRAGON_13_e3_1418_e3_2761_000.smt2 TIMEOUT 1800.60 1791.56 apollon086 vmt-chc-benchmarks/lustre/ticket3i_2_000.smt2 TIMEOUT 1800.65 1791.45 apollon031 vmt-chc-benchmarks/lustre/fast_1_000.smt2 TIMEOUT 1800.66 1788.73 apollon116 vmt-chc-benchmarks/lustre/MESI_1_e2_162_e7_1545_000.smt2 TIMEOUT 1800.60 1792.13 apollon079 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e6_2061_000.smt2 TIMEOUT 1800.56 1791.99 apollon008 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_000.smt2 TIMEOUT 1800.64 1790.70 apollon071 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e3_1549_000.smt2 false 6.84 1.90 apollon133 vmt-chc-benchmarks/lustre/_6counters_e3_140_e8_149_000.smt2 TIMEOUT 1800.78 1788.37 apollon030 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e7_3042_e3_1213_000.smt2 TIMEOUT 1800.58 1792.40 apollon140 vmt-chc-benchmarks/lustre/speed2_000.smt2 TIMEOUT 1800.58 1793.72 apollon042 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_000.smt2 TIMEOUT 1800.54 1793.47 apollon097 vmt-chc-benchmarks/lustre/car_all_e2_142_e7_209_000.smt2 TIMEOUT 1800.57 1792.33 apollon018 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e1_1852_000.smt2 false 4.83 1.44 apollon150 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e1_2375_000.smt2 false 7.11 2.36 apollon059 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e1_3182_000.smt2 TIMEOUT 1800.62 1792.29 apollon073 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e7_1262_000.smt2 TIMEOUT 1800.54 1793.55 apollon023 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e4_958_000.smt2 false 6.89 2.17 apollon016 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_000.smt2 false 7.08 2.06 apollon035 vmt-chc-benchmarks/lustre/_6counters_000.smt2 false 3.97 1.52 apollon086 vmt-chc-benchmarks/lustre/cd_000.smt2 TIMEOUT 1800.63 1793.72 apollon125 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e1_154_000.smt2 false 7.00 1.95 apollon132 vmt-chc-benchmarks/lustre/DRAGON_8_e3_786_e7_4541_000.smt2 TIMEOUT 1800.57 1791.77 apollon041 vmt-chc-benchmarks/lustre/DRAGON_11_e2_1678_e1_3565_000.smt2 TIMEOUT 1800.55 1792.02 apollon137 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e1_946_000.smt2 TIMEOUT 1800.63 1792.12 apollon136 vmt-chc-benchmarks/lustre/DRAGON_3_000.smt2 TIMEOUT 1800.56 1791.60 apollon155 vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e7_3516_000.smt2 TIMEOUT 1800.63 1790.98 apollon001 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_000.smt2 false 7.69 2.40 apollon055 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e3_2294_000.smt2 false 5.82 1.71 apollon113 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e7_193_000.smt2 false 5.06 1.63 apollon012 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e2_617_000.smt2 TIMEOUT 1800.57 1792.96 apollon153 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_000.smt2 TIMEOUT 1800.56 1792.91 apollon154 vmt-chc-benchmarks/lustre/MOESI_2_e7_2910_e7_1804_000.smt2 false 6.02 1.82 apollon017 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e2_138_000.smt2 TIMEOUT 1800.57 1791.82 apollon090 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_000.smt2 TIMEOUT 1800.63 1792.63 apollon078 vmt-chc-benchmarks/lustre/Gas_000.smt2 TIMEOUT 1800.63 1793.37 apollon164 vmt-chc-benchmarks/lustre/SYNAPSE_1_000.smt2 TIMEOUT 1800.56 1792.94 apollon104 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e8_1167_000.smt2 TIMEOUT 1800.61 1792.40 apollon041 vmt-chc-benchmarks/lustre/rtp_1_000.smt2 TIMEOUT 1800.61 1790.42 apollon123 vmt-chc-benchmarks/lustre/metros_2_e2_704_e1_389_000.smt2 false 10.75 4.91 apollon091 vmt-chc-benchmarks/lustre/metros_2_e2_704_e3_76_000.smt2 false 7.25 2.20 apollon085 vmt-chc-benchmarks/lustre/fast_2_000.smt2 TIMEOUT 1800.68 1787.77 apollon118 vmt-chc-benchmarks/lustre/DRAGON_2_000.smt2 TIMEOUT 1800.66 1791.07 apollon143 vmt-chc-benchmarks/lustre/ex3_e8_381_e8_477_000.smt2 true 1177.59 1171.75 apollon019 vmt-chc-benchmarks/lustre/car_4_e3_57_e6_784_000.smt2 TIMEOUT 1800.58 1791.73 apollon079 vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e8_3691_000.smt2 false 7.78 2.13 apollon134 vmt-chc-benchmarks/lustre/metros_3_e4_987_e2_80_000.smt2 TIMEOUT 1800.57 1792.27 apollon085 vmt-chc-benchmarks/lustre/metros_4_e5_1150_000.smt2 false 477.06 470.02 apollon153 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e8_1916_000.smt2 TIMEOUT 1800.63 1792.12 apollon138 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e5_2046_000.smt2 TIMEOUT 1800.59 1791.68 apollon125 vmt-chc-benchmarks/lustre/hysteresis_2_000.smt2 TIMEOUT 1800.61 1794.14 apollon075 vmt-chc-benchmarks/lustre/car_3_e7_626_e1_305_000.smt2 false 4.40 1.55 apollon168 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e2_1255_000.smt2 false 7.75 2.22 apollon056 vmt-chc-benchmarks/lustre/ticket3i_all_e2_1117_e7_553_000.smt2 TIMEOUT 1800.62 1791.13 apollon151 vmt-chc-benchmarks/lustre/durationThm_2_e1_118_000.smt2 TIMEOUT 1800.66 1794.07 apollon138 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e3_2970_000.smt2 TIMEOUT 1800.55 1792.60 apollon044 vmt-chc-benchmarks/lustre/car_4_e7_592_000.smt2 TIMEOUT 1800.58 1792.35 apollon079 vmt-chc-benchmarks/lustre/FIREFLY_2_e3_151_e3_1540_000.smt2 false 6.80 2.11 apollon152 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e3_1543_000.smt2 TIMEOUT 1800.55 1792.00 apollon109 vmt-chc-benchmarks/lustre/ex8_e7_74_e7_740_000.smt2 false 3.61 1.28 apollon134 vmt-chc-benchmarks/lustre/car_2_e8_491_e7_826_000.smt2 TIMEOUT 1800.58 1792.30 apollon019 vmt-chc-benchmarks/lustre/swimmingpool_1_e7_1621_000.smt2 false 7.38 2.19 apollon049 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e2_1058_000.smt2 TIMEOUT 1800.56 1792.07 apollon107 vmt-chc-benchmarks/lustre/car_all_e2_142_e8_194_000.smt2 TIMEOUT 1800.56 1792.65 apollon096 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e7_523_000.smt2 false 7.10 1.99 apollon159 vmt-chc-benchmarks/lustre/metros_2_e2_704_000.smt2 false 30.11 23.65 apollon133 vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997_e7_3613_e2_3409_000.smt2 TIMEOUT 1800.64 1790.49 apollon153 vmt-chc-benchmarks/lustre/ticket3i_7_e2_2724_e7_524_000.smt2 TIMEOUT 1800.63 1791.47 apollon034 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e8_1581_000.smt2 TIMEOUT 1800.53 1794.33 apollon161 vmt-chc-benchmarks/lustre/DRAGON_14_e1_2392_000.smt2 TIMEOUT 1800.55 1791.88 apollon162 vmt-chc-benchmarks/lustre/swimmingpool_4_000.smt2 false 7.40 2.19 apollon052 vmt-chc-benchmarks/lustre/durationThm_3_e1_36_e7_432_000.smt2 false 3.62 1.38 apollon086 vmt-chc-benchmarks/lustre/metros_1_e8_725_e3_556_000.smt2 TIMEOUT 1800.58 1792.58 apollon048 vmt-chc-benchmarks/lustre/MESI_all_000.smt2 TIMEOUT 1800.56 1792.12 apollon103 vmt-chc-benchmarks/lustre/DRAGON_8_000.smt2 TIMEOUT 1800.59 1790.79 apollon018 vmt-chc-benchmarks/lustre/car_5_e3_11_000.smt2 false 6.63 2.02 apollon010 vmt-chc-benchmarks/lustre/metros_1_000.smt2 TIMEOUT 1800.57 1792.50 apollon145 vmt-chc-benchmarks/lustre/car_6_e1_152_e1_391_000.smt2 TIMEOUT 1800.58 1791.08 apollon102 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e5_1637_000.smt2 false 6.50 1.87 apollon066 vmt-chc-benchmarks/lustre/metros_1_e2_1102_000.smt2 TIMEOUT 1800.58 1792.54 apollon065 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e8_1713_000.smt2 false 8.94 2.74 apollon039 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e3_2657_000.smt2 false 7.36 2.17 apollon022 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_all_000.smt2 TIMEOUT 1800.57 1792.96 apollon089 vmt-chc-benchmarks/lustre/DRAGON_8_e2_3896_e3_3125_000.smt2 TIMEOUT 1800.54 1792.33 apollon052 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e4_578_000.smt2 TIMEOUT 1800.63 1790.88 apollon141 vmt-chc-benchmarks/lustre/car_all_e8_856_000.smt2 TIMEOUT 1800.58 1792.42 apollon126 vmt-chc-benchmarks/lustre/DRAGON_14_e3_5120_000.smt2 TIMEOUT 1800.55 1792.17 apollon092 vmt-chc-benchmarks/lustre/SYNAPSE_6_000.smt2 TIMEOUT 1800.55 1792.96 apollon108 vmt-chc-benchmarks/lustre/DRAGON_5_e1_1835_000.smt2 TIMEOUT 1800.54 1792.44 apollon085 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e7_2614_000.smt2 false 6.31 1.83 apollon118 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_000.smt2 false 7.04 2.03 apollon075 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e7_1163_000.smt2 TIMEOUT 1800.61 1791.89 apollon010 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e5_846_000.smt2 TIMEOUT 1800.59 1792.83 apollon052 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e1_2678_000.smt2 TIMEOUT 1800.59 1791.58 apollon100 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_144_000.smt2 false 7.28 2.06 apollon017 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e3_135_000.smt2 false 5.30 1.62 apollon092 vmt-chc-benchmarks/lustre/MOESI_2_e1_1121_000.smt2 TIMEOUT 1800.61 1792.62 apollon128 vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e7_872_000.smt2 false 7.09 2.01 apollon003 vmt-chc-benchmarks/lustre/metros_1_e1_846_e3_1060_000.smt2 TIMEOUT 1800.57 1792.62 apollon021 vmt-chc-benchmarks/lustre/car_all_000.smt2 TIMEOUT 1800.59 1792.68 apollon093 vmt-chc-benchmarks/lustre/durationThm_2_e1_301_e7_64_000.smt2 false 3.21 1.15 apollon133 vmt-chc-benchmarks/lustre/DRAGON_3_e2_5343_e1_988_000.smt2 TIMEOUT 1800.56 1791.64 apollon136 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e7_1059_e8_1111_000.smt2 TIMEOUT 1800.53 1793.43 apollon033 vmt-chc-benchmarks/lustre/speed2_e8_449_e7_353_000.smt2 TIMEOUT 1800.61 1792.58 apollon056 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e7_1026_000.smt2 TIMEOUT 1800.63 1791.16 apollon069 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_000.smt2 false 7.38 2.06 apollon129 vmt-chc-benchmarks/lustre/durationThm_3_e1_36_000.smt2 false 3.28 1.38 apollon045 vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e1_505_000.smt2 TIMEOUT 1800.55 1791.94 apollon011 vmt-chc-benchmarks/lustre/ILLINOIS_all_e3_2354_e6_993_000.smt2 TIMEOUT 1800.54 1792.74 apollon144 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e8_3171_000.smt2 TIMEOUT 1800.66 1790.73 apollon140 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e8_1896_000.smt2 false 5.56 1.68 apollon132 vmt-chc-benchmarks/lustre/car_all_e3_1068_e3_163_000.smt2 false 4.20 1.31 apollon015 vmt-chc-benchmarks/lustre/metros_4_e1_917_000.smt2 false 408.10 401.10 apollon051 vmt-chc-benchmarks/lustre/ticket3i_6_e7_1096_e7_2688_000.smt2 TIMEOUT 1800.65 1791.04 apollon109 vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e3_1744_000.smt2 TIMEOUT 1800.60 1791.04 apollon034 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e3_1601_000.smt2 false 6.38 1.80 apollon165 vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e7_1466_000.smt2 false 7.55 2.13 apollon157 vmt-chc-benchmarks/lustre/swimmingpool_1_000.smt2 false 10.13 3.70 apollon111 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e7_1440_000.smt2 false 11.00 5.02 apollon001 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e2_753_000.smt2 false 4.81 1.56 apollon163 vmt-chc-benchmarks/lustre/car_4_e3_57_e7_350_000.smt2 false 4.44 1.46 apollon026 vmt-chc-benchmarks/lustre/ticket3i_4_e7_1775_e7_3320_000.smt2 TIMEOUT 1800.63 1791.72 apollon151 vmt-chc-benchmarks/lustre/MESI_3_e3_2584_000.smt2 TIMEOUT 1800.55 1792.09 apollon059 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e2_3308_000.smt2 TIMEOUT 1800.56 1791.70 apollon122 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e1_1759_000.smt2 TIMEOUT 1800.55 1791.68 apollon024 vmt-chc-benchmarks/lustre/metros_1_e1_846_e8_1253_000.smt2 TIMEOUT 1800.58 1791.82 apollon120 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e1_667_000.smt2 false 5.24 1.65 apollon056 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e1_2924_000.smt2 TIMEOUT 1800.58 1791.69 apollon091 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e5_1637_000.smt2 false 5.16 1.51 apollon106 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e3_1180_000.smt2 TIMEOUT 1800.53 1793.17 apollon147 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e3_2012_000.smt2 TIMEOUT 1800.56 1791.18 apollon159 vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1653_000.smt2 false 4.81 1.42 apollon003 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_000.smt2 false 6.72 1.91 apollon071 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e7_638_000.smt2 TIMEOUT 1800.53 1793.82 apollon057 vmt-chc-benchmarks/lustre/rtp_all_e7_2500_000.smt2 TIMEOUT 1800.56 1791.78 apollon050 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e3_1839_000.smt2 false 6.91 2.13 apollon017 vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e2_936_000.smt2 TIMEOUT 1800.59 1791.22 apollon033 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e1_1455_000.smt2 TIMEOUT 1800.56 1791.83 apollon140 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e1_1292_000.smt2 TIMEOUT 1800.54 1792.13 apollon124 vmt-chc-benchmarks/lustre/car_all_e3_1068_e4_275_000.smt2 TIMEOUT 1800.55 1792.87 apollon001 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e3_979_000.smt2 false 6.78 1.92 apollon163 vmt-chc-benchmarks/lustre/durationThm_1_e7_217_e7_31_000.smt2 false 3.27 1.21 apollon115 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e6_4484_000.smt2 TIMEOUT 1800.58 1791.69 apollon092 vmt-chc-benchmarks/lustre/DRAGON_11_e1_1117_e7_4950_000.smt2 false 7.13 2.08 apollon105 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e2_5340_000.smt2 false 7.79 2.23 apollon106 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e1_3277_000.smt2 false 6.70 2.08 apollon050 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e3_5316_000.smt2 TIMEOUT 1800.64 1790.72 apollon067 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e2_1145_000.smt2 TIMEOUT 1800.63 1790.84 apollon103 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2_e7_1068_e8_1019_000.smt2 TIMEOUT 1800.52 1794.05 apollon004 vmt-chc-benchmarks/lustre/_6counters_e8_371_e7_304_000.smt2 false 3.25 1.19 apollon060 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e3_5972_000.smt2 TIMEOUT 1800.65 1790.90 apollon089 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e2_5844_000.smt2 TIMEOUT 1800.63 1790.75 apollon066 vmt-chc-benchmarks/lustre/ILLINOIS_2_000.smt2 TIMEOUT 1800.66 1791.42 apollon097 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e3_2640_000.smt2 TIMEOUT 1800.63 1791.00 apollon124 vmt-chc-benchmarks/lustre/rtp_6_000.smt2 TIMEOUT 1800.56 1791.55 apollon039 vmt-chc-benchmarks/lustre/DRAGON_11_e2_5396_e3_282_000.smt2 TIMEOUT 1800.55 1792.23 apollon062 vmt-chc-benchmarks/lustre/car_6_e1_152_000.smt2 TIMEOUT 1800.57 1792.13 apollon045 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_000.smt2 false 6.96 2.03 apollon157 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e2_1375_e1_418_000.smt2 TIMEOUT 1800.57 1791.52 apollon137 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e7_685_000.smt2 false 6.88 1.97 apollon073 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_3191_e7_2146_000.smt2 false 6.16 1.75 apollon057 vmt-chc-benchmarks/lustre/ex8_e7_55_000.smt2 false 3.97 1.54 apollon112 vmt-chc-benchmarks/lustre/SYNAPSE_6_e7_938_e2_1012_000.smt2 TIMEOUT 1800.54 1794.00 apollon119 vmt-chc-benchmarks/lustre/car_5_e2_405_e8_1055_000.smt2 false 5.99 1.88 apollon154 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e4_34_000.smt2 false 4.96 1.59 apollon023 vmt-chc-benchmarks/lustre/MESI_i4_e1_1023_e8_2498_000.smt2 false 6.24 1.86 apollon081 vmt-chc-benchmarks/lustre/DRAGON_3_e3_3846_000.smt2 TIMEOUT 1800.55 1791.81 apollon090 vmt-chc-benchmarks/lustre/DRAGON_11_000.smt2 TIMEOUT 1800.56 1791.12 apollon152 vmt-chc-benchmarks/lustre/MOESI_all_000.smt2 TIMEOUT 1800.62 1791.95 apollon057 vmt-chc-benchmarks/lustre/car_1_e7_184_e3_299_000.smt2 TIMEOUT 1800.58 1793.55 apollon147 vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e3_2749_000.smt2 TIMEOUT 1800.59 1791.09 apollon037 vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e7_4699_000.smt2 false 7.93 2.22 apollon056 vmt-chc-benchmarks/lustre/ex3_000.smt2 TIMEOUT 1800.59 1793.18 apollon141 vmt-chc-benchmarks/lustre/car_1_000.smt2 TIMEOUT 1800.57 1792.20 apollon094 vmt-chc-benchmarks/lustre/car_3_e7_626_000.smt2 TIMEOUT 1800.59 1792.06 apollon012 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e3_389_000.smt2 false 6.81 2.02 apollon085 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e8_3031_000.smt2 TIMEOUT 1800.61 1791.14 apollon067 vmt-chc-benchmarks/lustre/car_all_e2_108_000.smt2 TIMEOUT 1800.57 1792.27 apollon008 vmt-chc-benchmarks/lustre/traffic_e7_46_e8_16_000.smt2 TIMEOUT 1800.59 1795.22 apollon007 vmt-chc-benchmarks/lustre/peterson_vt_000.smt2 false 9.45 3.27 apollon150 vmt-chc-benchmarks/lustre/metros_4_000.smt2 false 336.66 330.12 apollon012 vmt-chc-benchmarks/lustre/SYNAPSE_123_000.smt2 TIMEOUT 1800.56 1793.12 apollon056 vmt-chc-benchmarks/lustre/peterson_4_000.smt2 TIMEOUT 1800.56 1791.03 apollon008 vmt-chc-benchmarks/lustre/DRAGON_3_e7_3211_000.smt2 false 7.33 2.09 apollon134 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e4_2415_000.smt2 false 7.53 2.13 apollon125 vmt-chc-benchmarks/lustre/ticket3i_7_000.smt2 TIMEOUT 1800.58 1791.40 apollon132 vmt-chc-benchmarks/lustre/DRAGON_10_e3_3429_000.smt2 TIMEOUT 1800.60 1790.80 apollon122 vmt-chc-benchmarks/lustre/car_all_e3_1068_e6_790_000.smt2 TIMEOUT 1800.57 1793.23 apollon090 vmt-chc-benchmarks/lustre/ticket3i_1_e7_1669_000.smt2 TIMEOUT 1800.58 1792.44 apollon164 vmt-chc-benchmarks/lustre/car_all_e3_1068_e2_13_000.smt2 false 4.14 1.26 apollon105 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e3_495_000.smt2 false 5.56 1.61 apollon026 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e1_2319_000.smt2 false 5.44 1.64 apollon132 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e5_84_000.smt2 false 6.89 1.91 apollon103 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e6_500_000.smt2 false 5.16 1.56 apollon058 vmt-chc-benchmarks/lustre/MESI_i4_000.smt2 false 5.90 1.69 apollon085 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_000.smt2 false 6.75 1.89 apollon092 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e7_1882_000.smt2 false 6.84 1.93 apollon050 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e2_1053_000.smt2 false 5.15 1.53 apollon003 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e7_616_000.smt2 false 6.25 1.81 apollon118 vmt-chc-benchmarks/lustre/DRAGON_2_e1_2316_000.smt2 TIMEOUT 1800.68 1790.40 apollon092 vmt-chc-benchmarks/lustre/ex3_e7_590_e7_590_000.smt2 TIMEOUT 1800.61 1792.93 apollon107 vmt-chc-benchmarks/lustre/ex8_e8_220_e7_249_000.smt2 false 3.59 1.38 apollon045 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_2_000.smt2 TIMEOUT 1800.57 1792.65 apollon037 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e8_5719_000.smt2 TIMEOUT 1800.55 1791.94 apollon043 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e6_113_000.smt2 TIMEOUT 1800.58 1793.83 apollon032 vmt-chc-benchmarks/lustre/rtp_10_e7_106_e7_2564_000.smt2 TIMEOUT 1800.58 1791.00 apollon059 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e8_3915_000.smt2 TIMEOUT 1800.61 1791.60 apollon036 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_856_000.smt2 TIMEOUT 1800.55 1793.91 apollon057 vmt-chc-benchmarks/lustre/SYNAPSE_i1_000.smt2 false 4.47 1.45 apollon140 vmt-chc-benchmarks/lustre/rtp_all_000.smt2 TIMEOUT 1800.58 1792.22 apollon025 vmt-chc-benchmarks/lustre/ticket3i_6_000.smt2 TIMEOUT 1800.63 1791.32 apollon146 vmt-chc-benchmarks/lustre/swimmingpool_6_000.smt2 false 8.55 2.78 apollon053 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e7_1062_000.smt2 TIMEOUT 1800.54 1793.21 apollon056 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e3_1882_000.smt2 TIMEOUT 1800.57 1791.72 apollon106 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e3_4298_000.smt2 false 8.37 2.50 apollon042 vmt-chc-benchmarks/lustre/fast_2_e8_460_e8_1920_000.smt2 TIMEOUT 1800.70 1786.94 apollon086 vmt-chc-benchmarks/lustre/swimmingpool_7_000.smt2 false 10.25 3.71 apollon003 vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1350_e8_1354_000.smt2 false 4.70 1.40 apollon085 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e4_147_000.smt2 false 6.60 1.87 apollon081 vmt-chc-benchmarks/lustre/_6counters_e8_371_e1_448_000.smt2 TIMEOUT 1800.75 1789.02 apollon045 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e3_829_000.smt2 false 7.15 2.34 apollon157 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e3_2697_000.smt2 false 7.32 2.08 apollon120 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e7_2499_000.smt2 false 7.68 2.25 apollon051 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e2_2545_000.smt2 false 6.57 1.87 apollon114 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e1_1201_000.smt2 false 7.30 2.08 apollon079 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e6_1826_000.smt2 TIMEOUT 1800.56 1792.17 apollon023 vmt-chc-benchmarks/lustre/car_5_e3_11_e1_429_000.smt2 false 6.82 2.01 apollon139 vmt-chc-benchmarks/lustre/car_6_e2_893_000.smt2 false 6.45 1.99 apollon066 vmt-chc-benchmarks/lustre/MOESI_1_e3_1884_e7_1875_000.smt2 TIMEOUT 1800.60 1791.25 apollon021 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e3_1753_000.smt2 TIMEOUT 1800.57 1791.80 apollon127 vmt-chc-benchmarks/lustre/FIREFLY_10_000.smt2 TIMEOUT 1800.60 1791.35 apollon115 vmt-chc-benchmarks/lustre/metros_2_e1_1116_000.smt2 TIMEOUT 1800.56 1793.16 apollon138 vmt-chc-benchmarks/lustre/rtp_3_000.smt2 TIMEOUT 1800.58 1791.42 apollon129 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e7_1847_000.smt2 false 5.13 1.54 apollon055 vmt-chc-benchmarks/lustre/DRAGON_6_e7_5046_e7_3623_000.smt2 TIMEOUT 1800.59 1791.45 apollon028 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e3_1472_000.smt2 false 5.08 1.45 apollon014 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e2_1483_000.smt2 TIMEOUT 1800.55 1791.58 apollon146 vmt-chc-benchmarks/lustre/metros_4_e2_968_e6_236_000.smt2 false 19.66 14.19 apollon031 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e1_823_000.smt2 false 5.12 1.51 apollon043 vmt-chc-benchmarks/lustre/car_3_e1_586_000.smt2 false 4.85 1.45 apollon054 vmt-chc-benchmarks/lustre/ticket3i_7_e8_2126_e7_78_000.smt2 TIMEOUT 1800.62 1791.04 apollon116 vmt-chc-benchmarks/lustre/FIREFLY_11_e1_3457_000.smt2 TIMEOUT 1800.56 1792.24 apollon007 vmt-chc-benchmarks/lustre/ex3_e8_381_e7_224_000.smt2 TIMEOUT 1800.61 1792.58 apollon026 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e8_941_000.smt2 TIMEOUT 1800.54 1792.99 apollon167 vmt-chc-benchmarks/lustre/fast_1_e8_747_e8_1041_000.smt2 TIMEOUT 1800.72 1787.35 apollon126 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e1_6030_000.smt2 TIMEOUT 1800.56 1792.02 apollon044 vmt-chc-benchmarks/lustre/car_3_e8_33_e1_856_000.smt2 false 4.57 1.41 apollon120 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e8_1177_000.smt2 TIMEOUT 1800.62 1793.05 apollon107 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2229_000.smt2 TIMEOUT 1800.55 1792.69 apollon129 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e3_2021_000.smt2 false 6.06 1.85 apollon069 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e8_2325_000.smt2 false 5.19 1.64 apollon015 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_000.smt2 TIMEOUT 1800.61 1792.85 apollon127 vmt-chc-benchmarks/lustre/two_counters_e2_3_000.smt2 false 3.08 1.15 apollon109 vmt-chc-benchmarks/lustre/MESI_i1_e2_2656_000.smt2 false 5.46 1.70 apollon071 vmt-chc-benchmarks/lustre/car_6_e2_589_e3_349_000.smt2 false 6.10 1.82 apollon049 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e5_124_000.smt2 TIMEOUT 1800.62 1792.73 apollon163 vmt-chc-benchmarks/lustre/MESI_i1_000.smt2 false 5.15 1.59 apollon100 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e1_2644_000.smt2 TIMEOUT 1800.67 1790.89 apollon135 vmt-chc-benchmarks/lustre/ILLINOIS_4_000.smt2 TIMEOUT 1800.62 1791.86 apollon057 vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_1041_000.smt2 false 5.39 1.60 apollon116 vmt-chc-benchmarks/lustre/metros_2_e2_704_e7_810_000.smt2 false 10.20 3.92 apollon078 vmt-chc-benchmarks/lustre/durationThm_2_e2_206_e7_33_000.smt2 TIMEOUT 1800.59 1791.60 apollon060 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e3_2698_000.smt2 false 5.57 1.66 apollon063 vmt-chc-benchmarks/lustre/durationThm_3_e3_207_000.smt2 TIMEOUT 1800.62 1792.45 apollon016 vmt-chc-benchmarks/lustre/readwrit_000.smt2 TIMEOUT 1800.61 1790.21 apollon053 vmt-chc-benchmarks/lustre/FIREFLY_u1_e2_3403_e2_957_000.smt2 TIMEOUT 1800.55 1793.07 apollon132 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_000.smt2 TIMEOUT 1800.56 1791.77 apollon058 vmt-chc-benchmarks/lustre/swimmingpool_4_e7_2197_000.smt2 false 7.44 2.41 apollon020 vmt-chc-benchmarks/lustre/_6countern_000.smt2 false 3.00 1.12 apollon049 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_000.smt2 TIMEOUT 1800.63 1791.52 apollon046 vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606_e7_4891_000.smt2 false 8.91 3.04 apollon059 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e2_1853_000.smt2 TIMEOUT 1800.65 1791.75 apollon035 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e1_1979_000.smt2 false 7.58 2.32 apollon058 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e3_2607_000.smt2 TIMEOUT 1800.56 1791.40 apollon042 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e4_3719_000.smt2 TIMEOUT 1800.55 1791.94 apollon151 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e2_1767_000.smt2 false 6.81 1.92 apollon133 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e2_1815_000.smt2 false 5.84 1.73 apollon154 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e6_167_000.smt2 TIMEOUT 1800.58 1794.88 apollon003 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e3_961_000.smt2 TIMEOUT 1800.57 1793.03 apollon068 vmt-chc-benchmarks/lustre/SYNAPSE_all_000.smt2 TIMEOUT 1800.54 1793.51 apollon068 vmt-chc-benchmarks/lustre/traffic_e7_348_000.smt2 false 3.34 1.35 apollon131 vmt-chc-benchmarks/lustre/MESI_1_000.smt2 TIMEOUT 1800.58 1792.16 apollon078 vmt-chc-benchmarks/lustre/car_4_e7_592_e7_265_000.smt2 TIMEOUT 1800.58 1792.62 apollon131 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_000.smt2 TIMEOUT 1800.54 1792.05 apollon062 vmt-chc-benchmarks/lustre/car_6_e3_294_e1_956_000.smt2 false 6.35 1.95 apollon051 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e3_640_000.smt2 TIMEOUT 1800.59 1792.08 apollon123 vmt-chc-benchmarks/lustre/ILLINOIS_all_000.smt2 TIMEOUT 1800.54 1792.83 apollon052 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e1_5832_000.smt2 false 7.96 2.29 apollon130 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_000.smt2 TIMEOUT 1800.57 1792.80 apollon085 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e7_394_000.smt2 TIMEOUT 1800.61 1793.19 apollon095 vmt-chc-benchmarks/lustre/metros_1_e1_846_e1_1317_000.smt2 TIMEOUT 1800.58 1792.63 apollon154 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_3758_000.smt2 false 6.82 1.97 apollon146 vmt-chc-benchmarks/lustre/FIREFLY_2_e7_1776_e2_3202_000.smt2 false 6.84 1.97 apollon022 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e1_1303_000.smt2 TIMEOUT 1800.59 1789.99 apollon168 vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302_000.smt2 false 4.93 1.53 apollon066 vmt-chc-benchmarks/lustre/car_5_e2_405_e7_1028_000.smt2 false 6.25 1.87 apollon109 vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e7_2443_000.smt2 false 7.72 2.28 apollon093 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e8_2560_000.smt2 TIMEOUT 1800.64 1791.98 apollon047 vmt-chc-benchmarks/lustre/DRAGON_all2_000.smt2 TIMEOUT 1800.56 1791.03 apollon030 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e7_1597_000.smt2 false 6.03 1.81 apollon091 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e1_1145_000.smt2 TIMEOUT 1800.55 1792.12 apollon061 vmt-chc-benchmarks/lustre/fast_2_e7_2526_e7_2736_000.smt2 false 5.75 1.64 apollon138 vmt-chc-benchmarks/lustre/ex8_e8_220_000.smt2 false 3.45 1.18 apollon128 vmt-chc-benchmarks/lustre/FIREFLY_all_000.smt2 TIMEOUT 1800.56 1792.81 apollon144 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e1_3123_000.smt2 false 6.81 1.97 apollon051 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e7_1962_000.smt2 false 5.84 1.67 apollon094 vmt-chc-benchmarks/lustre/fast_1_e7_1035_000.smt2 false 5.28 1.59 apollon146 vmt-chc-benchmarks/lustre/durationThm_1_e2_3_000.smt2 TIMEOUT 1800.54 1793.06 apollon004 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1692_000.smt2 TIMEOUT 1800.68 1791.57 apollon040 vmt-chc-benchmarks/lustre/Gas_e7_435_e8_532_000.smt2 TIMEOUT 1800.66 1792.90 apollon028 vmt-chc-benchmarks/lustre/cd_e7_621_e7_669_000.smt2 false 5.33 1.93 apollon103 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e4_1791_000.smt2 TIMEOUT 1800.56 1791.59 apollon143 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_974_000.smt2 TIMEOUT 1800.61 1792.54 apollon036 vmt-chc-benchmarks/lustre/car_4_e8_118_e7_178_000.smt2 TIMEOUT 1800.58 1792.17 apollon134 vmt-chc-benchmarks/lustre/rtp_7_000.smt2 TIMEOUT 1800.57 1791.43 apollon058 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e8_1769_000.smt2 TIMEOUT 1800.64 1792.21 apollon114 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e2_2893_000.smt2 TIMEOUT 1800.62 1791.38 apollon046 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_1_000.smt2 TIMEOUT 1800.58 1792.99 apollon003 vmt-chc-benchmarks/lustre/durationThm_3_e2_63_e7_21_000.smt2 true 159.62 155.10 apollon054 vmt-chc-benchmarks/lustre/two_counters_e1_268_000.smt2 false 3.02 1.15 apollon007 vmt-chc-benchmarks/lustre/ticket3i_1_000.smt2 TIMEOUT 1800.58 1792.08 apollon070 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e7_1607_000.smt2 false 6.73 2.00 apollon010 vmt-chc-benchmarks/lustre/swimmingpool_2_000.smt2 false 5.63 1.78 apollon031 vmt-chc-benchmarks/lustre/car_3_e8_33_000.smt2 TIMEOUT 1800.59 1792.15 apollon116 vmt-chc-benchmarks/lustre/car_6_000.smt2 TIMEOUT 1800.53 1792.71 apollon059 vmt-chc-benchmarks/lustre/speed_e7_207_000.smt2 TIMEOUT 1800.60 1793.64 apollon039 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e7_3528_000.smt2 false 8.62 2.71 apollon108 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e7_2291_000.smt2 false 7.74 2.18 apollon066 vmt-chc-benchmarks/lustre/rtp_10_000.smt2 TIMEOUT 1800.56 1791.54 apollon038 vmt-chc-benchmarks/lustre/metros_4_e2_968_e2_1166_000.smt2 TIMEOUT 1800.58 1791.83 apollon108 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e2_1561_000.smt2 false 6.78 1.98 apollon046 vmt-chc-benchmarks/lustre/metros_4_e2_968_e4_801_000.smt2 false 307.11 300.05 apollon163 vmt-chc-benchmarks/lustre/ILLINOIS_3_000.smt2 TIMEOUT 1800.55 1791.95 apollon004 vmt-chc-benchmarks/lustre/MESI_i1_e4_1986_e1_1519_000.smt2 false 6.01 1.79 apollon163 vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e1_2288_000.smt2 TIMEOUT 1800.55 1791.88 apollon047 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e3_271_000.smt2 false 5.09 1.49 apollon040 vmt-chc-benchmarks/lustre/ex3_e7_590_000.smt2 TIMEOUT 1800.61 1792.81 apollon108 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_000.smt2 TIMEOUT 1800.58 1791.39 apollon106 vmt-chc-benchmarks/lustre/durationThm_1_000.smt2 TIMEOUT 1800.60 1794.57 apollon126 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e3_3628_000.smt2 TIMEOUT 1800.56 1791.50 apollon106 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e7_3856_000.smt2 false 7.33 2.10 apollon111 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e1_667_000.smt2 false 7.27 2.18 apollon047 vmt-chc-benchmarks/lustre/ticket3i_all_e8_505_e7_2450_000.smt2 TIMEOUT 1800.62 1790.99 apollon122 vmt-chc-benchmarks/lustre/fast_2_e8_460_000.smt2 TIMEOUT 1800.70 1787.36 apollon073 vmt-chc-benchmarks/lustre/rtp_8_000.smt2 TIMEOUT 1800.56 1791.72 apollon001 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e5_1826_000.smt2 TIMEOUT 1800.64 1791.70 apollon132 vmt-chc-benchmarks/lustre/car_2_000.smt2 TIMEOUT 1800.58 1792.28 apollon016 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e3_3946_000.smt2 false 7.45 2.46 apollon023 vmt-chc-benchmarks/lustre/car_4_e8_118_e3_514_000.smt2 false 4.75 1.42 apollon093 vmt-chc-benchmarks/lustre/durationThm_2_e7_145_e7_154_000.smt2 false 3.43 1.16 apollon138 vmt-chc-benchmarks/lustre/durationThm_2_e7_145_000.smt2 false 3.81 1.23 apollon138 vmt-chc-benchmarks/lustre/car_4_e3_57_e5_999_000.smt2 false 4.28 1.46 apollon051 vmt-chc-benchmarks/lustre/car_all_e7_188_e7_743_000.smt2 TIMEOUT 1800.57 1793.28 apollon010 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e3_507_000.smt2 TIMEOUT 1800.52 1794.06 apollon071 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e6_1336_000.smt2 TIMEOUT 1800.55 1793.43 apollon081 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e4_897_000.smt2 false 7.48 2.24 apollon094 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_000.smt2 false 7.51 2.21 apollon048 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2_000.smt2 TIMEOUT 1800.52 1793.86 apollon041 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e7_906_000.smt2 false 6.21 1.75 apollon098 vmt-chc-benchmarks/lustre/metros_3_000.smt2 TIMEOUT 1800.58 1792.60 apollon145 vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907_000.smt2 TIMEOUT 1800.54 1792.79 apollon167 vmt-chc-benchmarks/lustre/SYNAPSE_6_e3_1666_e5_1558_000.smt2 TIMEOUT 1800.55 1793.56 apollon123 vmt-chc-benchmarks/lustre/car_3_000.smt2 TIMEOUT 1800.58 1792.56 apollon044 vmt-chc-benchmarks/lustre/car_5_e7_244_000.smt2 TIMEOUT 1800.52 1793.33 apollon006 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e1_1675_000.smt2 false 4.79 1.45 apollon157 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e7_1043_000.smt2 TIMEOUT 1800.61 1792.15 apollon008 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e7_1826_e8_126_000.smt2 TIMEOUT 1800.57 1791.85 apollon054 vmt-chc-benchmarks/lustre/MOESI_2_000.smt2 TIMEOUT 1800.63 1791.62 apollon006 vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e8_2138_000.smt2 TIMEOUT 1800.65 1791.56 apollon009 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e7_619_000.smt2 false 5.65 1.66 apollon104 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e2_562_000.smt2 false 6.65 1.93 apollon108 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1303_000.smt2 false 4.35 1.38 apollon150 vmt-chc-benchmarks/lustre/rtp_5_000.smt2 TIMEOUT 1800.58 1791.02 apollon013 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_1375_000.smt2 false 5.07 1.50 apollon006 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e7_1817_000.smt2 false 6.50 1.96 apollon111 vmt-chc-benchmarks/lustre/DRAGON_8_e7_3752_000.smt2 TIMEOUT 1800.57 1791.42 apollon145 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e5_4006_000.smt2 false 6.64 1.87 apollon051 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_748_000.smt2 TIMEOUT 1800.55 1792.72 apollon138 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2077_000.smt2 false 7.10 2.12 apollon003 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e3_3117_000.smt2 false 6.92 2.08 apollon097 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e5_1536_000.smt2 TIMEOUT 1800.55 1791.89 apollon043 vmt-chc-benchmarks/lustre/SYNAPSE_2_000.smt2 TIMEOUT 1800.60 1793.28 apollon095 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e4_294_000.smt2 TIMEOUT 1800.53 1793.81 apollon068 vmt-chc-benchmarks/lustre/DRAGON_12_e7_4611_e8_5145_000.smt2 TIMEOUT 1800.57 1792.26 apollon052 vmt-chc-benchmarks/lustre/ILLINOIS_5_e7_692_e7_2865_000.smt2 TIMEOUT 1800.64 1791.60 apollon157 vmt-chc-benchmarks/lustre/DRAGON_all_e2_1514_000.smt2 TIMEOUT 1800.57 1791.06 apollon157 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e8_5861_000.smt2 false 7.60 2.21 apollon051 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e7_251_000.smt2 false 5.23 1.66 apollon091 vmt-chc-benchmarks/lustre/FIREFLY_11_000.smt2 TIMEOUT 1800.56 1791.93 apollon166 vmt-chc-benchmarks/lustre/SYNAPSE_5_e7_1138_e8_809_000.smt2 TIMEOUT 1800.55 1793.65 apollon125 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e1_1565_000.smt2 false 6.64 1.88 apollon045 vmt-chc-benchmarks/lustre/ticket3i_4_000.smt2 TIMEOUT 1800.62 1791.35 apollon129 vmt-chc-benchmarks/lustre/SYNAPSE_2_e7_790_e8_1344_000.smt2 TIMEOUT 1800.60 1792.52 apollon096 vmt-chc-benchmarks/lustre/durationThm_3_e7_334_e7_118_000.smt2 false 3.27 1.15 apollon119 vmt-chc-benchmarks/lustre/MESI_3_e1_2517_e8_2163_000.smt2 TIMEOUT 1800.55 1792.02 apollon093 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_000.smt2 false 4.54 1.40 apollon051 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e1_5434_000.smt2 TIMEOUT 1800.62 1791.72 apollon073 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e4_1717_000.smt2 false 5.10 1.64 apollon154 vmt-chc-benchmarks/lustre/swimmingpool_5_000.smt2 false 8.16 2.41 apollon086 vmt-chc-benchmarks/lustre/peterson_1_000.smt2 TIMEOUT 1800.57 1790.75 apollon147 vmt-chc-benchmarks/lustre/FIREFLY_9_e7_170_e3_3647_000.smt2 TIMEOUT 1800.58 1791.93 apollon040 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e3_977_000.smt2 false 5.10 1.66 apollon089 vmt-chc-benchmarks/lustre/car_5_e3_11_e7_693_000.smt2 false 7.02 2.21 apollon136 vmt-chc-benchmarks/lustre/hysteresis_3_000.smt2 TIMEOUT 1800.60 1793.77 apollon080 vmt-chc-benchmarks/lustre/MESI_i3_000.smt2 false 5.16 1.54 apollon107 vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907_e7_1363_000.smt2 TIMEOUT 1800.53 1793.67 apollon116 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e7_1264_000.smt2 TIMEOUT 1800.67 1790.72 apollon063 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e2_2670_000.smt2 false 7.10 2.00 apollon097 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e3_1216_000.smt2 false 5.38 1.61 apollon102 vmt-chc-benchmarks/lustre/SYNAPSE_6_e2_1439_e1_954_000.smt2 TIMEOUT 1800.54 1793.58 apollon161 vmt-chc-benchmarks/lustre/metros_4_e2_968_e7_860_000.smt2 false 383.60 377.64 apollon100 vmt-chc-benchmarks/lustre/car_4_e3_556_000.smt2 false 4.58 1.54 apollon074 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e1_317_000.smt2 TIMEOUT 1800.57 1792.78 apollon067 vmt-chc-benchmarks/lustre/rtp_5_e7_3972_000.smt2 TIMEOUT 1800.59 1790.59 apollon036 vmt-chc-benchmarks/lustre/metros_4_e2_968_e3_931_000.smt2 TIMEOUT 1800.59 1791.57 apollon120 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e2_454_000.smt2 TIMEOUT 1800.57 1792.77 apollon105 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e2_2131_000.smt2 false 6.76 1.97 apollon020 vmt-chc-benchmarks/lustre/FIREFLY_a3_000.smt2 TIMEOUT 1800.56 1792.00 apollon055 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e6_2707_000.smt2 TIMEOUT 1800.66 1792.38 apollon065 vmt-chc-benchmarks/lustre/car_2_e7_1027_e1_1047_000.smt2 TIMEOUT 1800.60 1792.24 apollon088 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_1192_000.smt2 false 7.23 2.21 apollon086 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_1713_000.smt2 TIMEOUT 1800.55 1792.38 apollon051 vmt-chc-benchmarks/lustre/DRAGON_all2_e8_4626_000.smt2 false 7.63 2.12 apollon034 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e1_1331_000.smt2 false 4.97 1.56 apollon137 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e1_268_e7_501_000.smt2 TIMEOUT 1800.62 1790.69 apollon103 vmt-chc-benchmarks/lustre/DRAGON_5_e3_1503_e7_1879_000.smt2 false 7.72 2.24 apollon102 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e2_1098_000.smt2 false 5.33 1.59 apollon152 vmt-chc-benchmarks/lustre/MESI_4_000.smt2 TIMEOUT 1800.57 1791.87 apollon125 vmt-chc-benchmarks/lustre/ticket3i_5_000.smt2 TIMEOUT 1800.58 1791.44 apollon124 vmt-chc-benchmarks/lustre/DRAGON_4_e3_4133_000.smt2 TIMEOUT 1800.58 1791.06 apollon071 vmt-chc-benchmarks/lustre/MESI_i3_e1_2143_000.smt2 false 5.69 1.64 apollon119 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e1_1270_000.smt2 false 4.95 1.53 apollon026 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e7_410_000.smt2 TIMEOUT 1800.61 1793.00 apollon116 vmt-chc-benchmarks/lustre/fast_2_e7_1871_000.smt2 false 6.17 1.87 apollon116 vmt-chc-benchmarks/lustre/metros_3_e3_1117_000.smt2 TIMEOUT 1800.59 1792.29 apollon140 vmt-chc-benchmarks/lustre/metros_1_e7_1255_e7_12_000.smt2 TIMEOUT 1800.59 1792.51 apollon148 vmt-chc-benchmarks/lustre/car_all_e8_856_e3_180_000.smt2 false 4.14 1.33 apollon035 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e8_4841_000.smt2 TIMEOUT 1800.59 1791.69 apollon081 vmt-chc-benchmarks/lustre/car_4_000.smt2 TIMEOUT 1800.63 1790.92 apollon152 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e6_1569_000.smt2 TIMEOUT 1800.56 1792.96 apollon012 vmt-chc-benchmarks/lustre/speed_e8_136_000.smt2 true 1165.03 1159.53 apollon054 vmt-chc-benchmarks/lustre/MESI_i4_e4_1689_000.smt2 false 6.31 1.95 apollon006 vmt-chc-benchmarks/lustre/ILLINOIS_1_000.smt2 TIMEOUT 1800.58 1791.56 apollon145 vmt-chc-benchmarks/lustre/ILLINOIS_r4a_000.smt2 TIMEOUT 1800.77 1791.80 apollon033 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e5_2554_000.smt2 false 5.97 1.75 apollon102 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e1_3235_000.smt2 TIMEOUT 1800.56 1792.84 apollon013 vmt-chc-benchmarks/lustre/FIREFLY_3_000.smt2 TIMEOUT 1800.57 1791.70 apollon080 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e7_572_000.smt2 TIMEOUT 1800.58 1792.35 apollon121 vmt-chc-benchmarks/lustre/FIREFLY_all_e7_1909_000.smt2 false 6.40 1.84 apollon054 vmt-chc-benchmarks/lustre/DRAGON_4_000.smt2 TIMEOUT 1800.58 1792.11 apollon047 vmt-chc-benchmarks/lustre/durationThm_2_e2_206_000.smt2 TIMEOUT 1800.59 1791.35 apollon027 vmt-chc-benchmarks/lustre/ticket3i_7_e3_59_e7_2122_000.smt2 TIMEOUT 1800.63 1791.15 apollon127 vmt-chc-benchmarks/lustre/DRAGON_4_e1_4312_000.smt2 TIMEOUT 1800.58 1791.32 apollon069 vmt-chc-benchmarks/lustre/speed2_e7_223_e7_213_000.smt2 TIMEOUT 1800.61 1792.55 apollon050 vmt-chc-benchmarks/lustre/car_3_e8_33_e7_220_000.smt2 TIMEOUT 1800.58 1792.38 apollon142 vmt-chc-benchmarks/lustre/cd_e7_621_e8_714_000.smt2 TIMEOUT 1800.67 1793.01 apollon099 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e7_4732_000.smt2 false 6.86 1.98 apollon095 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e1_2383_000.smt2 false 5.61 1.67 apollon078 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_000.smt2 TIMEOUT 1800.56 1791.07 apollon120 vmt-chc-benchmarks/lustre/metros_2_000.smt2 TIMEOUT 1800.55 1792.79 apollon063 vmt-chc-benchmarks/lustre/durationThm_2_000.smt2 TIMEOUT 1800.65 1793.80 apollon149 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e2_3220_000.smt2 TIMEOUT 1800.56 1792.77 apollon123 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_1_000.smt2 false 4.74 1.54 apollon003 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e1_2305_000.smt2 TIMEOUT 1800.60 1791.36 apollon119 vmt-chc-benchmarks/lustre/SYNAPSE_6_e8_1147_e2_1326_000.smt2 TIMEOUT 1800.54 1793.43 apollon043 vmt-chc-benchmarks/lustre/DRAGON_14_e3_1259_e1_5798_000.smt2 TIMEOUT 1800.56 1791.50 apollon156 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e7_358_000.smt2 TIMEOUT 1800.61 1792.78 apollon016 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_000.smt2 TIMEOUT 1800.56 1792.04 apollon119 vmt-chc-benchmarks/lustre/durationThm_1_e2_3_e7_336_000.smt2 TIMEOUT 1800.53 1793.43 apollon143 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e1_1510_000.smt2 false 5.60 1.78 apollon067 vmt-chc-benchmarks/lustre/SYNAPSE_4_000.smt2 TIMEOUT 1800.58 1793.38 apollon059 vmt-chc-benchmarks/lustre/DRAGON_10_e2_402_000.smt2 TIMEOUT 1800.60 1791.19 apollon109 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e1_5887_000.smt2 TIMEOUT 1800.55 1791.58 apollon093 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e7_2194_000.smt2 false 6.12 1.99 apollon112 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e1_1130_000.smt2 false 6.72 1.92 apollon036 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e7_1119_000.smt2 false 5.98 1.78 apollon103 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e7_3371_000.smt2 false 6.65 1.92 apollon164 vmt-chc-benchmarks/lustre/MOESI_all_e3_2032_e3_2788_000.smt2 false 5.85 1.75 apollon138 vmt-chc-benchmarks/lustre/car_all_e1_388_000.smt2 false 4.28 1.47 apollon143 vmt-chc-benchmarks/lustre/car_3_e8_33_e2_1010_000.smt2 TIMEOUT 1800.60 1791.67 apollon014 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_000.smt2 TIMEOUT 1800.55 1792.17 apollon024 vmt-chc-benchmarks/lustre/speed_e7_207_e7_538_000.smt2 TIMEOUT 1800.61 1792.93 apollon105 vmt-chc-benchmarks/lustre/car_all_e3_1068_e5_882_000.smt2 false 4.28 1.46 apollon095 vmt-chc-benchmarks/lustre/MESI_i1_e3_188_000.smt2 false 5.17 1.54 apollon152 vmt-chc-benchmarks/lustre/car_all_e1_618_e3_303_000.smt2 false 4.45 1.34 apollon005 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e6_128_000.smt2 TIMEOUT 1800.66 1794.52 apollon055 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e2_698_000.smt2 false 6.34 1.86 apollon089 vmt-chc-benchmarks/lustre/MESI_2_000.smt2 TIMEOUT 1800.55 1792.47 apollon020 vmt-chc-benchmarks/lustre/metros_2_e2_704_e2_13_000.smt2 TIMEOUT 1800.57 1792.72 apollon124 vmt-chc-benchmarks/lustre/car_all_e3_1068_e1_178_000.smt2 false 4.87 1.61 apollon071 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e1_1318_000.smt2 TIMEOUT 1800.55 1792.29 apollon158 vmt-chc-benchmarks/lustre/metros_1_e7_606_000.smt2 TIMEOUT 1800.58 1792.61 apollon067 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e7_529_000.smt2 TIMEOUT 1800.58 1792.37 apollon153 vmt-chc-benchmarks/lustre/durationThm_3_000.smt2 TIMEOUT 1800.57 1795.23 apollon053 vmt-chc-benchmarks/lustre/car_5_e2_405_e3_473_000.smt2 false 5.82 1.76 apollon101 vmt-chc-benchmarks/lustre/ex8_000.smt2 false 3.47 1.18 apollon028 vmt-chc-benchmarks/lustre/car_6_e2_589_e2_506_000.smt2 false 6.16 1.96 apollon005 vmt-chc-benchmarks/lustre/traffic_e7_46_e7_171_000.smt2 false 3.69 1.36 apollon048 vmt-chc-benchmarks/lustre/DRAGON_1_e3_11891_e7_4569_e4_4881_000.smt2 TIMEOUT 1800.61 1791.62 apollon049 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e2_236_000.smt2 false 4.90 1.81 apollon021 vmt-chc-benchmarks/lustre/DRAGON_1_e1_3184_000.smt2 TIMEOUT 1800.61 1791.27 apollon016 vmt-chc-benchmarks/lustre/DRAGON_12_000.smt2 TIMEOUT 1800.57 1791.77 apollon034 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e3_287_000.smt2 false 7.28 2.31 apollon162 vmt-chc-benchmarks/lustre/two_counters_e7_222_000.smt2 false 3.21 1.36 apollon046 vmt-chc-benchmarks/lustre/two_counters_e3_325_000.smt2 false 3.00 1.09 apollon116 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e2_3580_000.smt2 TIMEOUT 1800.66 1790.31 apollon114 vmt-chc-benchmarks/lustre/speed_e8_649_e7_709_000.smt2 TIMEOUT 1800.63 1792.77 apollon115 vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302_e1_1141_000.smt2 false 5.49 1.62 apollon140 vmt-chc-benchmarks/lustre/hysteresis_1_000.smt2 TIMEOUT 1800.59 1793.34 apollon060 vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e8_5957_000.smt2 false 8.00 2.29 apollon046 vmt-chc-benchmarks/lustre/metros_1_e1_846_e7_397_000.smt2 TIMEOUT 1800.58 1792.19 apollon142 vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e1_1852_000.smt2 TIMEOUT 1800.57 1791.94 apollon133 vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e7_961_000.smt2 false 5.47 1.68 apollon074 vmt-chc-benchmarks/lustre/metros_2_e3_112_000.smt2 false 41.79 35.94 apollon101 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e2_237_000.smt2 false 5.06 1.56 apollon008 vmt-chc-benchmarks/lustre/rtp_9_000.smt2 TIMEOUT 1800.56 1792.09 apollon007 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e2_267_000.smt2 TIMEOUT 1800.56 1791.76 apollon093 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e4_164_000.smt2 TIMEOUT 1800.58 1792.65 apollon098 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_000.smt2 TIMEOUT 1800.66 1790.42 apollon161 vmt-chc-benchmarks/lustre/FIREFLY_6_e3_686_e6_2964_000.smt2 TIMEOUT 1800.57 1792.34 apollon088 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e7_3491_000.smt2 false 6.23 1.74 apollon028 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e1_725_000.smt2 false 6.47 1.83 apollon011 vmt-chc-benchmarks/lustre/durationThm_1_e3_173_000.smt2 TIMEOUT 1800.62 1793.71 apollon121 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e1_3998_000.smt2 false 8.00 2.52 apollon088 vmt-chc-benchmarks/lustre/FIREFLY_u1_e7_3318_000.smt2 false 7.03 2.02 apollon040 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_425_000.smt2 TIMEOUT 1800.54 1793.59 apollon152 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e7_2728_000.smt2 false 6.18 1.77 apollon063 vmt-chc-benchmarks/lustre/two_counters_000.smt2 true 3.22 1.31 apollon104 vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5406_e7_6697_000.smt2 false 7.53 2.13 apollon089 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_000.smt2 TIMEOUT 1800.55 1793.02 apollon162 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e3_2931_000.smt2 false 6.45 1.92 apollon046 vmt-chc-benchmarks/lustre/rtp_4_000.smt2 TIMEOUT 1800.57 1791.24 apollon098 vmt-chc-benchmarks/lustre/FIREFLY_luke_3_000.smt2 TIMEOUT 1800.56 1791.71 apollon026 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e4_1_000.smt2 TIMEOUT 1800.59 1791.75 apollon065 vmt-chc-benchmarks/lustre/durationThm_3_e7_201_000.smt2 false 3.53 1.25 apollon115 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e3_1191_000.smt2 false 4.45 1.40 apollon165 vmt-chc-benchmarks/lustre/swimmingpool_8_000.smt2 false 11.08 4.64 apollon053 vmt-chc-benchmarks/lustre/metros_4_e2_968_e5_991_000.smt2 false 389.02 382.32 apollon116 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e8_1525_000.smt2 TIMEOUT 1800.58 1792.76 apollon082 vmt-chc-benchmarks/lustre/DRAGON_14_000.smt2 TIMEOUT 1800.55 1791.01 apollon032 vmt-chc-benchmarks/lustre/speed2_e8_449_e8_517_000.smt2 true 1183.60 1177.26 apollon075 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e3_941_000.smt2 false 6.92 1.96 apollon075 vmt-chc-benchmarks/lustre/car_5_000.smt2 TIMEOUT 1800.52 1793.58 apollon062 vmt-chc-benchmarks/lustre/metros_1_e8_1567_000.smt2 TIMEOUT 1800.58 1792.88 apollon098 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e1_2667_000.smt2 false 5.38 1.61 apollon005 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e2_2653_e7_4370_000.smt2 TIMEOUT 1800.62 1790.49 apollon015 vmt-chc-benchmarks/lustre/SYNAPSE_3_000.smt2 TIMEOUT 1800.53 1794.14 apollon001 vmt-chc-benchmarks/lustre/durationThm_1_e7_12_000.smt2 false 3.40 1.18 apollon164 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e3_2330_000.smt2 TIMEOUT 1800.55 1791.53 apollon064 vmt-chc-benchmarks/lustre/speed2_e7_223_000.smt2 TIMEOUT 1800.62 1792.79 apollon125 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e1_541_000.smt2 false 6.71 1.88 apollon105 vmt-chc-benchmarks/lustre/FIREFLY_6_e2_3302_000.smt2 TIMEOUT 1800.53 1793.07 apollon003 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e7_1665_000.smt2 false 5.51 1.65 apollon162 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e2_943_000.smt2 TIMEOUT 1800.59 1792.17 apollon056 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_000.smt2 TIMEOUT 1800.62 1790.76 apollon130 vmt-chc-benchmarks/lustre/car_all_e8_856_e1_217_000.smt2 false 4.32 1.46 apollon049 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_000.smt2 false 6.20 1.78 apollon059 vmt-chc-benchmarks/lustre/peterson_1_e7_4234_000.smt2 TIMEOUT 1800.61 1790.26 apollon080 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e2_1089_000.smt2 TIMEOUT 1800.56 1791.44 apollon054 vmt-chc-benchmarks/lustre/DRAGON_5_000.smt2 TIMEOUT 1800.59 1791.11 apollon045 vmt-chc-benchmarks/lustre/FIREFLY_1_000.smt2 TIMEOUT 1800.64 1791.42 apollon163 vmt-chc-benchmarks/lustre/ticket3i_all_e7_1837_000.smt2 TIMEOUT 1800.63 1791.81 apollon021 vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_518_e8_922_000.smt2 false 5.63 1.68 apollon102 vmt-chc-benchmarks/lustre/fast_1_e7_2044_e8_1396_000.smt2 TIMEOUT 1800.66 1788.52 apollon106 vmt-chc-benchmarks/lustre/ex3_e8_120_000.smt2 true 1271.26 1265.68 apollon062 vmt-chc-benchmarks/lustre/car_5_e7_244_e1_823_000.smt2 TIMEOUT 1800.58 1792.65 apollon111 vmt-chc-benchmarks/lustre/DRAGON_6_000.smt2 TIMEOUT 1800.61 1790.91 apollon066 vmt-chc-benchmarks/lustre/DRAGON_7_000.smt2 TIMEOUT 1800.58 1790.96 apollon009 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e2_846_000.smt2 TIMEOUT 1800.56 1791.88 apollon034 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e2_5774_000.smt2 TIMEOUT 1800.56 1791.72 apollon153 vmt-chc-benchmarks/lustre/car_5_e2_405_e2_1083_000.smt2 false 6.70 1.95 apollon032 vmt-chc-benchmarks/lustre/FIREFLY_2_000.smt2 TIMEOUT 1800.56 1791.68 apollon166 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_000.smt2 false 8.82 2.87 apollon075 vmt-chc-benchmarks/lustre/MESI_i4_e4_1689_e8_290_000.smt2 false 6.62 1.90 apollon062 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_000.smt2 false 8.53 2.57 apollon118 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e3_1928_000.smt2 false 6.94 1.95 apollon045 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e2_676_000.smt2 false 6.86 1.91 apollon094 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_195_000.smt2 false 6.70 1.97 apollon049 vmt-chc-benchmarks/lustre/swimmingpool_3_000.smt2 false 6.56 1.85 apollon049 vmt-chc-benchmarks/lustre/MOESI_1_000.smt2 TIMEOUT 1800.57 1792.29 apollon044 vmt-chc-benchmarks/lustre/MOESI_2_e7_2607_000.smt2 false 5.40 1.69 apollon116 vmt-chc-benchmarks/lustre/MESI_i1_e2_1758_e8_12_000.smt2 false 5.03 1.51 apollon137 vmt-chc-benchmarks/lustre/metros_1_e7_1255_e8_598_000.smt2 TIMEOUT 1800.57 1792.89 apollon077 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e5_2444_000.smt2 false 5.46 1.68 apollon078 vmt-chc-benchmarks/lustre/metros_4_e2_968_e1_956_000.smt2 false 18.06 11.97 apollon140 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e3_3091_000.smt2 TIMEOUT 1800.57 1791.77 apollon032 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e8_1940_000.smt2 TIMEOUT 1800.58 1791.62 apollon073 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_000.smt2 false 6.46 1.89 apollon062 vmt-chc-benchmarks/lustre/ticket3i_3_000.smt2 TIMEOUT 1800.65 1790.88 apollon056 vmt-chc-benchmarks/lustre/FIREFLY_rt_e3_1770_e2_637_000.smt2 TIMEOUT 1800.54 1792.20 apollon096 vmt-chc-benchmarks/lustre/FIREFLY_5_e1_2552_e7_1169_000.smt2 TIMEOUT 1800.59 1791.21 apollon018 vmt-chc-benchmarks/lustre/durationThm_1_e1_197_e7_289_000.smt2 false 3.60 1.32 apollon022 vmt-chc-benchmarks/lustre/FIREFLY_luke_3_e1_2217_e3_1200_000.smt2 TIMEOUT 1800.55 1792.91 apollon020 vmt-chc-benchmarks/lustre/FIREFLY_11_e3_2076_e1_1270_000.smt2 TIMEOUT 1800.56 1792.45 apollon160 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e8_311_000.smt2 TIMEOUT 1800.59 1792.28 apollon151 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e2_74_000.smt2 false 5.05 1.52 apollon043 vmt-chc-benchmarks/lustre/MESI_i2_000.smt2 false 5.43 1.61 apollon132 vmt-chc-benchmarks/lustre/twisted_counters_000.smt2 true 4.85 1.74 apollon165 vmt-chc-benchmarks/lustre/metros_4_e2_532_000.smt2 false 331.23 324.58 apollon079 vmt-chc-benchmarks/lustre/DRAGON_12_e1_4640_e7_128_000.smt2 false 7.27 2.04 apollon163 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e7_156_000.smt2 false 6.66 1.97 apollon071 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e6_1315_000.smt2 TIMEOUT 1800.58 1792.84 apollon111 vmt-chc-benchmarks/lustre/FIREFLY_7_000.smt2 TIMEOUT 1800.55 1792.42 apollon142 vmt-chc-benchmarks/lustre/DRAGON_13_000.smt2 TIMEOUT 1800.57 1790.84 apollon014 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e2_1317_000.smt2 TIMEOUT 1800.57 1792.85 apollon051 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1750_000.smt2 false 5.52 1.62 apollon124 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e2_2689_000.smt2 TIMEOUT 1800.54 1792.51 apollon142 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e7_4469_000.smt2 false 7.22 2.11 apollon143 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e2_2812_000.smt2 TIMEOUT 1800.56 1792.66 apollon033 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e4_1595_000.smt2 TIMEOUT 1800.55 1792.35 apollon167 vmt-chc-benchmarks/lustre/fast_1_e7_2044_e7_1287_000.smt2 false 5.05 1.49 apollon148 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e7_3568_000.smt2 false 6.53 1.86 apollon102 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e7_1495_000.smt2 false 6.35 1.85 apollon052 vmt-chc-benchmarks/lustre/MESI_3_e2_1872_000.smt2 false 5.93 1.85 apollon069 vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606_000.smt2 TIMEOUT 1800.55 1791.35 apollon075 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e3_2542_000.smt2 TIMEOUT 1800.55 1792.18 apollon065 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e2_2228_000.smt2 false 5.34 1.55 apollon102 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e7_4070_000.smt2 false 7.39 2.07 apollon085 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e1_6463_000.smt2 TIMEOUT 1800.55 1791.89 apollon042 vmt-chc-benchmarks/lustre/metros_3_e4_987_e1_1115_000.smt2 TIMEOUT 1800.58 1792.71 apollon107 vmt-chc-benchmarks/lustre/FIREFLY_9_000.smt2 TIMEOUT 1800.59 1791.67 apollon022 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e5_5_000.smt2 TIMEOUT 1800.63 1793.61 apollon015 vmt-chc-benchmarks/lustre/durationThm_1_e1_197_000.smt2 false 3.73 1.34 apollon056 vmt-chc-benchmarks/lustre/car_all_e8_856_e7_578_000.smt2 TIMEOUT 1800.59 1792.06 apollon164 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e3_1658_000.smt2 false 5.84 1.77 apollon095 vmt-chc-benchmarks/lustre/DRAGON_4_e3_1540_e1_5048_000.smt2 TIMEOUT 1800.58 1791.34 apollon012 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_2574_000.smt2 false 6.46 1.91 apollon146 vmt-chc-benchmarks/lustre/ticket3i_all_e1_2706_e7_1776_000.smt2 TIMEOUT 1800.64 1791.51 apollon133 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e7_1465_000.smt2 TIMEOUT 1800.54 1793.84 apollon021 vmt-chc-benchmarks/lustre/fast_1_e8_747_e7_692_000.smt2 false 5.37 1.60 apollon085 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e6_1974_000.smt2 TIMEOUT 1800.64 1791.53 apollon015 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e7_2225_000.smt2 TIMEOUT 1800.61 1791.04 apollon020 vmt-chc-benchmarks/lustre/SYNAPSE_2_e3_216_000.smt2 false 4.90 1.52 apollon020 vmt-chc-benchmarks/lustre/ILLINOIS_2_e3_1554_e6_2223_000.smt2 TIMEOUT 1800.66 1792.01 apollon054 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_000.smt2 false 6.62 1.99 apollon041 vmt-chc-benchmarks/lustre/metros_5_e4_1208_e1_337_000.smt2 false 393.98 386.98 apollon113 vmt-chc-benchmarks/lustre/metros_4_e3_1025_000.smt2 false 339.43 331.77 apollon153 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e2_2421_000.smt2 false 5.58 1.70 apollon152 vmt-chc-benchmarks/lustre/FIREFLY_6_000.smt2 TIMEOUT 1800.58 1792.12 apollon060 vmt-chc-benchmarks/lustre/MOESI_1_e2_982_e7_492_000.smt2 TIMEOUT 1800.62 1791.53 apollon007 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e7_5856_000.smt2 false 7.39 2.10 apollon056 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e2_1394_000.smt2 false 4.88 1.47 apollon028 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e1_1044_000.smt2 false 16.15 10.15 apollon103 vmt-chc-benchmarks/lustre/_6counters_e8_371_e2_80_000.smt2 true 3.20 1.16 apollon137 vmt-chc-benchmarks/lustre/SYNAPSE_5_e2_1525_000.smt2 TIMEOUT 1800.54 1793.02 apollon100 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e1_1895_000.smt2 false 6.34 1.77 apollon129 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e1_1350_000.smt2 false 40.17 33.91 apollon122 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_3_000.smt2 TIMEOUT 1800.57 1793.39 apollon005 vmt-chc-benchmarks/lustre/FIREFLY_u1_000.smt2 TIMEOUT 1800.58 1791.82 apollon023 vmt-chc-benchmarks/lustre/metros_4_e1_821_e5_911_000.smt2 false 444.78 438.16 apollon125 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e7_1626_000.smt2 false 6.00 1.75 apollon157 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e4_1464_000.smt2 false 7.64 2.54 apollon027 vmt-chc-benchmarks/lustre/fast_2_e8_460_e7_43_000.smt2 false 5.94 1.79 apollon099 vmt-chc-benchmarks/lustre/MESI_all_e4_1147_e7_497_000.smt2 TIMEOUT 1800.56 1792.84 apollon035 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e5_2391_000.smt2 false 5.98 1.77 apollon016 vmt-chc-benchmarks/lustre/cd_e7_621_000.smt2 false 4.97 1.61 apollon047 vmt-chc-benchmarks/conc/fib_bench_safe_v3_000.smt2 TIMEOUT 1800.50 1795.35 apollon100 vmt-chc-benchmarks/conc/szymanski_safe_000.smt2 true 24.72 20.71 apollon153 vmt-chc-benchmarks/conc/fib_bench_safe_v2_000.smt2 TIMEOUT 1800.49 1796.17 apollon039 vmt-chc-benchmarks/conc/stateful01_safe_v1_000.smt2 TIMEOUT 1800.54 1794.06 apollon117 vmt-chc-benchmarks/conc/fib_bench_safe_v1_000.smt2 TIMEOUT 1800.49 1796.81 apollon077 vmt-chc-benchmarks/conc/lamport_safe_000.smt2 true 325.20 319.75 apollon039 vmt-chc-benchmarks/ctigar/simple_if.c_000.smt2 TIMEOUT 1800.56 1793.88 apollon086 vmt-chc-benchmarks/ctigar/gulwani_cegar2.c_000.smt2 TIMEOUT 1800.57 1793.16 apollon066 vmt-chc-benchmarks/ctigar/bkley.c_000.smt2 TIMEOUT 1800.58 1793.02 apollon061 vmt-chc-benchmarks/ctigar/xyz2.c_000.smt2 TIMEOUT 1800.57 1793.86 apollon017 vmt-chc-benchmarks/ctigar/NetBSD_loop_int.c_000.smt2 TIMEOUT 1800.60 1791.55 apollon048 vmt-chc-benchmarks/ctigar/sendmail-close-angle.c_000.smt2 TIMEOUT 1800.67 1791.98 apollon009 vmt-chc-benchmarks/ctigar/nest-if5.c_000.smt2 TIMEOUT 1800.58 1793.79 apollon028 vmt-chc-benchmarks/ctigar/svd-some-loop.c_000.smt2 TIMEOUT 1800.60 1792.03 apollon156 vmt-chc-benchmarks/ctigar/nest-if3.c_000.smt2 TIMEOUT 1800.58 1793.64 apollon015 vmt-chc-benchmarks/ctigar/lifo.c_000.smt2 TIMEOUT 1800.58 1791.62 apollon091 vmt-chc-benchmarks/ctigar/nested4.c_000.smt2 TIMEOUT 1800.61 1793.79 apollon046 vmt-chc-benchmarks/ctigar/NetBSD_loop.c_000.smt2 TIMEOUT 1800.65 1791.15 apollon074 vmt-chc-benchmarks/ctigar/nest-len.c_000.smt2 TIMEOUT 1800.57 1792.65 apollon002 vmt-chc-benchmarks/ctigar/ken-imp.c_000.smt2 TIMEOUT 1800.63 1792.95 apollon154 vmt-chc-benchmarks/ctigar/dillig01.c_000.smt2 TIMEOUT 1800.59 1794.21 apollon101 vmt-chc-benchmarks/ctigar/nested.c_000.smt2 TIMEOUT 1800.56 1794.09 apollon165 vmt-chc-benchmarks/ctigar/dillig28.c_000.smt2 TIMEOUT 1800.56 1793.73 apollon102 vmt-chc-benchmarks/ctigar/barbr.c_000.smt2 TIMEOUT 1800.59 1791.17 apollon113 vmt-chc-benchmarks/ctigar/xy0.c_000.smt2 TIMEOUT 1800.57 1794.11 apollon133 vmt-chc-benchmarks/ctigar/bound.c_000.smt2 TIMEOUT 1800.59 1793.35 apollon028 vmt-chc-benchmarks/ctigar/swim1.c_000.smt2 TIMEOUT 1800.60 1791.81 apollon095 vmt-chc-benchmarks/ctigar/dillig03.c_000.smt2 TIMEOUT 1800.55 1794.52 apollon157 vmt-chc-benchmarks/ctigar/dillig37.c_000.smt2 TIMEOUT 1800.56 1793.84 apollon104 vmt-chc-benchmarks/ctigar/svd4.c_000.smt2 TIMEOUT 1800.60 1791.14 apollon149 vmt-chc-benchmarks/ctigar/apache-get-tag.c_000.smt2 TIMEOUT 1800.57 1791.89 apollon115 vmt-chc-benchmarks/ctigar/pldi08.c_000.smt2 TIMEOUT 1800.65 1793.79 apollon094 vmt-chc-benchmarks/ctigar/nested1.c_000.smt2 TIMEOUT 1800.60 1793.53 apollon085 vmt-chc-benchmarks/ctigar/nested5.c_000.smt2 TIMEOUT 1800.61 1793.00 apollon131 vmt-chc-benchmarks/ctigar/seq.c_000.smt2 TIMEOUT 1800.59 1793.48 apollon006 vmt-chc-benchmarks/ctigar/NetBSD_g_Ctoc.c_000.smt2 TIMEOUT 1800.59 1792.72 apollon144 vmt-chc-benchmarks/ctigar/seq-sim.c_000.smt2 TIMEOUT 1800.57 1793.40 apollon025 vmt-chc-benchmarks/ctigar/up3.c_000.smt2 TIMEOUT 1800.58 1793.30 apollon061 vmt-chc-benchmarks/ctigar/xy4.c_000.smt2 TIMEOUT 1800.56 1794.07 apollon129 vmt-chc-benchmarks/ctigar/bind_expands_vars2.c_000.smt2 TIMEOUT 1800.74 1790.60 apollon030 vmt-chc-benchmarks/ctigar/cars.c_000.smt2 TIMEOUT 1800.66 1791.97 apollon142 vmt-chc-benchmarks/ctigar/dillig32.c_000.smt2 TIMEOUT 1800.62 1792.70 apollon117 vmt-chc-benchmarks/ctigar/dillig05.c_000.smt2 TIMEOUT 1800.57 1794.29 apollon128 vmt-chc-benchmarks/ctigar/dillig19.c_000.smt2 TIMEOUT 1800.59 1793.47 apollon090 vmt-chc-benchmarks/ctigar/nested9.c_000.smt2 TIMEOUT 1800.69 1791.04 apollon048 vmt-chc-benchmarks/ctigar/ex1.c_000.smt2 TIMEOUT 1800.55 1794.61 apollon063 vmt-chc-benchmarks/ctigar/dillig07.c_000.smt2 TIMEOUT 1800.70 1793.06 apollon099 vmt-chc-benchmarks/ctigar/xy10.c_000.smt2 TIMEOUT 1800.56 1794.64 apollon132 vmt-chc-benchmarks/ctigar/gulv_simp.c_000.smt2 TIMEOUT 1800.56 1793.32 apollon004 vmt-chc-benchmarks/ctigar/ex2.c_000.smt2 TIMEOUT 1800.56 1792.95 apollon150 vmt-chc-benchmarks/ctigar/seesaw.c_000.smt2 TIMEOUT 1800.58 1792.96 apollon099 vmt-chc-benchmarks/ctigar/nest-if4.c_000.smt2 TIMEOUT 1800.56 1793.94 apollon130 vmt-chc-benchmarks/ctigar/svd2.c_000.smt2 TIMEOUT 1800.60 1792.35 apollon133 vmt-chc-benchmarks/ctigar/seq4.c_000.smt2 TIMEOUT 1800.59 1793.25 apollon159 vmt-chc-benchmarks/ctigar/efm.c_000.smt2 TIMEOUT 1800.64 1791.58 apollon048 vmt-chc-benchmarks/ctigar/dillig25.c_000.smt2 TIMEOUT 1800.57 1793.78 apollon086 vmt-chc-benchmarks/ctigar/xyz.c_000.smt2 TIMEOUT 1800.56 1793.94 apollon039 vmt-chc-benchmarks/ctigar/nested6.c_000.smt2 TIMEOUT 1800.56 1793.95 apollon109 vmt-chc-benchmarks/ctigar/nest-if.c_000.smt2 TIMEOUT 1800.61 1792.62 apollon022 vmt-chc-benchmarks/ctigar/nested2.c_000.smt2 TIMEOUT 1800.62 1793.36 apollon040 vmt-chc-benchmarks/ctigar/NetBSD_glob3_iny.c_000.smt2 TIMEOUT 1800.61 1791.44 apollon037 vmt-chc-benchmarks/ctigar/dillig33.c_000.smt2 TIMEOUT 1800.56 1794.16 apollon005 vmt-chc-benchmarks/ctigar/sendmail-mime-fromqp.c_000.smt2 TIMEOUT 1800.55 1793.76 apollon024 vmt-chc-benchmarks/ctigar/seq2.c_000.smt2 TIMEOUT 1800.58 1793.44 apollon031 vmt-chc-benchmarks/ctigar/hsortprime.c_000.smt2 TIMEOUT 1800.57 1792.44 apollon160 vmt-chc-benchmarks/ctigar/nest-if7.c_000.smt2 TIMEOUT 1800.56 1793.49 apollon102 vmt-chc-benchmarks/ctigar/lifnatprime.c_000.smt2 TIMEOUT 1800.60 1791.91 apollon013 vmt-chc-benchmarks/ctigar/MADWiFi-encode_ie_ok.c_000.smt2 TIMEOUT 1800.68 1791.68 apollon096 vmt-chc-benchmarks/ctigar/seq-proc.c_000.smt2 TIMEOUT 1800.57 1793.47 apollon101 vmt-chc-benchmarks/ctigar/dillig17.c_000.smt2 TIMEOUT 1800.62 1792.57 apollon168 vmt-chc-benchmarks/ctigar/up-nd.c_000.smt2 TIMEOUT 1800.56 1793.71 apollon139 vmt-chc-benchmarks/ctigar/hsort.c_000.smt2 TIMEOUT 1800.64 1792.80 apollon113 vmt-chc-benchmarks/ctigar/up.c_000.smt2 TIMEOUT 1800.57 1793.46 apollon126 vmt-chc-benchmarks/ctigar/fig2.c_000.smt2 TIMEOUT 1800.56 1793.83 apollon121 vmt-chc-benchmarks/ctigar/nest-if1.c_000.smt2 TIMEOUT 1800.56 1793.56 apollon160 vmt-chc-benchmarks/ctigar/string_concat-noarr.c_000.smt2 TIMEOUT 1800.55 1794.08 apollon148 vmt-chc-benchmarks/ctigar/nested3.c_000.smt2 TIMEOUT 1800.65 1792.09 apollon137 vmt-chc-benchmarks/ctigar/fragtest_simple.c_000.smt2 TIMEOUT 1800.70 1793.88 apollon149 vmt-chc-benchmarks/ctigar/up2.c_000.smt2 TIMEOUT 1800.57 1794.10 apollon080 vmt-chc-benchmarks/ctigar/nest-if2.c_000.smt2 TIMEOUT 1800.57 1793.40 apollon010 vmt-chc-benchmarks/ctigar/gulv.c_000.smt2 TIMEOUT 1800.55 1794.18 apollon136 vmt-chc-benchmarks/ctigar/nest-if6.c_000.smt2 TIMEOUT 1800.59 1791.82 apollon043 vmt-chc-benchmarks/ctigar/rajamani_1.c_000.smt2 TIMEOUT 1800.55 1794.28 apollon112 vmt-chc-benchmarks/ctigar/nest-if8.c_000.smt2 TIMEOUT 1800.56 1793.71 apollon121 vmt-chc-benchmarks/ctigar/seq-z3.c_000.smt2 TIMEOUT 1800.58 1793.50 apollon165 vmt-chc-benchmarks/ctigar/gulwani_fig1a.c_000.smt2 TIMEOUT 1800.61 1794.28 apollon077 vmt-chc-benchmarks/ctigar/pldi082_unbounded.c_000.smt2 TIMEOUT 1800.58 1793.27 apollon113 vmt-chc-benchmarks/ctigar/svd.c_000.smt2 TIMEOUT 1800.60 1789.49 apollon011 vmt-chc-benchmarks/ctigar/fig1a.c_000.smt2 TIMEOUT 1800.56 1793.99 apollon144 vmt-chc-benchmarks/ctigar/large_const.c_000.smt2 TIMEOUT 1800.57 1792.41 apollon131 vmt-chc-benchmarks/ctigar/up-nested.c_000.smt2 TIMEOUT 1800.60 1792.17 apollon129 vmt-chc-benchmarks/ctigar/bk-nat.c_000.smt2 TIMEOUT 1800.56 1792.79 apollon026 vmt-chc-benchmarks/ctigar/swim.c_000.smt2 TIMEOUT 1800.60 1792.10 apollon155 vmt-chc-benchmarks/ctigar/gulwani_cegar1.c_000.smt2 TIMEOUT 1800.56 1793.70 apollon149 vmt-chc-benchmarks/ctigar/id_build.c_000.smt2 TIMEOUT 1800.63 1791.24 apollon107 vmt-chc-benchmarks/ctigar/up4.c_000.smt2 TIMEOUT 1800.57 1793.89 apollon144 vmt-chc-benchmarks/ctigar/mergesort.c_000.smt2 TIMEOUT 1800.61 1791.67 apollon139 vmt-chc-benchmarks/ctigar/dillig12.c_000.smt2 TIMEOUT 1800.59 1793.69 apollon012 vmt-chc-benchmarks/ctigar/svd3.c_000.smt2 TIMEOUT 1800.61 1793.14 apollon106 vmt-chc-benchmarks/ctigar/dillig20.c_000.smt2 TIMEOUT 1800.54 1793.70 apollon053 vmt-chc-benchmarks/ctigar/simple_nest.c_000.smt2 true 10.02 6.34 apollon160 vmt-chc-benchmarks/ctigar/dillig15.c_000.smt2 TIMEOUT 1800.67 1793.08 apollon027 vmt-chc-benchmarks/ctigar/svd1.c_000.smt2 TIMEOUT 1800.61 1791.52 apollon064 vmt-chc-benchmarks/ctigar/sendmail-mime7to8_arr_three_chars_no_test_ok.c_000.smt2 TIMEOUT 1800.55 1792.77 apollon069 vmt-chc-benchmarks/ctigar/nested7.c_000.smt2 TIMEOUT 1800.56 1792.72 apollon166 vmt-chc-benchmarks/ctigar/split.c_000.smt2 TIMEOUT 1800.61 1792.56 apollon036 vmt-chc-benchmarks/ctigar/seq3.c_000.smt2 TIMEOUT 1800.59 1793.32 apollon075 vmt-chc-benchmarks/ctigar/up5.c_000.smt2 TIMEOUT 1800.57 1794.16 apollon082 vmt-chc-benchmarks/ctigar/seq-len.c_000.smt2 TIMEOUT 1800.55 1793.13 apollon132 vmt-chc-benchmarks/ctigar/lifnat.c_000.smt2 TIMEOUT 1800.59 1791.59 apollon121 vmt-chc-benchmarks/ctigar/down.c_000.smt2 TIMEOUT 1800.57 1794.08 apollon050 vmt-chc-benchmarks/ctigar/barbrprime.c_000.smt2 TIMEOUT 1800.58 1791.53 apollon035 vmt-chc-benchmarks/ctigar/simple.c_000.smt2 TIMEOUT 1800.68 1792.13 apollon038 vmt-chc-benchmarks/ctigar/substring1.c_000.smt2 TIMEOUT 1800.66 1791.37 apollon140 vmt-chc-benchmarks/ctigar/apache-escape-absolute.c_000.smt2 TIMEOUT 1800.58 1791.97 apollon006 vmt-chc-benchmarks/ctigar/nested8.c_000.smt2 TIMEOUT 1800.65 1792.72 apollon063 extra-small-lia/s_multipl_08_000.smt2 TIMEOUT 1800.66 1795.12 apollon099 extra-small-lia/s_multipl_13_000.smt2 TIMEOUT 1800.52 1795.71 apollon111 extra-small-lia/menlo_park_term_simpl_2_000.smt2 TIMEOUT 1800.66 1795.30 apollon112 extra-small-lia/s_multipl_23_000.smt2 TIMEOUT 1800.63 1794.88 apollon040 extra-small-lia/s_mutants_23_000.smt2 TIMEOUT 1800.52 1796.30 apollon025 extra-small-lia/s_multipl_11_000.smt2 TIMEOUT 1800.65 1795.67 apollon147 extra-small-lia/s_multipl_07_000.smt2 TIMEOUT 1800.58 1794.87 apollon077 extra-small-lia/three_dots_moving_2_000.smt2 TIMEOUT 1800.57 1795.44 apollon102 extra-small-lia/s_multipl_09_000.smt2 TIMEOUT 1800.59 1795.64 apollon165 extra-small-lia/s_multipl_22_000.smt2 TIMEOUT 1800.56 1796.29 apollon161 extra-small-lia/yz_plus_minus_1_000.smt2 TIMEOUT 1800.60 1794.82 apollon161 extra-small-lia/dtuc_000.smt2 TIMEOUT 1800.60 1795.34 apollon128 extra-small-lia/bouncy_three_counters_merged_000.smt2 TIMEOUT 1800.49 1796.91 apollon069 extra-small-lia/s_mutants_06_m_000.smt2 TIMEOUT 1800.62 1795.44 apollon081 extra-small-lia/s_multipl_17_000.smt2 TIMEOUT 1800.61 1793.30 apollon095 extra-small-lia/phases_m_000.smt2 TIMEOUT 1800.53 1795.77 apollon150 extra-small-lia/bouncy_symmetry_000.smt2 TIMEOUT 1800.59 1795.74 apollon030 extra-small-lia/s_disj_ite_06_000.smt2 true 136.35 133.68 apollon079 extra-small-lia/bouncy_one_counter_000.smt2 TIMEOUT 1800.59 1795.79 apollon091 extra-small-lia/s_mutants_21_000.smt2 TIMEOUT 1800.52 1796.03 apollon168 extra-small-lia/gj2007_m_2_000.smt2 TIMEOUT 1800.54 1795.05 apollon136 extra-small-lia/dillig05_m_000.smt2 TIMEOUT 1800.52 1795.94 apollon052 extra-small-lia/s_multipl_12_000.smt2 TIMEOUT 1800.60 1795.26 apollon163 extra-small-lia/yz_plus_minus_2_000.smt2 TIMEOUT 1800.59 1795.29 apollon163 extra-small-lia/dillig22_m_000.smt2 TIMEOUT 1800.57 1795.55 apollon127 extra-small-lia/const_mod_2_000.smt2 TIMEOUT 1800.57 1795.91 apollon034 extra-small-lia/dillig12_m_000.smt2 TIMEOUT 1800.62 1795.96 apollon117 extra-small-lia/s_mutants_02_000.smt2 TIMEOUT 1800.55 1796.17 apollon111 extra-small-lia/count_by_2_000.smt2 true 107.69 103.55 apollon160 extra-small-lia/s_multipl_24_000.smt2 TIMEOUT 1800.63 1794.50 apollon112 extra-small-lia/dillig21_m_000.smt2 TIMEOUT 1800.54 1795.99 apollon002 extra-small-lia/s_multipl_16_000.smt2 TIMEOUT 1800.50 1796.21 apollon051 extra-small-lia/s_disj_ite_05_000.smt2 true 927.95 924.70 apollon022 extra-small-lia/const_mod_3_000.smt2 TIMEOUT 1800.57 1795.73 apollon044 extra-small-lia/s_mutants_17_000.smt2 TIMEOUT 1800.57 1795.65 apollon141 extra-small-lia/s_multipl_15_000.smt2 TIMEOUT 1800.50 1796.21 apollon115 extra-small-lia/count_by_2_m_nest_000.smt2 true 408.39 403.83 apollon139 extra-small-lia/gj2007_m_1_000.smt2 TIMEOUT 1800.54 1795.14 apollon119 extra-small-lia/s_mutants_22_000.smt2 TIMEOUT 1800.48 1797.23 apollon159 extra-small-lia/const_mod_1_000.smt2 TIMEOUT 1800.56 1796.00 apollon041 extra-small-lia/s_mutants_20_000.smt2 TIMEOUT 1800.57 1794.96 apollon022 extra-small-lia/half_true_modif_m_000.smt2 TIMEOUT 1800.60 1795.12 apollon011 extra-small-lia/s_multipl_10_000.smt2 TIMEOUT 1800.58 1795.27 apollon050 extra-small-lia/s_mutants_16_000.smt2 TIMEOUT 1800.60 1795.79 apollon099 extra-small-lia/s_multipl_14_000.smt2 TIMEOUT 1800.61 1793.91 apollon009 extra-small-lia/dillig02_m_000.smt2 TIMEOUT 1800.50 1796.29 apollon162 extra-small-lia/s_mutants_05_000.smt2 TIMEOUT 1800.59 1795.85 apollon100 extra-small-lia/gj2007_m_3_000.smt2 TIMEOUT 1800.55 1794.46 apollon047 extra-small-lia/dillig03_m_000.smt2 TIMEOUT 1800.58 1796.00 apollon157 extra-small-lia/s_multipl_18_000.smt2 TIMEOUT 1800.60 1796.00 apollon002 extra-small-lia/dillig32_000.smt2 TIMEOUT 1800.57 1795.07 apollon005 extra-small-lia/bouncy_two_counters_merged_000.smt2 TIMEOUT 1800.49 1796.74 apollon104 extra-small-lia/bouncy_two_counters_equality_000.smt2 TIMEOUT 1800.59 1795.57 apollon048 extra-small-lia/s_mutants_16_m_000.smt2 true 452.13 447.35 apollon017 extra-small-lia/s_multipl_25_000.smt2 TIMEOUT 1800.58 1796.20 apollon046 hcai-bench/svcomp/O3/O3_gcd02_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.56 1792.04 apollon064 hcai-bench/svcomp/O3/O3_sum03_true-unreach-call_false-termination_000.smt2 TIMEOUT 1800.74 1790.99 apollon163 hcai-bench/svcomp/O3/O3_MultCommutative_true-unreach-call_true-no-overflow_true-termination_000.smt2 true 5.09 1.60 apollon114 hcai-bench/svcomp/O3/O3_sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination_000.smt2 false 4.37 1.42 apollon051 hcai-bench/svcomp/O3/O3_trex03_false-unreach-call_true-termination_000.smt2 false 5.71 1.72 apollon120 hcai-bench/svcomp/O3/O3_gcd01_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.56 1793.55 apollon075 hcai-bench/svcomp/O3/O3_terminator_03_false-unreach-call_true-termination_000.smt2 false 3.51 1.40 apollon056 hcai-bench/svcomp/O3/O3_trex04_true-unreach-call_false-termination_000.smt2 TIMEOUT 1800.59 1792.80 apollon005 hcai-bench/svcomp/O3/O3_Addition03_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.65 1792.18 apollon041 hcai-bench/svcomp/O3/O3_terminator_02_true-unreach-call_true-termination_000.smt2 true 4.52 1.37 apollon133 hcai-bench/svcomp/O3/O3_id_o3_false-unreach-call_000.smt2 false 3.79 1.46 apollon142 hcai-bench/svcomp/O3/O3_EvenOdd03_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 4.02 1.35 apollon014 hcai-bench/svcomp/O3/O3_BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 3.34 1.18 apollon144 hcai-bench/svcomp/O3/O3_sum_non_false-unreach-call_true-termination_000.smt2 false 3.87 1.44 apollon017 hcai-bench/svcomp/O3/O3_nec11_false-unreach-call_false-termination_000.smt2 false 2.70 1.02 apollon088 hcai-bench/svcomp/O3/O3_trex01_false-unreach-call_true-termination_000.smt2 false 3.62 1.39 apollon127 hcai-bench/svcomp/O3/O3_afterrec_2calls_false-unreach-call_true-termination_000.smt2 true 3.49 1.47 apollon154 hcai-bench/svcomp/O3/O3_EvenOdd01_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.60 1792.89 apollon104 hcai-bench/svcomp/O3/O3_nec20_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.64 1792.69 apollon010 hcai-bench/svcomp/O3/O3_id_o20_false-unreach-call_000.smt2 false 6.26 1.96 apollon059 hcai-bench/svcomp/O3/O3_Addition03_false-no-overflow_000.smt2 TIMEOUT 1800.65 1792.38 apollon066 hcai-bench/svcomp/O3/O3_Addition01_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.69 1791.60 apollon070 hcai-bench/svcomp/O3/O3_sum_non_eq_true-unreach-call_000.smt2 TIMEOUT 1800.73 1791.89 apollon158 hcai-bench/svcomp/O3/O3_Addition02WithOverflowBug_false-no-overflow_000.smt2 false 3.99 1.29 apollon059 hcai-bench/svcomp/O3/O3_sum_non_eq_false-unreach-call_000.smt2 false 3.33 1.40 apollon152 hcai-bench/svcomp/O3/O3_trex01_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.60 1793.20 apollon105 hcai-bench/svcomp/O3/O3_terminator_02_false-unreach-call_true-termination_000.smt2 false 4.52 1.38 apollon074 hcai-bench/svcomp/O3/O3_EvenOdd03WithOverflowBug_false-no-overflow_000.smt2 false 3.73 1.18 apollon161 hcai-bench/svcomp/O3/O3_sum01_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.67 1792.41 apollon058 hcai-bench/svcomp/O3/O3_array_false-unreach-call_true-termination_000.smt2 false 2.74 1.29 apollon125 hcai-bench/svcomp/O3/O3_terminator_01_false-unreach-call_true-termination_000.smt2 false 2.75 1.32 apollon081 hcai-bench/svcomp/O3/O3_for_bounded_loop1_false-unreach-call_true-termination_000.smt2 false 4.67 1.38 apollon140 hcai-bench/svcomp/O3/O3_afterrec_true-unreach-call_true-termination_000.smt2 true 2.96 1.39 apollon082 hcai-bench/svcomp/O3/O3_for_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 3.06 1.12 apollon033 hcai-bench/svcomp/O3/O3_sum01_false-unreach-call_true-termination_000.smt2 false 6.14 2.03 apollon153 hcai-bench/svcomp/O3/O3_id_o200_false-unreach-call_000.smt2 TIMEOUT 1800.63 1792.85 apollon078 hcai-bench/svcomp/O3/O3_trex03_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.65 1789.99 apollon120 hcai-bench/svcomp/O3/O3_count_up_down_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.65 1792.18 apollon114 hcai-bench/svcomp/O3/O3_for_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 2.95 1.06 apollon082 hcai-bench/svcomp/O3/O3_sum01_bug02_false-unreach-call_true-termination_000.smt2 false 4.76 1.50 apollon081 hcai-bench/svcomp/O3/O3_afterrec_false-unreach-call_true-termination_000.smt2 false 3.50 1.27 apollon017 hcai-bench/svcomp/O3/O3_count_up_down_false-unreach-call_true-termination_000.smt2 false 3.59 1.16 apollon024 hcai-bench/svcomp/O3/O3_sum03_false-unreach-call_true-termination_000.smt2 false 5.14 1.59 apollon035 hcai-bench/svcomp/O3/O3_terminator_03_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.57 1794.01 apollon093 hcai-bench/svcomp/O3/O3_Addition02_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 4.14 1.32 apollon159 hcai-bench/svcomp/O3/O3_sum_non_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.70 1792.50 apollon094 hcai-bench/svcomp/O3/O3_afterrec_2calls_true-unreach-call_true-termination_000.smt2 true 3.16 1.13 apollon138 hcai-bench/svcomp/O3/O3_n.c11_true-unreach-call_false-termination_000.smt2 true 4.09 1.26 apollon136 hcai-bench/svcomp/O3/O3_id_o1000_false-unreach-call_000.smt2 TIMEOUT 1800.62 1792.97 apollon068 hcai-bench/svcomp/O3/O3_id_o10_false-unreach-call_000.smt2 false 4.51 1.64 apollon067 hcai-bench/svcomp/O3/O3_id_o100_false-unreach-call_000.smt2 false 337.32 331.42 apollon009 hcai-bench/svcomp/O0/O0_sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination_000.smt2 false 3.58 1.18 apollon115 hcai-bench/svcomp/O0/O0_fibo_2calls_4_false-unreach-call_true-termination_000.smt2 false 2.76 1.26 apollon106 hcai-bench/svcomp/O0/O0_trex03_false-unreach-call_true-termination_000.smt2 false 4.75 1.46 apollon013 hcai-bench/svcomp/O0/O0_terminator_03_false-unreach-call_true-termination_000.smt2 false 4.53 1.60 apollon027 hcai-bench/svcomp/O0/O0_fibo_2calls_10_false-unreach-call_000.smt2 false 2.88 1.33 apollon134 hcai-bench/svcomp/O0/O0_terminator_02_true-unreach-call_true-termination_000.smt2 true 4.22 1.69 apollon126 hcai-bench/svcomp/O0/O0_fibo_2calls_8_false-unreach-call_000.smt2 false 2.61 1.00 apollon101 hcai-bench/svcomp/O0/O0_while_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 5.64 2.19 apollon012 hcai-bench/svcomp/O0/O0_id2_b3_o2_false-unreach-call_000.smt2 false 2.66 1.25 apollon098 hcai-bench/svcomp/O0/O0_EvenOdd03_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 3.02 1.02 apollon042 hcai-bench/svcomp/O0/O0_nec11_false-unreach-call_false-termination_000.smt2 true 3.16 1.16 apollon054 hcai-bench/svcomp/O0/O0_trex01_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.66 1791.96 apollon058 hcai-bench/svcomp/O0/O0_nec20_false-unreach-call_true-termination_000.smt2 false 3.30 1.23 apollon128 hcai-bench/svcomp/O0/O0_fibo_2calls_5_false-unreach-call_true-termination_000.smt2 false 2.66 0.98 apollon028 hcai-bench/svcomp/O0/O0_id2_i5_o5_false-unreach-call_true-termination_000.smt2 false 2.68 1.00 apollon022 hcai-bench/svcomp/O0/O0_trex01_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.64 1791.97 apollon135 hcai-bench/svcomp/O0/O0_terminator_02_false-unreach-call_true-termination_000.smt2 false 3.60 1.39 apollon049 hcai-bench/svcomp/O0/O0_EvenOdd03WithOverflowBug_false-no-overflow_000.smt2 false 3.01 1.08 apollon051 hcai-bench/svcomp/O0/O0_sum01_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.68 1792.51 apollon069 hcai-bench/svcomp/O0/O0_fibo_2calls_15_false-unreach-call_000.smt2 false 2.68 1.25 apollon046 hcai-bench/svcomp/O0/O0_terminator_01_false-unreach-call_true-termination_000.smt2 false 3.19 1.11 apollon027 hcai-bench/svcomp/O0/O0_fibo_2calls_25_false-unreach-call_000.smt2 false 2.61 0.97 apollon106 hcai-bench/svcomp/O0/O0_sum04_false-unreach-call_true-termination_000.smt2 false 3.96 1.28 apollon007 hcai-bench/svcomp/O0/O0_for_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 5.95 2.30 apollon168 hcai-bench/svcomp/O0/O0_sum01_false-unreach-call_true-termination_000.smt2 false 4.65 1.64 apollon078 hcai-bench/svcomp/O0/O0_trex03_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.60 1791.97 apollon031 hcai-bench/svcomp/O0/O0_count_up_down_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.69 1791.60 apollon047 hcai-bench/svcomp/O0/O0_fibo_2calls_2_false-unreach-call_true-termination_000.smt2 false 2.79 1.07 apollon154 hcai-bench/svcomp/O0/O0_for_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 5.71 2.20 apollon005 hcai-bench/svcomp/O0/O0_sum01_bug02_false-unreach-call_true-termination_000.smt2 false 4.31 1.41 apollon111 hcai-bench/svcomp/O0/O0_count_up_down_false-unreach-call_true-termination_000.smt2 false 3.34 1.27 apollon061 hcai-bench/svcomp/O0/O0_terminator_03_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.66 1791.08 apollon126 hcai-bench/svcomp/O0/O0_fibo_2calls_6_false-unreach-call_true-termination_000.smt2 false 3.02 1.14 apollon026 hcai-bench/svcomp/O0/O0_while_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 5.93 2.38 apollon130 hcai-bench/svcomp/O0/O0_n.c11_true-unreach-call_false-termination_000.smt2 true 3.35 1.14 apollon162 hcai-bench/svcomp/O0/O0_fibo_2calls_20_false-unreach-call_000.smt2 false 2.71 0.99 apollon028 hcai-bench/arrays_orig/array_fill1_abstracted_000.smt2 TIMEOUT 1800.56 1794.74 apollon113 hcai-bench/arrays_orig/array_fill2_abstracted_000.smt2 TIMEOUT 1800.59 1793.29 apollon088 hcai-bench/arrays_orig/array_fill1_even_odd_abstracted_000.smt2 TIMEOUT 1800.52 1796.03 apollon051 rust-horn/bmc-2-test-bmc-2-unsafe_000.smt2 unknown 1.42 0.59 apollon078 rust-horn/simple-1-01_unsat_000.smt2 unknown 1.40 0.59 apollon163 rust-horn/bmc-2-test-bmc-2-safe_000.smt2 unknown 1.43 0.60 apollon081 rust-horn/bmc-1-test-bmc-1-safe_000.smt2 unknown 1.53 0.66 apollon061 rust-horn/bmc-5-test-bmc-diamond-2-safe_000.smt2 unknown 1.61 0.66 apollon086 rust-horn/bmc-3-test-bmc-3-safe_000.smt2 unknown 1.38 0.58 apollon051 rust-horn/simple-5-hhk2008_000.smt2 unknown 1.41 0.58 apollon148 rust-horn/simple-4-06_loop_unsat_000.smt2 unknown 1.50 0.61 apollon075 rust-horn/bmc-3-test-bmc-3-unsafe_000.smt2 unknown 1.41 0.58 apollon073 rust-horn/bmc-1-test-bmc-1-unsafe_000.smt2 unknown 1.54 0.66 apollon058 rust-horn/bmc-5-test-bmc-diamond-2-unsafe_000.smt2 unknown 1.62 0.66 apollon112 eldarica-misc/BV/qarmc/rsolv_000.smt2 TIMEOUT 1800.31 1746.85 apollon024 eldarica-misc/BV/qarmc/qrsolv_000.smt2 TIMEOUT 1800.87 1764.36 apollon098 eldarica-misc/LIA/llreve/barthe2_safe.c-1_000.smt2 false 3.14 1.34 apollon082 eldarica-misc/LIA/llreve/cube_square_unsafe.c-1_000.smt2 false 3.94 1.35 apollon144 eldarica-misc/LIA/llreve/break_single_merged_safe.c-1_000.smt2 true 5.67 3.03 apollon147 eldarica-misc/LIA/llreve/loop_safe.c-1_000.smt2 false 3.36 1.18 apollon077 eldarica-misc/LIA/llreve/digits10_inl_merged_safe.c-1_000.smt2 TIMEOUT 1800.75 1787.95 apollon101 eldarica-misc/LIA/llreve/nested-while_unsafe.c-1_000.smt2 TIMEOUT 1800.63 1792.21 apollon138 eldarica-misc/LIA/llreve/barthe_unsafe.c-1_000.smt2 TIMEOUT 1800.68 1792.58 apollon131 eldarica-misc/LIA/llreve/03_while_unsafe.c-1_000.smt2 false 3.47 1.30 apollon136 eldarica-misc/LIA/llreve/fib_merged_safe.c-1_000.smt2 TIMEOUT 1800.56 1795.33 apollon136 eldarica-misc/LIA/llreve/loop_unswitching_merged_safe.c-1_000.smt2 TIMEOUT 1800.62 1793.22 apollon032 eldarica-misc/LIA/llreve/barthe_safe.c-1_000.smt2 false 3.90 1.41 apollon058 eldarica-misc/LIA/llreve/break_single_safe.c-1_000.smt2 false 3.23 1.21 apollon089 eldarica-misc/LIA/llreve/loop5_unsafe.c-1_000.smt2 false 3.44 1.44 apollon009 eldarica-misc/LIA/llreve/upcount_merged_safe.c-1_000.smt2 TIMEOUT 1800.62 1794.37 apollon157 eldarica-misc/LIA/llreve/fib_safe.c-1_000.smt2 false 3.01 1.13 apollon024 eldarica-misc/LIA/llreve/while-if_safe.c-1_000.smt2 TIMEOUT 1800.63 1793.05 apollon117 eldarica-misc/LIA/llreve/square_twice_safe.c-1_000.smt2 TIMEOUT 1800.57 1795.42 apollon150 eldarica-misc/LIA/llreve/barthe_merged_unsafe.c-1_000.smt2 false 5.58 2.83 apollon109 eldarica-misc/LIA/llreve/loop_merged_safe.c-1_000.smt2 TIMEOUT 1800.60 1794.49 apollon114 eldarica-misc/LIA/llreve/loop3_safe.c-1_000.smt2 false 3.81 1.30 apollon005 eldarica-misc/LIA/llreve/loop_unswitching_safe.c-1_000.smt2 TIMEOUT 1800.64 1793.38 apollon097 eldarica-misc/LIA/llreve/simple-loop_merged_safe.c-1_000.smt2 true 4.87 1.94 apollon064 eldarica-misc/LIA/llreve/break_merged_safe.c-1_000.smt2 true 6.44 3.44 apollon028 eldarica-misc/LIA/llreve/barthe2-big2_safe.c-1_000.smt2 false 5.45 1.95 apollon022 eldarica-misc/LIA/llreve/nested-while_merged_unsafe.c-1_000.smt2 TIMEOUT 1800.64 1791.94 apollon064 eldarica-misc/LIA/llreve/square_twice_merged_safe.c-1_000.smt2 TIMEOUT 1800.61 1794.72 apollon079 eldarica-misc/LIA/llreve/nested-while_safe.c-1_000.smt2 true 4.18 1.27 apollon055 eldarica-misc/LIA/llreve/barthe_merged_safe.c-1_000.smt2 TIMEOUT 1800.69 1794.56 apollon137 eldarica-misc/LIA/llreve/barthe2-big_safe.c-1_000.smt2 false 4.10 1.35 apollon128 eldarica-misc/LIA/llreve/break_safe.c-1_000.smt2 true 7.28 4.09 apollon146 eldarica-misc/LIA/llreve/loop2_merged_safe.c-1_000.smt2 TIMEOUT 1800.65 1793.90 apollon111 eldarica-misc/LIA/llreve/nested-while_merged_safe.c-1_000.smt2 true 4.86 1.43 apollon079 eldarica-misc/LIA/llreve/barthe2_merged_safe.c-1_000.smt2 TIMEOUT 1800.69 1793.56 apollon078 eldarica-misc/LIA/llreve/digits10_inl_safe.c-1_000.smt2 true 12.87 3.82 apollon021 eldarica-misc/LIA/llreve/barthe2-big2_merged_safe.c-1_000.smt2 TIMEOUT 1800.61 1793.73 apollon130 eldarica-misc/LIA/llreve/while_after_while_if_merged_safe.c-1_000.smt2 TIMEOUT 1800.63 1792.15 apollon092 eldarica-misc/LIA/llreve/bug15_safe.c-1_000.smt2 true 3.36 1.20 apollon051 eldarica-misc/LIA/llreve/loop3_merged_safe.c-1_000.smt2 TIMEOUT 1800.60 1792.66 apollon070 eldarica-misc/LIA/llreve/while_after_while_if_safe.c-1_000.smt2 TIMEOUT 1800.61 1792.28 apollon088 eldarica-misc/LIA/llreve/square_twice_safe_weaved.c-1_000.smt2 TIMEOUT 1800.59 1795.20 apollon105 eldarica-misc/LIA/llreve/loop5_merged_unsafe.c-1_000.smt2 false 3.30 1.25 apollon050 eldarica-misc/LIA/llreve/simple-loop_safe.c-1_000.smt2 false 3.17 1.12 apollon059 eldarica-misc/LIA/llreve/upcount_safe.c-1_000.smt2 TIMEOUT 1800.61 1794.05 apollon141 eldarica-misc/LIA/reve/014c-horn_000.smt2 TIMEOUT 1800.61 1793.96 apollon095 eldarica-misc/LIA/reve/026-horn_000.smt2 TIMEOUT 1800.62 1794.64 apollon165 eldarica-misc/LIA/reve/007-horn_000.smt2 true 3.09 1.15 apollon088 eldarica-misc/LIA/reve/019b-horn_000.smt2 true 3.26 1.37 apollon063 eldarica-misc/LIA/reve/016b-horn_000.smt2 true 2.96 1.34 apollon154 eldarica-misc/LIA/reve/010b-horn_000.smt2 true 3.31 1.22 apollon130 eldarica-misc/LIA/reve/013-horn_000.smt2 TIMEOUT 1800.63 1794.61 apollon033 eldarica-misc/LIA/reve/003c-horn_000.smt2 true 4.07 1.32 apollon155 eldarica-misc/LIA/reve/007b-horn_000.smt2 true 3.11 1.14 apollon085 eldarica-misc/LIA/reve/024b-horn_000.smt2 TIMEOUT 1800.60 1795.56 apollon008 eldarica-misc/LIA/reve/011c-horn_000.smt2 TIMEOUT 1800.70 1790.85 apollon122 eldarica-misc/LIA/reve/003b-horn_000.smt2 true 3.50 1.21 apollon098 eldarica-misc/LIA/reve/014-horn_000.smt2 TIMEOUT 1800.63 1795.19 apollon122 eldarica-misc/LIA/reve/020b-horn_000.smt2 true 3.41 1.47 apollon078 eldarica-misc/LIA/reve/015-horn_000.smt2 TIMEOUT 1800.66 1793.58 apollon130 eldarica-misc/LIA/reve/020-horn_000.smt2 TIMEOUT 1800.65 1794.35 apollon153 eldarica-misc/LIA/reve/010-horn_000.smt2 true 3.03 1.10 apollon094 eldarica-misc/LIA/reve/008b-horn_000.smt2 true 5.48 1.59 apollon157 eldarica-misc/LIA/reve/008-horn_000.smt2 true 5.32 1.50 apollon101 eldarica-misc/LIA/reve/011-horn_000.smt2 TIMEOUT 1800.68 1790.78 apollon134 eldarica-misc/LIA/reve/002c-horn_000.smt2 false 4.73 1.41 apollon125 eldarica-misc/LIA/reve/027b-horn_000.smt2 true 4.18 1.30 apollon111 eldarica-misc/LIA/reve/025b-horn_000.smt2 TIMEOUT 1800.70 1791.31 apollon159 eldarica-misc/LIA/reve/002d-horn_000.smt2 false 4.44 1.31 apollon145 eldarica-misc/LIA/reve/012d-horn_000.smt2 false 3.58 1.22 apollon037 eldarica-misc/LIA/reve/019-horn_000.smt2 true 3.12 1.34 apollon024 eldarica-misc/LIA/reve/015b-horn_000.smt2 TIMEOUT 1800.66 1793.73 apollon045 eldarica-misc/LIA/reve/009-horn_000.smt2 true 15.02 5.58 apollon165 eldarica-misc/LIA/reve/012b-horn_000.smt2 TIMEOUT 1800.63 1795.11 apollon139 eldarica-misc/LIA/reve/026b-horn_000.smt2 TIMEOUT 1800.65 1793.38 apollon152 eldarica-misc/LIA/reve/014d-horn_000.smt2 TIMEOUT 1800.62 1793.27 apollon146 eldarica-misc/LIA/reve/016-horn_000.smt2 true 3.06 1.33 apollon067 eldarica-misc/LIA/reve/004b-horn_000.smt2 TIMEOUT 1800.61 1793.77 apollon073 eldarica-misc/LIA/reve/003d-horn_000.smt2 true 4.45 1.29 apollon090 eldarica-misc/LIA/reve/018-horn_000.smt2 true 5.40 1.55 apollon154 eldarica-misc/LIA/reve/020c-horn_000.smt2 true 3.29 1.17 apollon046 eldarica-misc/LIA/reve/017b-horn_000.smt2 true 3.21 1.20 apollon005 eldarica-misc/LIA/reve/023b-horn_000.smt2 true 3.27 1.41 apollon139 eldarica-misc/LIA/reve/012c-horn_000.smt2 false 4.03 1.29 apollon128 eldarica-misc/LIA/reve/025c-horn_000.smt2 TIMEOUT 1800.60 1793.64 apollon006 eldarica-misc/LIA/reve/025d-horn_000.smt2 TIMEOUT 1800.60 1793.30 apollon059 eldarica-misc/LIA/reve/004-horn_000.smt2 TIMEOUT 1800.63 1794.16 apollon078 eldarica-misc/LIA/reve/020d-horn_000.smt2 TIMEOUT 1800.69 1792.71 apollon103 eldarica-misc/LIA/reve/011b-horn_000.smt2 TIMEOUT 1800.71 1790.94 apollon155 eldarica-misc/LIA/reve/002b-horn_000.smt2 TIMEOUT 1800.62 1793.91 apollon167 eldarica-misc/LIA/reve/024-horn_000.smt2 TIMEOUT 1800.61 1795.35 apollon071 eldarica-misc/LIA/reve/012-horn_000.smt2 TIMEOUT 1800.63 1795.09 apollon082 eldarica-misc/LIA/reve/023-horn_000.smt2 true 3.12 1.43 apollon050 eldarica-misc/LIA/reve/027-horn_000.smt2 true 4.13 1.26 apollon055 eldarica-misc/LIA/reve/018b-horn_000.smt2 TIMEOUT 1800.78 1790.36 apollon139 eldarica-misc/LIA/reve/017-horn_000.smt2 true 3.19 1.21 apollon026 eldarica-misc/LIA/reve/013b-horn_000.smt2 TIMEOUT 1800.63 1794.59 apollon168 eldarica-misc/LIA/reve/011d-horn_000.smt2 TIMEOUT 1800.73 1789.49 apollon118 eldarica-misc/LIA/reve/002-horn_000.smt2 TIMEOUT 1800.62 1793.40 apollon023 eldarica-misc/LIA/reve/025-horn_000.smt2 TIMEOUT 1800.67 1791.30 apollon118 eldarica-misc/LIA/reve/009b-horn_000.smt2 true 17.14 6.89 apollon078 eldarica-misc/LIA/reve/003-horn_000.smt2 true 3.33 1.44 apollon063 eldarica-misc/LIA/reve/014b-horn_000.smt2 TIMEOUT 1800.64 1795.10 apollon100 eldarica-misc/LIA/HOLA/17.c_000.smt2 TIMEOUT 1800.75 1786.75 apollon038 eldarica-misc/LIA/HOLA/27.c_000.smt2 TIMEOUT 1800.63 1790.19 apollon055 eldarica-misc/LIA/HOLA/18.c_000.smt2 TIMEOUT 1800.64 1789.45 apollon026 eldarica-misc/LIA/HOLA/34.c_000.smt2 TIMEOUT 1800.60 1790.93 apollon054 eldarica-misc/LIA/HOLA/41.c_000.smt2 TIMEOUT 1800.72 1786.45 apollon127 eldarica-misc/LIA/HOLA/21.c_000.smt2 true 142.29 131.94 apollon089 eldarica-misc/LIA/HOLA/06.c_000.smt2 TIMEOUT 1800.67 1785.55 apollon058 eldarica-misc/LIA/HOLA/09.c_000.smt2 TIMEOUT 1800.75 1783.35 apollon127 eldarica-misc/LIA/HOLA/05.c_000.smt2 TIMEOUT 1800.66 1789.35 apollon065 eldarica-misc/LIA/HOLA/10.c_000.smt2 true 13.42 5.79 apollon160 eldarica-misc/LIA/HOLA/33.c_000.smt2 TIMEOUT 1800.69 1782.88 apollon022 eldarica-misc/LIA/HOLA/43.c_000.smt2 TIMEOUT 1800.84 1783.66 apollon074 eldarica-misc/LIA/HOLA/35.c_000.smt2 TIMEOUT 1800.66 1792.01 apollon089 eldarica-misc/LIA/HOLA/44.c_000.smt2 TIMEOUT 1800.69 1786.98 apollon117 eldarica-misc/LIA/HOLA/13.c_000.smt2 TIMEOUT 1800.64 1787.95 apollon019 eldarica-misc/LIA/HOLA/22.c_000.smt2 TIMEOUT 1800.69 1788.89 apollon112 eldarica-misc/LIA/HOLA/37.c_000.smt2 TIMEOUT 1800.69 1788.51 apollon155 eldarica-misc/LIA/HOLA/42.c_000.smt2 TIMEOUT 1800.65 1787.59 apollon137 eldarica-misc/LIA/HOLA/02.c_000.smt2 TIMEOUT 1800.69 1787.84 apollon148 eldarica-misc/LIA/HOLA/46.c_000.smt2 TIMEOUT 1800.63 1789.20 apollon067 eldarica-misc/LIA/HOLA/07.c_000.smt2 TIMEOUT 1800.67 1787.24 apollon134 eldarica-misc/LIA/HOLA/31.c_000.smt2 TIMEOUT 1800.69 1785.57 apollon089 eldarica-misc/LIA/HOLA/32.c_000.smt2 TIMEOUT 1800.67 1787.99 apollon105 eldarica-misc/LIA/HOLA/25.c_000.smt2 TIMEOUT 1800.72 1785.45 apollon035 eldarica-misc/LIA/HOLA/19.c_000.smt2 TIMEOUT 1800.65 1790.75 apollon128 eldarica-misc/LIA/HOLA/14.c_000.smt2 TIMEOUT 1800.70 1787.67 apollon051 eldarica-misc/LIA/HOLA/30.c_000.smt2 TIMEOUT 1800.70 1790.77 apollon042 eldarica-misc/LIA/HOLA/12.c_000.smt2 TIMEOUT 1800.78 1781.10 apollon146 eldarica-misc/LIA/HOLA/08.c_000.smt2 TIMEOUT 1800.76 1782.65 apollon049 eldarica-misc/LIA/HOLA/24.c_000.smt2 TIMEOUT 1800.64 1789.72 apollon123 eldarica-misc/LIA/HOLA/26.c_000.smt2 TIMEOUT 1800.70 1783.71 apollon143 eldarica-misc/LIA/HOLA/20.c_000.smt2 TIMEOUT 1800.66 1786.79 apollon042 eldarica-misc/LIA/HOLA/01.c_000.smt2 TIMEOUT 1800.61 1791.80 apollon031 eldarica-misc/LIA/HOLA/04.c_000.smt2 TIMEOUT 1800.58 1793.61 apollon112 eldarica-misc/LIA/HOLA/16.c_000.smt2 TIMEOUT 1800.66 1790.63 apollon038 eldarica-misc/LIA/HOLA/28.c_000.smt2 TIMEOUT 1800.74 1786.47 apollon043 eldarica-misc/LIA/HOLA/11.c_000.smt2 TIMEOUT 1800.64 1790.59 apollon051 eldarica-misc/LIA/HOLA/36.c_000.smt2 TIMEOUT 1800.76 1776.59 apollon024 eldarica-misc/LIA/HOLA/38.c_000.smt2 TIMEOUT 1800.54 1792.21 apollon050 eldarica-misc/LIA/HOLA/39.c_000.smt2 TIMEOUT 1800.71 1785.19 apollon156 eldarica-misc/LIA/HOLA/45.c_000.smt2 TIMEOUT 1800.72 1780.60 apollon088 eldarica-misc/LIA/HOLA/40.c_000.smt2 TIMEOUT 1800.85 1783.64 apollon096 eldarica-misc/LIA/HOLA/23.c_000.smt2 TIMEOUT 1800.68 1790.08 apollon119 eldarica-misc/LIA/HOLA/03.c_000.smt2 TIMEOUT 1800.62 1789.79 apollon131 eldarica-misc/LIA/HOLA/15.c_000.smt2 TIMEOUT 1800.78 1784.60 apollon026 eldarica-misc/LIA/HOLA/29.c_000.smt2 TIMEOUT 1800.70 1785.06 apollon164 llreve-bench/smt2/loop__nested-while_000.smt2 true 4.50 1.37 apollon132 llreve-bench/smt2/loop__fib_000.smt2 true 3.47 1.59 apollon075 llreve-bench/smt2/loop__loop_000.smt2 true 2.88 1.07 apollon129 llreve-bench/smt2/loop__digits10_inl_000.smt2 true 10.47 3.77 apollon056 llreve-bench/smt2/loop__barthe2-big_000.smt2 true 3.70 1.23 apollon074 llreve-bench/smt2/loop__upcount_000.smt2 TIMEOUT 1800.65 1794.42 apollon091 llreve-bench/smt2/loop__break_000.smt2 true 4.45 1.43 apollon051 llreve-bench/smt2/loop__while-if_000.smt2 TIMEOUT 1800.61 1792.88 apollon101 llreve-bench/smt2/faulty__barthe!_000.smt2 true 3.15 1.35 apollon089 llreve-bench/smt2/loop__loop3_000.smt2 TIMEOUT 1800.69 1794.20 apollon108 llreve-bench/smt2/loop__barthe2_000.smt2 true 3.01 1.37 apollon077 llreve-bench/smt2/loop__loop_unswitching_000.smt2 TIMEOUT 1800.67 1793.10 apollon135 llreve-bench/smt2/loop__break_single_000.smt2 true 2.91 1.13 apollon013 llreve-bench/smt2/loop__barthe2-big2_000.smt2 TIMEOUT 1800.74 1791.01 apollon115 llreve-bench/smt2/loop__barthe_000.smt2 true 2.99 1.08 apollon035 llreve-bench/smt2/loop__barthe2-big3_000.smt2 true 4.48 1.32 apollon130 llreve-bench/smt2/loop__loop2_000.smt2 TIMEOUT 1800.67 1793.26 apollon085 llreve-bench/smt2/loop__simple-loop_000.smt2 true 2.74 1.25 apollon123 llreve-bench/smt2/faulty__nested-while!_000.smt2 true 3.52 1.40 apollon044 llreve-bench/smt2/loop__bug15_000.smt2 true 2.96 1.15 apollon075 llreve-bench/smt2/loop__while_after_while_if_000.smt2 TIMEOUT 1800.63 1791.99 apollon081 llreve-bench/smt2/faulty__loop5!_000.smt2 true 2.96 1.07 apollon008 hopv/lia/mochi/intro2_000.smt2 true 2.57 0.97 apollon060 hopv/lia/mochi/neg1_000.smt2 false 3.46 1.39 apollon168 hopv/lia/mochi/sum4_000.smt2 TIMEOUT 1800.62 1795.69 apollon152 hopv/lia/mochi/sum_000.smt2 TIMEOUT 1800.58 1796.48 apollon074 hopv/lia/mochi/exception_000.smt2 true 2.81 1.09 apollon168 hopv/lia/mochi/fxx_000.smt2 true 2.53 1.00 apollon005 hopv/lia/mochi/enc-zip3_000.smt2 TIMEOUT 1800.65 1794.76 apollon148 hopv/lia/mochi/array_init_000.smt2 TIMEOUT 1800.60 1794.38 apollon055 hopv/lia/mochi/map_000.smt2 TIMEOUT 1800.59 1795.29 apollon014 hopv/lia/mochi/mult_000.smt2 TIMEOUT 1800.67 1796.40 apollon027 hopv/lia/mochi/intro3_000.smt2 true 2.98 1.30 apollon150 hopv/lia/mochi/sum2_000.smt2 TIMEOUT 1800.60 1796.41 apollon091 hopv/lia/mochi/intro1_000.smt2 true 2.71 1.00 apollon050 hopv/lia/mochi/exc-simple_000.smt2 true 2.80 1.10 apollon137 hopv/lia/mochi/sum3_000.smt2 TIMEOUT 1800.60 1795.70 apollon049 hopv/lia/mochi/enc-rev_accum_000.smt2 TIMEOUT 1800.60 1794.60 apollon118 hopv/lia/fpice/inductive6_000.smt2 true 3.00 1.38 apollon130 hopv/lia/fpice/inductive2_000.smt2 true 3.17 1.39 apollon078 hopv/lia/fpice/inductive5_000.smt2 true 3.08 1.15 apollon134 hopv/lia/fpice/inductive4_000.smt2 TIMEOUT 1800.61 1793.91 apollon011 hopv/lia/fpice/inductive6-3_000.smt2 true 2.94 1.08 apollon054 hopv/lia/fpice/inductive6-2_000.smt2 true 2.98 1.06 apollon053 hopv/lia/fpice/inductive3_000.smt2 true 2.88 1.29 apollon155 hopv/lia/termination/Ackermann03_000.smt2 true 3.25 1.12 apollon056 hopv/lia/termination/alias_partial00_000.smt2 true 3.24 1.16 apollon030 hopv/lia/termination/append01_000.smt2 true 3.16 1.04 apollon103 hopv/lia/termination/CE-0CFA02_000.smt2 true 2.99 1.32 apollon015 hopv/lia/termination/McCarthy9101_000.smt2 true 3.07 1.14 apollon030 hopv/lia/termination/Ackermann00_000.smt2 true 2.89 1.34 apollon051 hopv/lia/termination/binomial01_000.smt2 true 3.12 1.32 apollon022 hopv/lia/termination/CE-1CFA07_000.smt2 false 6.09 1.91 apollon093 hopv/lia/termination/Fibonacci00_000.smt2 true 2.66 1.32 apollon100 hopv/lia/termination/Ackermann01_000.smt2 true 3.01 1.39 apollon098 hopv/lia/termination/alias_partial01_000.smt2 true 2.82 1.03 apollon168 hopv/lia/termination/CE-1CFA01_000.smt2 true 5.97 2.18 apollon028 hopv/lia/termination/CE-1CFA05_000.smt2 true 3.00 1.07 apollon133 hopv/lia/termination/zip01_000.smt2 true 3.03 1.33 apollon025 hopv/lia/termination/McCarthy9100_000.smt2 true 2.54 1.26 apollon059 hopv/lia/termination/binomial00_000.smt2 true 2.89 1.07 apollon051 hopv/lia/termination/CE-1CFA02_000.smt2 true 6.44 1.93 apollon085 hopv/lia/termination/append00_000.smt2 true 2.73 1.04 apollon082 hopv/lia/termination/CE-0CFA05_000.smt2 true 3.06 1.20 apollon014 hopv/lia/termination/alias_partial02_000.smt2 true 2.87 1.30 apollon122 hopv/lia/termination/CE-1CFA09_000.smt2 false 5.95 1.83 apollon059 hopv/lia/termination/CE-1CFA00_000.smt2 true 6.37 1.96 apollon005 hopv/lia/termination/binomial03_000.smt2 true 3.47 1.17 apollon137 hopv/lia/termination/zip00_000.smt2 true 2.89 1.12 apollon139 hopv/lia/termination/CE-0CFA01_000.smt2 true 3.21 1.37 apollon052 hopv/lia/termination/Fibonacci01_000.smt2 true 2.97 1.13 apollon149 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 16835.20 - Statistics: 1312 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 810