BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/pcsat.xml name: pcsat run sets: CHC-COMP2025_check-sat.LIA-Lin date: Mon, 2025-05-05 20:41:23 CEST tool: PCSat NO_VERSION_UTIL tool executable: ./pcsat.sh options: resource limits: - memory: 30000.0 MB - time: 1800 s - cpu cores: 8 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 8 - memory: 30000.0 MB ------------------------------------------------------------ CHC-COMP2025_check-sat.LIA-Lin Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- aeval-benchmarks/multi-phase/s_split_53_000.smt2 TIMEOUT 1800.50 1800.51 apollon145 aeval-benchmarks/multi-phase/s_split_27_000.smt2 TIMEOUT 1800.50 1800.49 apollon036 aeval-benchmarks/multi-phase/s_split_24_000.smt2 TIMEOUT 1800.46 1800.60 apollon098 aeval-benchmarks/multi-phase/s_split_39_000.smt2 true 0.25 0.25 apollon028 aeval-benchmarks/multi-phase/s_split_15_000.smt2 TIMEOUT 1800.51 1800.51 apollon061 aeval-benchmarks/multi-phase/s_split_03_000.smt2 TIMEOUT 1800.49 1800.68 apollon124 aeval-benchmarks/multi-phase/s_split_13_000.smt2 true 0.24 0.24 apollon051 aeval-benchmarks/multi-phase/s_split_30_000.smt2 TIMEOUT 1800.51 1800.49 apollon125 aeval-benchmarks/multi-phase/s_split_51_000.smt2 TIMEOUT 1800.53 1800.55 apollon128 aeval-benchmarks/multi-phase/s_split_34_000.smt2 true 23.41 23.42 apollon058 aeval-benchmarks/multi-phase/s_split_52_000.smt2 TIMEOUT 1800.51 1800.53 apollon099 aeval-benchmarks/multi-phase/s_split_29_000.smt2 TIMEOUT 1800.49 1800.55 apollon150 aeval-benchmarks/multi-phase/s_split_11_000.smt2 TIMEOUT 1800.47 1800.51 apollon103 aeval-benchmarks/multi-phase/s_split_09_000.smt2 TIMEOUT 1800.53 1800.55 apollon094 aeval-benchmarks/multi-phase/s_split_45_000.smt2 TIMEOUT 1800.55 1800.53 apollon026 aeval-benchmarks/multi-phase/s_split_46_000.smt2 true 0.32 0.32 apollon089 aeval-benchmarks/multi-phase/s_split_48_000.smt2 TIMEOUT 1800.52 1800.52 apollon122 aeval-benchmarks/multi-phase/s_split_44_000.smt2 TIMEOUT 1800.51 1800.56 apollon139 aeval-benchmarks/multi-phase/s_split_32_000.smt2 TIMEOUT 1800.47 1800.50 apollon044 aeval-benchmarks/multi-phase/s_split_08_000.smt2 true 0.44 0.44 apollon020 aeval-benchmarks/multi-phase/s_split_22_000.smt2 TIMEOUT 1800.48 1800.56 apollon051 aeval-benchmarks/multi-phase/s_split_28_000.smt2 true 1.38 1.38 apollon141 aeval-benchmarks/multi-phase/s_split_31_000.smt2 true 0.20 0.21 apollon031 aeval-benchmarks/multi-phase/s_split_21_000.smt2 true 1.42 1.42 apollon129 aeval-benchmarks/multi-phase/s_split_38_000.smt2 true 0.17 0.17 apollon129 aeval-benchmarks/multi-phase/s_split_01_000.smt2 TIMEOUT 1800.55 1800.56 apollon019 aeval-benchmarks/multi-phase/s_split_33_000.smt2 TIMEOUT 1800.54 1800.54 apollon114 aeval-benchmarks/multi-phase/s_split_10_000.smt2 true 0.15 0.15 apollon107 aeval-benchmarks/multi-phase/s_split_37_000.smt2 TIMEOUT 1800.53 1800.63 apollon142 aeval-benchmarks/multi-phase/s_split_06_000.smt2 TIMEOUT 1800.47 1800.49 apollon068 aeval-benchmarks/multi-phase/s_split_42_000.smt2 true 0.77 0.77 apollon100 aeval-benchmarks/multi-phase/s_split_23_000.smt2 true 0.52 0.52 apollon007 aeval-benchmarks/multi-phase/s_split_17_000.smt2 true 0.27 0.27 apollon154 aeval-benchmarks/multi-phase/s_split_20_000.smt2 TIMEOUT 1800.47 1800.53 apollon117 aeval-benchmarks/multi-phase/s_split_36_000.smt2 true 0.16 0.16 apollon145 aeval-benchmarks/multi-phase/s_split_54_000.smt2 TIMEOUT 1800.53 1800.58 apollon015 aeval-benchmarks/multi-phase/s_split_47_000.smt2 TIMEOUT 1800.48 1800.48 apollon041 aeval-benchmarks/multi-phase/s_split_25_000.smt2 TIMEOUT 1800.48 1800.55 apollon057 aeval-benchmarks/multi-phase/s_split_41_000.smt2 TIMEOUT 1800.53 1800.66 apollon051 aeval-benchmarks/multi-phase/s_split_50_000.smt2 TIMEOUT 1800.49 1800.51 apollon124 aeval-benchmarks/multi-phase/s_split_14_000.smt2 TIMEOUT 1800.51 1800.59 apollon043 aeval-benchmarks/multi-phase/s_split_12_000.smt2 true 3.81 3.82 apollon081 aeval-benchmarks/multi-phase/s_split_26_000.smt2 true 0.24 0.24 apollon019 aeval-benchmarks/multi-phase/s_split_16_000.smt2 TIMEOUT 1800.52 1800.50 apollon129 aeval-benchmarks/multi-phase/s_split_04_000.smt2 true 0.85 0.85 apollon002 aeval-benchmarks/multi-phase/s_split_19_000.smt2 TIMEOUT 1800.55 1800.57 apollon073 aeval-benchmarks/multi-phase/s_split_43_000.smt2 TIMEOUT 1800.51 1800.52 apollon127 aeval-benchmarks/multi-phase/s_split_35_000.smt2 TIMEOUT 1800.46 1800.56 apollon080 aeval-benchmarks/multi-phase/s_split_07_000.smt2 true 0.32 0.32 apollon016 aeval-benchmarks/multi-phase/s_split_49_000.smt2 TIMEOUT 1800.52 1800.48 apollon092 aeval-benchmarks/multi-phase/s_split_02_000.smt2 true 2.44 2.45 apollon135 aeval-benchmarks/multi-phase/s_split_40_000.smt2 TIMEOUT 1800.50 1800.58 apollon009 aeval-benchmarks/multi-phase/s_split_18_000.smt2 TIMEOUT 1800.46 1800.58 apollon060 aeval-benchmarks/multi-phase/s_split_05_000.smt2 true 0.20 0.20 apollon038 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e7_2886_000.smt2 TIMEOUT 1800.45 1800.56 apollon026 vmt-chc-benchmarks/lustre/car_6_e3_294_e5_979_000.smt2 TIMEOUT 1800.47 1800.56 apollon108 vmt-chc-benchmarks/lustre/metros_3_e4_1251_000.smt2 TIMEOUT 1800.46 1800.48 apollon092 vmt-chc-benchmarks/lustre/traffic_000.smt2 true 0.18 0.18 apollon069 vmt-chc-benchmarks/lustre/FIREFLY_4_000.smt2 true 0.95 0.96 apollon068 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e2_1026_000.smt2 TIMEOUT 1800.45 1800.52 apollon104 vmt-chc-benchmarks/lustre/car_5_e3_11_e5_24_000.smt2 false 1500.72 1500.83 apollon017 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e2_3395_000.smt2 true 1.64 1.65 apollon163 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e1_3755_000.smt2 true 8.82 8.82 apollon158 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e2_1492_000.smt2 true 1.08 1.08 apollon061 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e2_615_000.smt2 TIMEOUT 1800.44 1800.45 apollon037 vmt-chc-benchmarks/lustre/MESI_i4_e7_1017_e6_1132_000.smt2 TIMEOUT 1800.44 1800.56 apollon141 vmt-chc-benchmarks/lustre/car_4_e8_118_000.smt2 true 0.38 0.38 apollon002 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e7_3447_000.smt2 TIMEOUT 1800.44 1800.48 apollon003 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e2_2251_000.smt2 TIMEOUT 1800.45 1800.46 apollon166 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e1_1489_000.smt2 true 1.57 1.57 apollon037 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e2_2755_000.smt2 TIMEOUT 1800.45 1800.47 apollon066 vmt-chc-benchmarks/lustre/fast_1_e8_747_000.smt2 true 3.10 3.10 apollon023 vmt-chc-benchmarks/lustre/car_4_e3_57_e4_1047_000.smt2 true 0.24 0.24 apollon142 vmt-chc-benchmarks/lustre/DRAGON_10_000.smt2 true 16.32 16.33 apollon131 vmt-chc-benchmarks/lustre/rtp_2_000.smt2 true 16.84 16.85 apollon160 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e3_522_000.smt2 true 2.95 2.96 apollon089 vmt-chc-benchmarks/lustre/durationThm_3_e2_148_000.smt2 true 0.15 0.15 apollon123 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_000.smt2 TIMEOUT 1800.45 1800.54 apollon107 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_000.smt2 TIMEOUT 1800.46 1800.61 apollon018 vmt-chc-benchmarks/lustre/ticket3i_all_e3_557_e7_3464_000.smt2 true 3.59 3.59 apollon050 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e7_998_000.smt2 TIMEOUT 1800.45 1800.50 apollon094 vmt-chc-benchmarks/lustre/peterson_2_000.smt2 true 5.94 5.94 apollon168 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_1315_000.smt2 TIMEOUT 1800.45 1800.54 apollon024 vmt-chc-benchmarks/lustre/car_3_e2_695_000.smt2 true 0.25 0.25 apollon154 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e3_1915_000.smt2 TIMEOUT 1800.44 1800.55 apollon009 vmt-chc-benchmarks/lustre/car_2_e7_1027_e7_359_000.smt2 true 0.32 0.32 apollon090 vmt-chc-benchmarks/lustre/DRAGON_1_000.smt2 true 3.46 3.46 apollon145 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e3_4574_000.smt2 TIMEOUT 1800.44 1800.49 apollon041 vmt-chc-benchmarks/lustre/metros_5_000.smt2 TIMEOUT 1800.46 1800.56 apollon035 vmt-chc-benchmarks/lustre/ILLINOIS_a1_000.smt2 TIMEOUT 1800.45 1800.56 apollon090 vmt-chc-benchmarks/lustre/ILLINOIS_4_e7_2651_e7_2847_000.smt2 true 2.35 2.35 apollon074 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e3_422_000.smt2 true 50.38 50.39 apollon050 vmt-chc-benchmarks/lustre/DRAGON_10_e7_3861_e7_2180_000.smt2 TIMEOUT 1800.44 1800.49 apollon079 vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997_000.smt2 true 9.19 9.19 apollon044 vmt-chc-benchmarks/lustre/metros_3_e4_987_e3_291_000.smt2 TIMEOUT 1800.46 1800.56 apollon002 vmt-chc-benchmarks/lustre/DRAGON_8_e3_786_000.smt2 true 223.74 223.78 apollon008 vmt-chc-benchmarks/lustre/peterson_all_000.smt2 true 16.76 16.76 apollon064 vmt-chc-benchmarks/lustre/ticket3i_5_e7_3307_000.smt2 true 1.72 1.73 apollon016 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_000.smt2 true 2.81 2.81 apollon088 vmt-chc-benchmarks/lustre/DRAGON_all_000.smt2 true 17.83 17.83 apollon053 vmt-chc-benchmarks/lustre/DRAGON_9_000.smt2 true 8.28 8.29 apollon071 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e1_1486_000.smt2 TIMEOUT 1800.45 1800.53 apollon146 vmt-chc-benchmarks/lustre/swimmingpool_9_000.smt2 TIMEOUT 1800.45 1800.59 apollon146 vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e2_3135_000.smt2 true 16.59 16.59 apollon056 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e7_341_000.smt2 TIMEOUT 1800.46 1800.52 apollon064 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_000.smt2 true 18.14 18.15 apollon027 vmt-chc-benchmarks/lustre/MESI_3_000.smt2 true 1.47 1.47 apollon166 vmt-chc-benchmarks/lustre/hysteresis_all_000.smt2 true 1.09 1.10 apollon106 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e2_158_000.smt2 true 18.86 18.87 apollon082 vmt-chc-benchmarks/lustre/rtp_vt_000.smt2 TIMEOUT 1800.46 1800.57 apollon045 vmt-chc-benchmarks/lustre/MESI_4_e7_1140_e7_433_000.smt2 true 1.30 1.30 apollon114 vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e7_1864_000.smt2 TIMEOUT 1800.45 1800.49 apollon023 vmt-chc-benchmarks/lustre/MOESI_2_e2_155_000.smt2 true 1.46 1.46 apollon168 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e3_511_000.smt2 true 4.52 4.53 apollon142 vmt-chc-benchmarks/lustre/speed2_e8_449_000.smt2 true 0.17 0.17 apollon017 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e1_6205_000.smt2 true 11.67 11.68 apollon018 vmt-chc-benchmarks/lustre/FIREFLY_8_000.smt2 true 1.51 1.51 apollon018 vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e4_4421_000.smt2 TIMEOUT 1800.45 1800.54 apollon105 vmt-chc-benchmarks/lustre/MOESI_2_e8_101_000.smt2 true 0.73 0.74 apollon010 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e6_2476_000.smt2 true 1.96 1.96 apollon030 vmt-chc-benchmarks/lustre/FIREFLY_10_e7_919_e2_3192_000.smt2 true 2.65 2.65 apollon036 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e4_165_000.smt2 true 0.14 0.15 apollon041 vmt-chc-benchmarks/lustre/ticket3i_7_e7_3176_000.smt2 true 2.91 2.91 apollon082 vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5322_000.smt2 TIMEOUT 1800.45 1800.49 apollon145 vmt-chc-benchmarks/lustre/MESI_i4_e6_2175_000.smt2 TIMEOUT 1800.44 1800.46 apollon136 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e6_2281_000.smt2 TIMEOUT 1800.45 1800.49 apollon060 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e7_3738_000.smt2 TIMEOUT 1800.44 1800.46 apollon061 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e3_2055_000.smt2 TIMEOUT 1800.45 1800.56 apollon101 vmt-chc-benchmarks/lustre/DRAGON_10_e1_998_000.smt2 true 3.19 3.19 apollon079 vmt-chc-benchmarks/lustre/FIREFLY_2_e2_3244_e3_1305_000.smt2 TIMEOUT 1800.44 1800.56 apollon139 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e2_2673_000.smt2 true 2.23 2.23 apollon067 vmt-chc-benchmarks/lustre/ILLINOIS_5_000.smt2 true 3.20 3.20 apollon004 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e1_556_000.smt2 TIMEOUT 1800.48 1800.55 apollon011 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e1_1128_000.smt2 TIMEOUT 1800.46 1800.55 apollon026 vmt-chc-benchmarks/lustre/speed_e7_207_e8_507_000.smt2 true 0.14 0.14 apollon041 vmt-chc-benchmarks/lustre/DRAGON_all_e7_4065_000.smt2 TIMEOUT 1800.44 1800.57 apollon147 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e7_1173_000.smt2 TIMEOUT 1800.44 1800.54 apollon095 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e4_232_000.smt2 TIMEOUT 1800.46 1800.56 apollon106 vmt-chc-benchmarks/lustre/MESI_i1_e4_1986_000.smt2 TIMEOUT 1800.44 1800.56 apollon044 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e1_768_000.smt2 true 1.78 1.78 apollon058 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e7_3594_000.smt2 true 1.31 1.31 apollon082 vmt-chc-benchmarks/lustre/SYNAPSE_5_000.smt2 TIMEOUT 1800.44 1800.56 apollon040 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e7_3681_000.smt2 true 2.42 2.42 apollon059 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e5_3248_000.smt2 true 140.04 140.06 apollon038 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e5_260_000.smt2 true 0.15 0.15 apollon005 vmt-chc-benchmarks/lustre/metros_1_e1_846_e2_1394_000.smt2 true 7.48 7.48 apollon090 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e3_2660_000.smt2 TIMEOUT 1800.45 1800.48 apollon010 vmt-chc-benchmarks/lustre/car_6_e3_294_e3_47_000.smt2 TIMEOUT 1800.48 1800.52 apollon081 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e7_2326_000.smt2 TIMEOUT 1800.44 1800.46 apollon123 vmt-chc-benchmarks/lustre/DRAGON_all2_e8_5504_e7_579_000.smt2 TIMEOUT 1800.45 1800.55 apollon085 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_000.smt2 TIMEOUT 1800.44 1800.51 apollon148 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e2_1352_000.smt2 TIMEOUT 1800.46 1800.57 apollon027 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e6_1459_000.smt2 true 2.52 2.52 apollon073 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e5_3642_000.smt2 TIMEOUT 1800.45 1800.66 apollon018 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e8_320_000.smt2 true 0.34 0.35 apollon142 vmt-chc-benchmarks/lustre/peterson_3_000.smt2 true 10.20 10.21 apollon100 vmt-chc-benchmarks/lustre/FIREFLY_rt_000.smt2 TIMEOUT 1800.44 1800.58 apollon043 vmt-chc-benchmarks/lustre/FIREFLY_luke_5_000.smt2 true 19.26 19.26 apollon024 vmt-chc-benchmarks/lustre/FIREFLY_5_000.smt2 true 0.98 0.98 apollon034 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e2_2392_000.smt2 true 2.27 2.28 apollon023 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e2_1923_000.smt2 true 64.48 64.49 apollon034 vmt-chc-benchmarks/lustre/car_all_e3_1068_000.smt2 false 0.36 0.36 apollon091 vmt-chc-benchmarks/lustre/MOESI_2_e3_1523_000.smt2 true 1.59 1.60 apollon165 vmt-chc-benchmarks/lustre/ticket3i_all_000.smt2 true 1.92 1.92 apollon043 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e8_1334_000.smt2 true 0.73 0.73 apollon112 vmt-chc-benchmarks/lustre/DRAGON_13_e3_1418_e3_2761_000.smt2 TIMEOUT 1800.45 1800.57 apollon092 vmt-chc-benchmarks/lustre/ticket3i_2_000.smt2 true 1.23 1.23 apollon156 vmt-chc-benchmarks/lustre/fast_1_000.smt2 true 3.26 3.27 apollon121 vmt-chc-benchmarks/lustre/MESI_1_e2_162_e7_1545_000.smt2 true 1.85 1.85 apollon088 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e6_2061_000.smt2 true 9.66 9.67 apollon119 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_000.smt2 true 1.89 1.90 apollon039 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e3_1549_000.smt2 TIMEOUT 1800.45 1800.50 apollon081 vmt-chc-benchmarks/lustre/_6counters_e3_140_e8_149_000.smt2 true 0.27 0.27 apollon127 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e7_3042_e3_1213_000.smt2 TIMEOUT 1800.45 1800.62 apollon038 vmt-chc-benchmarks/lustre/speed2_000.smt2 true 0.16 0.16 apollon139 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_000.smt2 true 0.66 0.66 apollon127 vmt-chc-benchmarks/lustre/car_all_e2_142_e7_209_000.smt2 true 0.54 0.54 apollon117 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e1_1852_000.smt2 TIMEOUT 1800.45 1800.48 apollon112 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e1_2375_000.smt2 TIMEOUT 1800.44 1800.55 apollon015 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e1_3182_000.smt2 true 1.66 1.66 apollon167 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e7_1262_000.smt2 true 0.63 0.63 apollon129 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e4_958_000.smt2 false 1.09 1.09 apollon027 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_000.smt2 TIMEOUT 1800.45 1800.56 apollon099 vmt-chc-benchmarks/lustre/_6counters_000.smt2 false 2.34 2.34 apollon135 vmt-chc-benchmarks/lustre/cd_000.smt2 true 1771.71 1771.85 apollon085 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e1_154_000.smt2 TIMEOUT 1800.44 1800.51 apollon055 vmt-chc-benchmarks/lustre/DRAGON_8_e3_786_e7_4541_000.smt2 true 380.41 380.44 apollon119 vmt-chc-benchmarks/lustre/DRAGON_11_e2_1678_e1_3565_000.smt2 TIMEOUT 1800.45 1800.55 apollon034 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e1_946_000.smt2 true 1.09 1.09 apollon038 vmt-chc-benchmarks/lustre/DRAGON_3_000.smt2 true 8.87 8.88 apollon068 vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e7_3516_000.smt2 true 2.52 2.52 apollon040 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_000.smt2 TIMEOUT 1800.44 1800.52 apollon156 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e3_2294_000.smt2 TIMEOUT 1800.45 1800.79 apollon134 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e7_193_000.smt2 TIMEOUT 1800.46 1800.55 apollon108 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e2_617_000.smt2 true 208.42 208.44 apollon157 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_000.smt2 true 2.90 2.90 apollon082 vmt-chc-benchmarks/lustre/MOESI_2_e7_2910_e7_1804_000.smt2 TIMEOUT 1800.44 1800.54 apollon146 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e2_138_000.smt2 TIMEOUT 1800.44 1800.52 apollon163 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_000.smt2 true 0.47 0.47 apollon035 vmt-chc-benchmarks/lustre/Gas_000.smt2 TIMEOUT 1800.46 1800.48 apollon017 vmt-chc-benchmarks/lustre/SYNAPSE_1_000.smt2 true 0.48 0.49 apollon116 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e8_1167_000.smt2 true 0.77 0.77 apollon027 vmt-chc-benchmarks/lustre/rtp_1_000.smt2 true 6.44 6.44 apollon120 vmt-chc-benchmarks/lustre/metros_2_e2_704_e1_389_000.smt2 TIMEOUT 1800.46 1800.60 apollon012 vmt-chc-benchmarks/lustre/metros_2_e2_704_e3_76_000.smt2 false 514.88 514.93 apollon089 vmt-chc-benchmarks/lustre/fast_2_000.smt2 true 80.11 80.12 apollon158 vmt-chc-benchmarks/lustre/DRAGON_2_000.smt2 true 4.21 4.21 apollon063 vmt-chc-benchmarks/lustre/ex3_e8_381_e8_477_000.smt2 true 0.19 0.19 apollon001 vmt-chc-benchmarks/lustre/car_4_e3_57_e6_784_000.smt2 true 0.45 0.45 apollon004 vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e8_3691_000.smt2 TIMEOUT 1800.46 1800.57 apollon048 vmt-chc-benchmarks/lustre/metros_3_e4_987_e2_80_000.smt2 TIMEOUT 1800.46 1800.45 apollon053 vmt-chc-benchmarks/lustre/metros_4_e5_1150_000.smt2 TIMEOUT 1800.45 1800.49 apollon097 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e8_1916_000.smt2 true 1.24 1.24 apollon166 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e5_2046_000.smt2 true 5.38 5.38 apollon034 vmt-chc-benchmarks/lustre/hysteresis_2_000.smt2 true 0.71 0.71 apollon051 vmt-chc-benchmarks/lustre/car_3_e7_626_e1_305_000.smt2 TIMEOUT 1800.46 1800.47 apollon061 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e2_1255_000.smt2 TIMEOUT 1800.44 1800.56 apollon120 vmt-chc-benchmarks/lustre/ticket3i_all_e2_1117_e7_553_000.smt2 true 3.45 3.46 apollon049 vmt-chc-benchmarks/lustre/durationThm_2_e1_118_000.smt2 true 6.23 6.23 apollon141 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e3_2970_000.smt2 true 2.72 2.72 apollon112 vmt-chc-benchmarks/lustre/car_4_e7_592_000.smt2 true 0.34 0.34 apollon091 vmt-chc-benchmarks/lustre/FIREFLY_2_e3_151_e3_1540_000.smt2 TIMEOUT 1800.45 1800.44 apollon053 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e3_1543_000.smt2 TIMEOUT 1800.45 1800.55 apollon020 vmt-chc-benchmarks/lustre/ex8_e7_74_e7_740_000.smt2 false 0.13 0.13 apollon058 vmt-chc-benchmarks/lustre/car_2_e8_491_e7_826_000.smt2 true 0.28 0.28 apollon018 vmt-chc-benchmarks/lustre/swimmingpool_1_e7_1621_000.smt2 TIMEOUT 1800.45 1800.58 apollon041 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e2_1058_000.smt2 true 1.18 1.18 apollon048 vmt-chc-benchmarks/lustre/car_all_e2_142_e8_194_000.smt2 true 0.32 0.32 apollon131 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e7_523_000.smt2 TIMEOUT 1800.45 1800.47 apollon044 vmt-chc-benchmarks/lustre/metros_2_e2_704_000.smt2 TIMEOUT 1800.46 1800.48 apollon066 vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997_e7_3613_e2_3409_000.smt2 true 6.00 6.00 apollon024 vmt-chc-benchmarks/lustre/ticket3i_7_e2_2724_e7_524_000.smt2 true 1.93 1.94 apollon025 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e8_1581_000.smt2 true 0.41 0.41 apollon082 vmt-chc-benchmarks/lustre/DRAGON_14_e1_2392_000.smt2 TIMEOUT 1800.45 1800.62 apollon031 vmt-chc-benchmarks/lustre/swimmingpool_4_000.smt2 TIMEOUT 1800.45 1800.51 apollon085 vmt-chc-benchmarks/lustre/durationThm_3_e1_36_e7_432_000.smt2 false 31.93 31.94 apollon097 vmt-chc-benchmarks/lustre/metros_1_e8_725_e3_556_000.smt2 true 1.02 1.02 apollon002 vmt-chc-benchmarks/lustre/MESI_all_000.smt2 true 0.52 0.52 apollon080 vmt-chc-benchmarks/lustre/DRAGON_8_000.smt2 true 339.48 339.51 apollon079 vmt-chc-benchmarks/lustre/car_5_e3_11_000.smt2 TIMEOUT 1800.47 1800.58 apollon133 vmt-chc-benchmarks/lustre/metros_1_000.smt2 true 103.04 103.07 apollon036 vmt-chc-benchmarks/lustre/car_6_e1_152_e1_391_000.smt2 TIMEOUT 1800.46 1800.58 apollon133 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e5_1637_000.smt2 TIMEOUT 1800.45 1800.59 apollon152 vmt-chc-benchmarks/lustre/metros_1_e2_1102_000.smt2 true 13.97 13.98 apollon068 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e8_1713_000.smt2 TIMEOUT 1800.46 1800.49 apollon100 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e3_2657_000.smt2 TIMEOUT 1800.44 1800.48 apollon111 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_all_000.smt2 true 0.34 0.35 apollon162 vmt-chc-benchmarks/lustre/DRAGON_8_e2_3896_e3_3125_000.smt2 true 1346.11 1346.21 apollon031 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e4_578_000.smt2 true 0.91 0.91 apollon018 vmt-chc-benchmarks/lustre/car_all_e8_856_000.smt2 true 0.47 0.47 apollon154 vmt-chc-benchmarks/lustre/DRAGON_14_e3_5120_000.smt2 TIMEOUT 1800.45 1800.60 apollon018 vmt-chc-benchmarks/lustre/SYNAPSE_6_000.smt2 TIMEOUT 1800.45 1800.52 apollon139 vmt-chc-benchmarks/lustre/DRAGON_5_e1_1835_000.smt2 TIMEOUT 1800.44 1800.48 apollon054 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e7_2614_000.smt2 TIMEOUT 1800.44 1800.58 apollon095 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_000.smt2 TIMEOUT 1800.45 1800.49 apollon059 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e7_1163_000.smt2 true 37.39 37.40 apollon021 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e5_846_000.smt2 TIMEOUT 1800.45 1800.57 apollon152 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e1_2678_000.smt2 true 0.98 0.99 apollon027 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_144_000.smt2 TIMEOUT 1800.44 1800.45 apollon115 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e3_135_000.smt2 TIMEOUT 1800.45 1800.51 apollon165 vmt-chc-benchmarks/lustre/MOESI_2_e1_1121_000.smt2 true 0.75 0.75 apollon154 vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e7_872_000.smt2 TIMEOUT 1800.44 1800.82 apollon062 vmt-chc-benchmarks/lustre/metros_1_e1_846_e3_1060_000.smt2 true 19.84 19.84 apollon027 vmt-chc-benchmarks/lustre/car_all_000.smt2 true 0.38 0.38 apollon066 vmt-chc-benchmarks/lustre/durationThm_2_e1_301_e7_64_000.smt2 false 1.63 1.63 apollon010 vmt-chc-benchmarks/lustre/DRAGON_3_e2_5343_e1_988_000.smt2 true 19.42 19.43 apollon052 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e7_1059_e8_1111_000.smt2 TIMEOUT 1800.46 1800.55 apollon136 vmt-chc-benchmarks/lustre/speed2_e8_449_e7_353_000.smt2 true 0.18 0.18 apollon058 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e7_1026_000.smt2 true 15.61 15.61 apollon058 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_000.smt2 TIMEOUT 1800.45 1800.57 apollon080 vmt-chc-benchmarks/lustre/durationThm_3_e1_36_000.smt2 false 13.82 13.82 apollon021 vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e1_505_000.smt2 TIMEOUT 1800.45 1800.55 apollon015 vmt-chc-benchmarks/lustre/ILLINOIS_all_e3_2354_e6_993_000.smt2 true 2.53 2.54 apollon165 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e8_3171_000.smt2 true 3.28 3.28 apollon115 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e8_1896_000.smt2 TIMEOUT 1800.44 1800.53 apollon007 vmt-chc-benchmarks/lustre/car_all_e3_1068_e3_163_000.smt2 false 1.08 1.08 apollon053 vmt-chc-benchmarks/lustre/metros_4_e1_917_000.smt2 TIMEOUT 1800.46 1800.51 apollon116 vmt-chc-benchmarks/lustre/ticket3i_6_e7_1096_e7_2688_000.smt2 true 3.22 3.23 apollon152 vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e3_1744_000.smt2 true 7.92 7.92 apollon122 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e3_1601_000.smt2 TIMEOUT 1800.44 1800.60 apollon011 vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e7_1466_000.smt2 TIMEOUT 1800.45 1800.55 apollon074 vmt-chc-benchmarks/lustre/swimmingpool_1_000.smt2 TIMEOUT 1800.46 1800.50 apollon166 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e7_1440_000.smt2 TIMEOUT 1800.46 1800.57 apollon142 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e2_753_000.smt2 TIMEOUT 1800.46 1800.54 apollon052 vmt-chc-benchmarks/lustre/car_4_e3_57_e7_350_000.smt2 false 1.36 1.37 apollon027 vmt-chc-benchmarks/lustre/ticket3i_4_e7_1775_e7_3320_000.smt2 true 6.16 6.16 apollon001 vmt-chc-benchmarks/lustre/MESI_3_e3_2584_000.smt2 true 2.39 2.40 apollon018 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e2_3308_000.smt2 true 19.01 19.02 apollon152 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e1_1759_000.smt2 true 21.46 21.47 apollon024 vmt-chc-benchmarks/lustre/metros_1_e1_846_e8_1253_000.smt2 true 0.54 0.54 apollon157 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e1_667_000.smt2 TIMEOUT 1800.46 1800.60 apollon157 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e1_2924_000.smt2 TIMEOUT 1800.45 1800.48 apollon158 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e5_1637_000.smt2 TIMEOUT 1800.45 1800.55 apollon075 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e3_1180_000.smt2 true 18.78 18.78 apollon141 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e3_2012_000.smt2 TIMEOUT 1800.45 1800.59 apollon046 vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1653_000.smt2 TIMEOUT 1800.46 1800.57 apollon101 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_000.smt2 TIMEOUT 1800.44 1800.77 apollon055 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e7_638_000.smt2 true 0.48 0.48 apollon103 vmt-chc-benchmarks/lustre/rtp_all_e7_2500_000.smt2 true 15.38 15.38 apollon028 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e3_1839_000.smt2 TIMEOUT 1800.45 1800.56 apollon042 vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e2_936_000.smt2 TIMEOUT 1800.44 1800.54 apollon127 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e1_1455_000.smt2 true 1.05 1.05 apollon147 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e1_1292_000.smt2 true 384.55 384.59 apollon097 vmt-chc-benchmarks/lustre/car_all_e3_1068_e4_275_000.smt2 true 0.53 0.72 apollon094 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e3_979_000.smt2 TIMEOUT 1800.44 1800.54 apollon012 vmt-chc-benchmarks/lustre/durationThm_1_e7_217_e7_31_000.smt2 false 0.90 0.90 apollon085 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e6_4484_000.smt2 true 9.49 9.49 apollon082 vmt-chc-benchmarks/lustre/DRAGON_11_e1_1117_e7_4950_000.smt2 TIMEOUT 1800.44 1800.51 apollon107 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e2_5340_000.smt2 TIMEOUT 1800.44 1800.53 apollon045 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e1_3277_000.smt2 TIMEOUT 1800.44 1800.48 apollon065 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e3_5316_000.smt2 true 16.74 16.75 apollon024 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e2_1145_000.smt2 true 16.09 16.10 apollon066 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2_e7_1068_e8_1019_000.smt2 TIMEOUT 1800.46 1800.49 apollon123 vmt-chc-benchmarks/lustre/_6counters_e8_371_e7_304_000.smt2 false 0.65 0.65 apollon074 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e3_5972_000.smt2 true 5.90 5.90 apollon154 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e2_5844_000.smt2 true 3.78 3.78 apollon021 vmt-chc-benchmarks/lustre/ILLINOIS_2_000.smt2 true 1.64 1.64 apollon099 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e3_2640_000.smt2 true 5.18 5.19 apollon147 vmt-chc-benchmarks/lustre/rtp_6_000.smt2 true 13.96 13.97 apollon137 vmt-chc-benchmarks/lustre/DRAGON_11_e2_5396_e3_282_000.smt2 TIMEOUT 1800.45 1800.54 apollon104 vmt-chc-benchmarks/lustre/car_6_e1_152_000.smt2 TIMEOUT 1800.46 1800.60 apollon011 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_000.smt2 TIMEOUT 1800.45 1800.54 apollon120 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e2_1375_e1_418_000.smt2 TIMEOUT 1800.45 1800.45 apollon094 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e7_685_000.smt2 TIMEOUT 1800.44 1800.48 apollon100 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_3191_e7_2146_000.smt2 TIMEOUT 1800.44 1800.52 apollon153 vmt-chc-benchmarks/lustre/ex8_e7_55_000.smt2 false 0.13 0.13 apollon056 vmt-chc-benchmarks/lustre/SYNAPSE_6_e7_938_e2_1012_000.smt2 true 792.41 792.48 apollon088 vmt-chc-benchmarks/lustre/car_5_e2_405_e8_1055_000.smt2 false 71.84 71.85 apollon129 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e4_34_000.smt2 TIMEOUT 1800.46 1800.52 apollon160 vmt-chc-benchmarks/lustre/MESI_i4_e1_1023_e8_2498_000.smt2 TIMEOUT 1800.44 1800.46 apollon089 vmt-chc-benchmarks/lustre/DRAGON_3_e3_3846_000.smt2 true 20.77 20.77 apollon105 vmt-chc-benchmarks/lustre/DRAGON_11_000.smt2 TIMEOUT 1800.45 1800.55 apollon042 vmt-chc-benchmarks/lustre/MOESI_all_000.smt2 true 0.67 0.67 apollon007 vmt-chc-benchmarks/lustre/car_1_e7_184_e3_299_000.smt2 true 0.32 0.33 apollon147 vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e3_2749_000.smt2 true 3.95 3.95 apollon137 vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e7_4699_000.smt2 TIMEOUT 1800.45 1800.61 apollon046 vmt-chc-benchmarks/lustre/ex3_000.smt2 true 0.16 0.16 apollon091 vmt-chc-benchmarks/lustre/car_1_000.smt2 true 0.46 0.47 apollon049 vmt-chc-benchmarks/lustre/car_3_e7_626_000.smt2 true 0.40 0.40 apollon007 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e3_389_000.smt2 TIMEOUT 1800.44 1800.53 apollon079 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e8_3031_000.smt2 true 6.53 6.53 apollon055 vmt-chc-benchmarks/lustre/car_all_e2_108_000.smt2 true 0.49 0.49 apollon055 vmt-chc-benchmarks/lustre/traffic_e7_46_e8_16_000.smt2 true 0.17 0.17 apollon143 vmt-chc-benchmarks/lustre/peterson_vt_000.smt2 TIMEOUT 1800.45 1800.53 apollon089 vmt-chc-benchmarks/lustre/metros_4_000.smt2 TIMEOUT 1800.46 1800.50 apollon168 vmt-chc-benchmarks/lustre/SYNAPSE_123_000.smt2 true 0.52 0.53 apollon020 vmt-chc-benchmarks/lustre/peterson_4_000.smt2 true 30.63 30.63 apollon056 vmt-chc-benchmarks/lustre/DRAGON_3_e7_3211_000.smt2 TIMEOUT 1800.44 1800.49 apollon124 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e4_2415_000.smt2 TIMEOUT 1800.45 1800.54 apollon130 vmt-chc-benchmarks/lustre/ticket3i_7_000.smt2 true 1.98 1.99 apollon116 vmt-chc-benchmarks/lustre/DRAGON_10_e3_3429_000.smt2 true 8.11 8.11 apollon098 vmt-chc-benchmarks/lustre/car_all_e3_1068_e6_790_000.smt2 true 0.38 0.38 apollon066 vmt-chc-benchmarks/lustre/ticket3i_1_e7_1669_000.smt2 true 3.73 3.74 apollon117 vmt-chc-benchmarks/lustre/car_all_e3_1068_e2_13_000.smt2 false 1.93 1.93 apollon067 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e3_495_000.smt2 TIMEOUT 1800.45 1800.47 apollon005 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e1_2319_000.smt2 TIMEOUT 1800.44 1800.55 apollon020 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e5_84_000.smt2 TIMEOUT 1800.45 1800.62 apollon018 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e6_500_000.smt2 TIMEOUT 1800.44 1800.55 apollon040 vmt-chc-benchmarks/lustre/MESI_i4_000.smt2 TIMEOUT 1800.44 1800.57 apollon167 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_000.smt2 TIMEOUT 1800.44 1800.55 apollon086 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e7_1882_000.smt2 TIMEOUT 1800.43 1800.61 apollon048 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e2_1053_000.smt2 TIMEOUT 1800.46 1800.64 apollon048 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e7_616_000.smt2 TIMEOUT 1800.44 1800.53 apollon058 vmt-chc-benchmarks/lustre/DRAGON_2_e1_2316_000.smt2 true 9.58 9.58 apollon005 vmt-chc-benchmarks/lustre/ex3_e7_590_e7_590_000.smt2 true 0.18 0.18 apollon010 vmt-chc-benchmarks/lustre/ex8_e8_220_e7_249_000.smt2 false 0.13 0.13 apollon027 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_2_000.smt2 true 1.78 1.78 apollon023 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e8_5719_000.smt2 TIMEOUT 1800.45 1800.51 apollon028 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e6_113_000.smt2 TIMEOUT 1800.47 1800.52 apollon168 vmt-chc-benchmarks/lustre/rtp_10_e7_106_e7_2564_000.smt2 true 4.22 4.22 apollon088 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e8_3915_000.smt2 TIMEOUT 1800.44 1800.54 apollon071 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_856_000.smt2 true 0.96 0.96 apollon015 vmt-chc-benchmarks/lustre/SYNAPSE_i1_000.smt2 TIMEOUT 1800.46 1800.48 apollon107 vmt-chc-benchmarks/lustre/rtp_all_000.smt2 true 14.80 14.81 apollon095 vmt-chc-benchmarks/lustre/ticket3i_6_000.smt2 true 1.51 1.51 apollon007 vmt-chc-benchmarks/lustre/swimmingpool_6_000.smt2 TIMEOUT 1800.46 1800.51 apollon155 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e7_1062_000.smt2 true 0.71 0.71 apollon166 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e3_1882_000.smt2 true 1.02 1.19 apollon093 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e3_4298_000.smt2 TIMEOUT 1800.45 1800.47 apollon153 vmt-chc-benchmarks/lustre/fast_2_e8_460_e8_1920_000.smt2 true 65.18 65.19 apollon007 vmt-chc-benchmarks/lustre/swimmingpool_7_000.smt2 TIMEOUT 1800.45 1800.55 apollon050 vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1350_e8_1354_000.smt2 TIMEOUT 1800.45 1800.62 apollon038 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e4_147_000.smt2 TIMEOUT 1800.44 1800.48 apollon036 vmt-chc-benchmarks/lustre/_6counters_e8_371_e1_448_000.smt2 true 1.01 1.01 apollon122 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e3_829_000.smt2 TIMEOUT 1800.44 1800.52 apollon154 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e3_2697_000.smt2 TIMEOUT 1800.44 1800.49 apollon116 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e7_2499_000.smt2 TIMEOUT 1800.45 1800.54 apollon052 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e2_2545_000.smt2 false 1.76 1.77 apollon145 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e1_1201_000.smt2 TIMEOUT 1800.46 1800.46 apollon063 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e6_1826_000.smt2 true 0.95 0.95 apollon152 vmt-chc-benchmarks/lustre/car_5_e3_11_e1_429_000.smt2 TIMEOUT 1800.47 1800.57 apollon114 vmt-chc-benchmarks/lustre/car_6_e2_893_000.smt2 TIMEOUT 1800.47 1800.52 apollon104 vmt-chc-benchmarks/lustre/MOESI_1_e3_1884_e7_1875_000.smt2 true 1.50 1.50 apollon154 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e3_1753_000.smt2 true 2.48 2.48 apollon024 vmt-chc-benchmarks/lustre/FIREFLY_10_000.smt2 true 1.97 1.98 apollon163 vmt-chc-benchmarks/lustre/metros_2_e1_1116_000.smt2 TIMEOUT 1800.46 1800.68 apollon167 vmt-chc-benchmarks/lustre/rtp_3_000.smt2 true 12.75 12.76 apollon008 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e7_1847_000.smt2 TIMEOUT 1800.44 1800.55 apollon016 vmt-chc-benchmarks/lustre/DRAGON_6_e7_5046_e7_3623_000.smt2 true 8.18 8.18 apollon071 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e3_1472_000.smt2 TIMEOUT 1800.45 1800.54 apollon114 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e2_1483_000.smt2 TIMEOUT 1800.46 1800.51 apollon010 vmt-chc-benchmarks/lustre/metros_4_e2_968_e6_236_000.smt2 TIMEOUT 1800.46 1800.51 apollon160 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e1_823_000.smt2 TIMEOUT 1800.46 1800.48 apollon013 vmt-chc-benchmarks/lustre/car_3_e1_586_000.smt2 false 2.58 2.58 apollon027 vmt-chc-benchmarks/lustre/ticket3i_7_e8_2126_e7_78_000.smt2 true 2.83 2.83 apollon141 vmt-chc-benchmarks/lustre/FIREFLY_11_e1_3457_000.smt2 TIMEOUT 1800.45 1800.50 apollon010 vmt-chc-benchmarks/lustre/ex3_e8_381_e7_224_000.smt2 true 0.18 0.18 apollon163 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e8_941_000.smt2 true 0.59 0.59 apollon103 vmt-chc-benchmarks/lustre/fast_1_e8_747_e8_1041_000.smt2 true 1.63 1.64 apollon147 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e1_6030_000.smt2 TIMEOUT 1800.44 1800.56 apollon017 vmt-chc-benchmarks/lustre/car_3_e8_33_e1_856_000.smt2 false 5.40 5.40 apollon116 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e8_1177_000.smt2 true 0.38 0.39 apollon071 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2229_000.smt2 true 1.42 1.42 apollon145 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e3_2021_000.smt2 TIMEOUT 1800.45 1800.54 apollon146 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e8_2325_000.smt2 TIMEOUT 1800.44 1800.46 apollon120 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_000.smt2 true 0.38 0.38 apollon160 vmt-chc-benchmarks/lustre/two_counters_e2_3_000.smt2 false 0.13 0.13 apollon045 vmt-chc-benchmarks/lustre/MESI_i1_e2_2656_000.smt2 TIMEOUT 1800.44 1800.48 apollon100 vmt-chc-benchmarks/lustre/car_6_e2_589_e3_349_000.smt2 TIMEOUT 1800.49 1800.55 apollon129 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e5_124_000.smt2 true 0.40 0.41 apollon044 vmt-chc-benchmarks/lustre/MESI_i1_000.smt2 TIMEOUT 1800.44 1800.54 apollon144 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e1_2644_000.smt2 true 3.43 3.43 apollon129 vmt-chc-benchmarks/lustre/ILLINOIS_4_000.smt2 true 2.32 2.32 apollon146 vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_1041_000.smt2 TIMEOUT 1800.45 1800.52 apollon074 vmt-chc-benchmarks/lustre/metros_2_e2_704_e7_810_000.smt2 TIMEOUT 1800.46 1800.54 apollon004 vmt-chc-benchmarks/lustre/durationThm_2_e2_206_e7_33_000.smt2 true 0.47 0.47 apollon100 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e3_2698_000.smt2 TIMEOUT 1800.45 1800.53 apollon069 vmt-chc-benchmarks/lustre/durationThm_3_e3_207_000.smt2 true 0.14 0.15 apollon149 vmt-chc-benchmarks/lustre/readwrit_000.smt2 true 23.78 23.78 apollon145 vmt-chc-benchmarks/lustre/FIREFLY_u1_e2_3403_e2_957_000.smt2 TIMEOUT 1800.44 1800.48 apollon093 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_000.smt2 TIMEOUT 1800.45 1800.53 apollon137 vmt-chc-benchmarks/lustre/swimmingpool_4_e7_2197_000.smt2 TIMEOUT 1800.45 1800.56 apollon056 vmt-chc-benchmarks/lustre/_6countern_000.smt2 false 0.10 0.10 apollon141 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_000.smt2 true 1.09 1.09 apollon123 vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606_e7_4891_000.smt2 TIMEOUT 1800.46 1800.48 apollon053 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e2_1853_000.smt2 true 1.81 1.82 apollon103 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e1_1979_000.smt2 TIMEOUT 1800.45 1800.61 apollon008 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e3_2607_000.smt2 true 9.72 9.72 apollon026 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e4_3719_000.smt2 TIMEOUT 1800.45 1800.49 apollon112 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e2_1767_000.smt2 TIMEOUT 1800.45 1800.47 apollon125 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e2_1815_000.smt2 TIMEOUT 1800.44 1800.51 apollon081 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e6_167_000.smt2 TIMEOUT 1800.46 1800.54 apollon016 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e3_961_000.smt2 true 4.04 4.05 apollon144 vmt-chc-benchmarks/lustre/SYNAPSE_all_000.smt2 true 0.77 0.77 apollon114 vmt-chc-benchmarks/lustre/traffic_e7_348_000.smt2 false 0.14 0.14 apollon145 vmt-chc-benchmarks/lustre/MESI_1_000.smt2 true 1.27 1.28 apollon135 vmt-chc-benchmarks/lustre/car_4_e7_592_e7_265_000.smt2 true 0.41 0.42 apollon044 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_000.smt2 TIMEOUT 1800.45 1800.55 apollon118 vmt-chc-benchmarks/lustre/car_6_e3_294_e1_956_000.smt2 TIMEOUT 1800.47 1800.56 apollon167 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e3_640_000.smt2 true 2.99 2.99 apollon050 vmt-chc-benchmarks/lustre/ILLINOIS_all_000.smt2 true 4.12 4.13 apollon062 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e1_5832_000.smt2 TIMEOUT 1800.44 1800.46 apollon113 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_000.smt2 TIMEOUT 1800.45 1800.47 apollon126 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e7_394_000.smt2 true 0.63 0.63 apollon039 vmt-chc-benchmarks/lustre/metros_1_e1_846_e1_1317_000.smt2 true 43.66 43.67 apollon049 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_3758_000.smt2 TIMEOUT 1800.44 1800.55 apollon001 vmt-chc-benchmarks/lustre/FIREFLY_2_e7_1776_e2_3202_000.smt2 TIMEOUT 1800.44 1800.46 apollon013 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e1_1303_000.smt2 TIMEOUT 1800.44 1800.49 apollon112 vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302_000.smt2 TIMEOUT 1800.44 1800.55 apollon109 vmt-chc-benchmarks/lustre/car_5_e2_405_e7_1028_000.smt2 false 205.60 205.61 apollon147 vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e7_2443_000.smt2 TIMEOUT 1800.45 1800.49 apollon155 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e8_2560_000.smt2 true 1.71 1.71 apollon168 vmt-chc-benchmarks/lustre/DRAGON_all2_000.smt2 TIMEOUT 1800.45 1800.59 apollon062 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e7_1597_000.smt2 TIMEOUT 1800.45 1800.47 apollon149 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e1_1145_000.smt2 true 1.47 1.47 apollon034 vmt-chc-benchmarks/lustre/fast_2_e7_2526_e7_2736_000.smt2 false 5.42 5.42 apollon025 vmt-chc-benchmarks/lustre/ex8_e8_220_000.smt2 false 0.13 0.13 apollon113 vmt-chc-benchmarks/lustre/FIREFLY_all_000.smt2 true 1.76 1.77 apollon038 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e1_3123_000.smt2 TIMEOUT 1800.45 1800.47 apollon165 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e7_1962_000.smt2 TIMEOUT 1800.44 1800.50 apollon160 vmt-chc-benchmarks/lustre/fast_1_e7_1035_000.smt2 false 46.99 47.00 apollon116 vmt-chc-benchmarks/lustre/durationThm_1_e2_3_000.smt2 true 0.15 0.16 apollon023 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1692_000.smt2 true 1.61 1.61 apollon158 vmt-chc-benchmarks/lustre/Gas_e7_435_e8_532_000.smt2 TIMEOUT 1800.46 1800.53 apollon128 vmt-chc-benchmarks/lustre/cd_e7_621_e7_669_000.smt2 TIMEOUT 1800.45 1800.49 apollon121 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e4_1791_000.smt2 true 8.15 8.16 apollon020 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_974_000.smt2 true 0.42 0.43 apollon034 vmt-chc-benchmarks/lustre/car_4_e8_118_e7_178_000.smt2 true 0.46 0.47 apollon031 vmt-chc-benchmarks/lustre/rtp_7_000.smt2 true 3.85 3.85 apollon030 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e8_1769_000.smt2 true 0.77 0.77 apollon111 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e2_2893_000.smt2 true 1.10 1.10 apollon135 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_1_000.smt2 true 0.31 0.31 apollon147 vmt-chc-benchmarks/lustre/durationThm_3_e2_63_e7_21_000.smt2 true 0.22 0.22 apollon147 vmt-chc-benchmarks/lustre/two_counters_e1_268_000.smt2 false 0.13 0.13 apollon101 vmt-chc-benchmarks/lustre/ticket3i_1_000.smt2 true 1.32 1.32 apollon051 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e7_1607_000.smt2 TIMEOUT 1800.44 1800.52 apollon021 vmt-chc-benchmarks/lustre/swimmingpool_2_000.smt2 TIMEOUT 1800.46 1800.53 apollon026 vmt-chc-benchmarks/lustre/car_3_e8_33_000.smt2 true 0.47 0.47 apollon164 vmt-chc-benchmarks/lustre/car_6_000.smt2 TIMEOUT 1800.47 1800.50 apollon054 vmt-chc-benchmarks/lustre/speed_e7_207_000.smt2 true 0.15 0.15 apollon129 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e7_3528_000.smt2 TIMEOUT 1800.43 1800.60 apollon137 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e7_2291_000.smt2 TIMEOUT 1800.45 1800.53 apollon088 vmt-chc-benchmarks/lustre/rtp_10_000.smt2 true 13.74 13.74 apollon166 vmt-chc-benchmarks/lustre/metros_4_e2_968_e2_1166_000.smt2 true 2.52 2.53 apollon041 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e2_1561_000.smt2 TIMEOUT 1800.44 1800.54 apollon130 vmt-chc-benchmarks/lustre/metros_4_e2_968_e4_801_000.smt2 TIMEOUT 1800.46 1800.54 apollon002 vmt-chc-benchmarks/lustre/ILLINOIS_3_000.smt2 true 3.96 3.96 apollon018 vmt-chc-benchmarks/lustre/MESI_i1_e4_1986_e1_1519_000.smt2 TIMEOUT 1800.45 1800.53 apollon050 vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e1_2288_000.smt2 true 18.81 18.82 apollon155 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e3_271_000.smt2 TIMEOUT 1800.45 1800.46 apollon094 vmt-chc-benchmarks/lustre/ex3_e7_590_000.smt2 true 0.18 0.18 apollon035 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_000.smt2 TIMEOUT 1800.44 1800.50 apollon068 vmt-chc-benchmarks/lustre/durationThm_1_000.smt2 TIMEOUT 1800.46 1800.56 apollon157 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e3_3628_000.smt2 true 9.55 9.55 apollon021 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e7_3856_000.smt2 TIMEOUT 1800.43 1800.54 apollon141 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e1_667_000.smt2 TIMEOUT 1800.45 1800.58 apollon001 vmt-chc-benchmarks/lustre/ticket3i_all_e8_505_e7_2450_000.smt2 true 5.75 5.76 apollon066 vmt-chc-benchmarks/lustre/fast_2_e8_460_000.smt2 true 41.24 41.24 apollon108 vmt-chc-benchmarks/lustre/rtp_8_000.smt2 true 12.30 12.31 apollon146 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e5_1826_000.smt2 true 0.75 0.76 apollon146 vmt-chc-benchmarks/lustre/car_2_000.smt2 true 0.23 0.24 apollon144 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e3_3946_000.smt2 TIMEOUT 1800.45 1800.57 apollon158 vmt-chc-benchmarks/lustre/car_4_e8_118_e3_514_000.smt2 false 0.35 0.35 apollon033 vmt-chc-benchmarks/lustre/durationThm_2_e7_145_e7_154_000.smt2 false 0.59 0.60 apollon037 vmt-chc-benchmarks/lustre/durationThm_2_e7_145_000.smt2 false 0.98 0.98 apollon007 vmt-chc-benchmarks/lustre/car_4_e3_57_e5_999_000.smt2 false 0.32 0.32 apollon147 vmt-chc-benchmarks/lustre/car_all_e7_188_e7_743_000.smt2 true 0.38 0.38 apollon099 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e3_507_000.smt2 TIMEOUT 1800.46 1800.50 apollon147 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e6_1336_000.smt2 true 0.90 0.91 apollon008 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e4_897_000.smt2 TIMEOUT 1800.45 1800.50 apollon135 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_000.smt2 TIMEOUT 1800.45 1800.53 apollon091 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2_000.smt2 TIMEOUT 1800.47 1800.51 apollon028 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e7_906_000.smt2 TIMEOUT 1800.44 1800.50 apollon108 vmt-chc-benchmarks/lustre/metros_3_000.smt2 TIMEOUT 1800.46 1800.50 apollon161 vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907_000.smt2 true 18.85 18.86 apollon168 vmt-chc-benchmarks/lustre/SYNAPSE_6_e3_1666_e5_1558_000.smt2 true 813.27 813.30 apollon168 vmt-chc-benchmarks/lustre/car_3_000.smt2 true 0.42 0.42 apollon146 vmt-chc-benchmarks/lustre/car_5_e7_244_000.smt2 TIMEOUT 1800.46 1800.58 apollon042 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e1_1675_000.smt2 TIMEOUT 1800.45 1800.69 apollon085 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e7_1043_000.smt2 true 0.63 0.63 apollon005 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e7_1826_e8_126_000.smt2 TIMEOUT 1800.44 1800.54 apollon113 vmt-chc-benchmarks/lustre/MOESI_2_000.smt2 true 0.74 0.75 apollon121 vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e8_2138_000.smt2 true 0.84 0.84 apollon158 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e7_619_000.smt2 TIMEOUT 1800.44 1800.47 apollon028 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e2_562_000.smt2 TIMEOUT 1800.44 1800.54 apollon060 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1303_000.smt2 TIMEOUT 1800.45 1800.49 apollon149 vmt-chc-benchmarks/lustre/rtp_5_000.smt2 true 6.68 6.68 apollon153 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_1375_000.smt2 TIMEOUT 1800.45 1800.55 apollon067 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e7_1817_000.smt2 TIMEOUT 1800.44 1800.53 apollon117 vmt-chc-benchmarks/lustre/DRAGON_8_e7_3752_000.smt2 true 1423.37 1423.44 apollon134 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e5_4006_000.smt2 false 1.78 1.78 apollon069 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_748_000.smt2 true 0.54 0.54 apollon065 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2077_000.smt2 TIMEOUT 1800.44 1800.53 apollon163 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e3_3117_000.smt2 TIMEOUT 1800.44 1800.60 apollon039 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e5_1536_000.smt2 true 19.44 19.45 apollon105 vmt-chc-benchmarks/lustre/SYNAPSE_2_000.smt2 true 0.76 0.76 apollon044 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e4_294_000.smt2 true 0.15 0.16 apollon100 vmt-chc-benchmarks/lustre/DRAGON_12_e7_4611_e8_5145_000.smt2 TIMEOUT 1800.45 1800.55 apollon023 vmt-chc-benchmarks/lustre/ILLINOIS_5_e7_692_e7_2865_000.smt2 true 2.72 2.72 apollon129 vmt-chc-benchmarks/lustre/DRAGON_all_e2_1514_000.smt2 true 20.81 20.82 apollon015 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e8_5861_000.smt2 TIMEOUT 1800.45 1800.54 apollon082 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e7_251_000.smt2 TIMEOUT 1800.44 1800.56 apollon161 vmt-chc-benchmarks/lustre/FIREFLY_11_000.smt2 TIMEOUT 1800.45 1800.54 apollon132 vmt-chc-benchmarks/lustre/SYNAPSE_5_e7_1138_e8_809_000.smt2 TIMEOUT 1800.45 1800.55 apollon065 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e1_1565_000.smt2 TIMEOUT 1800.44 1800.50 apollon066 vmt-chc-benchmarks/lustre/ticket3i_4_000.smt2 true 1.54 1.54 apollon114 vmt-chc-benchmarks/lustre/SYNAPSE_2_e7_790_e8_1344_000.smt2 true 0.41 0.41 apollon068 vmt-chc-benchmarks/lustre/durationThm_3_e7_334_e7_118_000.smt2 false 0.14 0.15 apollon121 vmt-chc-benchmarks/lustre/MESI_3_e1_2517_e8_2163_000.smt2 true 1.05 1.05 apollon100 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_000.smt2 TIMEOUT 1800.46 1800.52 apollon156 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e1_5434_000.smt2 true 19.32 19.33 apollon039 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e4_1717_000.smt2 TIMEOUT 1800.44 1800.50 apollon149 vmt-chc-benchmarks/lustre/swimmingpool_5_000.smt2 TIMEOUT 1800.46 1800.55 apollon132 vmt-chc-benchmarks/lustre/peterson_1_000.smt2 true 28.27 28.27 apollon056 vmt-chc-benchmarks/lustre/FIREFLY_9_e7_170_e3_3647_000.smt2 true 1.79 1.79 apollon098 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e3_977_000.smt2 TIMEOUT 1800.44 1800.49 apollon111 vmt-chc-benchmarks/lustre/car_5_e3_11_e7_693_000.smt2 TIMEOUT 1800.47 1800.52 apollon122 vmt-chc-benchmarks/lustre/hysteresis_3_000.smt2 true 0.69 0.70 apollon037 vmt-chc-benchmarks/lustre/MESI_i3_000.smt2 TIMEOUT 1800.46 1800.53 apollon049 vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907_e7_1363_000.smt2 true 10.75 10.75 apollon157 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e7_1264_000.smt2 true 18.15 18.16 apollon144 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e2_2670_000.smt2 TIMEOUT 1800.45 1800.53 apollon131 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e3_1216_000.smt2 TIMEOUT 1800.44 1800.52 apollon158 vmt-chc-benchmarks/lustre/SYNAPSE_6_e2_1439_e1_954_000.smt2 true 921.30 921.34 apollon021 vmt-chc-benchmarks/lustre/metros_4_e2_968_e7_860_000.smt2 TIMEOUT 1800.46 1800.58 apollon031 vmt-chc-benchmarks/lustre/car_4_e3_556_000.smt2 false 0.27 0.27 apollon146 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e1_317_000.smt2 true 27.43 27.44 apollon039 vmt-chc-benchmarks/lustre/rtp_5_e7_3972_000.smt2 true 13.18 13.18 apollon015 vmt-chc-benchmarks/lustre/metros_4_e2_968_e3_931_000.smt2 true 2.12 2.13 apollon146 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e2_454_000.smt2 true 2.29 2.29 apollon164 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e2_2131_000.smt2 TIMEOUT 1800.44 1800.56 apollon067 vmt-chc-benchmarks/lustre/FIREFLY_a3_000.smt2 true 2.12 2.12 apollon056 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e6_2707_000.smt2 true 0.74 0.74 apollon149 vmt-chc-benchmarks/lustre/car_2_e7_1027_e1_1047_000.smt2 true 0.42 0.42 apollon109 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_1192_000.smt2 TIMEOUT 1800.44 1800.62 apollon048 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_1713_000.smt2 true 20.67 20.68 apollon136 vmt-chc-benchmarks/lustre/DRAGON_all2_e8_4626_000.smt2 TIMEOUT 1800.45 1800.59 apollon164 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e1_1331_000.smt2 TIMEOUT 1800.45 1800.52 apollon127 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e1_268_e7_501_000.smt2 true 16.49 16.50 apollon164 vmt-chc-benchmarks/lustre/DRAGON_5_e3_1503_e7_1879_000.smt2 TIMEOUT 1800.44 1800.54 apollon150 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e2_1098_000.smt2 TIMEOUT 1800.44 1800.54 apollon051 vmt-chc-benchmarks/lustre/MESI_4_000.smt2 true 1.58 1.59 apollon141 vmt-chc-benchmarks/lustre/ticket3i_5_000.smt2 true 1.64 1.64 apollon034 vmt-chc-benchmarks/lustre/DRAGON_4_e3_4133_000.smt2 TIMEOUT 1800.45 1800.50 apollon128 vmt-chc-benchmarks/lustre/MESI_i3_e1_2143_000.smt2 TIMEOUT 1800.44 1800.47 apollon135 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e1_1270_000.smt2 TIMEOUT 1800.47 1800.58 apollon007 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e7_410_000.smt2 true 0.54 0.54 apollon012 vmt-chc-benchmarks/lustre/fast_2_e7_1871_000.smt2 false 452.96 453.00 apollon067 vmt-chc-benchmarks/lustre/metros_3_e3_1117_000.smt2 TIMEOUT 1800.46 1800.61 apollon004 vmt-chc-benchmarks/lustre/metros_1_e7_1255_e7_12_000.smt2 true 105.54 105.56 apollon088 vmt-chc-benchmarks/lustre/car_all_e8_856_e3_180_000.smt2 false 0.97 0.97 apollon118 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e8_4841_000.smt2 TIMEOUT 1800.44 1800.47 apollon005 vmt-chc-benchmarks/lustre/car_4_000.smt2 true 0.45 0.45 apollon128 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e6_1569_000.smt2 true 1.55 1.55 apollon128 vmt-chc-benchmarks/lustre/speed_e8_136_000.smt2 true 0.27 0.27 apollon020 vmt-chc-benchmarks/lustre/MESI_i4_e4_1689_000.smt2 TIMEOUT 1800.44 1800.59 apollon039 vmt-chc-benchmarks/lustre/ILLINOIS_1_000.smt2 true 3.55 3.56 apollon082 vmt-chc-benchmarks/lustre/ILLINOIS_r4a_000.smt2 TIMEOUT 1800.44 1800.57 apollon119 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e5_2554_000.smt2 TIMEOUT 1800.44 1800.46 apollon148 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e1_3235_000.smt2 true 2.24 2.24 apollon095 vmt-chc-benchmarks/lustre/FIREFLY_3_000.smt2 true 2.78 2.78 apollon079 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e7_572_000.smt2 true 4.02 4.02 apollon023 vmt-chc-benchmarks/lustre/FIREFLY_all_e7_1909_000.smt2 TIMEOUT 1800.44 1800.58 apollon160 vmt-chc-benchmarks/lustre/DRAGON_4_000.smt2 TIMEOUT 1800.45 1800.51 apollon124 vmt-chc-benchmarks/lustre/durationThm_2_e2_206_000.smt2 true 0.18 0.18 apollon091 vmt-chc-benchmarks/lustre/ticket3i_7_e3_59_e7_2122_000.smt2 true 3.72 3.72 apollon091 vmt-chc-benchmarks/lustre/DRAGON_4_e1_4312_000.smt2 TIMEOUT 1800.45 1800.55 apollon017 vmt-chc-benchmarks/lustre/speed2_e7_223_e7_213_000.smt2 true 0.18 0.18 apollon037 vmt-chc-benchmarks/lustre/car_3_e8_33_e7_220_000.smt2 true 0.45 0.45 apollon126 vmt-chc-benchmarks/lustre/cd_e7_621_e8_714_000.smt2 true 360.07 360.11 apollon082 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e7_4732_000.smt2 TIMEOUT 1800.44 1800.52 apollon091 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e1_2383_000.smt2 TIMEOUT 1800.44 1800.54 apollon015 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_000.smt2 true 8.14 8.15 apollon054 vmt-chc-benchmarks/lustre/metros_2_000.smt2 TIMEOUT 1800.46 1800.56 apollon145 vmt-chc-benchmarks/lustre/durationThm_2_000.smt2 true 1.57 1.57 apollon125 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e2_3220_000.smt2 true 1.92 1.93 apollon094 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_1_000.smt2 false 24.56 24.56 apollon021 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e1_2305_000.smt2 true 3.31 3.31 apollon088 vmt-chc-benchmarks/lustre/SYNAPSE_6_e8_1147_e2_1326_000.smt2 true 1605.16 1605.26 apollon063 vmt-chc-benchmarks/lustre/DRAGON_14_e3_1259_e1_5798_000.smt2 TIMEOUT 1800.45 1800.52 apollon082 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e7_358_000.smt2 true 1.26 1.27 apollon015 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_000.smt2 TIMEOUT 1800.45 1800.49 apollon033 vmt-chc-benchmarks/lustre/durationThm_1_e2_3_e7_336_000.smt2 true 0.45 0.45 apollon131 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e1_1510_000.smt2 TIMEOUT 1800.44 1800.75 apollon165 vmt-chc-benchmarks/lustre/SYNAPSE_4_000.smt2 true 0.57 0.58 apollon040 vmt-chc-benchmarks/lustre/DRAGON_10_e2_402_000.smt2 true 5.76 5.76 apollon017 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e1_5887_000.smt2 TIMEOUT 1800.46 1800.53 apollon069 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e7_2194_000.smt2 TIMEOUT 1800.44 1800.50 apollon111 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e1_1130_000.smt2 false 1.46 1.46 apollon167 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e7_1119_000.smt2 TIMEOUT 1800.44 1800.53 apollon009 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e7_3371_000.smt2 TIMEOUT 1800.44 1800.54 apollon097 vmt-chc-benchmarks/lustre/MOESI_all_e3_2032_e3_2788_000.smt2 TIMEOUT 1800.44 1800.47 apollon073 vmt-chc-benchmarks/lustre/car_all_e1_388_000.smt2 TIMEOUT 1800.46 1800.55 apollon023 vmt-chc-benchmarks/lustre/car_3_e8_33_e2_1010_000.smt2 true 0.49 0.49 apollon114 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_000.smt2 true 17.82 17.82 apollon103 vmt-chc-benchmarks/lustre/speed_e7_207_e7_538_000.smt2 true 0.17 0.17 apollon001 vmt-chc-benchmarks/lustre/car_all_e3_1068_e5_882_000.smt2 false 1.18 1.18 apollon067 vmt-chc-benchmarks/lustre/MESI_i1_e3_188_000.smt2 TIMEOUT 1800.44 1800.55 apollon046 vmt-chc-benchmarks/lustre/car_all_e1_618_e3_303_000.smt2 false 10.73 10.73 apollon117 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e6_128_000.smt2 true 1.53 1.53 apollon156 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e2_698_000.smt2 TIMEOUT 1800.44 1800.55 apollon144 vmt-chc-benchmarks/lustre/MESI_2_000.smt2 true 1.58 1.58 apollon055 vmt-chc-benchmarks/lustre/metros_2_e2_704_e2_13_000.smt2 true 123.70 123.72 apollon128 vmt-chc-benchmarks/lustre/car_all_e3_1068_e1_178_000.smt2 false 1.00 1.00 apollon121 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e1_1318_000.smt2 true 17.16 17.16 apollon094 vmt-chc-benchmarks/lustre/metros_1_e7_606_000.smt2 true 97.21 97.23 apollon015 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e7_529_000.smt2 TIMEOUT 1800.46 1800.54 apollon068 vmt-chc-benchmarks/lustre/durationThm_3_000.smt2 TIMEOUT 1800.47 1800.50 apollon115 vmt-chc-benchmarks/lustre/car_5_e2_405_e3_473_000.smt2 false 96.92 96.92 apollon105 vmt-chc-benchmarks/lustre/ex8_000.smt2 false 0.13 0.13 apollon134 vmt-chc-benchmarks/lustre/car_6_e2_589_e2_506_000.smt2 TIMEOUT 1800.49 1800.49 apollon037 vmt-chc-benchmarks/lustre/traffic_e7_46_e7_171_000.smt2 false 0.14 0.14 apollon052 vmt-chc-benchmarks/lustre/DRAGON_1_e3_11891_e7_4569_e4_4881_000.smt2 true 8.03 8.03 apollon155 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e2_236_000.smt2 TIMEOUT 1800.44 1800.51 apollon069 vmt-chc-benchmarks/lustre/DRAGON_1_e1_3184_000.smt2 true 3.60 3.60 apollon063 vmt-chc-benchmarks/lustre/DRAGON_12_000.smt2 TIMEOUT 1800.44 1800.48 apollon068 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e3_287_000.smt2 TIMEOUT 1800.47 1800.49 apollon166 vmt-chc-benchmarks/lustre/two_counters_e7_222_000.smt2 false 0.13 0.13 apollon080 vmt-chc-benchmarks/lustre/two_counters_e3_325_000.smt2 false 0.27 0.27 apollon167 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e2_3580_000.smt2 true 7.91 7.91 apollon167 vmt-chc-benchmarks/lustre/speed_e8_649_e7_709_000.smt2 true 0.16 0.16 apollon040 vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302_e1_1141_000.smt2 TIMEOUT 1800.45 1800.56 apollon122 vmt-chc-benchmarks/lustre/hysteresis_1_000.smt2 true 0.14 0.15 apollon062 vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e8_5957_000.smt2 TIMEOUT 1800.46 1800.48 apollon162 vmt-chc-benchmarks/lustre/metros_1_e1_846_e7_397_000.smt2 true 81.38 81.40 apollon053 vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e1_1852_000.smt2 true 1.91 1.92 apollon121 vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e7_961_000.smt2 TIMEOUT 1800.44 1800.53 apollon157 vmt-chc-benchmarks/lustre/metros_2_e3_112_000.smt2 TIMEOUT 1800.46 1800.50 apollon059 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e2_237_000.smt2 TIMEOUT 1800.46 1800.55 apollon090 vmt-chc-benchmarks/lustre/rtp_9_000.smt2 true 3.84 3.85 apollon054 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e2_267_000.smt2 true 17.26 17.26 apollon155 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e4_164_000.smt2 TIMEOUT 1800.46 1800.49 apollon074 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_000.smt2 true 8.85 8.85 apollon141 vmt-chc-benchmarks/lustre/FIREFLY_6_e3_686_e6_2964_000.smt2 TIMEOUT 1800.45 1800.50 apollon109 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e7_3491_000.smt2 TIMEOUT 1800.44 1800.47 apollon152 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e1_725_000.smt2 TIMEOUT 1800.44 1800.53 apollon086 vmt-chc-benchmarks/lustre/durationThm_1_e3_173_000.smt2 true 0.39 0.39 apollon147 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e1_3998_000.smt2 TIMEOUT 1800.45 1800.59 apollon011 vmt-chc-benchmarks/lustre/FIREFLY_u1_e7_3318_000.smt2 TIMEOUT 1800.44 1800.51 apollon057 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_425_000.smt2 true 0.66 0.67 apollon027 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e7_2728_000.smt2 TIMEOUT 1800.44 1800.51 apollon075 vmt-chc-benchmarks/lustre/two_counters_000.smt2 true 0.62 0.62 apollon135 vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5406_e7_6697_000.smt2 TIMEOUT 1800.45 1800.51 apollon002 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_000.smt2 true 1.02 1.02 apollon134 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e3_2931_000.smt2 TIMEOUT 1800.44 1800.54 apollon105 vmt-chc-benchmarks/lustre/rtp_4_000.smt2 true 16.86 16.86 apollon051 vmt-chc-benchmarks/lustre/FIREFLY_luke_3_000.smt2 TIMEOUT 1800.45 1800.50 apollon123 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e4_1_000.smt2 true 0.18 0.18 apollon109 vmt-chc-benchmarks/lustre/durationThm_3_e7_201_000.smt2 false 11.63 11.63 apollon082 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e3_1191_000.smt2 TIMEOUT 1800.46 1800.59 apollon132 vmt-chc-benchmarks/lustre/swimmingpool_8_000.smt2 TIMEOUT 1800.45 1800.59 apollon095 vmt-chc-benchmarks/lustre/metros_4_e2_968_e5_991_000.smt2 TIMEOUT 1800.46 1800.53 apollon057 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e8_1525_000.smt2 true 0.37 0.37 apollon049 vmt-chc-benchmarks/lustre/DRAGON_14_000.smt2 TIMEOUT 1800.45 1800.56 apollon056 vmt-chc-benchmarks/lustre/speed2_e8_449_e8_517_000.smt2 true 0.18 0.19 apollon082 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e3_941_000.smt2 TIMEOUT 1800.44 1800.64 apollon008 vmt-chc-benchmarks/lustre/car_5_000.smt2 TIMEOUT 1800.46 1800.50 apollon155 vmt-chc-benchmarks/lustre/metros_1_e8_1567_000.smt2 true 0.61 0.61 apollon024 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e1_2667_000.smt2 TIMEOUT 1800.45 1800.50 apollon123 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e2_2653_e7_4370_000.smt2 true 13.39 13.39 apollon152 vmt-chc-benchmarks/lustre/SYNAPSE_3_000.smt2 true 0.41 0.41 apollon068 vmt-chc-benchmarks/lustre/durationThm_1_e7_12_000.smt2 false 4.89 4.89 apollon018 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e3_2330_000.smt2 TIMEOUT 1800.44 1800.48 apollon037 vmt-chc-benchmarks/lustre/speed2_e7_223_000.smt2 true 0.18 0.18 apollon080 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e1_541_000.smt2 TIMEOUT 1800.45 1800.48 apollon009 vmt-chc-benchmarks/lustre/FIREFLY_6_e2_3302_000.smt2 TIMEOUT 1800.44 1800.48 apollon028 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e7_1665_000.smt2 TIMEOUT 1800.44 1800.47 apollon003 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e2_943_000.smt2 true 4.27 4.27 apollon004 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_000.smt2 true 19.55 19.55 apollon152 vmt-chc-benchmarks/lustre/car_all_e8_856_e1_217_000.smt2 false 1.66 1.66 apollon126 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_000.smt2 TIMEOUT 1800.44 1800.48 apollon007 vmt-chc-benchmarks/lustre/peterson_1_e7_4234_000.smt2 true 36.12 36.13 apollon050 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e2_1089_000.smt2 true 8.10 8.11 apollon034 vmt-chc-benchmarks/lustre/DRAGON_5_000.smt2 TIMEOUT 1800.45 1800.59 apollon101 vmt-chc-benchmarks/lustre/FIREFLY_1_000.smt2 true 0.99 1.00 apollon049 vmt-chc-benchmarks/lustre/ticket3i_all_e7_1837_000.smt2 true 6.68 6.68 apollon039 vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_518_e8_922_000.smt2 TIMEOUT 1800.45 1800.56 apollon007 vmt-chc-benchmarks/lustre/fast_1_e7_2044_e8_1396_000.smt2 true 3.26 3.27 apollon036 vmt-chc-benchmarks/lustre/ex3_e8_120_000.smt2 true 0.17 0.17 apollon105 vmt-chc-benchmarks/lustre/car_5_e7_244_e1_823_000.smt2 TIMEOUT 1800.46 1800.53 apollon030 vmt-chc-benchmarks/lustre/DRAGON_6_000.smt2 true 16.20 16.20 apollon146 vmt-chc-benchmarks/lustre/DRAGON_7_000.smt2 true 18.44 18.45 apollon165 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e2_846_000.smt2 true 1.02 1.03 apollon009 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e2_5774_000.smt2 TIMEOUT 1800.45 1800.56 apollon141 vmt-chc-benchmarks/lustre/car_5_e2_405_e2_1083_000.smt2 false 53.52 53.53 apollon095 vmt-chc-benchmarks/lustre/FIREFLY_2_000.smt2 true 1.10 1.10 apollon113 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_000.smt2 TIMEOUT 1800.45 1800.54 apollon042 vmt-chc-benchmarks/lustre/MESI_i4_e4_1689_e8_290_000.smt2 TIMEOUT 1800.44 1800.51 apollon154 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_000.smt2 TIMEOUT 1800.45 1800.48 apollon050 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e3_1928_000.smt2 TIMEOUT 1800.45 1800.49 apollon134 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e2_676_000.smt2 TIMEOUT 1800.45 1800.55 apollon071 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_195_000.smt2 TIMEOUT 1800.45 1800.50 apollon019 vmt-chc-benchmarks/lustre/swimmingpool_3_000.smt2 TIMEOUT 1800.46 1800.49 apollon079 vmt-chc-benchmarks/lustre/MOESI_1_000.smt2 true 1.86 1.86 apollon117 vmt-chc-benchmarks/lustre/MOESI_2_e7_2607_000.smt2 TIMEOUT 1800.44 1800.51 apollon003 vmt-chc-benchmarks/lustre/MESI_i1_e2_1758_e8_12_000.smt2 TIMEOUT 1800.44 1800.50 apollon030 vmt-chc-benchmarks/lustre/metros_1_e7_1255_e8_598_000.smt2 true 134.11 134.12 apollon038 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e5_2444_000.smt2 TIMEOUT 1800.44 1800.54 apollon056 vmt-chc-benchmarks/lustre/metros_4_e2_968_e1_956_000.smt2 TIMEOUT 1800.46 1800.49 apollon105 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e3_3091_000.smt2 TIMEOUT 1800.45 1800.49 apollon155 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e8_1940_000.smt2 TIMEOUT 1800.44 1800.50 apollon143 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_000.smt2 TIMEOUT 1800.44 1800.50 apollon033 vmt-chc-benchmarks/lustre/ticket3i_3_000.smt2 true 1.24 1.24 apollon166 vmt-chc-benchmarks/lustre/FIREFLY_rt_e3_1770_e2_637_000.smt2 TIMEOUT 1800.45 1800.47 apollon025 vmt-chc-benchmarks/lustre/FIREFLY_5_e1_2552_e7_1169_000.smt2 true 2.11 2.11 apollon089 vmt-chc-benchmarks/lustre/durationThm_1_e1_197_e7_289_000.smt2 false 0.72 0.72 apollon130 vmt-chc-benchmarks/lustre/FIREFLY_luke_3_e1_2217_e3_1200_000.smt2 TIMEOUT 1800.45 1800.75 apollon030 vmt-chc-benchmarks/lustre/FIREFLY_11_e3_2076_e1_1270_000.smt2 TIMEOUT 1800.44 1800.53 apollon099 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e8_311_000.smt2 true 3.12 3.13 apollon039 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e2_74_000.smt2 TIMEOUT 1800.45 1800.59 apollon161 vmt-chc-benchmarks/lustre/MESI_i2_000.smt2 TIMEOUT 1800.44 1800.57 apollon080 vmt-chc-benchmarks/lustre/twisted_counters_000.smt2 TIMEOUT 1800.46 1800.56 apollon064 vmt-chc-benchmarks/lustre/metros_4_e2_532_000.smt2 TIMEOUT 1800.46 1800.48 apollon148 vmt-chc-benchmarks/lustre/DRAGON_12_e1_4640_e7_128_000.smt2 TIMEOUT 1800.44 1800.48 apollon100 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e7_156_000.smt2 TIMEOUT 1800.44 1800.52 apollon127 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e6_1315_000.smt2 TIMEOUT 1800.46 1800.57 apollon024 vmt-chc-benchmarks/lustre/FIREFLY_7_000.smt2 TIMEOUT 1800.44 1800.54 apollon113 vmt-chc-benchmarks/lustre/DRAGON_13_000.smt2 TIMEOUT 1800.45 1800.47 apollon115 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e2_1317_000.smt2 true 0.75 0.75 apollon005 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1750_000.smt2 TIMEOUT 1800.45 1800.47 apollon158 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e2_2689_000.smt2 true 2.11 2.11 apollon023 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e7_4469_000.smt2 TIMEOUT 1800.44 1800.56 apollon037 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e2_2812_000.smt2 true 2.36 2.36 apollon027 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e4_1595_000.smt2 true 1.47 1.48 apollon010 vmt-chc-benchmarks/lustre/fast_1_e7_2044_e7_1287_000.smt2 false 265.21 265.24 apollon144 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e7_3568_000.smt2 TIMEOUT 1800.44 1800.53 apollon086 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e7_1495_000.smt2 TIMEOUT 1800.44 1800.47 apollon004 vmt-chc-benchmarks/lustre/MESI_3_e2_1872_000.smt2 TIMEOUT 1800.44 1800.52 apollon157 vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606_000.smt2 TIMEOUT 1800.44 1800.55 apollon088 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e3_2542_000.smt2 true 2.40 2.40 apollon136 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e2_2228_000.smt2 TIMEOUT 1800.44 1800.45 apollon103 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e7_4070_000.smt2 TIMEOUT 1800.44 1800.55 apollon080 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e1_6463_000.smt2 TIMEOUT 1800.45 1800.59 apollon016 vmt-chc-benchmarks/lustre/metros_3_e4_987_e1_1115_000.smt2 TIMEOUT 1800.46 1800.52 apollon068 vmt-chc-benchmarks/lustre/FIREFLY_9_000.smt2 true 1.44 1.44 apollon033 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e5_5_000.smt2 true 0.47 0.47 apollon074 vmt-chc-benchmarks/lustre/durationThm_1_e1_197_000.smt2 false 0.77 0.77 apollon119 vmt-chc-benchmarks/lustre/car_all_e8_856_e7_578_000.smt2 true 0.57 0.58 apollon024 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e3_1658_000.smt2 TIMEOUT 1800.45 1800.48 apollon126 vmt-chc-benchmarks/lustre/DRAGON_4_e3_1540_e1_5048_000.smt2 TIMEOUT 1800.44 1800.51 apollon057 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_2574_000.smt2 TIMEOUT 1800.44 1800.60 apollon091 vmt-chc-benchmarks/lustre/ticket3i_all_e1_2706_e7_1776_000.smt2 true 8.06 8.06 apollon028 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e7_1465_000.smt2 true 0.57 0.57 apollon003 vmt-chc-benchmarks/lustre/fast_1_e8_747_e7_692_000.smt2 false 460.92 460.97 apollon039 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e6_1974_000.smt2 true 1.56 1.56 apollon154 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e7_2225_000.smt2 true 7.26 7.26 apollon019 vmt-chc-benchmarks/lustre/SYNAPSE_2_e3_216_000.smt2 TIMEOUT 1800.44 1800.58 apollon144 vmt-chc-benchmarks/lustre/ILLINOIS_2_e3_1554_e6_2223_000.smt2 true 1.65 1.65 apollon137 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_000.smt2 TIMEOUT 1800.45 1800.51 apollon139 vmt-chc-benchmarks/lustre/metros_5_e4_1208_e1_337_000.smt2 TIMEOUT 1800.46 1800.64 apollon119 vmt-chc-benchmarks/lustre/metros_4_e3_1025_000.smt2 TIMEOUT 1800.46 1800.47 apollon106 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e2_2421_000.smt2 TIMEOUT 1800.44 1800.48 apollon073 vmt-chc-benchmarks/lustre/FIREFLY_6_000.smt2 TIMEOUT 1800.44 1800.51 apollon023 vmt-chc-benchmarks/lustre/MOESI_1_e2_982_e7_492_000.smt2 true 1.65 1.65 apollon149 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e7_5856_000.smt2 TIMEOUT 1800.45 1800.50 apollon152 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e2_1394_000.smt2 TIMEOUT 1800.45 1800.53 apollon030 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e1_1044_000.smt2 TIMEOUT 1800.46 1800.49 apollon088 vmt-chc-benchmarks/lustre/_6counters_e8_371_e2_80_000.smt2 true 0.12 0.12 apollon146 vmt-chc-benchmarks/lustre/SYNAPSE_5_e2_1525_000.smt2 true 143.53 143.54 apollon074 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e1_1895_000.smt2 TIMEOUT 1800.44 1800.45 apollon075 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e1_1350_000.smt2 TIMEOUT 1800.45 1800.63 apollon062 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_3_000.smt2 true 0.34 0.34 apollon116 vmt-chc-benchmarks/lustre/FIREFLY_u1_000.smt2 TIMEOUT 1800.44 1800.55 apollon120 vmt-chc-benchmarks/lustre/metros_4_e1_821_e5_911_000.smt2 TIMEOUT 1800.46 1800.56 apollon045 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e7_1626_000.smt2 TIMEOUT 1800.44 1800.55 apollon058 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e4_1464_000.smt2 TIMEOUT 1800.45 1800.54 apollon065 vmt-chc-benchmarks/lustre/fast_2_e8_460_e7_43_000.smt2 false 3.62 3.62 apollon039 vmt-chc-benchmarks/lustre/MESI_all_e4_1147_e7_497_000.smt2 true 1.38 1.38 apollon146 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e5_2391_000.smt2 TIMEOUT 1800.44 1800.50 apollon074 vmt-chc-benchmarks/lustre/cd_e7_621_000.smt2 TIMEOUT 1800.46 1800.55 apollon054 vmt-chc-benchmarks/conc/fib_bench_safe_v3_000.smt2 TIMEOUT 1800.45 1800.49 apollon128 vmt-chc-benchmarks/conc/szymanski_safe_000.smt2 TIMEOUT 1800.44 1800.53 apollon166 vmt-chc-benchmarks/conc/fib_bench_safe_v2_000.smt2 TIMEOUT 1800.45 1800.55 apollon082 vmt-chc-benchmarks/conc/stateful01_safe_v1_000.smt2 TIMEOUT 1800.44 1800.55 apollon020 vmt-chc-benchmarks/conc/fib_bench_safe_v1_000.smt2 TIMEOUT 1800.47 1800.59 apollon027 vmt-chc-benchmarks/conc/lamport_safe_000.smt2 TIMEOUT 1800.45 1800.56 apollon035 vmt-chc-benchmarks/ctigar/simple_if.c_000.smt2 true 1.34 1.35 apollon118 vmt-chc-benchmarks/ctigar/gulwani_cegar2.c_000.smt2 true 19.93 19.93 apollon094 vmt-chc-benchmarks/ctigar/bkley.c_000.smt2 TIMEOUT 1800.44 1800.73 apollon161 vmt-chc-benchmarks/ctigar/xyz2.c_000.smt2 TIMEOUT 1800.45 1800.54 apollon135 vmt-chc-benchmarks/ctigar/NetBSD_loop_int.c_000.smt2 TIMEOUT 1800.46 1800.56 apollon086 vmt-chc-benchmarks/ctigar/sendmail-close-angle.c_000.smt2 TIMEOUT 1800.44 1800.48 apollon066 vmt-chc-benchmarks/ctigar/nest-if5.c_000.smt2 true 387.28 387.30 apollon041 vmt-chc-benchmarks/ctigar/svd-some-loop.c_000.smt2 TIMEOUT 1800.45 1800.51 apollon145 vmt-chc-benchmarks/ctigar/nest-if3.c_000.smt2 true 204.82 204.84 apollon043 vmt-chc-benchmarks/ctigar/lifo.c_000.smt2 TIMEOUT 1800.44 1800.54 apollon067 vmt-chc-benchmarks/ctigar/nested4.c_000.smt2 true 11.08 11.09 apollon117 vmt-chc-benchmarks/ctigar/NetBSD_loop.c_000.smt2 TIMEOUT 1800.45 1800.53 apollon121 vmt-chc-benchmarks/ctigar/nest-len.c_000.smt2 true 2.84 2.84 apollon095 vmt-chc-benchmarks/ctigar/ken-imp.c_000.smt2 TIMEOUT 1800.46 1800.54 apollon122 vmt-chc-benchmarks/ctigar/dillig01.c_000.smt2 TIMEOUT 1800.46 1800.49 apollon134 vmt-chc-benchmarks/ctigar/nested.c_000.smt2 true 0.76 0.76 apollon114 vmt-chc-benchmarks/ctigar/dillig28.c_000.smt2 TIMEOUT 1800.44 1800.53 apollon112 vmt-chc-benchmarks/ctigar/barbr.c_000.smt2 TIMEOUT 1800.45 1800.56 apollon024 vmt-chc-benchmarks/ctigar/xy0.c_000.smt2 TIMEOUT 1800.47 1800.61 apollon095 vmt-chc-benchmarks/ctigar/bound.c_000.smt2 TIMEOUT 1800.44 1800.65 apollon051 vmt-chc-benchmarks/ctigar/swim1.c_000.smt2 TIMEOUT 1800.45 1800.53 apollon131 vmt-chc-benchmarks/ctigar/dillig03.c_000.smt2 true 0.96 0.96 apollon108 vmt-chc-benchmarks/ctigar/dillig37.c_000.smt2 true 102.78 102.79 apollon052 vmt-chc-benchmarks/ctigar/svd4.c_000.smt2 TIMEOUT 1800.46 1800.56 apollon093 vmt-chc-benchmarks/ctigar/apache-get-tag.c_000.smt2 TIMEOUT 1800.45 1800.61 apollon043 vmt-chc-benchmarks/ctigar/pldi08.c_000.smt2 true 0.81 0.81 apollon005 vmt-chc-benchmarks/ctigar/nested1.c_000.smt2 true 1.35 1.35 apollon152 vmt-chc-benchmarks/ctigar/nested5.c_000.smt2 TIMEOUT 1800.46 1800.49 apollon117 vmt-chc-benchmarks/ctigar/seq.c_000.smt2 TIMEOUT 1800.44 1800.55 apollon012 vmt-chc-benchmarks/ctigar/NetBSD_g_Ctoc.c_000.smt2 TIMEOUT 1800.45 1800.48 apollon097 vmt-chc-benchmarks/ctigar/seq-sim.c_000.smt2 TIMEOUT 1800.44 1800.59 apollon039 vmt-chc-benchmarks/ctigar/up3.c_000.smt2 TIMEOUT 1800.45 1800.49 apollon106 vmt-chc-benchmarks/ctigar/xy4.c_000.smt2 TIMEOUT 1800.47 1800.53 apollon020 vmt-chc-benchmarks/ctigar/bind_expands_vars2.c_000.smt2 true 19.34 19.34 apollon115 vmt-chc-benchmarks/ctigar/cars.c_000.smt2 TIMEOUT 1800.44 1800.54 apollon121 vmt-chc-benchmarks/ctigar/dillig32.c_000.smt2 TIMEOUT 1800.45 1800.59 apollon126 vmt-chc-benchmarks/ctigar/dillig05.c_000.smt2 TIMEOUT 1800.45 1800.60 apollon143 vmt-chc-benchmarks/ctigar/dillig19.c_000.smt2 TIMEOUT 1800.44 1800.59 apollon005 vmt-chc-benchmarks/ctigar/nested9.c_000.smt2 TIMEOUT 1800.44 1800.59 apollon049 vmt-chc-benchmarks/ctigar/ex1.c_000.smt2 TIMEOUT 1800.45 1800.48 apollon093 vmt-chc-benchmarks/ctigar/dillig07.c_000.smt2 TIMEOUT 1800.49 1800.53 apollon061 vmt-chc-benchmarks/ctigar/xy10.c_000.smt2 true 32.85 32.86 apollon156 vmt-chc-benchmarks/ctigar/gulv_simp.c_000.smt2 true 180.39 180.40 apollon027 vmt-chc-benchmarks/ctigar/ex2.c_000.smt2 TIMEOUT 1800.45 1800.48 apollon021 vmt-chc-benchmarks/ctigar/seesaw.c_000.smt2 TIMEOUT 1800.45 1800.53 apollon024 vmt-chc-benchmarks/ctigar/nest-if4.c_000.smt2 TIMEOUT 1800.46 1800.57 apollon059 vmt-chc-benchmarks/ctigar/svd2.c_000.smt2 TIMEOUT 1800.45 1800.49 apollon104 vmt-chc-benchmarks/ctigar/seq4.c_000.smt2 TIMEOUT 1800.44 1800.56 apollon141 vmt-chc-benchmarks/ctigar/efm.c_000.smt2 TIMEOUT 1800.44 1800.59 apollon034 vmt-chc-benchmarks/ctigar/dillig25.c_000.smt2 TIMEOUT 1800.44 1800.61 apollon046 vmt-chc-benchmarks/ctigar/xyz.c_000.smt2 TIMEOUT 1800.45 1800.58 apollon137 vmt-chc-benchmarks/ctigar/nested6.c_000.smt2 TIMEOUT 1800.45 1800.56 apollon035 vmt-chc-benchmarks/ctigar/nest-if.c_000.smt2 true 8.03 8.03 apollon116 vmt-chc-benchmarks/ctigar/nested2.c_000.smt2 true 1.47 1.47 apollon028 vmt-chc-benchmarks/ctigar/NetBSD_glob3_iny.c_000.smt2 TIMEOUT 1800.45 1800.58 apollon130 vmt-chc-benchmarks/ctigar/dillig33.c_000.smt2 TIMEOUT 1800.44 1800.65 apollon038 vmt-chc-benchmarks/ctigar/sendmail-mime-fromqp.c_000.smt2 TIMEOUT 1800.45 1800.53 apollon008 vmt-chc-benchmarks/ctigar/seq2.c_000.smt2 TIMEOUT 1800.45 1800.51 apollon041 vmt-chc-benchmarks/ctigar/hsortprime.c_000.smt2 TIMEOUT 1800.44 1800.53 apollon111 vmt-chc-benchmarks/ctigar/nest-if7.c_000.smt2 TIMEOUT 1800.46 1800.61 apollon067 vmt-chc-benchmarks/ctigar/lifnatprime.c_000.smt2 TIMEOUT 1800.45 1800.48 apollon125 vmt-chc-benchmarks/ctigar/MADWiFi-encode_ie_ok.c_000.smt2 TIMEOUT 1800.44 1800.51 apollon064 vmt-chc-benchmarks/ctigar/seq-proc.c_000.smt2 TIMEOUT 1800.44 1800.55 apollon113 vmt-chc-benchmarks/ctigar/dillig17.c_000.smt2 TIMEOUT 1800.44 1800.59 apollon019 vmt-chc-benchmarks/ctigar/up-nd.c_000.smt2 TIMEOUT 1800.45 1800.51 apollon153 vmt-chc-benchmarks/ctigar/hsort.c_000.smt2 TIMEOUT 1800.44 1800.52 apollon053 vmt-chc-benchmarks/ctigar/up.c_000.smt2 TIMEOUT 1800.45 1800.58 apollon054 vmt-chc-benchmarks/ctigar/fig2.c_000.smt2 TIMEOUT 1800.45 1800.50 apollon021 vmt-chc-benchmarks/ctigar/nest-if1.c_000.smt2 true 1159.17 1159.26 apollon069 vmt-chc-benchmarks/ctigar/string_concat-noarr.c_000.smt2 TIMEOUT 1800.45 1800.60 apollon062 vmt-chc-benchmarks/ctigar/nested3.c_000.smt2 true 64.83 64.84 apollon055 vmt-chc-benchmarks/ctigar/fragtest_simple.c_000.smt2 TIMEOUT 1800.44 1800.55 apollon035 vmt-chc-benchmarks/ctigar/up2.c_000.smt2 TIMEOUT 1800.45 1800.49 apollon136 vmt-chc-benchmarks/ctigar/nest-if2.c_000.smt2 true 74.19 74.20 apollon163 vmt-chc-benchmarks/ctigar/gulv.c_000.smt2 TIMEOUT 1800.45 1800.57 apollon071 vmt-chc-benchmarks/ctigar/nest-if6.c_000.smt2 true 162.49 162.50 apollon147 vmt-chc-benchmarks/ctigar/rajamani_1.c_000.smt2 TIMEOUT 1800.45 1800.48 apollon115 vmt-chc-benchmarks/ctigar/nest-if8.c_000.smt2 TIMEOUT 1800.44 1800.51 apollon093 vmt-chc-benchmarks/ctigar/seq-z3.c_000.smt2 TIMEOUT 1800.44 1800.56 apollon003 vmt-chc-benchmarks/ctigar/gulwani_fig1a.c_000.smt2 true 1.03 1.03 apollon061 vmt-chc-benchmarks/ctigar/pldi082_unbounded.c_000.smt2 TIMEOUT 1800.45 1800.56 apollon163 vmt-chc-benchmarks/ctigar/svd.c_000.smt2 TIMEOUT 1800.46 1800.61 apollon106 vmt-chc-benchmarks/ctigar/fig1a.c_000.smt2 TIMEOUT 1800.44 1800.57 apollon109 vmt-chc-benchmarks/ctigar/large_const.c_000.smt2 TIMEOUT 1800.44 1800.55 apollon108 vmt-chc-benchmarks/ctigar/up-nested.c_000.smt2 true 0.94 0.95 apollon152 vmt-chc-benchmarks/ctigar/bk-nat.c_000.smt2 TIMEOUT 1800.44 1800.62 apollon060 vmt-chc-benchmarks/ctigar/swim.c_000.smt2 TIMEOUT 1800.44 1800.56 apollon142 vmt-chc-benchmarks/ctigar/gulwani_cegar1.c_000.smt2 true 1027.51 1027.55 apollon097 vmt-chc-benchmarks/ctigar/id_build.c_000.smt2 true 2.34 2.34 apollon116 vmt-chc-benchmarks/ctigar/up4.c_000.smt2 TIMEOUT 1800.46 1800.47 apollon063 vmt-chc-benchmarks/ctigar/mergesort.c_000.smt2 TIMEOUT 1800.45 1800.55 apollon071 vmt-chc-benchmarks/ctigar/dillig12.c_000.smt2 TIMEOUT 1800.44 1800.58 apollon045 vmt-chc-benchmarks/ctigar/svd3.c_000.smt2 TIMEOUT 1800.45 1800.57 apollon090 vmt-chc-benchmarks/ctigar/dillig20.c_000.smt2 TIMEOUT 1800.45 1800.54 apollon027 vmt-chc-benchmarks/ctigar/simple_nest.c_000.smt2 true 0.57 0.57 apollon039 vmt-chc-benchmarks/ctigar/dillig15.c_000.smt2 TIMEOUT 1800.44 1800.55 apollon056 vmt-chc-benchmarks/ctigar/svd1.c_000.smt2 TIMEOUT 1800.44 1800.58 apollon132 vmt-chc-benchmarks/ctigar/sendmail-mime7to8_arr_three_chars_no_test_ok.c_000.smt2 TIMEOUT 1800.44 1800.57 apollon027 vmt-chc-benchmarks/ctigar/nested7.c_000.smt2 TIMEOUT 1800.46 1800.62 apollon050 vmt-chc-benchmarks/ctigar/split.c_000.smt2 TIMEOUT 1800.45 1800.50 apollon016 vmt-chc-benchmarks/ctigar/seq3.c_000.smt2 TIMEOUT 1800.44 1800.59 apollon040 vmt-chc-benchmarks/ctigar/up5.c_000.smt2 TIMEOUT 1800.44 1800.58 apollon137 vmt-chc-benchmarks/ctigar/seq-len.c_000.smt2 TIMEOUT 1800.44 1800.59 apollon101 vmt-chc-benchmarks/ctigar/lifnat.c_000.smt2 TIMEOUT 1800.44 1800.62 apollon119 vmt-chc-benchmarks/ctigar/down.c_000.smt2 TIMEOUT 1800.44 1800.56 apollon040 vmt-chc-benchmarks/ctigar/barbrprime.c_000.smt2 TIMEOUT 1800.45 1800.57 apollon055 vmt-chc-benchmarks/ctigar/simple.c_000.smt2 true 1.17 1.17 apollon039 vmt-chc-benchmarks/ctigar/substring1.c_000.smt2 TIMEOUT 1800.45 1800.51 apollon033 vmt-chc-benchmarks/ctigar/apache-escape-absolute.c_000.smt2 TIMEOUT 1800.44 1800.61 apollon043 vmt-chc-benchmarks/ctigar/nested8.c_000.smt2 TIMEOUT 1800.45 1800.48 apollon149 extra-small-lia/s_multipl_08_000.smt2 true 0.70 0.70 apollon113 extra-small-lia/s_multipl_13_000.smt2 true 2.19 2.19 apollon147 extra-small-lia/menlo_park_term_simpl_2_000.smt2 TIMEOUT 1800.47 1800.57 apollon025 extra-small-lia/s_multipl_23_000.smt2 TIMEOUT 1800.47 1800.63 apollon118 extra-small-lia/s_mutants_23_000.smt2 true 0.23 0.23 apollon166 extra-small-lia/s_multipl_11_000.smt2 TIMEOUT 1800.47 1800.55 apollon131 extra-small-lia/s_multipl_07_000.smt2 true 1.95 1.96 apollon144 extra-small-lia/three_dots_moving_2_000.smt2 true 0.21 0.21 apollon028 extra-small-lia/s_multipl_09_000.smt2 true 1.64 1.65 apollon060 extra-small-lia/s_multipl_22_000.smt2 TIMEOUT 1800.47 1800.48 apollon005 extra-small-lia/yz_plus_minus_1_000.smt2 true 0.30 0.31 apollon024 extra-small-lia/dtuc_000.smt2 true 0.38 0.38 apollon135 extra-small-lia/bouncy_three_counters_merged_000.smt2 TIMEOUT 1800.46 1800.50 apollon063 extra-small-lia/s_mutants_06_m_000.smt2 true 0.98 0.99 apollon158 extra-small-lia/s_multipl_17_000.smt2 TIMEOUT 1800.47 1800.56 apollon019 extra-small-lia/phases_m_000.smt2 true 0.32 0.33 apollon136 extra-small-lia/bouncy_symmetry_000.smt2 true 0.38 0.38 apollon115 extra-small-lia/s_disj_ite_06_000.smt2 true 0.18 0.18 apollon166 extra-small-lia/bouncy_one_counter_000.smt2 true 0.57 0.58 apollon049 extra-small-lia/s_mutants_21_000.smt2 true 0.34 0.35 apollon016 extra-small-lia/gj2007_m_2_000.smt2 true 9.65 9.66 apollon113 extra-small-lia/dillig05_m_000.smt2 true 0.33 0.33 apollon146 extra-small-lia/s_multipl_12_000.smt2 true 0.85 0.85 apollon058 extra-small-lia/yz_plus_minus_2_000.smt2 true 5.74 5.74 apollon015 extra-small-lia/dillig22_m_000.smt2 true 0.13 0.13 apollon002 extra-small-lia/const_mod_2_000.smt2 true 0.10 0.10 apollon121 extra-small-lia/dillig12_m_000.smt2 true 1.44 1.44 apollon147 extra-small-lia/s_mutants_02_000.smt2 true 0.26 0.26 apollon101 extra-small-lia/count_by_2_000.smt2 TIMEOUT 1800.68 1800.63 apollon098 extra-small-lia/s_multipl_24_000.smt2 true 1.88 1.88 apollon131 extra-small-lia/dillig21_m_000.smt2 true 2.77 2.78 apollon158 extra-small-lia/s_multipl_16_000.smt2 true 1.01 1.01 apollon116 extra-small-lia/s_disj_ite_05_000.smt2 TIMEOUT 1800.49 1800.57 apollon012 extra-small-lia/const_mod_3_000.smt2 true 0.16 0.16 apollon148 extra-small-lia/s_mutants_17_000.smt2 true 4.85 5.06 apollon160 extra-small-lia/s_multipl_15_000.smt2 true 1.29 1.29 apollon122 extra-small-lia/count_by_2_m_nest_000.smt2 TIMEOUT 1800.49 1800.50 apollon074 extra-small-lia/gj2007_m_1_000.smt2 true 6.35 6.35 apollon154 extra-small-lia/s_mutants_22_000.smt2 true 0.37 0.37 apollon131 extra-small-lia/const_mod_1_000.smt2 true 0.10 0.10 apollon134 extra-small-lia/s_mutants_20_000.smt2 true 0.12 0.12 apollon013 extra-small-lia/half_true_modif_m_000.smt2 TIMEOUT 1800.49 1800.47 apollon133 extra-small-lia/s_multipl_10_000.smt2 true 4.91 4.91 apollon020 extra-small-lia/s_mutants_16_000.smt2 true 1.25 1.26 apollon146 extra-small-lia/s_multipl_14_000.smt2 TIMEOUT 1800.47 1800.57 apollon049 extra-small-lia/dillig02_m_000.smt2 TIMEOUT 1800.52 1800.54 apollon058 extra-small-lia/s_mutants_05_000.smt2 true 0.28 0.28 apollon135 extra-small-lia/gj2007_m_3_000.smt2 true 75.02 75.02 apollon123 extra-small-lia/dillig03_m_000.smt2 true 0.17 0.17 apollon051 extra-small-lia/s_multipl_18_000.smt2 true 5.42 5.42 apollon129 extra-small-lia/dillig32_000.smt2 TIMEOUT 1800.47 1800.52 apollon153 extra-small-lia/bouncy_two_counters_merged_000.smt2 true 1.07 1.07 apollon035 extra-small-lia/bouncy_two_counters_equality_000.smt2 true 1.17 1.17 apollon122 extra-small-lia/s_mutants_16_m_000.smt2 true 1206.68 1206.79 apollon098 extra-small-lia/s_multipl_25_000.smt2 TIMEOUT 1800.49 1800.57 apollon164 hcai-bench/svcomp/O3/O3_gcd02_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.46 1800.51 apollon064 hcai-bench/svcomp/O3/O3_sum03_true-unreach-call_false-termination_000.smt2 true 0.11 0.11 apollon127 hcai-bench/svcomp/O3/O3_MultCommutative_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.46 1800.50 apollon036 hcai-bench/svcomp/O3/O3_sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination_000.smt2 false 0.88 0.89 apollon115 hcai-bench/svcomp/O3/O3_trex03_false-unreach-call_true-termination_000.smt2 false 0.15 0.16 apollon064 hcai-bench/svcomp/O3/O3_gcd01_true-unreach-call_true-no-overflow_true-termination_000.smt2 true 0.16 0.17 apollon089 hcai-bench/svcomp/O3/O3_terminator_03_false-unreach-call_true-termination_000.smt2 false 0.10 0.11 apollon105 hcai-bench/svcomp/O3/O3_trex04_true-unreach-call_false-termination_000.smt2 true 0.05 0.05 apollon068 hcai-bench/svcomp/O3/O3_Addition03_true-unreach-call_true-no-overflow_true-termination_000.smt2 true 1.31 1.31 apollon134 hcai-bench/svcomp/O3/O3_terminator_02_true-unreach-call_true-termination_000.smt2 true 0.13 0.13 apollon107 hcai-bench/svcomp/O3/O3_id_o3_false-unreach-call_000.smt2 false 0.16 0.16 apollon008 hcai-bench/svcomp/O3/O3_EvenOdd03_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 0.12 0.12 apollon081 hcai-bench/svcomp/O3/O3_BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 0.13 0.13 apollon053 hcai-bench/svcomp/O3/O3_sum_non_false-unreach-call_true-termination_000.smt2 false 0.10 0.11 apollon147 hcai-bench/svcomp/O3/O3_nec11_false-unreach-call_false-termination_000.smt2 false 0.05 0.05 apollon128 hcai-bench/svcomp/O3/O3_trex01_false-unreach-call_true-termination_000.smt2 false 0.10 0.11 apollon041 hcai-bench/svcomp/O3/O3_afterrec_2calls_false-unreach-call_true-termination_000.smt2 false 0.11 0.12 apollon011 hcai-bench/svcomp/O3/O3_EvenOdd01_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.46 1800.55 apollon049 hcai-bench/svcomp/O3/O3_nec20_false-unreach-call_true-termination_000.smt2 false 0.12 0.13 apollon052 hcai-bench/svcomp/O3/O3_id_o20_false-unreach-call_000.smt2 false 15.56 15.56 apollon157 hcai-bench/svcomp/O3/O3_Addition03_false-no-overflow_000.smt2 true 1.59 1.59 apollon049 hcai-bench/svcomp/O3/O3_Addition01_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.46 1800.52 apollon092 hcai-bench/svcomp/O3/O3_sum_non_eq_true-unreach-call_000.smt2 TIMEOUT 1800.47 1800.57 apollon154 hcai-bench/svcomp/O3/O3_Addition02WithOverflowBug_false-no-overflow_000.smt2 false 0.23 0.23 apollon030 hcai-bench/svcomp/O3/O3_sum_non_eq_false-unreach-call_000.smt2 false 0.10 0.11 apollon104 hcai-bench/svcomp/O3/O3_trex01_true-unreach-call_true-termination_000.smt2 true 0.11 0.11 apollon012 hcai-bench/svcomp/O3/O3_terminator_02_false-unreach-call_true-termination_000.smt2 false 0.12 0.12 apollon071 hcai-bench/svcomp/O3/O3_EvenOdd03WithOverflowBug_false-no-overflow_000.smt2 false 0.12 0.12 apollon013 hcai-bench/svcomp/O3/O3_sum01_true-unreach-call_true-termination_000.smt2 true 1.06 1.07 apollon071 hcai-bench/svcomp/O3/O3_array_false-unreach-call_true-termination_000.smt2 false 0.05 0.05 apollon150 hcai-bench/svcomp/O3/O3_terminator_01_false-unreach-call_true-termination_000.smt2 false 0.05 0.05 apollon073 hcai-bench/svcomp/O3/O3_for_bounded_loop1_false-unreach-call_true-termination_000.smt2 false 0.14 0.14 apollon128 hcai-bench/svcomp/O3/O3_afterrec_true-unreach-call_true-termination_000.smt2 true 0.10 0.10 apollon147 hcai-bench/svcomp/O3/O3_for_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 0.05 0.05 apollon139 hcai-bench/svcomp/O3/O3_sum01_false-unreach-call_true-termination_000.smt2 false 22.24 22.24 apollon128 hcai-bench/svcomp/O3/O3_id_o200_false-unreach-call_000.smt2 TIMEOUT 1800.54 1800.56 apollon034 hcai-bench/svcomp/O3/O3_trex03_true-unreach-call_true-termination_000.smt2 true 0.14 0.14 apollon120 hcai-bench/svcomp/O3/O3_count_up_down_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.47 1800.58 apollon131 hcai-bench/svcomp/O3/O3_for_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 0.05 0.05 apollon035 hcai-bench/svcomp/O3/O3_sum01_bug02_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.46 1800.55 apollon013 hcai-bench/svcomp/O3/O3_afterrec_false-unreach-call_true-termination_000.smt2 false 0.10 0.11 apollon135 hcai-bench/svcomp/O3/O3_count_up_down_false-unreach-call_true-termination_000.smt2 false 0.10 0.10 apollon116 hcai-bench/svcomp/O3/O3_sum03_false-unreach-call_true-termination_000.smt2 false 0.54 0.54 apollon023 hcai-bench/svcomp/O3/O3_terminator_03_true-unreach-call_true-termination_000.smt2 true 0.05 0.05 apollon158 hcai-bench/svcomp/O3/O3_Addition02_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 0.15 0.15 apollon129 hcai-bench/svcomp/O3/O3_sum_non_true-unreach-call_true-termination_000.smt2 true 0.11 0.11 apollon105 hcai-bench/svcomp/O3/O3_afterrec_2calls_true-unreach-call_true-termination_000.smt2 true 0.11 0.11 apollon079 hcai-bench/svcomp/O3/O3_n.c11_true-unreach-call_false-termination_000.smt2 true 0.12 0.12 apollon052 hcai-bench/svcomp/O3/O3_id_o1000_false-unreach-call_000.smt2 TIMEOUT 1800.52 1800.55 apollon118 hcai-bench/svcomp/O3/O3_id_o10_false-unreach-call_000.smt2 false 1.77 1.77 apollon158 hcai-bench/svcomp/O3/O3_id_o100_false-unreach-call_000.smt2 TIMEOUT 1800.51 1800.51 apollon044 hcai-bench/svcomp/O0/O0_sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination_000.smt2 false 1.15 1.15 apollon107 hcai-bench/svcomp/O0/O0_fibo_2calls_4_false-unreach-call_true-termination_000.smt2 false 0.05 0.05 apollon146 hcai-bench/svcomp/O0/O0_trex03_false-unreach-call_true-termination_000.smt2 false 0.14 0.14 apollon053 hcai-bench/svcomp/O0/O0_terminator_03_false-unreach-call_true-termination_000.smt2 false 0.12 0.12 apollon005 hcai-bench/svcomp/O0/O0_fibo_2calls_10_false-unreach-call_000.smt2 false 0.05 0.05 apollon121 hcai-bench/svcomp/O0/O0_terminator_02_true-unreach-call_true-termination_000.smt2 true 0.12 0.12 apollon134 hcai-bench/svcomp/O0/O0_fibo_2calls_8_false-unreach-call_000.smt2 false 0.05 0.05 apollon033 hcai-bench/svcomp/O0/O0_while_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 0.05 0.06 apollon097 hcai-bench/svcomp/O0/O0_id2_b3_o2_false-unreach-call_000.smt2 false 0.05 0.05 apollon046 hcai-bench/svcomp/O0/O0_EvenOdd03_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 0.05 0.05 apollon063 hcai-bench/svcomp/O0/O0_nec11_false-unreach-call_false-termination_000.smt2 false 0.10 0.11 apollon051 hcai-bench/svcomp/O0/O0_trex01_false-unreach-call_true-termination_000.smt2 false 0.11 0.11 apollon145 hcai-bench/svcomp/O0/O0_nec20_false-unreach-call_true-termination_000.smt2 false 0.34 0.35 apollon050 hcai-bench/svcomp/O0/O0_fibo_2calls_5_false-unreach-call_true-termination_000.smt2 false 0.05 0.05 apollon039 hcai-bench/svcomp/O0/O0_id2_i5_o5_false-unreach-call_true-termination_000.smt2 false 0.05 0.05 apollon066 hcai-bench/svcomp/O0/O0_trex01_true-unreach-call_true-termination_000.smt2 true 0.17 0.34 apollon042 hcai-bench/svcomp/O0/O0_terminator_02_false-unreach-call_true-termination_000.smt2 false 0.06 0.06 apollon063 hcai-bench/svcomp/O0/O0_EvenOdd03WithOverflowBug_false-no-overflow_000.smt2 false 0.05 0.05 apollon114 hcai-bench/svcomp/O0/O0_sum01_true-unreach-call_true-termination_000.smt2 true 5.98 5.99 apollon094 hcai-bench/svcomp/O0/O0_fibo_2calls_15_false-unreach-call_000.smt2 false 0.05 0.05 apollon034 hcai-bench/svcomp/O0/O0_terminator_01_false-unreach-call_true-termination_000.smt2 false 0.05 0.05 apollon103 hcai-bench/svcomp/O0/O0_fibo_2calls_25_false-unreach-call_000.smt2 false 0.05 0.05 apollon035 hcai-bench/svcomp/O0/O0_sum04_false-unreach-call_true-termination_000.smt2 false 0.94 0.95 apollon038 hcai-bench/svcomp/O0/O0_for_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 0.05 0.05 apollon033 hcai-bench/svcomp/O0/O0_sum01_false-unreach-call_true-termination_000.smt2 false 1310.48 1310.57 apollon156 hcai-bench/svcomp/O0/O0_trex03_true-unreach-call_true-termination_000.smt2 true 0.12 0.13 apollon003 hcai-bench/svcomp/O0/O0_count_up_down_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.47 1800.60 apollon167 hcai-bench/svcomp/O0/O0_fibo_2calls_2_false-unreach-call_true-termination_000.smt2 false 0.05 0.05 apollon088 hcai-bench/svcomp/O0/O0_for_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 0.05 0.05 apollon010 hcai-bench/svcomp/O0/O0_sum01_bug02_false-unreach-call_true-termination_000.smt2 false 17.41 17.41 apollon125 hcai-bench/svcomp/O0/O0_count_up_down_false-unreach-call_true-termination_000.smt2 false 0.10 0.10 apollon058 hcai-bench/svcomp/O0/O0_terminator_03_true-unreach-call_true-termination_000.smt2 true 0.12 0.12 apollon074 hcai-bench/svcomp/O0/O0_fibo_2calls_6_false-unreach-call_true-termination_000.smt2 false 0.05 0.05 apollon100 hcai-bench/svcomp/O0/O0_while_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 0.06 0.09 apollon026 hcai-bench/svcomp/O0/O0_n.c11_true-unreach-call_false-termination_000.smt2 true 0.12 0.13 apollon041 hcai-bench/svcomp/O0/O0_fibo_2calls_20_false-unreach-call_000.smt2 false 0.05 0.05 apollon164 hcai-bench/arrays_orig/array_fill1_abstracted_000.smt2 true 11.82 11.82 apollon052 hcai-bench/arrays_orig/array_fill2_abstracted_000.smt2 TIMEOUT 1800.45 1800.66 apollon031 hcai-bench/arrays_orig/array_fill1_even_odd_abstracted_000.smt2 TIMEOUT 1800.46 1800.58 apollon147 rust-horn/bmc-2-test-bmc-2-unsafe_000.smt2 false 0.13 0.14 apollon018 rust-horn/simple-1-01_unsat_000.smt2 true 0.24 0.24 apollon039 rust-horn/bmc-2-test-bmc-2-safe_000.smt2 true 0.21 0.21 apollon144 rust-horn/bmc-1-test-bmc-1-safe_000.smt2 true 19.06 19.07 apollon127 rust-horn/bmc-5-test-bmc-diamond-2-safe_000.smt2 true 1.61 1.61 apollon132 rust-horn/bmc-3-test-bmc-3-safe_000.smt2 true 0.55 0.56 apollon005 rust-horn/simple-5-hhk2008_000.smt2 TIMEOUT 1800.46 1800.50 apollon125 rust-horn/simple-4-06_loop_unsat_000.smt2 true 0.34 0.34 apollon052 rust-horn/bmc-3-test-bmc-3-unsafe_000.smt2 false 0.44 0.44 apollon049 rust-horn/bmc-1-test-bmc-1-unsafe_000.smt2 false 0.32 0.32 apollon053 rust-horn/bmc-5-test-bmc-diamond-2-unsafe_000.smt2 false 0.29 0.48 apollon064 eldarica-misc/BV/qarmc/rsolv_000.smt2 true 2.03 2.03 apollon127 eldarica-misc/BV/qarmc/qrsolv_000.smt2 true 4.50 4.50 apollon135 eldarica-misc/LIA/llreve/barthe2_safe.c-1_000.smt2 false 0.15 0.15 apollon168 eldarica-misc/LIA/llreve/cube_square_unsafe.c-1_000.smt2 false 526.60 526.62 apollon116 eldarica-misc/LIA/llreve/break_single_merged_safe.c-1_000.smt2 true 1.71 1.71 apollon073 eldarica-misc/LIA/llreve/loop_safe.c-1_000.smt2 false 0.13 0.13 apollon094 eldarica-misc/LIA/llreve/digits10_inl_merged_safe.c-1_000.smt2 TIMEOUT 1800.49 1800.53 apollon162 eldarica-misc/LIA/llreve/nested-while_unsafe.c-1_000.smt2 false 0.15 0.16 apollon094 eldarica-misc/LIA/llreve/barthe_unsafe.c-1_000.smt2 false 0.16 0.16 apollon150 eldarica-misc/LIA/llreve/03_while_unsafe.c-1_000.smt2 false 0.41 0.41 apollon130 eldarica-misc/LIA/llreve/fib_merged_safe.c-1_000.smt2 true 2.80 2.80 apollon154 eldarica-misc/LIA/llreve/loop_unswitching_merged_safe.c-1_000.smt2 TIMEOUT 1800.45 1800.50 apollon116 eldarica-misc/LIA/llreve/barthe_safe.c-1_000.smt2 false 0.15 0.16 apollon113 eldarica-misc/LIA/llreve/break_single_safe.c-1_000.smt2 false 0.15 0.15 apollon129 eldarica-misc/LIA/llreve/loop5_unsafe.c-1_000.smt2 false 0.14 0.14 apollon041 eldarica-misc/LIA/llreve/upcount_merged_safe.c-1_000.smt2 TIMEOUT 1800.47 1800.58 apollon025 eldarica-misc/LIA/llreve/fib_safe.c-1_000.smt2 false 0.28 0.28 apollon103 eldarica-misc/LIA/llreve/while-if_safe.c-1_000.smt2 false 0.15 0.16 apollon039 eldarica-misc/LIA/llreve/square_twice_safe.c-1_000.smt2 TIMEOUT 1800.49 1800.56 apollon133 eldarica-misc/LIA/llreve/barthe_merged_unsafe.c-1_000.smt2 TIMEOUT 1800.50 1800.55 apollon099 eldarica-misc/LIA/llreve/loop_merged_safe.c-1_000.smt2 true 2.29 2.29 apollon056 eldarica-misc/LIA/llreve/loop3_safe.c-1_000.smt2 false 0.15 0.15 apollon122 eldarica-misc/LIA/llreve/loop_unswitching_safe.c-1_000.smt2 false 0.17 0.17 apollon043 eldarica-misc/LIA/llreve/simple-loop_merged_safe.c-1_000.smt2 true 0.15 0.15 apollon060 eldarica-misc/LIA/llreve/break_merged_safe.c-1_000.smt2 true 345.34 345.37 apollon131 eldarica-misc/LIA/llreve/barthe2-big2_safe.c-1_000.smt2 false 0.57 0.57 apollon105 eldarica-misc/LIA/llreve/nested-while_merged_unsafe.c-1_000.smt2 false 0.42 0.42 apollon152 eldarica-misc/LIA/llreve/square_twice_merged_safe.c-1_000.smt2 TIMEOUT 1800.46 1800.57 apollon163 eldarica-misc/LIA/llreve/nested-while_safe.c-1_000.smt2 TIMEOUT 1800.47 1800.53 apollon089 eldarica-misc/LIA/llreve/barthe_merged_safe.c-1_000.smt2 true 0.19 0.36 apollon037 eldarica-misc/LIA/llreve/barthe2-big_safe.c-1_000.smt2 false 0.96 0.96 apollon051 eldarica-misc/LIA/llreve/break_safe.c-1_000.smt2 true 4.69 4.69 apollon008 eldarica-misc/LIA/llreve/loop2_merged_safe.c-1_000.smt2 true 51.29 51.30 apollon135 eldarica-misc/LIA/llreve/nested-while_merged_safe.c-1_000.smt2 TIMEOUT 1800.49 1800.61 apollon098 eldarica-misc/LIA/llreve/barthe2_merged_safe.c-1_000.smt2 true 59.89 59.89 apollon131 eldarica-misc/LIA/llreve/digits10_inl_safe.c-1_000.smt2 false 8.33 8.34 apollon145 eldarica-misc/LIA/llreve/barthe2-big2_merged_safe.c-1_000.smt2 true 12.83 12.83 apollon150 eldarica-misc/LIA/llreve/while_after_while_if_merged_safe.c-1_000.smt2 TIMEOUT 1800.46 1800.55 apollon025 eldarica-misc/LIA/llreve/bug15_safe.c-1_000.smt2 TIMEOUT 1800.48 1800.57 apollon082 eldarica-misc/LIA/llreve/loop3_merged_safe.c-1_000.smt2 true 9.30 9.30 apollon016 eldarica-misc/LIA/llreve/while_after_while_if_safe.c-1_000.smt2 false 0.18 0.18 apollon028 eldarica-misc/LIA/llreve/square_twice_safe_weaved.c-1_000.smt2 TIMEOUT 1800.47 1800.48 apollon162 eldarica-misc/LIA/llreve/loop5_merged_unsafe.c-1_000.smt2 false 0.14 0.14 apollon074 eldarica-misc/LIA/llreve/simple-loop_safe.c-1_000.smt2 false 0.12 0.12 apollon099 eldarica-misc/LIA/llreve/upcount_safe.c-1_000.smt2 TIMEOUT 1800.47 1800.54 apollon129 eldarica-misc/LIA/reve/014c-horn_000.smt2 false 35.25 35.25 apollon088 eldarica-misc/LIA/reve/026-horn_000.smt2 true 0.12 0.12 apollon105 eldarica-misc/LIA/reve/007-horn_000.smt2 true 0.13 0.13 apollon152 eldarica-misc/LIA/reve/019b-horn_000.smt2 true 5.78 5.79 apollon080 eldarica-misc/LIA/reve/016b-horn_000.smt2 true 21.54 21.55 apollon016 eldarica-misc/LIA/reve/010b-horn_000.smt2 TIMEOUT 1800.48 1800.49 apollon013 eldarica-misc/LIA/reve/013-horn_000.smt2 true 0.32 0.33 apollon080 eldarica-misc/LIA/reve/003c-horn_000.smt2 TIMEOUT 1800.47 1800.68 apollon162 eldarica-misc/LIA/reve/007b-horn_000.smt2 true 0.13 0.13 apollon050 eldarica-misc/LIA/reve/024b-horn_000.smt2 TIMEOUT 1800.47 1800.59 apollon150 eldarica-misc/LIA/reve/011c-horn_000.smt2 false 0.20 0.20 apollon090 eldarica-misc/LIA/reve/003b-horn_000.smt2 TIMEOUT 1800.49 1800.55 apollon156 eldarica-misc/LIA/reve/014-horn_000.smt2 true 0.27 0.27 apollon152 eldarica-misc/LIA/reve/020b-horn_000.smt2 TIMEOUT 1800.47 1800.60 apollon165 eldarica-misc/LIA/reve/015-horn_000.smt2 true 0.38 0.38 apollon161 eldarica-misc/LIA/reve/020-horn_000.smt2 TIMEOUT 1800.47 1800.55 apollon090 eldarica-misc/LIA/reve/010-horn_000.smt2 TIMEOUT 1800.47 1800.54 apollon135 eldarica-misc/LIA/reve/008b-horn_000.smt2 TIMEOUT 1800.47 1800.53 apollon036 eldarica-misc/LIA/reve/008-horn_000.smt2 TIMEOUT 1800.46 1800.56 apollon052 eldarica-misc/LIA/reve/011-horn_000.smt2 true 1.94 1.94 apollon043 eldarica-misc/LIA/reve/002c-horn_000.smt2 false 0.27 0.27 apollon128 eldarica-misc/LIA/reve/027b-horn_000.smt2 true 0.23 0.23 apollon154 eldarica-misc/LIA/reve/025b-horn_000.smt2 TIMEOUT 1800.45 1800.60 apollon150 eldarica-misc/LIA/reve/002d-horn_000.smt2 false 0.27 0.28 apollon141 eldarica-misc/LIA/reve/012d-horn_000.smt2 false 0.35 0.35 apollon119 eldarica-misc/LIA/reve/019-horn_000.smt2 TIMEOUT 1800.47 1800.51 apollon055 eldarica-misc/LIA/reve/015b-horn_000.smt2 true 0.38 0.38 apollon061 eldarica-misc/LIA/reve/009-horn_000.smt2 true 13.63 13.63 apollon103 eldarica-misc/LIA/reve/012b-horn_000.smt2 TIMEOUT 1800.46 1800.56 apollon142 eldarica-misc/LIA/reve/026b-horn_000.smt2 true 0.12 0.12 apollon147 eldarica-misc/LIA/reve/014d-horn_000.smt2 false 47.29 47.29 apollon106 eldarica-misc/LIA/reve/016-horn_000.smt2 true 95.93 95.94 apollon156 eldarica-misc/LIA/reve/004b-horn_000.smt2 TIMEOUT 1800.48 1800.49 apollon081 eldarica-misc/LIA/reve/003d-horn_000.smt2 TIMEOUT 1800.47 1800.59 apollon075 eldarica-misc/LIA/reve/018-horn_000.smt2 TIMEOUT 1800.48 1800.48 apollon107 eldarica-misc/LIA/reve/020c-horn_000.smt2 false 0.14 0.23 apollon163 eldarica-misc/LIA/reve/017b-horn_000.smt2 true 71.53 71.53 apollon094 eldarica-misc/LIA/reve/023b-horn_000.smt2 true 0.14 0.14 apollon050 eldarica-misc/LIA/reve/012c-horn_000.smt2 false 0.39 0.56 apollon131 eldarica-misc/LIA/reve/025c-horn_000.smt2 TIMEOUT 1800.45 1800.58 apollon073 eldarica-misc/LIA/reve/025d-horn_000.smt2 TIMEOUT 1800.45 1800.57 apollon130 eldarica-misc/LIA/reve/004-horn_000.smt2 TIMEOUT 1800.49 1800.53 apollon126 eldarica-misc/LIA/reve/020d-horn_000.smt2 false 0.12 0.13 apollon016 eldarica-misc/LIA/reve/011b-horn_000.smt2 true 1.94 1.94 apollon069 eldarica-misc/LIA/reve/002b-horn_000.smt2 true 0.61 0.61 apollon051 eldarica-misc/LIA/reve/024-horn_000.smt2 TIMEOUT 1800.47 1800.62 apollon001 eldarica-misc/LIA/reve/012-horn_000.smt2 TIMEOUT 1800.47 1800.52 apollon168 eldarica-misc/LIA/reve/023-horn_000.smt2 true 0.16 0.34 apollon001 eldarica-misc/LIA/reve/027-horn_000.smt2 true 0.22 0.22 apollon120 eldarica-misc/LIA/reve/018b-horn_000.smt2 TIMEOUT 1800.46 1800.51 apollon052 eldarica-misc/LIA/reve/017-horn_000.smt2 true 3.38 3.38 apollon074 eldarica-misc/LIA/reve/013b-horn_000.smt2 true 0.33 0.33 apollon007 eldarica-misc/LIA/reve/011d-horn_000.smt2 false 0.20 0.20 apollon147 eldarica-misc/LIA/reve/002-horn_000.smt2 true 0.62 0.62 apollon037 eldarica-misc/LIA/reve/025-horn_000.smt2 TIMEOUT 1800.45 1800.47 apollon010 eldarica-misc/LIA/reve/009b-horn_000.smt2 TIMEOUT 1800.56 1800.54 apollon004 eldarica-misc/LIA/reve/003-horn_000.smt2 TIMEOUT 1800.49 1800.61 apollon039 eldarica-misc/LIA/reve/014b-horn_000.smt2 true 0.27 0.27 apollon143 eldarica-misc/LIA/HOLA/17.c_000.smt2 true 0.41 0.41 apollon005 eldarica-misc/LIA/HOLA/27.c_000.smt2 true 0.29 0.29 apollon128 eldarica-misc/LIA/HOLA/18.c_000.smt2 TIMEOUT 1800.52 1800.66 apollon038 eldarica-misc/LIA/HOLA/34.c_000.smt2 true 3.64 3.64 apollon107 eldarica-misc/LIA/HOLA/41.c_000.smt2 true 0.51 0.51 apollon145 eldarica-misc/LIA/HOLA/21.c_000.smt2 true 0.93 0.93 apollon056 eldarica-misc/LIA/HOLA/06.c_000.smt2 true 1.06 1.06 apollon092 eldarica-misc/LIA/HOLA/09.c_000.smt2 true 0.47 0.47 apollon004 eldarica-misc/LIA/HOLA/05.c_000.smt2 true 0.42 0.43 apollon158 eldarica-misc/LIA/HOLA/10.c_000.smt2 true 0.83 0.83 apollon082 eldarica-misc/LIA/HOLA/33.c_000.smt2 true 0.80 0.80 apollon064 eldarica-misc/LIA/HOLA/43.c_000.smt2 true 0.15 0.16 apollon163 eldarica-misc/LIA/HOLA/35.c_000.smt2 true 0.17 0.17 apollon030 eldarica-misc/LIA/HOLA/44.c_000.smt2 true 0.26 0.27 apollon013 eldarica-misc/LIA/HOLA/13.c_000.smt2 true 0.50 0.50 apollon043 eldarica-misc/LIA/HOLA/22.c_000.smt2 true 0.33 0.50 apollon066 eldarica-misc/LIA/HOLA/37.c_000.smt2 true 0.35 0.36 apollon160 eldarica-misc/LIA/HOLA/42.c_000.smt2 true 0.72 0.72 apollon126 eldarica-misc/LIA/HOLA/02.c_000.smt2 true 0.58 0.58 apollon154 eldarica-misc/LIA/HOLA/46.c_000.smt2 true 0.31 0.31 apollon104 eldarica-misc/LIA/HOLA/07.c_000.smt2 TIMEOUT 1800.47 1800.55 apollon109 eldarica-misc/LIA/HOLA/31.c_000.smt2 true 0.95 0.95 apollon005 eldarica-misc/LIA/HOLA/32.c_000.smt2 TIMEOUT 1800.45 1800.56 apollon034 eldarica-misc/LIA/HOLA/25.c_000.smt2 true 0.45 0.45 apollon001 eldarica-misc/LIA/HOLA/19.c_000.smt2 true 0.77 0.77 apollon134 eldarica-misc/LIA/HOLA/14.c_000.smt2 true 0.49 0.50 apollon069 eldarica-misc/LIA/HOLA/30.c_000.smt2 TIMEOUT 1800.51 1800.58 apollon164 eldarica-misc/LIA/HOLA/12.c_000.smt2 true 1.04 1.04 apollon116 eldarica-misc/LIA/HOLA/08.c_000.smt2 true 0.61 0.61 apollon037 eldarica-misc/LIA/HOLA/24.c_000.smt2 true 0.98 0.98 apollon055 eldarica-misc/LIA/HOLA/26.c_000.smt2 true 1.28 1.29 apollon023 eldarica-misc/LIA/HOLA/20.c_000.smt2 true 2.07 2.08 apollon081 eldarica-misc/LIA/HOLA/01.c_000.smt2 true 0.13 0.14 apollon088 eldarica-misc/LIA/HOLA/04.c_000.smt2 true 0.16 0.16 apollon053 eldarica-misc/LIA/HOLA/16.c_000.smt2 true 0.95 0.96 apollon018 eldarica-misc/LIA/HOLA/28.c_000.smt2 true 0.23 0.23 apollon135 eldarica-misc/LIA/HOLA/11.c_000.smt2 true 1.23 1.23 apollon155 eldarica-misc/LIA/HOLA/36.c_000.smt2 true 3.15 3.15 apollon118 eldarica-misc/LIA/HOLA/38.c_000.smt2 TIMEOUT 1800.46 1800.49 apollon103 eldarica-misc/LIA/HOLA/39.c_000.smt2 true 0.19 0.19 apollon007 eldarica-misc/LIA/HOLA/45.c_000.smt2 true 1.66 1.66 apollon023 eldarica-misc/LIA/HOLA/40.c_000.smt2 true 0.60 0.61 apollon015 eldarica-misc/LIA/HOLA/23.c_000.smt2 true 0.19 0.20 apollon131 eldarica-misc/LIA/HOLA/03.c_000.smt2 true 0.24 0.24 apollon035 eldarica-misc/LIA/HOLA/15.c_000.smt2 true 0.66 0.66 apollon121 eldarica-misc/LIA/HOLA/29.c_000.smt2 true 0.82 0.82 apollon041 llreve-bench/smt2/loop__nested-while_000.smt2 true 1.88 1.89 apollon093 llreve-bench/smt2/loop__fib_000.smt2 true 180.67 180.68 apollon055 llreve-bench/smt2/loop__loop_000.smt2 TIMEOUT 1800.47 1800.48 apollon103 llreve-bench/smt2/loop__digits10_inl_000.smt2 true 5.89 5.90 apollon067 llreve-bench/smt2/loop__barthe2-big_000.smt2 TIMEOUT 1800.46 1800.58 apollon091 llreve-bench/smt2/loop__upcount_000.smt2 true 0.59 0.59 apollon128 llreve-bench/smt2/loop__break_000.smt2 true 0.19 0.19 apollon020 llreve-bench/smt2/loop__while-if_000.smt2 true 0.19 0.19 apollon053 llreve-bench/smt2/faulty__barthe!_000.smt2 TIMEOUT 1800.47 1800.53 apollon114 llreve-bench/smt2/loop__loop3_000.smt2 TIMEOUT 1800.48 1800.61 apollon118 llreve-bench/smt2/loop__barthe2_000.smt2 TIMEOUT 1800.47 1800.48 apollon033 llreve-bench/smt2/loop__loop_unswitching_000.smt2 true 0.22 0.22 apollon091 llreve-bench/smt2/loop__break_single_000.smt2 true 0.16 0.16 apollon161 llreve-bench/smt2/loop__barthe2-big2_000.smt2 TIMEOUT 1800.48 1800.59 apollon001 llreve-bench/smt2/loop__barthe_000.smt2 TIMEOUT 1800.49 1800.50 apollon121 llreve-bench/smt2/loop__barthe2-big3_000.smt2 TIMEOUT 1800.47 1800.50 apollon136 llreve-bench/smt2/loop__loop2_000.smt2 true 3.97 3.97 apollon045 llreve-bench/smt2/loop__simple-loop_000.smt2 true 0.13 0.13 apollon150 llreve-bench/smt2/faulty__nested-while!_000.smt2 false 0.36 0.36 apollon038 llreve-bench/smt2/loop__bug15_000.smt2 true 0.12 0.12 apollon128 llreve-bench/smt2/loop__while_after_while_if_000.smt2 true 0.35 0.35 apollon157 llreve-bench/smt2/faulty__loop5!_000.smt2 false 0.12 0.12 apollon108 hopv/lia/mochi/intro2_000.smt2 true 0.05 0.05 apollon128 hopv/lia/mochi/neg1_000.smt2 false 0.11 0.11 apollon044 hopv/lia/mochi/sum4_000.smt2 true 0.32 0.33 apollon136 hopv/lia/mochi/sum_000.smt2 true 0.11 0.11 apollon016 hopv/lia/mochi/exception_000.smt2 true 0.05 0.05 apollon007 hopv/lia/mochi/fxx_000.smt2 true 0.05 0.05 apollon095 hopv/lia/mochi/enc-zip3_000.smt2 true 0.11 0.11 apollon114 hopv/lia/mochi/array_init_000.smt2 TIMEOUT 1800.46 1800.49 apollon117 hopv/lia/mochi/map_000.smt2 true 0.10 0.10 apollon147 hopv/lia/mochi/mult_000.smt2 true 0.16 0.17 apollon105 hopv/lia/mochi/intro3_000.smt2 true 0.05 0.05 apollon082 hopv/lia/mochi/sum2_000.smt2 true 0.15 0.15 apollon133 hopv/lia/mochi/intro1_000.smt2 true 0.05 0.06 apollon030 hopv/lia/mochi/exc-simple_000.smt2 true 0.05 0.05 apollon018 hopv/lia/mochi/sum3_000.smt2 true 0.16 0.17 apollon082 hopv/lia/mochi/enc-rev_accum_000.smt2 true 0.26 0.26 apollon017 hopv/lia/fpice/inductive6_000.smt2 true 0.05 0.05 apollon049 hopv/lia/fpice/inductive2_000.smt2 true 0.16 0.16 apollon062 hopv/lia/fpice/inductive5_000.smt2 true 0.18 0.19 apollon118 hopv/lia/fpice/inductive4_000.smt2 true 0.15 0.15 apollon013 hopv/lia/fpice/inductive6-3_000.smt2 true 0.06 0.06 apollon131 hopv/lia/fpice/inductive6-2_000.smt2 true 0.06 0.06 apollon079 hopv/lia/fpice/inductive3_000.smt2 true 0.16 0.16 apollon025 hopv/lia/termination/Ackermann03_000.smt2 true 0.05 0.06 apollon034 hopv/lia/termination/alias_partial00_000.smt2 true 0.11 0.11 apollon040 hopv/lia/termination/append01_000.smt2 true 0.05 0.06 apollon152 hopv/lia/termination/CE-0CFA02_000.smt2 true 0.05 0.05 apollon074 hopv/lia/termination/McCarthy9101_000.smt2 true 0.05 0.05 apollon090 hopv/lia/termination/Ackermann00_000.smt2 true 0.05 0.05 apollon156 hopv/lia/termination/binomial01_000.smt2 true 0.05 0.06 apollon043 hopv/lia/termination/CE-1CFA07_000.smt2 false 0.12 0.13 apollon097 hopv/lia/termination/Fibonacci00_000.smt2 true 0.05 0.05 apollon041 hopv/lia/termination/Ackermann01_000.smt2 true 0.05 0.05 apollon038 hopv/lia/termination/alias_partial01_000.smt2 true 0.05 0.05 apollon163 hopv/lia/termination/CE-1CFA01_000.smt2 true 0.06 0.06 apollon027 hopv/lia/termination/CE-1CFA05_000.smt2 true 0.05 0.05 apollon121 hopv/lia/termination/zip01_000.smt2 true 0.05 0.05 apollon054 hopv/lia/termination/McCarthy9100_000.smt2 true 0.05 0.05 apollon037 hopv/lia/termination/binomial00_000.smt2 true 0.05 0.05 apollon131 hopv/lia/termination/CE-1CFA02_000.smt2 true 0.06 0.06 apollon145 hopv/lia/termination/append00_000.smt2 true 0.05 0.05 apollon128 hopv/lia/termination/CE-0CFA05_000.smt2 true 0.05 0.05 apollon068 hopv/lia/termination/alias_partial02_000.smt2 true 0.05 0.05 apollon050 hopv/lia/termination/CE-1CFA09_000.smt2 false 0.12 0.13 apollon064 hopv/lia/termination/CE-1CFA00_000.smt2 true 0.06 0.06 apollon004 hopv/lia/termination/binomial03_000.smt2 true 0.06 0.06 apollon100 hopv/lia/termination/zip00_000.smt2 true 0.05 0.05 apollon146 hopv/lia/termination/CE-0CFA01_000.smt2 true 0.05 0.05 apollon027 hopv/lia/termination/Fibonacci01_000.smt2 true 0.05 0.05 apollon082 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 14884.50 - Statistics: 1312 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 560