BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/ultimatetreeautomizer.xml name: ultimatetreeautomizer run sets: CHC-COMP2025_check-sat.LIA-Lin date: Mon, 2025-05-05 20:41:43 CEST tool: Ultimate TreeAutomizer (unknown version) tool executable: ./chc-comp-wrapper.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.37 1744.31 apollon095 aeval-benchmarks/multi-phase/s_split_27_000.smt2 TIMEOUT 1800.46 1737.66 apollon092 aeval-benchmarks/multi-phase/s_split_24_000.smt2 TIMEOUT 1800.39 1741.47 apollon146 aeval-benchmarks/multi-phase/s_split_39_000.smt2 TIMEOUT 1800.85 1716.81 apollon061 aeval-benchmarks/multi-phase/s_split_15_000.smt2 TIMEOUT 1800.45 1727.11 apollon140 aeval-benchmarks/multi-phase/s_split_03_000.smt2 TIMEOUT 1800.76 1721.72 apollon078 aeval-benchmarks/multi-phase/s_split_13_000.smt2 TIMEOUT 1800.44 1728.19 apollon021 aeval-benchmarks/multi-phase/s_split_30_000.smt2 TIMEOUT 1800.44 1727.82 apollon156 aeval-benchmarks/multi-phase/s_split_51_000.smt2 TIMEOUT 1800.48 1742.84 apollon097 aeval-benchmarks/multi-phase/s_split_34_000.smt2 TIMEOUT 1800.25 1739.03 apollon091 aeval-benchmarks/multi-phase/s_split_52_000.smt2 TIMEOUT 1800.36 1743.58 apollon131 aeval-benchmarks/multi-phase/s_split_29_000.smt2 TIMEOUT 1800.37 1746.28 apollon059 aeval-benchmarks/multi-phase/s_split_11_000.smt2 TIMEOUT 1800.42 1741.59 apollon165 aeval-benchmarks/multi-phase/s_split_09_000.smt2 TIMEOUT 1800.34 1735.85 apollon111 aeval-benchmarks/multi-phase/s_split_45_000.smt2 TIMEOUT 1800.41 1743.31 apollon139 aeval-benchmarks/multi-phase/s_split_46_000.smt2 TIMEOUT 1800.29 1741.87 apollon010 aeval-benchmarks/multi-phase/s_split_48_000.smt2 TIMEOUT 1800.43 1742.67 apollon024 aeval-benchmarks/multi-phase/s_split_44_000.smt2 TIMEOUT 1800.29 1742.13 apollon147 aeval-benchmarks/multi-phase/s_split_32_000.smt2 TIMEOUT 1800.96 1710.78 apollon050 aeval-benchmarks/multi-phase/s_split_08_000.smt2 TIMEOUT 1800.50 1740.23 apollon115 aeval-benchmarks/multi-phase/s_split_22_000.smt2 TIMEOUT 1800.40 1743.64 apollon017 aeval-benchmarks/multi-phase/s_split_28_000.smt2 TIMEOUT 1800.45 1743.57 apollon121 aeval-benchmarks/multi-phase/s_split_31_000.smt2 TIMEOUT 1800.41 1741.64 apollon144 aeval-benchmarks/multi-phase/s_split_21_000.smt2 TIMEOUT 1800.43 1731.32 apollon119 aeval-benchmarks/multi-phase/s_split_38_000.smt2 TIMEOUT 1800.39 1742.66 apollon102 aeval-benchmarks/multi-phase/s_split_01_000.smt2 TIMEOUT 1800.49 1743.37 apollon080 aeval-benchmarks/multi-phase/s_split_33_000.smt2 TIMEOUT 1800.70 1716.47 apollon120 aeval-benchmarks/multi-phase/s_split_10_000.smt2 TIMEOUT 1800.40 1741.18 apollon114 aeval-benchmarks/multi-phase/s_split_37_000.smt2 TIMEOUT 1800.75 1717.80 apollon022 aeval-benchmarks/multi-phase/s_split_06_000.smt2 TIMEOUT 1800.18 1740.73 apollon159 aeval-benchmarks/multi-phase/s_split_42_000.smt2 TIMEOUT 1800.40 1742.77 apollon023 aeval-benchmarks/multi-phase/s_split_23_000.smt2 TIMEOUT 1800.28 1742.20 apollon101 aeval-benchmarks/multi-phase/s_split_17_000.smt2 TIMEOUT 1800.28 1744.48 apollon059 aeval-benchmarks/multi-phase/s_split_20_000.smt2 TIMEOUT 1800.34 1741.30 apollon090 aeval-benchmarks/multi-phase/s_split_36_000.smt2 TIMEOUT 1800.30 1743.44 apollon014 aeval-benchmarks/multi-phase/s_split_54_000.smt2 TIMEOUT 1800.44 1744.66 apollon082 aeval-benchmarks/multi-phase/s_split_47_000.smt2 TIMEOUT 1800.39 1744.84 apollon041 aeval-benchmarks/multi-phase/s_split_25_000.smt2 TIMEOUT 1800.51 1731.64 apollon141 aeval-benchmarks/multi-phase/s_split_41_000.smt2 TIMEOUT 1800.28 1742.07 apollon090 aeval-benchmarks/multi-phase/s_split_50_000.smt2 TIMEOUT 1800.40 1741.31 apollon047 aeval-benchmarks/multi-phase/s_split_14_000.smt2 TIMEOUT 1800.29 1740.44 apollon015 aeval-benchmarks/multi-phase/s_split_12_000.smt2 TIMEOUT 1800.48 1742.14 apollon046 aeval-benchmarks/multi-phase/s_split_26_000.smt2 TIMEOUT 1800.45 1742.03 apollon128 aeval-benchmarks/multi-phase/s_split_16_000.smt2 TIMEOUT 1800.29 1741.84 apollon096 aeval-benchmarks/multi-phase/s_split_04_000.smt2 TIMEOUT 1800.27 1742.68 apollon159 aeval-benchmarks/multi-phase/s_split_19_000.smt2 TIMEOUT 1800.44 1727.65 apollon005 aeval-benchmarks/multi-phase/s_split_43_000.smt2 TIMEOUT 1800.50 1742.26 apollon164 aeval-benchmarks/multi-phase/s_split_35_000.smt2 TIMEOUT 1800.40 1731.34 apollon068 aeval-benchmarks/multi-phase/s_split_07_000.smt2 TIMEOUT 1800.35 1744.94 apollon129 aeval-benchmarks/multi-phase/s_split_49_000.smt2 TIMEOUT 1800.46 1743.46 apollon139 aeval-benchmarks/multi-phase/s_split_02_000.smt2 TIMEOUT 1800.19 1743.02 apollon093 aeval-benchmarks/multi-phase/s_split_40_000.smt2 TIMEOUT 1800.41 1741.85 apollon167 aeval-benchmarks/multi-phase/s_split_18_000.smt2 true 14.32 3.55 apollon003 aeval-benchmarks/multi-phase/s_split_05_000.smt2 TIMEOUT 1800.54 1718.24 apollon046 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e7_2886_000.smt2 false 14.15 3.38 apollon008 vmt-chc-benchmarks/lustre/car_6_e3_294_e5_979_000.smt2 TIMEOUT 1800.35 1684.23 apollon151 vmt-chc-benchmarks/lustre/metros_3_e4_1251_000.smt2 TIMEOUT 1800.57 1684.00 apollon129 vmt-chc-benchmarks/lustre/traffic_000.smt2 true 12.81 3.18 apollon016 vmt-chc-benchmarks/lustre/FIREFLY_4_000.smt2 true 12.34 3.09 apollon032 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e2_1026_000.smt2 false 13.55 3.32 apollon139 vmt-chc-benchmarks/lustre/car_5_e3_11_e5_24_000.smt2 TIMEOUT 1800.31 1689.37 apollon004 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e2_3395_000.smt2 true 12.15 3.10 apollon085 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e1_3755_000.smt2 true 26.78 7.58 apollon136 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e2_1492_000.smt2 true 11.34 2.86 apollon001 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e2_615_000.smt2 false 13.07 3.27 apollon088 vmt-chc-benchmarks/lustre/MESI_i4_e7_1017_e6_1132_000.smt2 TIMEOUT 1800.23 1691.84 apollon010 vmt-chc-benchmarks/lustre/car_4_e8_118_000.smt2 true 11.32 2.90 apollon019 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e7_3447_000.smt2 false 12.49 3.06 apollon007 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e2_2251_000.smt2 TIMEOUT 1800.48 1688.74 apollon032 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e1_1489_000.smt2 true 11.77 2.97 apollon088 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e2_2755_000.smt2 TIMEOUT 1800.53 1689.68 apollon012 vmt-chc-benchmarks/lustre/fast_1_e8_747_000.smt2 true 10.96 2.74 apollon134 vmt-chc-benchmarks/lustre/car_4_e3_57_e4_1047_000.smt2 true 10.34 2.62 apollon096 vmt-chc-benchmarks/lustre/DRAGON_10_000.smt2 true 12.66 3.18 apollon144 vmt-chc-benchmarks/lustre/rtp_2_000.smt2 true 12.83 3.10 apollon097 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e3_522_000.smt2 TIMEOUT 1800.61 1681.67 apollon037 vmt-chc-benchmarks/lustre/durationThm_3_e2_148_000.smt2 true 9.88 2.65 apollon160 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_000.smt2 false 13.40 3.50 apollon052 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_000.smt2 TIMEOUT 1800.49 1691.06 apollon088 vmt-chc-benchmarks/lustre/ticket3i_all_e3_557_e7_3464_000.smt2 TIMEOUT 1800.55 1689.49 apollon052 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e7_998_000.smt2 false 132.53 99.11 apollon031 vmt-chc-benchmarks/lustre/peterson_2_000.smt2 true 12.46 3.12 apollon109 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_1315_000.smt2 false 52.10 26.78 apollon069 vmt-chc-benchmarks/lustre/car_3_e2_695_000.smt2 true 10.87 2.81 apollon082 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e3_1915_000.smt2 TIMEOUT 1800.63 1691.60 apollon132 vmt-chc-benchmarks/lustre/car_2_e7_1027_e7_359_000.smt2 TIMEOUT 1800.23 1692.81 apollon064 vmt-chc-benchmarks/lustre/DRAGON_1_000.smt2 true 12.56 3.22 apollon159 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e3_4574_000.smt2 false 17.84 4.40 apollon105 vmt-chc-benchmarks/lustre/metros_5_000.smt2 TIMEOUT 1800.53 1682.32 apollon073 vmt-chc-benchmarks/lustre/ILLINOIS_a1_000.smt2 TIMEOUT 1800.34 1694.64 apollon132 vmt-chc-benchmarks/lustre/ILLINOIS_4_e7_2651_e7_2847_000.smt2 TIMEOUT 1800.39 1687.91 apollon050 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e3_422_000.smt2 TIMEOUT 1800.77 1694.73 apollon042 vmt-chc-benchmarks/lustre/DRAGON_10_e7_3861_e7_2180_000.smt2 false 13.06 3.16 apollon058 vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997_000.smt2 true 12.90 3.18 apollon054 vmt-chc-benchmarks/lustre/metros_3_e4_987_e3_291_000.smt2 TIMEOUT 1800.59 1682.05 apollon009 vmt-chc-benchmarks/lustre/DRAGON_8_e3_786_000.smt2 TIMEOUT 1800.36 1695.39 apollon133 vmt-chc-benchmarks/lustre/peterson_all_000.smt2 true 13.34 3.29 apollon001 vmt-chc-benchmarks/lustre/ticket3i_5_e7_3307_000.smt2 TIMEOUT 1800.52 1686.58 apollon094 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_000.smt2 true 21.80 5.47 apollon154 vmt-chc-benchmarks/lustre/DRAGON_all_000.smt2 true 24.54 7.20 apollon019 vmt-chc-benchmarks/lustre/DRAGON_9_000.smt2 true 12.18 3.13 apollon154 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e1_1486_000.smt2 false 21.32 5.39 apollon097 vmt-chc-benchmarks/lustre/swimmingpool_9_000.smt2 TIMEOUT 1800.60 1686.15 apollon068 vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e2_3135_000.smt2 true 23.87 6.39 apollon099 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e7_341_000.smt2 TIMEOUT 1800.69 1685.39 apollon103 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_000.smt2 true 25.94 7.23 apollon075 vmt-chc-benchmarks/lustre/MESI_3_000.smt2 true 14.23 3.51 apollon044 vmt-chc-benchmarks/lustre/hysteresis_all_000.smt2 TIMEOUT 1800.83 1718.30 apollon013 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e2_158_000.smt2 true 40.17 18.43 apollon141 vmt-chc-benchmarks/lustre/rtp_vt_000.smt2 TIMEOUT 1800.47 1687.58 apollon089 vmt-chc-benchmarks/lustre/MESI_4_e7_1140_e7_433_000.smt2 TIMEOUT 1800.24 1693.67 apollon024 vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e7_1864_000.smt2 false 15.40 3.81 apollon141 vmt-chc-benchmarks/lustre/MOESI_2_e2_155_000.smt2 true 11.18 2.77 apollon044 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e3_511_000.smt2 true 24.61 6.55 apollon010 vmt-chc-benchmarks/lustre/speed2_e8_449_000.smt2 TIMEOUT 1800.96 1714.52 apollon136 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e1_6205_000.smt2 true 24.21 7.07 apollon075 vmt-chc-benchmarks/lustre/FIREFLY_8_000.smt2 true 11.51 2.91 apollon131 vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e4_4421_000.smt2 TIMEOUT 1800.27 1699.81 apollon104 vmt-chc-benchmarks/lustre/MOESI_2_e8_101_000.smt2 true 11.61 2.98 apollon122 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e6_2476_000.smt2 true 14.02 3.49 apollon008 vmt-chc-benchmarks/lustre/FIREFLY_10_e7_919_e2_3192_000.smt2 TIMEOUT 1800.60 1685.55 apollon060 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e4_165_000.smt2 true 10.60 2.72 apollon137 vmt-chc-benchmarks/lustre/ticket3i_7_e7_3176_000.smt2 TIMEOUT 1800.55 1682.75 apollon086 vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5322_000.smt2 false 15.97 3.92 apollon121 vmt-chc-benchmarks/lustre/MESI_i4_e6_2175_000.smt2 TIMEOUT 1800.14 1700.59 apollon057 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e6_2281_000.smt2 TIMEOUT 1800.53 1682.20 apollon163 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e7_3738_000.smt2 false 12.82 3.31 apollon146 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e3_2055_000.smt2 false 817.81 751.62 apollon142 vmt-chc-benchmarks/lustre/DRAGON_10_e1_998_000.smt2 true 13.45 3.47 apollon116 vmt-chc-benchmarks/lustre/FIREFLY_2_e2_3244_e3_1305_000.smt2 TIMEOUT 1800.37 1695.21 apollon038 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e2_2673_000.smt2 true 11.74 2.95 apollon106 vmt-chc-benchmarks/lustre/ILLINOIS_5_000.smt2 true 11.59 2.88 apollon053 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e1_556_000.smt2 TIMEOUT 1800.76 1683.06 apollon073 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e1_1128_000.smt2 false 11.85 2.90 apollon061 vmt-chc-benchmarks/lustre/speed_e7_207_e8_507_000.smt2 true 10.25 2.78 apollon097 vmt-chc-benchmarks/lustre/DRAGON_all_e7_4065_000.smt2 false 13.47 3.37 apollon161 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e7_1173_000.smt2 false 11.85 3.00 apollon143 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e4_232_000.smt2 TIMEOUT 1800.85 1680.52 apollon085 vmt-chc-benchmarks/lustre/MESI_i1_e4_1986_000.smt2 false 11.16 2.89 apollon014 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e1_768_000.smt2 true 23.02 5.69 apollon034 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e7_3594_000.smt2 TIMEOUT 1800.47 1686.77 apollon162 vmt-chc-benchmarks/lustre/SYNAPSE_5_000.smt2 TIMEOUT 1800.15 1694.74 apollon051 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e7_3681_000.smt2 TIMEOUT 1800.50 1681.67 apollon111 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e5_3248_000.smt2 TIMEOUT 1801.06 1697.74 apollon113 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e5_260_000.smt2 true 10.41 2.68 apollon120 vmt-chc-benchmarks/lustre/metros_1_e1_846_e2_1394_000.smt2 TIMEOUT 1800.46 1686.15 apollon124 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e3_2660_000.smt2 false 54.71 27.73 apollon062 vmt-chc-benchmarks/lustre/car_6_e3_294_e3_47_000.smt2 TIMEOUT 1800.32 1690.61 apollon008 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e7_2326_000.smt2 false 18.06 4.39 apollon113 vmt-chc-benchmarks/lustre/DRAGON_all2_e8_5504_e7_579_000.smt2 false 17.28 4.20 apollon054 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_000.smt2 TIMEOUT 1800.44 1693.59 apollon030 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e2_1352_000.smt2 TIMEOUT 1800.44 1685.74 apollon166 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e6_1459_000.smt2 true 14.48 3.51 apollon019 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e5_3642_000.smt2 TIMEOUT 1800.47 1695.64 apollon085 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e8_320_000.smt2 true 12.05 3.04 apollon006 vmt-chc-benchmarks/lustre/peterson_3_000.smt2 true 13.07 3.17 apollon031 vmt-chc-benchmarks/lustre/FIREFLY_rt_000.smt2 TIMEOUT 1800.42 1687.59 apollon055 vmt-chc-benchmarks/lustre/FIREFLY_luke_5_000.smt2 TIMEOUT 1800.41 1689.97 apollon117 vmt-chc-benchmarks/lustre/FIREFLY_5_000.smt2 true 11.50 2.93 apollon096 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e2_2392_000.smt2 true 21.59 5.46 apollon069 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e2_1923_000.smt2 TIMEOUT 1800.27 1698.68 apollon058 vmt-chc-benchmarks/lustre/car_all_e3_1068_000.smt2 false 11.17 2.84 apollon040 vmt-chc-benchmarks/lustre/MOESI_2_e3_1523_000.smt2 true 12.38 3.11 apollon142 vmt-chc-benchmarks/lustre/ticket3i_all_000.smt2 true 12.77 3.13 apollon128 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e8_1334_000.smt2 true 12.44 3.09 apollon078 vmt-chc-benchmarks/lustre/DRAGON_13_e3_1418_e3_2761_000.smt2 TIMEOUT 1800.50 1698.58 apollon142 vmt-chc-benchmarks/lustre/ticket3i_2_000.smt2 true 11.96 2.96 apollon050 vmt-chc-benchmarks/lustre/fast_1_000.smt2 true 10.63 2.77 apollon094 vmt-chc-benchmarks/lustre/MESI_1_e2_162_e7_1545_000.smt2 TIMEOUT 1800.19 1661.98 apollon113 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e6_2061_000.smt2 true 24.91 7.57 apollon121 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_000.smt2 true 11.65 2.88 apollon027 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e3_1549_000.smt2 TIMEOUT 1800.19 1704.51 apollon070 vmt-chc-benchmarks/lustre/_6counters_e3_140_e8_149_000.smt2 TIMEOUT 1800.91 1710.57 apollon051 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e7_3042_e3_1213_000.smt2 TIMEOUT 1800.49 1686.91 apollon134 vmt-chc-benchmarks/lustre/speed2_000.smt2 TIMEOUT 1801.01 1710.77 apollon063 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_000.smt2 true 15.80 3.87 apollon123 vmt-chc-benchmarks/lustre/car_all_e2_142_e7_209_000.smt2 TIMEOUT 1800.43 1690.78 apollon096 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e1_1852_000.smt2 false 11.96 3.03 apollon108 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e1_2375_000.smt2 false 623.54 563.50 apollon073 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e1_3182_000.smt2 true 11.79 2.96 apollon075 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e7_1262_000.smt2 TIMEOUT 1800.48 1684.87 apollon055 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e4_958_000.smt2 false 10.51 2.67 apollon057 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_000.smt2 TIMEOUT 1800.09 1706.88 apollon167 vmt-chc-benchmarks/lustre/_6counters_000.smt2 TIMEOUT 1800.90 1714.56 apollon069 vmt-chc-benchmarks/lustre/cd_000.smt2 TIMEOUT 1800.15 1703.98 apollon052 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e1_154_000.smt2 false 12.13 3.02 apollon127 vmt-chc-benchmarks/lustre/DRAGON_8_e3_786_e7_4541_000.smt2 TIMEOUT 1800.63 1684.08 apollon116 vmt-chc-benchmarks/lustre/DRAGON_11_e2_1678_e1_3565_000.smt2 TIMEOUT 1800.92 1707.51 apollon115 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e1_946_000.smt2 true 12.44 3.06 apollon132 vmt-chc-benchmarks/lustre/DRAGON_3_000.smt2 true 40.15 18.56 apollon014 vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e7_3516_000.smt2 TIMEOUT 1800.85 1679.97 apollon145 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_000.smt2 false 18.29 4.46 apollon064 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e3_2294_000.smt2 false 18.66 4.57 apollon111 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e7_193_000.smt2 false 11.83 2.88 apollon153 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e2_617_000.smt2 TIMEOUT 1800.56 1685.47 apollon042 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_000.smt2 true 12.54 3.14 apollon165 vmt-chc-benchmarks/lustre/MOESI_2_e7_2910_e7_1804_000.smt2 false 12.03 3.04 apollon015 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e2_138_000.smt2 TIMEOUT 1800.56 1693.49 apollon066 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_000.smt2 TIMEOUT 1800.71 1719.50 apollon098 vmt-chc-benchmarks/lustre/Gas_000.smt2 TIMEOUT 1800.41 1683.48 apollon068 vmt-chc-benchmarks/lustre/SYNAPSE_1_000.smt2 true 10.48 2.71 apollon160 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e8_1167_000.smt2 true 11.53 2.85 apollon057 vmt-chc-benchmarks/lustre/rtp_1_000.smt2 true 12.04 3.01 apollon157 vmt-chc-benchmarks/lustre/metros_2_e2_704_e1_389_000.smt2 TIMEOUT 1800.89 1684.07 apollon117 vmt-chc-benchmarks/lustre/metros_2_e2_704_e3_76_000.smt2 TIMEOUT 1800.75 1680.00 apollon036 vmt-chc-benchmarks/lustre/fast_2_000.smt2 TIMEOUT 1800.55 1698.46 apollon131 vmt-chc-benchmarks/lustre/DRAGON_2_000.smt2 true 13.86 3.42 apollon162 vmt-chc-benchmarks/lustre/ex3_e8_381_e8_477_000.smt2 TIMEOUT 1800.91 1713.66 apollon163 vmt-chc-benchmarks/lustre/car_4_e3_57_e6_784_000.smt2 true 10.30 2.67 apollon156 vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e8_3691_000.smt2 false 16.63 4.13 apollon116 vmt-chc-benchmarks/lustre/metros_3_e4_987_e2_80_000.smt2 TIMEOUT 1800.13 1680.83 apollon001 vmt-chc-benchmarks/lustre/metros_4_e5_1150_000.smt2 TIMEOUT 1800.52 1682.25 apollon126 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e8_1916_000.smt2 true 12.23 3.10 apollon073 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e5_2046_000.smt2 true 12.25 2.96 apollon039 vmt-chc-benchmarks/lustre/hysteresis_2_000.smt2 TIMEOUT 1800.88 1716.04 apollon107 vmt-chc-benchmarks/lustre/car_3_e7_626_e1_305_000.smt2 TIMEOUT 1800.19 1687.70 apollon028 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e2_1255_000.smt2 false 13.03 3.24 apollon109 vmt-chc-benchmarks/lustre/ticket3i_all_e2_1117_e7_553_000.smt2 TIMEOUT 1800.53 1686.39 apollon037 vmt-chc-benchmarks/lustre/durationThm_2_e1_118_000.smt2 TIMEOUT 1800.83 1718.19 apollon089 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e3_2970_000.smt2 true 22.19 5.49 apollon099 vmt-chc-benchmarks/lustre/car_4_e7_592_000.smt2 TIMEOUT 1800.13 1679.41 apollon168 vmt-chc-benchmarks/lustre/FIREFLY_2_e3_151_e3_1540_000.smt2 false 414.26 365.74 apollon054 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e3_1543_000.smt2 TIMEOUT 1800.33 1693.01 apollon099 vmt-chc-benchmarks/lustre/ex8_e7_74_e7_740_000.smt2 false 10.47 2.65 apollon088 vmt-chc-benchmarks/lustre/car_2_e8_491_e7_826_000.smt2 TIMEOUT 1800.93 1687.77 apollon067 vmt-chc-benchmarks/lustre/swimmingpool_1_e7_1621_000.smt2 TIMEOUT 1800.56 1687.88 apollon092 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e2_1058_000.smt2 true 11.78 2.91 apollon154 vmt-chc-benchmarks/lustre/car_all_e2_142_e8_194_000.smt2 true 13.01 3.26 apollon057 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e7_523_000.smt2 false 13.33 3.44 apollon073 vmt-chc-benchmarks/lustre/metros_2_e2_704_000.smt2 TIMEOUT 1800.51 1685.57 apollon079 vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997_e7_3613_e2_3409_000.smt2 TIMEOUT 1800.59 1684.33 apollon045 vmt-chc-benchmarks/lustre/ticket3i_7_e2_2724_e7_524_000.smt2 TIMEOUT 1800.11 1700.05 apollon064 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e8_1581_000.smt2 true 15.46 3.84 apollon109 vmt-chc-benchmarks/lustre/DRAGON_14_e1_2392_000.smt2 TIMEOUT 1800.31 1698.76 apollon042 vmt-chc-benchmarks/lustre/swimmingpool_4_000.smt2 TIMEOUT 1801.16 1660.77 apollon077 vmt-chc-benchmarks/lustre/durationThm_3_e1_36_e7_432_000.smt2 false 11.77 2.91 apollon051 vmt-chc-benchmarks/lustre/metros_1_e8_725_e3_556_000.smt2 TIMEOUT 1800.83 1676.17 apollon099 vmt-chc-benchmarks/lustre/MESI_all_000.smt2 true 14.98 3.64 apollon115 vmt-chc-benchmarks/lustre/DRAGON_8_000.smt2 TIMEOUT 1800.53 1687.57 apollon123 vmt-chc-benchmarks/lustre/car_5_e3_11_000.smt2 TIMEOUT 1800.46 1689.86 apollon123 vmt-chc-benchmarks/lustre/metros_1_000.smt2 TIMEOUT 1800.49 1687.06 apollon012 vmt-chc-benchmarks/lustre/car_6_e1_152_e1_391_000.smt2 TIMEOUT 1800.50 1687.14 apollon038 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e5_1637_000.smt2 false 21.09 5.07 apollon090 vmt-chc-benchmarks/lustre/metros_1_e2_1102_000.smt2 TIMEOUT 1800.56 1690.30 apollon150 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e8_1713_000.smt2 TIMEOUT 1800.60 1681.66 apollon038 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e3_2657_000.smt2 TIMEOUT 1800.37 1680.36 apollon057 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_all_000.smt2 true 10.90 2.77 apollon044 vmt-chc-benchmarks/lustre/DRAGON_8_e2_3896_e3_3125_000.smt2 TIMEOUT 1800.30 1698.41 apollon016 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e4_578_000.smt2 true 11.46 2.88 apollon114 vmt-chc-benchmarks/lustre/car_all_e8_856_000.smt2 true 73.94 46.72 apollon111 vmt-chc-benchmarks/lustre/DRAGON_14_e3_5120_000.smt2 TIMEOUT 1801.10 1706.39 apollon026 vmt-chc-benchmarks/lustre/SYNAPSE_6_000.smt2 TIMEOUT 1800.34 1669.87 apollon003 vmt-chc-benchmarks/lustre/DRAGON_5_e1_1835_000.smt2 TIMEOUT 1800.67 1686.33 apollon013 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e7_2614_000.smt2 false 12.99 3.24 apollon159 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_000.smt2 false 179.62 143.78 apollon073 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e7_1163_000.smt2 TIMEOUT 1800.45 1686.15 apollon077 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e5_846_000.smt2 TIMEOUT 1800.51 1684.60 apollon016 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e1_2678_000.smt2 true 11.77 3.08 apollon116 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_144_000.smt2 false 20.49 5.09 apollon149 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e3_135_000.smt2 TIMEOUT 1800.12 1699.68 apollon151 vmt-chc-benchmarks/lustre/MOESI_2_e1_1121_000.smt2 true 11.67 2.89 apollon134 vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e7_872_000.smt2 false 13.22 3.33 apollon132 vmt-chc-benchmarks/lustre/metros_1_e1_846_e3_1060_000.smt2 TIMEOUT 1800.44 1688.96 apollon033 vmt-chc-benchmarks/lustre/car_all_000.smt2 true 14.55 3.72 apollon162 vmt-chc-benchmarks/lustre/durationThm_2_e1_301_e7_64_000.smt2 false 11.32 2.77 apollon078 vmt-chc-benchmarks/lustre/DRAGON_3_e2_5343_e1_988_000.smt2 true 40.95 18.59 apollon056 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e7_1059_e8_1111_000.smt2 TIMEOUT 1800.33 1691.35 apollon005 vmt-chc-benchmarks/lustre/speed2_e8_449_e7_353_000.smt2 TIMEOUT 1800.89 1715.59 apollon010 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e7_1026_000.smt2 TIMEOUT 1800.73 1684.37 apollon071 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_000.smt2 false 13.07 3.27 apollon065 vmt-chc-benchmarks/lustre/durationThm_3_e1_36_000.smt2 false 11.70 2.98 apollon137 vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e1_505_000.smt2 TIMEOUT 1800.38 1701.01 apollon108 vmt-chc-benchmarks/lustre/ILLINOIS_all_e3_2354_e6_993_000.smt2 true 23.38 5.94 apollon054 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e8_3171_000.smt2 true 12.86 3.14 apollon154 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e8_1896_000.smt2 false 13.97 3.49 apollon051 vmt-chc-benchmarks/lustre/car_all_e3_1068_e3_163_000.smt2 false 11.27 2.76 apollon139 vmt-chc-benchmarks/lustre/metros_4_e1_917_000.smt2 TIMEOUT 1800.84 1680.29 apollon120 vmt-chc-benchmarks/lustre/ticket3i_6_e7_1096_e7_2688_000.smt2 TIMEOUT 1800.79 1678.22 apollon151 vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e3_1744_000.smt2 true 12.59 3.16 apollon096 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e3_1601_000.smt2 false 11.87 3.08 apollon117 vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e7_1466_000.smt2 false 12.97 3.24 apollon088 vmt-chc-benchmarks/lustre/swimmingpool_1_000.smt2 TIMEOUT 1800.57 1683.32 apollon108 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e7_1440_000.smt2 TIMEOUT 1800.36 1685.52 apollon133 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e2_753_000.smt2 false 11.57 2.98 apollon048 vmt-chc-benchmarks/lustre/car_4_e3_57_e7_350_000.smt2 false 10.89 2.87 apollon034 vmt-chc-benchmarks/lustre/ticket3i_4_e7_1775_e7_3320_000.smt2 TIMEOUT 1801.01 1665.26 apollon075 vmt-chc-benchmarks/lustre/MESI_3_e3_2584_000.smt2 true 14.78 3.63 apollon024 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e2_3308_000.smt2 true 24.58 6.93 apollon149 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e1_1759_000.smt2 true 48.31 22.30 apollon005 vmt-chc-benchmarks/lustre/metros_1_e1_846_e8_1253_000.smt2 TIMEOUT 1800.31 1690.90 apollon118 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e1_667_000.smt2 false 11.47 2.79 apollon027 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e1_2924_000.smt2 TIMEOUT 1800.49 1691.37 apollon028 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e5_1637_000.smt2 false 12.61 3.04 apollon030 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e3_1180_000.smt2 TIMEOUT 1800.36 1685.59 apollon051 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e3_2012_000.smt2 TIMEOUT 1800.16 1694.95 apollon049 vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1653_000.smt2 false 12.29 3.11 apollon138 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_000.smt2 false 13.13 3.33 apollon140 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e7_638_000.smt2 TIMEOUT 1800.45 1697.09 apollon116 vmt-chc-benchmarks/lustre/rtp_all_e7_2500_000.smt2 TIMEOUT 1800.33 1694.80 apollon008 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e3_1839_000.smt2 false 70.17 41.14 apollon145 vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e2_936_000.smt2 TIMEOUT 1800.26 1694.04 apollon048 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e1_1455_000.smt2 true 21.33 5.07 apollon023 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e1_1292_000.smt2 TIMEOUT 1800.23 1696.21 apollon033 vmt-chc-benchmarks/lustre/car_all_e3_1068_e4_275_000.smt2 true 13.75 3.30 apollon103 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e3_979_000.smt2 false 12.62 3.26 apollon149 vmt-chc-benchmarks/lustre/durationThm_1_e7_217_e7_31_000.smt2 false 10.37 2.72 apollon050 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e6_4484_000.smt2 true 12.96 3.33 apollon058 vmt-chc-benchmarks/lustre/DRAGON_11_e1_1117_e7_4950_000.smt2 false 12.55 3.13 apollon089 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e2_5340_000.smt2 false 13.68 3.38 apollon094 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e1_3277_000.smt2 TIMEOUT 1800.37 1695.82 apollon081 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e3_5316_000.smt2 TIMEOUT 1800.58 1688.89 apollon125 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e2_1145_000.smt2 TIMEOUT 1800.76 1689.31 apollon166 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2_e7_1068_e8_1019_000.smt2 TIMEOUT 1800.60 1693.49 apollon071 vmt-chc-benchmarks/lustre/_6counters_e8_371_e7_304_000.smt2 TIMEOUT 1800.96 1708.43 apollon130 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e3_5972_000.smt2 true 13.56 3.47 apollon074 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e2_5844_000.smt2 true 21.21 5.32 apollon124 vmt-chc-benchmarks/lustre/ILLINOIS_2_000.smt2 true 11.79 2.99 apollon117 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e3_2640_000.smt2 true 20.40 4.95 apollon155 vmt-chc-benchmarks/lustre/rtp_6_000.smt2 true 12.34 3.26 apollon010 vmt-chc-benchmarks/lustre/DRAGON_11_e2_5396_e3_282_000.smt2 TIMEOUT 1800.50 1697.38 apollon045 vmt-chc-benchmarks/lustre/car_6_e1_152_000.smt2 TIMEOUT 1800.42 1685.70 apollon094 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_000.smt2 TIMEOUT 1800.44 1694.73 apollon005 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e2_1375_e1_418_000.smt2 TIMEOUT 1800.36 1691.36 apollon100 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e7_685_000.smt2 false 12.50 3.18 apollon011 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_3191_e7_2146_000.smt2 false 11.77 2.92 apollon053 vmt-chc-benchmarks/lustre/ex8_e7_55_000.smt2 false 10.23 2.56 apollon136 vmt-chc-benchmarks/lustre/SYNAPSE_6_e7_938_e2_1012_000.smt2 TIMEOUT 1800.95 1653.50 apollon023 vmt-chc-benchmarks/lustre/car_5_e2_405_e8_1055_000.smt2 TIMEOUT 1800.25 1694.82 apollon136 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e4_34_000.smt2 false 11.91 3.04 apollon044 vmt-chc-benchmarks/lustre/MESI_i4_e1_1023_e8_2498_000.smt2 false 1236.33 1143.64 apollon167 vmt-chc-benchmarks/lustre/DRAGON_3_e3_3846_000.smt2 true 25.76 7.39 apollon163 vmt-chc-benchmarks/lustre/DRAGON_11_000.smt2 TIMEOUT 1800.82 1707.16 apollon113 vmt-chc-benchmarks/lustre/MOESI_all_000.smt2 TIMEOUT 1800.29 1692.84 apollon056 vmt-chc-benchmarks/lustre/car_1_e7_184_e3_299_000.smt2 TIMEOUT 1800.36 1680.73 apollon045 vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e3_2749_000.smt2 true 12.17 3.02 apollon075 vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e7_4699_000.smt2 false 15.58 3.79 apollon161 vmt-chc-benchmarks/lustre/ex3_000.smt2 TIMEOUT 1801.00 1711.99 apollon160 vmt-chc-benchmarks/lustre/car_1_000.smt2 true 10.63 2.76 apollon019 vmt-chc-benchmarks/lustre/car_3_e7_626_000.smt2 true 11.16 2.99 apollon004 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e3_389_000.smt2 false 21.20 5.17 apollon163 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e8_3031_000.smt2 true 12.02 3.04 apollon131 vmt-chc-benchmarks/lustre/car_all_e2_108_000.smt2 true 12.58 3.18 apollon068 vmt-chc-benchmarks/lustre/traffic_e7_46_e8_16_000.smt2 true 12.42 3.17 apollon008 vmt-chc-benchmarks/lustre/peterson_vt_000.smt2 TIMEOUT 1800.14 1701.82 apollon128 vmt-chc-benchmarks/lustre/metros_4_000.smt2 TIMEOUT 1800.41 1686.16 apollon122 vmt-chc-benchmarks/lustre/SYNAPSE_123_000.smt2 true 15.61 3.86 apollon040 vmt-chc-benchmarks/lustre/peterson_4_000.smt2 true 12.23 3.00 apollon055 vmt-chc-benchmarks/lustre/DRAGON_3_e7_3211_000.smt2 false 13.78 3.34 apollon159 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e4_2415_000.smt2 TIMEOUT 1800.49 1696.50 apollon133 vmt-chc-benchmarks/lustre/ticket3i_7_000.smt2 true 12.97 3.21 apollon046 vmt-chc-benchmarks/lustre/DRAGON_10_e3_3429_000.smt2 true 11.99 3.04 apollon127 vmt-chc-benchmarks/lustre/car_all_e3_1068_e6_790_000.smt2 true 13.86 3.46 apollon033 vmt-chc-benchmarks/lustre/ticket3i_1_e7_1669_000.smt2 TIMEOUT 1800.42 1689.63 apollon019 vmt-chc-benchmarks/lustre/car_all_e3_1068_e2_13_000.smt2 false 11.01 2.76 apollon057 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e3_495_000.smt2 false 16.67 4.18 apollon051 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e1_2319_000.smt2 false 11.12 2.81 apollon156 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e5_84_000.smt2 false 489.35 439.29 apollon154 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e6_500_000.smt2 false 11.22 2.86 apollon053 vmt-chc-benchmarks/lustre/MESI_i4_000.smt2 false 89.02 59.00 apollon168 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_000.smt2 false 20.11 4.94 apollon001 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e7_1882_000.smt2 false 11.97 3.02 apollon161 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e2_1053_000.smt2 false 11.51 2.85 apollon015 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e7_616_000.smt2 false 12.25 3.06 apollon111 vmt-chc-benchmarks/lustre/DRAGON_2_e1_2316_000.smt2 true 13.42 3.23 apollon134 vmt-chc-benchmarks/lustre/ex3_e7_590_e7_590_000.smt2 TIMEOUT 1801.02 1711.49 apollon131 vmt-chc-benchmarks/lustre/ex8_e8_220_e7_249_000.smt2 false 10.67 2.65 apollon148 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_2_000.smt2 TIMEOUT 1800.56 1676.24 apollon111 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e8_5719_000.smt2 TIMEOUT 1800.13 1699.43 apollon156 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e6_113_000.smt2 TIMEOUT 1800.98 1701.56 apollon037 vmt-chc-benchmarks/lustre/rtp_10_e7_106_e7_2564_000.smt2 TIMEOUT 1801.02 1672.28 apollon015 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e8_3915_000.smt2 TIMEOUT 1800.43 1693.67 apollon091 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_856_000.smt2 TIMEOUT 1800.22 1698.21 apollon081 vmt-chc-benchmarks/lustre/SYNAPSE_i1_000.smt2 false 11.02 2.82 apollon107 vmt-chc-benchmarks/lustre/rtp_all_000.smt2 true 24.90 7.16 apollon131 vmt-chc-benchmarks/lustre/ticket3i_6_000.smt2 true 11.43 2.88 apollon119 vmt-chc-benchmarks/lustre/swimmingpool_6_000.smt2 TIMEOUT 1800.57 1683.90 apollon101 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e7_1062_000.smt2 TIMEOUT 1800.40 1694.45 apollon109 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e3_1882_000.smt2 true 12.06 2.92 apollon037 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e3_4298_000.smt2 false 428.07 376.62 apollon048 vmt-chc-benchmarks/lustre/fast_2_e8_460_e8_1920_000.smt2 TIMEOUT 1800.69 1695.93 apollon106 vmt-chc-benchmarks/lustre/swimmingpool_7_000.smt2 TIMEOUT 1800.17 1678.47 apollon160 vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1350_e8_1354_000.smt2 false 11.80 2.98 apollon137 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e4_147_000.smt2 false 20.57 5.03 apollon094 vmt-chc-benchmarks/lustre/_6counters_e8_371_e1_448_000.smt2 TIMEOUT 1801.03 1704.36 apollon152 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e3_829_000.smt2 false 12.78 3.20 apollon056 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e3_2697_000.smt2 false 22.41 5.66 apollon080 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e7_2499_000.smt2 false 17.90 4.31 apollon036 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e2_2545_000.smt2 false 10.20 2.61 apollon149 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e1_1201_000.smt2 false 1443.70 1352.81 apollon167 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e6_1826_000.smt2 true 13.04 3.42 apollon132 vmt-chc-benchmarks/lustre/car_5_e3_11_e1_429_000.smt2 TIMEOUT 1800.42 1693.32 apollon147 vmt-chc-benchmarks/lustre/car_6_e2_893_000.smt2 TIMEOUT 1800.46 1681.33 apollon022 vmt-chc-benchmarks/lustre/MOESI_1_e3_1884_e7_1875_000.smt2 TIMEOUT 1800.65 1682.07 apollon080 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e3_1753_000.smt2 true 11.87 2.94 apollon033 vmt-chc-benchmarks/lustre/FIREFLY_10_000.smt2 true 12.36 3.00 apollon101 vmt-chc-benchmarks/lustre/metros_2_e1_1116_000.smt2 TIMEOUT 1800.48 1689.29 apollon086 vmt-chc-benchmarks/lustre/rtp_3_000.smt2 true 12.41 3.23 apollon066 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e7_1847_000.smt2 false 12.13 3.05 apollon168 vmt-chc-benchmarks/lustre/DRAGON_6_e7_5046_e7_3623_000.smt2 TIMEOUT 1800.49 1687.08 apollon123 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e3_1472_000.smt2 TIMEOUT 1800.09 1700.74 apollon044 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e2_1483_000.smt2 TIMEOUT 1801.06 1704.00 apollon138 vmt-chc-benchmarks/lustre/metros_4_e2_968_e6_236_000.smt2 TIMEOUT 1800.50 1679.65 apollon079 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e1_823_000.smt2 false 13.89 3.40 apollon016 vmt-chc-benchmarks/lustre/car_3_e1_586_000.smt2 TIMEOUT 1800.15 1691.73 apollon119 vmt-chc-benchmarks/lustre/ticket3i_7_e8_2126_e7_78_000.smt2 TIMEOUT 1800.47 1686.14 apollon101 vmt-chc-benchmarks/lustre/FIREFLY_11_e1_3457_000.smt2 TIMEOUT 1800.42 1691.49 apollon062 vmt-chc-benchmarks/lustre/ex3_e8_381_e7_224_000.smt2 TIMEOUT 1800.88 1716.23 apollon064 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e8_941_000.smt2 true 16.36 3.97 apollon032 vmt-chc-benchmarks/lustre/fast_1_e8_747_e8_1041_000.smt2 true 11.26 2.81 apollon145 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e1_6030_000.smt2 TIMEOUT 1800.48 1693.06 apollon055 vmt-chc-benchmarks/lustre/car_3_e8_33_e1_856_000.smt2 false 13.87 3.64 apollon074 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e8_1177_000.smt2 true 11.08 3.02 apollon119 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2229_000.smt2 true 12.80 3.18 apollon119 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e3_2021_000.smt2 false 18.06 4.49 apollon023 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e8_2325_000.smt2 false 11.09 2.88 apollon098 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_000.smt2 true 11.15 2.80 apollon157 vmt-chc-benchmarks/lustre/two_counters_e2_3_000.smt2 false 11.51 2.92 apollon114 vmt-chc-benchmarks/lustre/MESI_i1_e2_2656_000.smt2 false 11.83 3.00 apollon111 vmt-chc-benchmarks/lustre/car_6_e2_589_e3_349_000.smt2 TIMEOUT 1800.22 1683.77 apollon014 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e5_124_000.smt2 TIMEOUT 1800.84 1714.78 apollon146 vmt-chc-benchmarks/lustre/MESI_i1_000.smt2 false 11.06 2.84 apollon146 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e1_2644_000.smt2 true 13.10 3.23 apollon098 vmt-chc-benchmarks/lustre/ILLINOIS_4_000.smt2 true 12.03 3.01 apollon073 vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_1041_000.smt2 TIMEOUT 1800.28 1692.90 apollon126 vmt-chc-benchmarks/lustre/metros_2_e2_704_e7_810_000.smt2 TIMEOUT 1800.78 1682.25 apollon036 vmt-chc-benchmarks/lustre/durationThm_2_e2_206_e7_33_000.smt2 TIMEOUT 1800.09 1707.56 apollon145 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e3_2698_000.smt2 false 13.48 3.39 apollon168 vmt-chc-benchmarks/lustre/durationThm_3_e3_207_000.smt2 true 10.04 2.58 apollon028 vmt-chc-benchmarks/lustre/readwrit_000.smt2 true 13.16 3.30 apollon119 vmt-chc-benchmarks/lustre/FIREFLY_u1_e2_3403_e2_957_000.smt2 TIMEOUT 1800.41 1686.35 apollon033 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_000.smt2 TIMEOUT 1800.50 1687.60 apollon016 vmt-chc-benchmarks/lustre/swimmingpool_4_e7_2197_000.smt2 TIMEOUT 1800.91 1664.76 apollon016 vmt-chc-benchmarks/lustre/_6countern_000.smt2 false 10.18 2.61 apollon139 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_000.smt2 true 12.53 3.07 apollon106 vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606_e7_4891_000.smt2 false 873.57 800.51 apollon052 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e2_1853_000.smt2 true 11.84 2.99 apollon135 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e1_1979_000.smt2 TIMEOUT 1800.32 1696.57 apollon140 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e3_2607_000.smt2 true 24.07 6.95 apollon056 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e4_3719_000.smt2 TIMEOUT 1800.99 1725.21 apollon078 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e2_1767_000.smt2 TIMEOUT 1800.33 1704.37 apollon099 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e2_1815_000.smt2 false 11.69 2.87 apollon005 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e6_167_000.smt2 TIMEOUT 1801.06 1704.57 apollon036 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e3_961_000.smt2 TIMEOUT 1800.61 1685.69 apollon142 vmt-chc-benchmarks/lustre/SYNAPSE_all_000.smt2 true 17.15 4.20 apollon104 vmt-chc-benchmarks/lustre/traffic_e7_348_000.smt2 false 9.21 2.45 apollon113 vmt-chc-benchmarks/lustre/MESI_1_000.smt2 true 12.14 3.08 apollon163 vmt-chc-benchmarks/lustre/car_4_e7_592_e7_265_000.smt2 TIMEOUT 1800.29 1684.61 apollon006 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_000.smt2 TIMEOUT 1800.20 1690.68 apollon040 vmt-chc-benchmarks/lustre/car_6_e3_294_e1_956_000.smt2 TIMEOUT 1800.58 1680.88 apollon137 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e3_640_000.smt2 TIMEOUT 1800.49 1682.62 apollon148 vmt-chc-benchmarks/lustre/ILLINOIS_all_000.smt2 true 23.04 5.83 apollon021 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e1_5832_000.smt2 false 20.28 4.92 apollon041 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_000.smt2 TIMEOUT 1800.52 1688.67 apollon160 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e7_394_000.smt2 TIMEOUT 1800.38 1695.93 apollon041 vmt-chc-benchmarks/lustre/metros_1_e1_846_e1_1317_000.smt2 TIMEOUT 1800.59 1687.62 apollon127 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_3758_000.smt2 false 12.69 3.39 apollon132 vmt-chc-benchmarks/lustre/FIREFLY_2_e7_1776_e2_3202_000.smt2 false 12.20 2.96 apollon030 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e1_1303_000.smt2 TIMEOUT 1800.47 1695.50 apollon095 vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302_000.smt2 TIMEOUT 1801.07 1703.20 apollon106 vmt-chc-benchmarks/lustre/car_5_e2_405_e7_1028_000.smt2 TIMEOUT 1800.39 1696.30 apollon125 vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e7_2443_000.smt2 false 18.45 4.48 apollon129 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e8_2560_000.smt2 true 12.75 3.08 apollon130 vmt-chc-benchmarks/lustre/DRAGON_all2_000.smt2 TIMEOUT 1800.23 1704.59 apollon052 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e7_1597_000.smt2 false 11.64 2.98 apollon161 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e1_1145_000.smt2 true 13.91 3.49 apollon069 vmt-chc-benchmarks/lustre/fast_2_e7_2526_e7_2736_000.smt2 false 11.47 2.90 apollon132 vmt-chc-benchmarks/lustre/ex8_e8_220_000.smt2 false 11.14 2.78 apollon070 vmt-chc-benchmarks/lustre/FIREFLY_all_000.smt2 true 21.82 5.53 apollon053 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e1_3123_000.smt2 false 22.85 5.81 apollon002 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e7_1962_000.smt2 false 12.25 3.06 apollon002 vmt-chc-benchmarks/lustre/fast_1_e7_1035_000.smt2 false 10.61 2.76 apollon008 vmt-chc-benchmarks/lustre/durationThm_1_e2_3_000.smt2 TIMEOUT 1801.00 1609.51 apollon040 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1692_000.smt2 true 11.69 3.06 apollon001 vmt-chc-benchmarks/lustre/Gas_e7_435_e8_532_000.smt2 TIMEOUT 1800.40 1684.20 apollon086 vmt-chc-benchmarks/lustre/cd_e7_621_e7_669_000.smt2 TIMEOUT 1801.04 1712.85 apollon007 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e4_1791_000.smt2 true 25.73 7.48 apollon067 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_974_000.smt2 true 10.67 2.73 apollon105 vmt-chc-benchmarks/lustre/car_4_e8_118_e7_178_000.smt2 TIMEOUT 1800.77 1682.71 apollon020 vmt-chc-benchmarks/lustre/rtp_7_000.smt2 true 12.24 3.13 apollon108 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e8_1769_000.smt2 true 11.63 2.90 apollon116 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e2_2893_000.smt2 true 11.93 3.03 apollon132 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_1_000.smt2 TIMEOUT 1800.73 1674.46 apollon023 vmt-chc-benchmarks/lustre/durationThm_3_e2_63_e7_21_000.smt2 TIMEOUT 1800.16 1693.20 apollon034 vmt-chc-benchmarks/lustre/two_counters_e1_268_000.smt2 false 10.58 2.70 apollon161 vmt-chc-benchmarks/lustre/ticket3i_1_000.smt2 true 12.32 3.05 apollon070 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e7_1607_000.smt2 false 13.10 3.22 apollon085 vmt-chc-benchmarks/lustre/swimmingpool_2_000.smt2 false 12.45 3.19 apollon129 vmt-chc-benchmarks/lustre/car_3_e8_33_000.smt2 true 10.67 2.71 apollon146 vmt-chc-benchmarks/lustre/car_6_000.smt2 TIMEOUT 1800.32 1684.55 apollon058 vmt-chc-benchmarks/lustre/speed_e7_207_000.smt2 true 10.30 2.67 apollon155 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e7_3528_000.smt2 TIMEOUT 1800.60 1681.09 apollon163 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e7_2291_000.smt2 false 15.88 3.77 apollon154 vmt-chc-benchmarks/lustre/rtp_10_000.smt2 true 12.47 3.15 apollon067 vmt-chc-benchmarks/lustre/metros_4_e2_968_e2_1166_000.smt2 TIMEOUT 1800.69 1681.04 apollon075 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e2_1561_000.smt2 false 12.13 3.03 apollon107 vmt-chc-benchmarks/lustre/metros_4_e2_968_e4_801_000.smt2 TIMEOUT 1800.49 1682.60 apollon031 vmt-chc-benchmarks/lustre/ILLINOIS_3_000.smt2 true 14.21 3.47 apollon128 vmt-chc-benchmarks/lustre/MESI_i1_e4_1986_e1_1519_000.smt2 false 17.26 4.17 apollon132 vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e1_2288_000.smt2 true 24.34 6.91 apollon153 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e3_271_000.smt2 TIMEOUT 1800.43 1700.06 apollon093 vmt-chc-benchmarks/lustre/ex3_e7_590_000.smt2 TIMEOUT 1800.99 1707.97 apollon137 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_000.smt2 TIMEOUT 1800.47 1688.25 apollon143 vmt-chc-benchmarks/lustre/durationThm_1_000.smt2 TIMEOUT 1801.06 1704.55 apollon146 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e3_3628_000.smt2 true 25.77 7.42 apollon112 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e7_3856_000.smt2 false 19.18 4.69 apollon164 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e1_667_000.smt2 TIMEOUT 1800.40 1696.01 apollon004 vmt-chc-benchmarks/lustre/ticket3i_all_e8_505_e7_2450_000.smt2 TIMEOUT 1800.43 1688.04 apollon117 vmt-chc-benchmarks/lustre/fast_2_e8_460_000.smt2 TIMEOUT 1800.24 1709.65 apollon003 vmt-chc-benchmarks/lustre/rtp_8_000.smt2 true 11.54 2.88 apollon147 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e5_1826_000.smt2 true 11.60 2.88 apollon001 vmt-chc-benchmarks/lustre/car_2_000.smt2 true 11.43 2.88 apollon054 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e3_3946_000.smt2 false 1402.56 1313.08 apollon132 vmt-chc-benchmarks/lustre/car_4_e8_118_e3_514_000.smt2 false 11.41 2.92 apollon161 vmt-chc-benchmarks/lustre/durationThm_2_e7_145_e7_154_000.smt2 false 11.22 2.76 apollon036 vmt-chc-benchmarks/lustre/durationThm_2_e7_145_000.smt2 false 11.57 2.92 apollon063 vmt-chc-benchmarks/lustre/car_4_e3_57_e5_999_000.smt2 false 11.37 2.88 apollon108 vmt-chc-benchmarks/lustre/car_all_e7_188_e7_743_000.smt2 TIMEOUT 1800.08 1700.96 apollon001 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e3_507_000.smt2 TIMEOUT 1800.19 1696.57 apollon124 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e6_1336_000.smt2 true 16.36 4.08 apollon098 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e4_897_000.smt2 TIMEOUT 1800.36 1696.73 apollon018 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_000.smt2 false 63.71 34.47 apollon111 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2_000.smt2 TIMEOUT 1800.27 1693.75 apollon118 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e7_906_000.smt2 false 13.65 3.32 apollon018 vmt-chc-benchmarks/lustre/metros_3_000.smt2 TIMEOUT 1800.48 1684.98 apollon063 vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907_000.smt2 TIMEOUT 1800.14 1697.67 apollon075 vmt-chc-benchmarks/lustre/SYNAPSE_6_e3_1666_e5_1558_000.smt2 TIMEOUT 1800.39 1683.78 apollon149 vmt-chc-benchmarks/lustre/car_3_000.smt2 true 10.50 2.76 apollon014 vmt-chc-benchmarks/lustre/car_5_e7_244_000.smt2 TIMEOUT 1800.24 1693.37 apollon149 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e1_1675_000.smt2 false 11.75 2.85 apollon010 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e7_1043_000.smt2 true 10.65 2.78 apollon030 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e7_1826_e8_126_000.smt2 TIMEOUT 1800.39 1693.63 apollon027 vmt-chc-benchmarks/lustre/MOESI_2_000.smt2 true 11.18 2.83 apollon044 vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e8_2138_000.smt2 true 11.57 2.94 apollon138 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e7_619_000.smt2 false 12.42 2.98 apollon042 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e2_562_000.smt2 false 14.24 3.41 apollon050 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1303_000.smt2 false 12.49 3.07 apollon165 vmt-chc-benchmarks/lustre/rtp_5_000.smt2 true 11.48 2.89 apollon044 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_1375_000.smt2 false 14.85 3.88 apollon050 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e7_1817_000.smt2 false 12.07 2.94 apollon111 vmt-chc-benchmarks/lustre/DRAGON_8_e7_3752_000.smt2 TIMEOUT 1800.62 1685.78 apollon067 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e5_4006_000.smt2 false 10.22 2.62 apollon075 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_748_000.smt2 true 16.27 4.00 apollon068 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2077_000.smt2 false 18.82 4.63 apollon166 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e3_3117_000.smt2 false 13.04 3.10 apollon125 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e5_1536_000.smt2 true 25.49 7.30 apollon071 vmt-chc-benchmarks/lustre/SYNAPSE_2_000.smt2 true 11.11 2.80 apollon126 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e4_294_000.smt2 TIMEOUT 1801.15 1609.55 apollon146 vmt-chc-benchmarks/lustre/DRAGON_12_e7_4611_e8_5145_000.smt2 TIMEOUT 1800.45 1689.76 apollon100 vmt-chc-benchmarks/lustre/ILLINOIS_5_e7_692_e7_2865_000.smt2 TIMEOUT 1800.55 1687.30 apollon069 vmt-chc-benchmarks/lustre/DRAGON_all_e2_1514_000.smt2 true 24.88 6.99 apollon086 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e8_5861_000.smt2 false 15.94 3.90 apollon143 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e7_251_000.smt2 TIMEOUT 1801.08 1703.14 apollon035 vmt-chc-benchmarks/lustre/FIREFLY_11_000.smt2 TIMEOUT 1800.37 1690.23 apollon078 vmt-chc-benchmarks/lustre/SYNAPSE_5_e7_1138_e8_809_000.smt2 TIMEOUT 1800.53 1693.27 apollon004 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e1_1565_000.smt2 false 20.36 5.04 apollon161 vmt-chc-benchmarks/lustre/ticket3i_4_000.smt2 true 14.97 3.65 apollon027 vmt-chc-benchmarks/lustre/SYNAPSE_2_e7_790_e8_1344_000.smt2 true 11.35 2.93 apollon052 vmt-chc-benchmarks/lustre/durationThm_3_e7_334_e7_118_000.smt2 false 9.32 2.49 apollon088 vmt-chc-benchmarks/lustre/MESI_3_e1_2517_e8_2163_000.smt2 true 14.44 3.46 apollon156 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_000.smt2 false 10.95 2.77 apollon001 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e1_5434_000.smt2 TIMEOUT 1800.27 1683.20 apollon099 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e4_1717_000.smt2 false 11.35 2.89 apollon081 vmt-chc-benchmarks/lustre/swimmingpool_5_000.smt2 TIMEOUT 1800.56 1686.22 apollon122 vmt-chc-benchmarks/lustre/peterson_1_000.smt2 true 12.48 3.21 apollon039 vmt-chc-benchmarks/lustre/FIREFLY_9_e7_170_e3_3647_000.smt2 TIMEOUT 1800.57 1684.07 apollon079 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e3_977_000.smt2 false 11.63 2.88 apollon124 vmt-chc-benchmarks/lustre/car_5_e3_11_e7_693_000.smt2 TIMEOUT 1800.41 1691.90 apollon043 vmt-chc-benchmarks/lustre/hysteresis_3_000.smt2 TIMEOUT 1800.80 1717.32 apollon015 vmt-chc-benchmarks/lustre/MESI_i3_000.smt2 false 11.32 2.81 apollon051 vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907_e7_1363_000.smt2 TIMEOUT 1801.10 1704.45 apollon053 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e7_1264_000.smt2 TIMEOUT 1800.60 1684.82 apollon021 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e2_2670_000.smt2 false 255.71 216.03 apollon018 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e3_1216_000.smt2 false 15.14 3.73 apollon014 vmt-chc-benchmarks/lustre/SYNAPSE_6_e2_1439_e1_954_000.smt2 TIMEOUT 1800.53 1680.32 apollon051 vmt-chc-benchmarks/lustre/metros_4_e2_968_e7_860_000.smt2 TIMEOUT 1800.54 1679.90 apollon120 vmt-chc-benchmarks/lustre/car_4_e3_556_000.smt2 false 11.61 3.27 apollon158 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e1_317_000.smt2 TIMEOUT 1800.62 1687.62 apollon115 vmt-chc-benchmarks/lustre/rtp_5_e7_3972_000.smt2 TIMEOUT 1801.09 1658.79 apollon148 vmt-chc-benchmarks/lustre/metros_4_e2_968_e3_931_000.smt2 TIMEOUT 1800.90 1678.88 apollon019 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e2_454_000.smt2 TIMEOUT 1800.60 1677.52 apollon085 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e2_2131_000.smt2 false 22.00 5.44 apollon109 vmt-chc-benchmarks/lustre/FIREFLY_a3_000.smt2 true 22.52 5.62 apollon153 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e6_2707_000.smt2 true 11.52 2.78 apollon056 vmt-chc-benchmarks/lustre/car_2_e7_1027_e1_1047_000.smt2 TIMEOUT 1800.20 1697.11 apollon019 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_1192_000.smt2 false 69.10 40.66 apollon168 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_1713_000.smt2 TIMEOUT 1800.27 1697.62 apollon077 vmt-chc-benchmarks/lustre/DRAGON_all2_e8_4626_000.smt2 false 16.06 3.93 apollon154 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e1_1331_000.smt2 false 11.46 2.95 apollon163 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e1_268_e7_501_000.smt2 TIMEOUT 1800.46 1690.74 apollon048 vmt-chc-benchmarks/lustre/DRAGON_5_e3_1503_e7_1879_000.smt2 false 17.58 4.30 apollon137 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e2_1098_000.smt2 false 11.91 3.00 apollon080 vmt-chc-benchmarks/lustre/MESI_4_000.smt2 true 11.26 2.87 apollon011 vmt-chc-benchmarks/lustre/ticket3i_5_000.smt2 true 12.09 3.07 apollon162 vmt-chc-benchmarks/lustre/DRAGON_4_e3_4133_000.smt2 TIMEOUT 1800.53 1688.14 apollon135 vmt-chc-benchmarks/lustre/MESI_i3_e1_2143_000.smt2 false 20.20 5.08 apollon162 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e1_1270_000.smt2 false 12.44 3.04 apollon145 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e7_410_000.smt2 TIMEOUT 1800.69 1720.54 apollon091 vmt-chc-benchmarks/lustre/fast_2_e7_1871_000.smt2 false 11.43 2.86 apollon058 vmt-chc-benchmarks/lustre/metros_3_e3_1117_000.smt2 TIMEOUT 1800.75 1678.20 apollon106 vmt-chc-benchmarks/lustre/metros_1_e7_1255_e7_12_000.smt2 TIMEOUT 1800.46 1688.27 apollon135 vmt-chc-benchmarks/lustre/car_all_e8_856_e3_180_000.smt2 false 10.91 2.74 apollon038 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e8_4841_000.smt2 TIMEOUT 1800.60 1689.50 apollon071 vmt-chc-benchmarks/lustre/car_4_000.smt2 true 10.94 2.81 apollon161 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e6_1569_000.smt2 true 23.17 5.89 apollon106 vmt-chc-benchmarks/lustre/speed_e8_136_000.smt2 true 10.87 2.87 apollon019 vmt-chc-benchmarks/lustre/MESI_i4_e4_1689_000.smt2 TIMEOUT 1800.47 1685.20 apollon140 vmt-chc-benchmarks/lustre/ILLINOIS_1_000.smt2 true 12.15 3.05 apollon008 vmt-chc-benchmarks/lustre/ILLINOIS_r4a_000.smt2 TIMEOUT 1800.64 1690.02 apollon004 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e5_2554_000.smt2 false 13.95 3.52 apollon065 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e1_3235_000.smt2 true 21.46 5.51 apollon127 vmt-chc-benchmarks/lustre/FIREFLY_3_000.smt2 true 12.48 3.13 apollon006 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e7_572_000.smt2 TIMEOUT 1800.30 1691.18 apollon057 vmt-chc-benchmarks/lustre/FIREFLY_all_e7_1909_000.smt2 false 13.86 3.42 apollon033 vmt-chc-benchmarks/lustre/DRAGON_4_000.smt2 TIMEOUT 1800.54 1687.81 apollon077 vmt-chc-benchmarks/lustre/durationThm_2_e2_206_000.smt2 TIMEOUT 1800.91 1706.12 apollon089 vmt-chc-benchmarks/lustre/ticket3i_7_e3_59_e7_2122_000.smt2 TIMEOUT 1800.45 1687.07 apollon094 vmt-chc-benchmarks/lustre/DRAGON_4_e1_4312_000.smt2 TIMEOUT 1800.61 1688.08 apollon161 vmt-chc-benchmarks/lustre/speed2_e7_223_e7_213_000.smt2 TIMEOUT 1800.08 1708.21 apollon031 vmt-chc-benchmarks/lustre/car_3_e8_33_e7_220_000.smt2 TIMEOUT 1800.23 1695.05 apollon117 vmt-chc-benchmarks/lustre/cd_e7_621_e8_714_000.smt2 TIMEOUT 1800.07 1706.57 apollon152 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e7_4732_000.smt2 false 12.92 3.21 apollon032 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e1_2383_000.smt2 false 12.01 3.00 apollon122 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_000.smt2 true 24.68 6.90 apollon017 vmt-chc-benchmarks/lustre/metros_2_000.smt2 TIMEOUT 1800.68 1685.41 apollon138 vmt-chc-benchmarks/lustre/durationThm_2_000.smt2 TIMEOUT 1800.85 1715.74 apollon045 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e2_3220_000.smt2 true 22.12 5.54 apollon073 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_1_000.smt2 false 10.30 2.73 apollon132 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e1_2305_000.smt2 true 11.55 2.92 apollon071 vmt-chc-benchmarks/lustre/SYNAPSE_6_e8_1147_e2_1326_000.smt2 TIMEOUT 1800.68 1686.21 apollon043 vmt-chc-benchmarks/lustre/DRAGON_14_e3_1259_e1_5798_000.smt2 TIMEOUT 1800.52 1720.67 apollon060 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e7_358_000.smt2 TIMEOUT 1800.98 1706.17 apollon030 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_000.smt2 TIMEOUT 1800.43 1692.48 apollon112 vmt-chc-benchmarks/lustre/durationThm_1_e2_3_e7_336_000.smt2 TIMEOUT 1800.80 1695.62 apollon020 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e1_1510_000.smt2 false 11.46 2.92 apollon055 vmt-chc-benchmarks/lustre/SYNAPSE_4_000.smt2 true 10.51 2.71 apollon127 vmt-chc-benchmarks/lustre/DRAGON_10_e2_402_000.smt2 true 13.26 3.23 apollon063 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e1_5887_000.smt2 TIMEOUT 1800.20 1697.32 apollon150 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e7_2194_000.smt2 TIMEOUT 1800.29 1694.68 apollon095 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e1_1130_000.smt2 false 10.41 2.62 apollon032 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e7_1119_000.smt2 false 12.11 3.07 apollon023 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e7_3371_000.smt2 false 13.57 3.38 apollon134 vmt-chc-benchmarks/lustre/MOESI_all_e3_2032_e3_2788_000.smt2 false 18.98 4.63 apollon018 vmt-chc-benchmarks/lustre/car_all_e1_388_000.smt2 false 13.49 3.32 apollon082 vmt-chc-benchmarks/lustre/car_3_e8_33_e2_1010_000.smt2 true 10.37 2.67 apollon118 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_000.smt2 true 23.29 6.64 apollon007 vmt-chc-benchmarks/lustre/speed_e7_207_e7_538_000.smt2 true 9.95 2.66 apollon040 vmt-chc-benchmarks/lustre/car_all_e3_1068_e5_882_000.smt2 false 10.93 2.82 apollon100 vmt-chc-benchmarks/lustre/MESI_i1_e3_188_000.smt2 false 11.40 2.95 apollon038 vmt-chc-benchmarks/lustre/car_all_e1_618_e3_303_000.smt2 false 15.75 3.84 apollon165 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e6_128_000.smt2 TIMEOUT 1800.82 1717.05 apollon122 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e2_698_000.smt2 false 20.87 5.12 apollon124 vmt-chc-benchmarks/lustre/MESI_2_000.smt2 true 10.80 2.77 apollon026 vmt-chc-benchmarks/lustre/metros_2_e2_704_e2_13_000.smt2 TIMEOUT 1800.66 1684.12 apollon097 vmt-chc-benchmarks/lustre/car_all_e3_1068_e1_178_000.smt2 false 11.47 3.02 apollon020 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e1_1318_000.smt2 true 25.74 7.58 apollon111 vmt-chc-benchmarks/lustre/metros_1_e7_606_000.smt2 TIMEOUT 1800.63 1688.79 apollon143 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e7_529_000.smt2 TIMEOUT 1800.58 1685.15 apollon141 vmt-chc-benchmarks/lustre/durationThm_3_000.smt2 TIMEOUT 1800.12 1697.23 apollon149 vmt-chc-benchmarks/lustre/car_5_e2_405_e3_473_000.smt2 TIMEOUT 1800.49 1691.56 apollon054 vmt-chc-benchmarks/lustre/ex8_000.smt2 false 10.77 2.67 apollon018 vmt-chc-benchmarks/lustre/car_6_e2_589_e2_506_000.smt2 TIMEOUT 1800.41 1681.96 apollon081 vmt-chc-benchmarks/lustre/traffic_e7_46_e7_171_000.smt2 false 9.61 2.51 apollon014 vmt-chc-benchmarks/lustre/DRAGON_1_e3_11891_e7_4569_e4_4881_000.smt2 TIMEOUT 1800.60 1681.51 apollon124 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e2_236_000.smt2 false 11.61 3.00 apollon003 vmt-chc-benchmarks/lustre/DRAGON_1_e1_3184_000.smt2 true 13.31 3.34 apollon132 vmt-chc-benchmarks/lustre/DRAGON_12_000.smt2 TIMEOUT 1800.43 1692.34 apollon026 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e3_287_000.smt2 TIMEOUT 1801.46 1682.08 apollon028 vmt-chc-benchmarks/lustre/two_counters_e7_222_000.smt2 false 10.07 2.65 apollon132 vmt-chc-benchmarks/lustre/two_counters_e3_325_000.smt2 false 12.09 3.04 apollon132 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e2_3580_000.smt2 true 14.36 3.60 apollon107 vmt-chc-benchmarks/lustre/speed_e8_649_e7_709_000.smt2 true 10.36 2.79 apollon165 vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302_e1_1141_000.smt2 TIMEOUT 1800.07 1700.91 apollon066 vmt-chc-benchmarks/lustre/hysteresis_1_000.smt2 true 10.06 2.70 apollon137 vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e8_5957_000.smt2 false 16.03 3.89 apollon023 vmt-chc-benchmarks/lustre/metros_1_e1_846_e7_397_000.smt2 TIMEOUT 1800.57 1688.27 apollon011 vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e1_1852_000.smt2 TIMEOUT 1800.56 1681.36 apollon161 vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e7_961_000.smt2 false 11.77 2.91 apollon150 vmt-chc-benchmarks/lustre/metros_2_e3_112_000.smt2 TIMEOUT 1800.63 1684.92 apollon102 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e2_237_000.smt2 false 11.33 2.94 apollon086 vmt-chc-benchmarks/lustre/rtp_9_000.smt2 true 12.49 3.06 apollon137 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e2_267_000.smt2 true 24.47 7.47 apollon046 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e4_164_000.smt2 TIMEOUT 1800.49 1685.51 apollon046 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_000.smt2 true 12.45 3.14 apollon032 vmt-chc-benchmarks/lustre/FIREFLY_6_e3_686_e6_2964_000.smt2 TIMEOUT 1800.46 1687.95 apollon018 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e7_3491_000.smt2 false 12.08 3.09 apollon166 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e1_725_000.smt2 false 20.26 4.92 apollon081 vmt-chc-benchmarks/lustre/durationThm_1_e3_173_000.smt2 TIMEOUT 1800.17 1702.05 apollon007 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e1_3998_000.smt2 TIMEOUT 1800.61 1686.42 apollon158 vmt-chc-benchmarks/lustre/FIREFLY_u1_e7_3318_000.smt2 TIMEOUT 1800.65 1676.55 apollon128 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_425_000.smt2 TIMEOUT 1800.94 1695.26 apollon039 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e7_2728_000.smt2 false 12.12 3.01 apollon131 vmt-chc-benchmarks/lustre/two_counters_000.smt2 TIMEOUT 1800.75 1722.14 apollon088 vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5406_e7_6697_000.smt2 false 17.46 4.45 apollon136 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_000.smt2 true 16.09 4.05 apollon089 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e3_2931_000.smt2 false 12.02 3.04 apollon070 vmt-chc-benchmarks/lustre/rtp_4_000.smt2 true 12.62 3.14 apollon142 vmt-chc-benchmarks/lustre/FIREFLY_luke_3_000.smt2 TIMEOUT 1800.46 1689.67 apollon138 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e4_1_000.smt2 TIMEOUT 1801.02 1696.37 apollon034 vmt-chc-benchmarks/lustre/durationThm_3_e7_201_000.smt2 TIMEOUT 1800.20 1696.99 apollon012 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e3_1191_000.smt2 false 12.04 3.15 apollon030 vmt-chc-benchmarks/lustre/swimmingpool_8_000.smt2 TIMEOUT 1801.11 1677.86 apollon130 vmt-chc-benchmarks/lustre/metros_4_e2_968_e5_991_000.smt2 TIMEOUT 1800.66 1679.17 apollon168 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e8_1525_000.smt2 true 10.76 2.84 apollon066 vmt-chc-benchmarks/lustre/DRAGON_14_000.smt2 TIMEOUT 1800.19 1697.74 apollon053 vmt-chc-benchmarks/lustre/speed2_e8_449_e8_517_000.smt2 TIMEOUT 1801.05 1711.25 apollon040 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e3_941_000.smt2 false 19.53 4.83 apollon106 vmt-chc-benchmarks/lustre/car_5_000.smt2 TIMEOUT 1800.23 1695.42 apollon013 vmt-chc-benchmarks/lustre/metros_1_e8_1567_000.smt2 TIMEOUT 1800.35 1687.27 apollon080 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e1_2667_000.smt2 false 11.61 2.78 apollon053 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e2_2653_e7_4370_000.smt2 TIMEOUT 1800.75 1684.71 apollon088 vmt-chc-benchmarks/lustre/SYNAPSE_3_000.smt2 true 14.95 3.73 apollon075 vmt-chc-benchmarks/lustre/durationThm_1_e7_12_000.smt2 false 11.70 3.02 apollon018 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e3_2330_000.smt2 TIMEOUT 1800.56 1688.98 apollon127 vmt-chc-benchmarks/lustre/speed2_e7_223_000.smt2 TIMEOUT 1801.04 1705.97 apollon157 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e1_541_000.smt2 false 13.04 3.14 apollon026 vmt-chc-benchmarks/lustre/FIREFLY_6_e2_3302_000.smt2 TIMEOUT 1800.47 1687.84 apollon063 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e7_1665_000.smt2 false 12.49 3.12 apollon010 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e2_943_000.smt2 TIMEOUT 1800.40 1686.98 apollon037 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_000.smt2 TIMEOUT 1800.60 1683.34 apollon080 vmt-chc-benchmarks/lustre/car_all_e8_856_e1_217_000.smt2 false 13.24 3.31 apollon157 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_000.smt2 false 13.40 3.27 apollon063 vmt-chc-benchmarks/lustre/peterson_1_e7_4234_000.smt2 TIMEOUT 1800.62 1680.47 apollon061 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e2_1089_000.smt2 true 24.87 7.13 apollon007 vmt-chc-benchmarks/lustre/DRAGON_5_000.smt2 TIMEOUT 1800.43 1690.58 apollon147 vmt-chc-benchmarks/lustre/FIREFLY_1_000.smt2 true 11.99 3.03 apollon042 vmt-chc-benchmarks/lustre/ticket3i_all_e7_1837_000.smt2 TIMEOUT 1800.28 1687.45 apollon090 vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_518_e8_922_000.smt2 TIMEOUT 1800.29 1691.52 apollon134 vmt-chc-benchmarks/lustre/fast_1_e7_2044_e8_1396_000.smt2 true 10.73 2.77 apollon106 vmt-chc-benchmarks/lustre/ex3_e8_120_000.smt2 TIMEOUT 1800.91 1716.53 apollon130 vmt-chc-benchmarks/lustre/car_5_e7_244_e1_823_000.smt2 TIMEOUT 1800.46 1694.45 apollon082 vmt-chc-benchmarks/lustre/DRAGON_6_000.smt2 true 12.04 3.07 apollon127 vmt-chc-benchmarks/lustre/DRAGON_7_000.smt2 true 19.28 4.77 apollon032 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e2_846_000.smt2 true 21.45 5.30 apollon104 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e2_5774_000.smt2 TIMEOUT 1801.01 1704.55 apollon133 vmt-chc-benchmarks/lustre/car_5_e2_405_e2_1083_000.smt2 TIMEOUT 1800.46 1696.18 apollon073 vmt-chc-benchmarks/lustre/FIREFLY_2_000.smt2 true 20.58 4.99 apollon057 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_000.smt2 TIMEOUT 1800.51 1685.26 apollon129 vmt-chc-benchmarks/lustre/MESI_i4_e4_1689_e8_290_000.smt2 false 1226.48 1135.73 apollon070 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_000.smt2 false 271.03 227.32 apollon158 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e3_1928_000.smt2 TIMEOUT 1800.17 1703.99 apollon062 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e2_676_000.smt2 false 478.83 431.63 apollon073 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_195_000.smt2 TIMEOUT 1800.69 1696.19 apollon056 vmt-chc-benchmarks/lustre/swimmingpool_3_000.smt2 false 15.41 3.86 apollon127 vmt-chc-benchmarks/lustre/MOESI_1_000.smt2 TIMEOUT 1800.48 1694.21 apollon112 vmt-chc-benchmarks/lustre/MOESI_2_e7_2607_000.smt2 false 11.88 3.03 apollon001 vmt-chc-benchmarks/lustre/MESI_i1_e2_1758_e8_12_000.smt2 false 11.72 3.03 apollon064 vmt-chc-benchmarks/lustre/metros_1_e7_1255_e8_598_000.smt2 TIMEOUT 1800.54 1686.46 apollon061 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e5_2444_000.smt2 false 12.07 3.11 apollon158 vmt-chc-benchmarks/lustre/metros_4_e2_968_e1_956_000.smt2 TIMEOUT 1800.56 1680.48 apollon022 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e3_3091_000.smt2 TIMEOUT 1800.62 1689.20 apollon048 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e8_1940_000.smt2 TIMEOUT 1800.43 1696.50 apollon024 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_000.smt2 false 11.98 2.92 apollon053 vmt-chc-benchmarks/lustre/ticket3i_3_000.smt2 true 12.29 3.09 apollon044 vmt-chc-benchmarks/lustre/FIREFLY_rt_e3_1770_e2_637_000.smt2 TIMEOUT 1800.47 1683.52 apollon165 vmt-chc-benchmarks/lustre/FIREFLY_5_e1_2552_e7_1169_000.smt2 TIMEOUT 1800.54 1686.18 apollon104 vmt-chc-benchmarks/lustre/durationThm_1_e1_197_e7_289_000.smt2 false 11.09 2.82 apollon158 vmt-chc-benchmarks/lustre/FIREFLY_luke_3_e1_2217_e3_1200_000.smt2 TIMEOUT 1800.72 1684.70 apollon017 vmt-chc-benchmarks/lustre/FIREFLY_11_e3_2076_e1_1270_000.smt2 TIMEOUT 1800.45 1690.68 apollon089 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e8_311_000.smt2 TIMEOUT 1800.39 1686.43 apollon120 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e2_74_000.smt2 false 10.92 2.88 apollon134 vmt-chc-benchmarks/lustre/MESI_i2_000.smt2 TIMEOUT 1801.40 1638.05 apollon166 vmt-chc-benchmarks/lustre/twisted_counters_000.smt2 TIMEOUT 1800.75 1721.05 apollon109 vmt-chc-benchmarks/lustre/metros_4_e2_532_000.smt2 TIMEOUT 1800.54 1679.97 apollon114 vmt-chc-benchmarks/lustre/DRAGON_12_e1_4640_e7_128_000.smt2 false 13.27 3.34 apollon077 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e7_156_000.smt2 false 12.71 3.17 apollon161 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e6_1315_000.smt2 TIMEOUT 1800.52 1685.23 apollon055 vmt-chc-benchmarks/lustre/FIREFLY_7_000.smt2 TIMEOUT 1800.34 1692.07 apollon032 vmt-chc-benchmarks/lustre/DRAGON_13_000.smt2 TIMEOUT 1800.48 1693.91 apollon091 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e2_1317_000.smt2 TIMEOUT 1800.62 1677.76 apollon009 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1750_000.smt2 TIMEOUT 1800.08 1701.72 apollon121 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e2_2689_000.smt2 true 21.41 5.37 apollon114 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e7_4469_000.smt2 false 12.70 3.14 apollon098 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e2_2812_000.smt2 true 23.07 5.73 apollon011 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e4_1595_000.smt2 true 14.92 3.67 apollon142 vmt-chc-benchmarks/lustre/fast_1_e7_2044_e7_1287_000.smt2 false 12.02 3.13 apollon128 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e7_3568_000.smt2 false 12.81 3.13 apollon057 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e7_1495_000.smt2 false 13.56 3.44 apollon132 vmt-chc-benchmarks/lustre/MESI_3_e2_1872_000.smt2 false 13.71 3.39 apollon038 vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606_000.smt2 TIMEOUT 1800.26 1701.46 apollon047 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e3_2542_000.smt2 true 21.56 5.34 apollon081 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e2_2228_000.smt2 false 10.91 2.78 apollon102 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e7_4070_000.smt2 false 13.55 3.24 apollon003 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e1_6463_000.smt2 TIMEOUT 1800.97 1730.11 apollon130 vmt-chc-benchmarks/lustre/metros_3_e4_987_e1_1115_000.smt2 TIMEOUT 1800.66 1676.17 apollon121 vmt-chc-benchmarks/lustre/FIREFLY_9_000.smt2 true 16.72 4.05 apollon109 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e5_5_000.smt2 TIMEOUT 1800.35 1680.90 apollon007 vmt-chc-benchmarks/lustre/durationThm_1_e1_197_000.smt2 false 10.28 2.64 apollon007 vmt-chc-benchmarks/lustre/car_all_e8_856_e7_578_000.smt2 TIMEOUT 1801.04 1708.04 apollon024 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e3_1658_000.smt2 false 19.16 4.60 apollon105 vmt-chc-benchmarks/lustre/DRAGON_4_e3_1540_e1_5048_000.smt2 TIMEOUT 1800.51 1690.67 apollon074 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_2574_000.smt2 false 12.22 3.04 apollon040 vmt-chc-benchmarks/lustre/ticket3i_all_e1_2706_e7_1776_000.smt2 TIMEOUT 1800.39 1691.21 apollon115 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e7_1465_000.smt2 TIMEOUT 1800.67 1700.20 apollon065 vmt-chc-benchmarks/lustre/fast_1_e8_747_e7_692_000.smt2 false 11.44 2.92 apollon052 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e6_1974_000.smt2 true 11.75 2.87 apollon068 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e7_2225_000.smt2 TIMEOUT 1800.18 1692.35 apollon119 vmt-chc-benchmarks/lustre/SYNAPSE_2_e3_216_000.smt2 false 15.48 3.87 apollon046 vmt-chc-benchmarks/lustre/ILLINOIS_2_e3_1554_e6_2223_000.smt2 true 13.09 3.25 apollon011 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_000.smt2 false 21.04 5.52 apollon005 vmt-chc-benchmarks/lustre/metros_5_e4_1208_e1_337_000.smt2 TIMEOUT 1800.48 1685.30 apollon152 vmt-chc-benchmarks/lustre/metros_4_e3_1025_000.smt2 TIMEOUT 1800.20 1678.08 apollon101 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e2_2421_000.smt2 false 11.65 2.92 apollon023 vmt-chc-benchmarks/lustre/FIREFLY_6_000.smt2 TIMEOUT 1800.50 1683.33 apollon038 vmt-chc-benchmarks/lustre/MOESI_1_e2_982_e7_492_000.smt2 TIMEOUT 1800.46 1688.16 apollon054 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e7_5856_000.smt2 false 14.04 3.37 apollon078 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e2_1394_000.smt2 false 12.32 3.11 apollon077 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e1_1044_000.smt2 TIMEOUT 1800.57 1680.26 apollon050 vmt-chc-benchmarks/lustre/_6counters_e8_371_e2_80_000.smt2 true 10.74 2.74 apollon060 vmt-chc-benchmarks/lustre/SYNAPSE_5_e2_1525_000.smt2 TIMEOUT 1800.59 1685.44 apollon143 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e1_1895_000.smt2 false 12.49 3.19 apollon106 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e1_1350_000.smt2 TIMEOUT 1800.79 1678.30 apollon047 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_3_000.smt2 true 10.50 2.63 apollon167 vmt-chc-benchmarks/lustre/FIREFLY_u1_000.smt2 TIMEOUT 1800.38 1691.48 apollon017 vmt-chc-benchmarks/lustre/metros_4_e1_821_e5_911_000.smt2 TIMEOUT 1800.52 1676.81 apollon032 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e7_1626_000.smt2 false 12.11 2.99 apollon067 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e4_1464_000.smt2 false 624.59 565.36 apollon032 vmt-chc-benchmarks/lustre/fast_2_e8_460_e7_43_000.smt2 false 12.11 2.99 apollon057 vmt-chc-benchmarks/lustre/MESI_all_e4_1147_e7_497_000.smt2 TIMEOUT 1800.20 1690.66 apollon030 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e5_2391_000.smt2 false 11.39 2.83 apollon024 vmt-chc-benchmarks/lustre/cd_e7_621_000.smt2 TIMEOUT 1800.94 1715.32 apollon125 vmt-chc-benchmarks/conc/fib_bench_safe_v3_000.smt2 TIMEOUT 1801.10 1743.76 apollon011 vmt-chc-benchmarks/conc/szymanski_safe_000.smt2 TIMEOUT 1801.14 1697.06 apollon069 vmt-chc-benchmarks/conc/fib_bench_safe_v2_000.smt2 TIMEOUT 1801.12 1737.62 apollon018 vmt-chc-benchmarks/conc/stateful01_safe_v1_000.smt2 TIMEOUT 1800.34 1698.21 apollon035 vmt-chc-benchmarks/conc/fib_bench_safe_v1_000.smt2 TIMEOUT 1800.68 1728.53 apollon065 vmt-chc-benchmarks/conc/lamport_safe_000.smt2 TIMEOUT 1800.75 1716.06 apollon109 vmt-chc-benchmarks/ctigar/simple_if.c_000.smt2 TIMEOUT 1800.79 1716.21 apollon082 vmt-chc-benchmarks/ctigar/gulwani_cegar2.c_000.smt2 TIMEOUT 1801.10 1704.06 apollon139 vmt-chc-benchmarks/ctigar/bkley.c_000.smt2 TIMEOUT 1800.88 1713.40 apollon095 vmt-chc-benchmarks/ctigar/xyz2.c_000.smt2 TIMEOUT 1800.69 1717.93 apollon070 vmt-chc-benchmarks/ctigar/NetBSD_loop_int.c_000.smt2 TIMEOUT 1801.07 1723.15 apollon160 vmt-chc-benchmarks/ctigar/sendmail-close-angle.c_000.smt2 TIMEOUT 1800.68 1713.69 apollon140 vmt-chc-benchmarks/ctigar/nest-if5.c_000.smt2 TIMEOUT 1801.07 1706.23 apollon054 vmt-chc-benchmarks/ctigar/svd-some-loop.c_000.smt2 TIMEOUT 1800.21 1712.11 apollon021 vmt-chc-benchmarks/ctigar/nest-if3.c_000.smt2 TIMEOUT 1800.99 1699.82 apollon066 vmt-chc-benchmarks/ctigar/lifo.c_000.smt2 TIMEOUT 1800.41 1697.93 apollon135 vmt-chc-benchmarks/ctigar/nested4.c_000.smt2 TIMEOUT 1800.94 1710.32 apollon131 vmt-chc-benchmarks/ctigar/NetBSD_loop.c_000.smt2 true 757.63 703.57 apollon150 vmt-chc-benchmarks/ctigar/nest-len.c_000.smt2 TIMEOUT 1800.96 1720.37 apollon144 vmt-chc-benchmarks/ctigar/ken-imp.c_000.smt2 true 65.05 34.56 apollon134 vmt-chc-benchmarks/ctigar/dillig01.c_000.smt2 true 395.28 346.19 apollon015 vmt-chc-benchmarks/ctigar/nested.c_000.smt2 TIMEOUT 1800.83 1713.57 apollon026 vmt-chc-benchmarks/ctigar/dillig28.c_000.smt2 TIMEOUT 1800.94 1710.64 apollon150 vmt-chc-benchmarks/ctigar/barbr.c_000.smt2 TIMEOUT 1800.55 1684.32 apollon088 vmt-chc-benchmarks/ctigar/xy0.c_000.smt2 TIMEOUT 1800.63 1718.54 apollon118 vmt-chc-benchmarks/ctigar/bound.c_000.smt2 TIMEOUT 1800.74 1724.34 apollon030 vmt-chc-benchmarks/ctigar/swim1.c_000.smt2 TIMEOUT 1800.33 1696.51 apollon025 vmt-chc-benchmarks/ctigar/dillig03.c_000.smt2 TIMEOUT 1800.61 1715.47 apollon147 vmt-chc-benchmarks/ctigar/dillig37.c_000.smt2 TIMEOUT 1801.08 1701.37 apollon002 vmt-chc-benchmarks/ctigar/svd4.c_000.smt2 TIMEOUT 1800.51 1703.78 apollon006 vmt-chc-benchmarks/ctigar/apache-get-tag.c_000.smt2 TIMEOUT 1800.91 1713.78 apollon161 vmt-chc-benchmarks/ctigar/pldi08.c_000.smt2 true 71.06 41.62 apollon010 vmt-chc-benchmarks/ctigar/nested1.c_000.smt2 true 51.12 22.78 apollon165 vmt-chc-benchmarks/ctigar/nested5.c_000.smt2 TIMEOUT 1800.71 1723.66 apollon008 vmt-chc-benchmarks/ctigar/seq.c_000.smt2 TIMEOUT 1801.00 1716.03 apollon033 vmt-chc-benchmarks/ctigar/NetBSD_g_Ctoc.c_000.smt2 TIMEOUT 1800.94 1712.78 apollon159 vmt-chc-benchmarks/ctigar/seq-sim.c_000.smt2 TIMEOUT 1800.85 1705.75 apollon104 vmt-chc-benchmarks/ctigar/up3.c_000.smt2 TIMEOUT 1800.75 1721.63 apollon158 vmt-chc-benchmarks/ctigar/xy4.c_000.smt2 TIMEOUT 1800.78 1718.12 apollon137 vmt-chc-benchmarks/ctigar/bind_expands_vars2.c_000.smt2 true 44.82 19.03 apollon040 vmt-chc-benchmarks/ctigar/cars.c_000.smt2 TIMEOUT 1800.72 1707.26 apollon153 vmt-chc-benchmarks/ctigar/dillig32.c_000.smt2 TIMEOUT 1800.78 1719.04 apollon017 vmt-chc-benchmarks/ctigar/dillig05.c_000.smt2 TIMEOUT 1800.80 1714.66 apollon144 vmt-chc-benchmarks/ctigar/dillig19.c_000.smt2 TIMEOUT 1800.09 1703.96 apollon165 vmt-chc-benchmarks/ctigar/nested9.c_000.smt2 TIMEOUT 1800.78 1711.82 apollon148 vmt-chc-benchmarks/ctigar/ex1.c_000.smt2 TIMEOUT 1800.58 1722.59 apollon059 vmt-chc-benchmarks/ctigar/dillig07.c_000.smt2 true 40.57 15.35 apollon137 vmt-chc-benchmarks/ctigar/xy10.c_000.smt2 true 45.77 21.60 apollon143 vmt-chc-benchmarks/ctigar/gulv_simp.c_000.smt2 TIMEOUT 1801.08 1705.90 apollon102 vmt-chc-benchmarks/ctigar/ex2.c_000.smt2 TIMEOUT 1801.05 1712.22 apollon053 vmt-chc-benchmarks/ctigar/seesaw.c_000.smt2 TIMEOUT 1800.90 1714.48 apollon067 vmt-chc-benchmarks/ctigar/nest-if4.c_000.smt2 TIMEOUT 1800.61 1715.91 apollon097 vmt-chc-benchmarks/ctigar/svd2.c_000.smt2 TIMEOUT 1801.00 1716.27 apollon069 vmt-chc-benchmarks/ctigar/seq4.c_000.smt2 TIMEOUT 1800.96 1713.40 apollon046 vmt-chc-benchmarks/ctigar/efm.c_000.smt2 TIMEOUT 1801.19 1706.57 apollon134 vmt-chc-benchmarks/ctigar/dillig25.c_000.smt2 TIMEOUT 1800.89 1709.07 apollon153 vmt-chc-benchmarks/ctigar/xyz.c_000.smt2 TIMEOUT 1800.58 1724.95 apollon093 vmt-chc-benchmarks/ctigar/nested6.c_000.smt2 TIMEOUT 1800.73 1720.04 apollon049 vmt-chc-benchmarks/ctigar/nest-if.c_000.smt2 TIMEOUT 1800.82 1718.16 apollon157 vmt-chc-benchmarks/ctigar/nested2.c_000.smt2 true 48.77 21.84 apollon151 vmt-chc-benchmarks/ctigar/NetBSD_glob3_iny.c_000.smt2 TIMEOUT 1801.10 1707.08 apollon075 vmt-chc-benchmarks/ctigar/dillig33.c_000.smt2 TIMEOUT 1801.03 1706.40 apollon108 vmt-chc-benchmarks/ctigar/sendmail-mime-fromqp.c_000.smt2 TIMEOUT 1801.08 1708.92 apollon157 vmt-chc-benchmarks/ctigar/seq2.c_000.smt2 TIMEOUT 1800.70 1716.36 apollon027 vmt-chc-benchmarks/ctigar/hsortprime.c_000.smt2 TIMEOUT 1801.05 1709.83 apollon156 vmt-chc-benchmarks/ctigar/nest-if7.c_000.smt2 TIMEOUT 1800.56 1718.16 apollon052 vmt-chc-benchmarks/ctigar/lifnatprime.c_000.smt2 TIMEOUT 1800.42 1701.41 apollon141 vmt-chc-benchmarks/ctigar/MADWiFi-encode_ie_ok.c_000.smt2 TIMEOUT 1800.59 1721.74 apollon039 vmt-chc-benchmarks/ctigar/seq-proc.c_000.smt2 TIMEOUT 1801.03 1709.04 apollon168 vmt-chc-benchmarks/ctigar/dillig17.c_000.smt2 TIMEOUT 1800.71 1716.74 apollon105 vmt-chc-benchmarks/ctigar/up-nd.c_000.smt2 TIMEOUT 1800.85 1714.67 apollon152 vmt-chc-benchmarks/ctigar/hsort.c_000.smt2 TIMEOUT 1801.07 1708.01 apollon002 vmt-chc-benchmarks/ctigar/up.c_000.smt2 TIMEOUT 1800.63 1718.40 apollon040 vmt-chc-benchmarks/ctigar/fig2.c_000.smt2 TIMEOUT 1800.83 1713.77 apollon035 vmt-chc-benchmarks/ctigar/nest-if1.c_000.smt2 TIMEOUT 1800.83 1715.90 apollon153 vmt-chc-benchmarks/ctigar/string_concat-noarr.c_000.smt2 TIMEOUT 1800.92 1715.81 apollon143 vmt-chc-benchmarks/ctigar/nested3.c_000.smt2 true 1750.99 1661.42 apollon060 vmt-chc-benchmarks/ctigar/fragtest_simple.c_000.smt2 TIMEOUT 1801.11 1707.87 apollon100 vmt-chc-benchmarks/ctigar/up2.c_000.smt2 TIMEOUT 1800.90 1721.79 apollon032 vmt-chc-benchmarks/ctigar/nest-if2.c_000.smt2 TIMEOUT 1800.87 1706.04 apollon155 vmt-chc-benchmarks/ctigar/gulv.c_000.smt2 TIMEOUT 1800.88 1707.79 apollon028 vmt-chc-benchmarks/ctigar/nest-if6.c_000.smt2 TIMEOUT 1800.89 1711.59 apollon008 vmt-chc-benchmarks/ctigar/rajamani_1.c_000.smt2 TIMEOUT 1800.93 1711.58 apollon145 vmt-chc-benchmarks/ctigar/nest-if8.c_000.smt2 TIMEOUT 1800.72 1715.94 apollon011 vmt-chc-benchmarks/ctigar/seq-z3.c_000.smt2 TIMEOUT 1800.85 1713.71 apollon022 vmt-chc-benchmarks/ctigar/gulwani_fig1a.c_000.smt2 true 482.81 432.92 apollon153 vmt-chc-benchmarks/ctigar/pldi082_unbounded.c_000.smt2 TIMEOUT 1800.68 1717.16 apollon097 vmt-chc-benchmarks/ctigar/svd.c_000.smt2 TIMEOUT 1800.99 1663.42 apollon139 vmt-chc-benchmarks/ctigar/fig1a.c_000.smt2 TIMEOUT 1800.51 1724.92 apollon042 vmt-chc-benchmarks/ctigar/large_const.c_000.smt2 TIMEOUT 1800.83 1715.26 apollon154 vmt-chc-benchmarks/ctigar/up-nested.c_000.smt2 true 42.10 16.74 apollon107 vmt-chc-benchmarks/ctigar/bk-nat.c_000.smt2 TIMEOUT 1800.24 1707.00 apollon001 vmt-chc-benchmarks/ctigar/swim.c_000.smt2 TIMEOUT 1801.15 1707.05 apollon047 vmt-chc-benchmarks/ctigar/gulwani_cegar1.c_000.smt2 true 83.22 51.97 apollon145 vmt-chc-benchmarks/ctigar/id_build.c_000.smt2 TIMEOUT 1800.48 1719.52 apollon078 vmt-chc-benchmarks/ctigar/up4.c_000.smt2 TIMEOUT 1800.90 1713.54 apollon103 vmt-chc-benchmarks/ctigar/mergesort.c_000.smt2 TIMEOUT 1800.58 1712.38 apollon113 vmt-chc-benchmarks/ctigar/dillig12.c_000.smt2 TIMEOUT 1801.07 1709.67 apollon128 vmt-chc-benchmarks/ctigar/svd3.c_000.smt2 TIMEOUT 1800.81 1721.41 apollon006 vmt-chc-benchmarks/ctigar/dillig20.c_000.smt2 TIMEOUT 1801.01 1712.00 apollon109 vmt-chc-benchmarks/ctigar/simple_nest.c_000.smt2 TIMEOUT 1800.51 1733.83 apollon001 vmt-chc-benchmarks/ctigar/dillig15.c_000.smt2 TIMEOUT 1800.07 1708.69 apollon106 vmt-chc-benchmarks/ctigar/svd1.c_000.smt2 TIMEOUT 1800.31 1704.02 apollon010 vmt-chc-benchmarks/ctigar/sendmail-mime7to8_arr_three_chars_no_test_ok.c_000.smt2 TIMEOUT 1800.74 1715.65 apollon155 vmt-chc-benchmarks/ctigar/nested7.c_000.smt2 TIMEOUT 1800.66 1713.59 apollon154 vmt-chc-benchmarks/ctigar/split.c_000.smt2 TIMEOUT 1800.58 1728.37 apollon144 vmt-chc-benchmarks/ctigar/seq3.c_000.smt2 TIMEOUT 1800.23 1702.36 apollon132 vmt-chc-benchmarks/ctigar/up5.c_000.smt2 TIMEOUT 1800.61 1719.73 apollon067 vmt-chc-benchmarks/ctigar/seq-len.c_000.smt2 TIMEOUT 1801.08 1715.53 apollon114 vmt-chc-benchmarks/ctigar/lifnat.c_000.smt2 TIMEOUT 1801.25 1706.83 apollon148 vmt-chc-benchmarks/ctigar/down.c_000.smt2 TIMEOUT 1800.99 1708.34 apollon009 vmt-chc-benchmarks/ctigar/barbrprime.c_000.smt2 TIMEOUT 1800.88 1687.50 apollon065 vmt-chc-benchmarks/ctigar/simple.c_000.smt2 true 456.80 409.93 apollon161 vmt-chc-benchmarks/ctigar/substring1.c_000.smt2 TIMEOUT 1800.95 1719.55 apollon031 vmt-chc-benchmarks/ctigar/apache-escape-absolute.c_000.smt2 TIMEOUT 1800.19 1709.07 apollon126 vmt-chc-benchmarks/ctigar/nested8.c_000.smt2 TIMEOUT 1800.41 1719.53 apollon153 extra-small-lia/s_multipl_08_000.smt2 TIMEOUT 1800.36 1736.85 apollon164 extra-small-lia/s_multipl_13_000.smt2 TIMEOUT 1800.60 1717.88 apollon164 extra-small-lia/menlo_park_term_simpl_2_000.smt2 TIMEOUT 1800.24 1743.16 apollon100 extra-small-lia/s_multipl_23_000.smt2 TIMEOUT 1800.61 1718.34 apollon168 extra-small-lia/s_mutants_23_000.smt2 TIMEOUT 1800.41 1735.05 apollon058 extra-small-lia/s_multipl_11_000.smt2 TIMEOUT 1800.44 1745.43 apollon056 extra-small-lia/s_multipl_07_000.smt2 TIMEOUT 1800.48 1742.27 apollon062 extra-small-lia/three_dots_moving_2_000.smt2 TIMEOUT 1800.87 1707.88 apollon124 extra-small-lia/s_multipl_09_000.smt2 TIMEOUT 1800.42 1731.23 apollon036 extra-small-lia/s_multipl_22_000.smt2 TIMEOUT 1800.26 1737.71 apollon157 extra-small-lia/yz_plus_minus_1_000.smt2 TIMEOUT 1800.20 1743.29 apollon066 extra-small-lia/dtuc_000.smt2 TIMEOUT 1800.59 1741.69 apollon005 extra-small-lia/bouncy_three_counters_merged_000.smt2 TIMEOUT 1800.79 1745.22 apollon096 extra-small-lia/s_mutants_06_m_000.smt2 TIMEOUT 1800.25 1748.55 apollon127 extra-small-lia/s_multipl_17_000.smt2 unknown 13.79 3.42 apollon012 extra-small-lia/phases_m_000.smt2 TIMEOUT 1800.36 1730.25 apollon019 extra-small-lia/bouncy_symmetry_000.smt2 TIMEOUT 1800.31 1742.85 apollon155 extra-small-lia/s_disj_ite_06_000.smt2 true 1041.11 985.81 apollon132 extra-small-lia/bouncy_one_counter_000.smt2 TIMEOUT 1800.34 1747.33 apollon135 extra-small-lia/s_mutants_21_000.smt2 TIMEOUT 1800.35 1737.18 apollon061 extra-small-lia/gj2007_m_2_000.smt2 TIMEOUT 1800.33 1734.87 apollon122 extra-small-lia/dillig05_m_000.smt2 TIMEOUT 1800.41 1735.09 apollon138 extra-small-lia/s_multipl_12_000.smt2 TIMEOUT 1800.29 1740.19 apollon127 extra-small-lia/yz_plus_minus_2_000.smt2 TIMEOUT 1800.36 1687.19 apollon098 extra-small-lia/dillig22_m_000.smt2 TIMEOUT 1800.22 1739.98 apollon025 extra-small-lia/const_mod_2_000.smt2 TIMEOUT 1800.46 1743.89 apollon059 extra-small-lia/dillig12_m_000.smt2 TIMEOUT 1800.67 1718.79 apollon105 extra-small-lia/s_mutants_02_000.smt2 TIMEOUT 1800.23 1689.42 apollon015 extra-small-lia/count_by_2_000.smt2 TIMEOUT 1800.38 1747.55 apollon044 extra-small-lia/s_multipl_24_000.smt2 TIMEOUT 1800.54 1730.08 apollon092 extra-small-lia/dillig21_m_000.smt2 true 204.63 174.98 apollon161 extra-small-lia/s_multipl_16_000.smt2 TIMEOUT 1800.43 1690.93 apollon136 extra-small-lia/s_disj_ite_05_000.smt2 TIMEOUT 1800.43 1743.15 apollon007 extra-small-lia/const_mod_3_000.smt2 TIMEOUT 1800.18 1739.10 apollon090 extra-small-lia/s_mutants_17_000.smt2 TIMEOUT 1800.32 1742.76 apollon094 extra-small-lia/s_multipl_15_000.smt2 TIMEOUT 1800.65 1717.41 apollon141 extra-small-lia/count_by_2_m_nest_000.smt2 unknown 21.53 5.39 apollon099 extra-small-lia/gj2007_m_1_000.smt2 TIMEOUT 1800.39 1732.74 apollon068 extra-small-lia/s_mutants_22_000.smt2 TIMEOUT 1800.45 1733.36 apollon134 extra-small-lia/const_mod_1_000.smt2 TIMEOUT 1800.50 1740.56 apollon149 extra-small-lia/s_mutants_20_000.smt2 TIMEOUT 1800.26 1746.90 apollon079 extra-small-lia/half_true_modif_m_000.smt2 TIMEOUT 1800.32 1743.02 apollon065 extra-small-lia/s_multipl_10_000.smt2 TIMEOUT 1800.35 1733.82 apollon023 extra-small-lia/s_mutants_16_000.smt2 TIMEOUT 1800.44 1745.25 apollon027 extra-small-lia/s_multipl_14_000.smt2 TIMEOUT 1800.41 1730.17 apollon003 extra-small-lia/dillig02_m_000.smt2 TIMEOUT 1800.28 1734.20 apollon064 extra-small-lia/s_mutants_05_000.smt2 TIMEOUT 1800.36 1745.73 apollon071 extra-small-lia/gj2007_m_3_000.smt2 TIMEOUT 1800.58 1723.95 apollon107 extra-small-lia/dillig03_m_000.smt2 TIMEOUT 1800.91 1703.83 apollon156 extra-small-lia/s_multipl_18_000.smt2 TIMEOUT 1800.23 1740.97 apollon054 extra-small-lia/dillig32_000.smt2 TIMEOUT 1800.32 1746.32 apollon166 extra-small-lia/bouncy_two_counters_merged_000.smt2 TIMEOUT 1800.77 1764.35 apollon119 extra-small-lia/bouncy_two_counters_equality_000.smt2 TIMEOUT 1800.41 1744.05 apollon105 extra-small-lia/s_mutants_16_m_000.smt2 TIMEOUT 1800.32 1745.64 apollon026 extra-small-lia/s_multipl_25_000.smt2 TIMEOUT 1801.78 1526.89 apollon162 hcai-bench/svcomp/O3/O3_gcd02_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.26 2.38 apollon139 hcai-bench/svcomp/O3/O3_sum03_true-unreach-call_false-termination_000.smt2 unknown 9.62 2.50 apollon081 hcai-bench/svcomp/O3/O3_MultCommutative_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.98 2.44 apollon053 hcai-bench/svcomp/O3/O3_sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.95 1708.01 apollon158 hcai-bench/svcomp/O3/O3_trex03_false-unreach-call_true-termination_000.smt2 false 10.56 2.69 apollon060 hcai-bench/svcomp/O3/O3_gcd01_true-unreach-call_true-no-overflow_true-termination_000.smt2 true 15.90 4.10 apollon091 hcai-bench/svcomp/O3/O3_terminator_03_false-unreach-call_true-termination_000.smt2 false 10.29 2.66 apollon049 hcai-bench/svcomp/O3/O3_trex04_true-unreach-call_false-termination_000.smt2 true 10.46 2.70 apollon168 hcai-bench/svcomp/O3/O3_Addition03_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.24 2.35 apollon081 hcai-bench/svcomp/O3/O3_terminator_02_true-unreach-call_true-termination_000.smt2 true 10.82 2.71 apollon160 hcai-bench/svcomp/O3/O3_id_o3_false-unreach-call_000.smt2 false 11.51 2.90 apollon006 hcai-bench/svcomp/O3/O3_EvenOdd03_false-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 10.14 2.67 apollon107 hcai-bench/svcomp/O3/O3_BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.47 2.54 apollon077 hcai-bench/svcomp/O3/O3_sum_non_false-unreach-call_true-termination_000.smt2 false 9.58 2.55 apollon134 hcai-bench/svcomp/O3/O3_nec11_false-unreach-call_false-termination_000.smt2 false 9.32 2.43 apollon039 hcai-bench/svcomp/O3/O3_trex01_false-unreach-call_true-termination_000.smt2 false 9.65 2.57 apollon114 hcai-bench/svcomp/O3/O3_afterrec_2calls_false-unreach-call_true-termination_000.smt2 false 10.18 2.59 apollon055 hcai-bench/svcomp/O3/O3_EvenOdd01_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.18 2.43 apollon052 hcai-bench/svcomp/O3/O3_nec20_false-unreach-call_true-termination_000.smt2 false 10.36 2.69 apollon109 hcai-bench/svcomp/O3/O3_id_o20_false-unreach-call_000.smt2 false 51.38 26.11 apollon070 hcai-bench/svcomp/O3/O3_Addition03_false-no-overflow_000.smt2 TIMEOUT 1800.59 1726.16 apollon112 hcai-bench/svcomp/O3/O3_Addition01_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.45 2.49 apollon140 hcai-bench/svcomp/O3/O3_sum_non_eq_true-unreach-call_000.smt2 true 12.54 3.06 apollon067 hcai-bench/svcomp/O3/O3_Addition02WithOverflowBug_false-no-overflow_000.smt2 false 10.71 2.70 apollon152 hcai-bench/svcomp/O3/O3_sum_non_eq_false-unreach-call_000.smt2 false 9.79 2.70 apollon165 hcai-bench/svcomp/O3/O3_trex01_true-unreach-call_true-termination_000.smt2 true 11.61 2.96 apollon105 hcai-bench/svcomp/O3/O3_terminator_02_false-unreach-call_true-termination_000.smt2 unknown 9.35 2.53 apollon073 hcai-bench/svcomp/O3/O3_EvenOdd03WithOverflowBug_false-no-overflow_000.smt2 false 9.98 2.49 apollon150 hcai-bench/svcomp/O3/O3_sum01_true-unreach-call_true-termination_000.smt2 unknown 9.35 2.47 apollon014 hcai-bench/svcomp/O3/O3_array_false-unreach-call_true-termination_000.smt2 false 9.49 2.54 apollon044 hcai-bench/svcomp/O3/O3_terminator_01_false-unreach-call_true-termination_000.smt2 false 9.36 2.41 apollon015 hcai-bench/svcomp/O3/O3_for_bounded_loop1_false-unreach-call_true-termination_000.smt2 false 9.97 2.61 apollon109 hcai-bench/svcomp/O3/O3_afterrec_true-unreach-call_true-termination_000.smt2 true 10.97 2.90 apollon132 hcai-bench/svcomp/O3/O3_for_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 9.58 2.50 apollon127 hcai-bench/svcomp/O3/O3_sum01_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.40 1711.72 apollon108 hcai-bench/svcomp/O3/O3_id_o200_false-unreach-call_000.smt2 TIMEOUT 1800.30 1740.83 apollon123 hcai-bench/svcomp/O3/O3_trex03_true-unreach-call_true-termination_000.smt2 unknown 9.85 2.52 apollon098 hcai-bench/svcomp/O3/O3_count_up_down_true-unreach-call_true-termination_000.smt2 true 12.17 3.10 apollon163 hcai-bench/svcomp/O3/O3_for_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 9.76 2.58 apollon127 hcai-bench/svcomp/O3/O3_sum01_bug02_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.76 1715.71 apollon118 hcai-bench/svcomp/O3/O3_afterrec_false-unreach-call_true-termination_000.smt2 false 10.61 2.69 apollon071 hcai-bench/svcomp/O3/O3_count_up_down_false-unreach-call_true-termination_000.smt2 false 10.30 2.61 apollon152 hcai-bench/svcomp/O3/O3_sum03_false-unreach-call_true-termination_000.smt2 false 33.36 9.54 apollon015 hcai-bench/svcomp/O3/O3_terminator_03_true-unreach-call_true-termination_000.smt2 true 9.57 2.53 apollon005 hcai-bench/svcomp/O3/O3_Addition02_false-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 10.12 2.55 apollon124 hcai-bench/svcomp/O3/O3_sum_non_true-unreach-call_true-termination_000.smt2 true 12.28 3.10 apollon149 hcai-bench/svcomp/O3/O3_afterrec_2calls_true-unreach-call_true-termination_000.smt2 true 10.23 2.75 apollon142 hcai-bench/svcomp/O3/O3_n.c11_true-unreach-call_false-termination_000.smt2 true 17.30 4.42 apollon130 hcai-bench/svcomp/O3/O3_id_o1000_false-unreach-call_000.smt2 TIMEOUT 1800.39 1742.55 apollon044 hcai-bench/svcomp/O3/O3_id_o10_false-unreach-call_000.smt2 false 26.45 6.43 apollon152 hcai-bench/svcomp/O3/O3_id_o100_false-unreach-call_000.smt2 TIMEOUT 1800.29 1740.38 apollon105 hcai-bench/svcomp/O0/O0_sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination_000.smt2 false 16.74 4.02 apollon080 hcai-bench/svcomp/O0/O0_fibo_2calls_4_false-unreach-call_true-termination_000.smt2 false 9.35 2.49 apollon070 hcai-bench/svcomp/O0/O0_trex03_false-unreach-call_true-termination_000.smt2 false 9.84 2.49 apollon047 hcai-bench/svcomp/O0/O0_terminator_03_false-unreach-call_true-termination_000.smt2 unknown 9.20 2.41 apollon107 hcai-bench/svcomp/O0/O0_fibo_2calls_10_false-unreach-call_000.smt2 false 9.44 2.44 apollon161 hcai-bench/svcomp/O0/O0_terminator_02_true-unreach-call_true-termination_000.smt2 true 10.86 2.73 apollon038 hcai-bench/svcomp/O0/O0_fibo_2calls_8_false-unreach-call_000.smt2 false 9.84 2.52 apollon046 hcai-bench/svcomp/O0/O0_while_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 10.06 2.68 apollon107 hcai-bench/svcomp/O0/O0_id2_b3_o2_false-unreach-call_000.smt2 false 9.41 2.52 apollon106 hcai-bench/svcomp/O0/O0_EvenOdd03_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 8.98 2.40 apollon052 hcai-bench/svcomp/O0/O0_nec11_false-unreach-call_false-termination_000.smt2 false 9.71 2.54 apollon093 hcai-bench/svcomp/O0/O0_trex01_false-unreach-call_true-termination_000.smt2 false 10.22 2.69 apollon008 hcai-bench/svcomp/O0/O0_nec20_false-unreach-call_true-termination_000.smt2 false 10.36 2.73 apollon142 hcai-bench/svcomp/O0/O0_fibo_2calls_5_false-unreach-call_true-termination_000.smt2 false 10.25 2.72 apollon130 hcai-bench/svcomp/O0/O0_id2_i5_o5_false-unreach-call_true-termination_000.smt2 false 9.42 2.55 apollon131 hcai-bench/svcomp/O0/O0_trex01_true-unreach-call_true-termination_000.smt2 true 10.54 2.67 apollon155 hcai-bench/svcomp/O0/O0_terminator_02_false-unreach-call_true-termination_000.smt2 false 10.11 2.71 apollon119 hcai-bench/svcomp/O0/O0_EvenOdd03WithOverflowBug_false-no-overflow_000.smt2 false 9.73 2.56 apollon165 hcai-bench/svcomp/O0/O0_sum01_true-unreach-call_true-termination_000.smt2 unknown 9.61 2.54 apollon002 hcai-bench/svcomp/O0/O0_fibo_2calls_15_false-unreach-call_000.smt2 false 9.24 2.41 apollon111 hcai-bench/svcomp/O0/O0_terminator_01_false-unreach-call_true-termination_000.smt2 unknown 9.53 2.43 apollon105 hcai-bench/svcomp/O0/O0_fibo_2calls_25_false-unreach-call_000.smt2 false 9.38 2.41 apollon106 hcai-bench/svcomp/O0/O0_sum04_false-unreach-call_true-termination_000.smt2 false 23.17 5.68 apollon050 hcai-bench/svcomp/O0/O0_for_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 9.81 2.56 apollon156 hcai-bench/svcomp/O0/O0_sum01_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.70 1721.93 apollon129 hcai-bench/svcomp/O0/O0_trex03_true-unreach-call_true-termination_000.smt2 true 11.55 2.96 apollon034 hcai-bench/svcomp/O0/O0_count_up_down_true-unreach-call_true-termination_000.smt2 true 13.37 3.43 apollon115 hcai-bench/svcomp/O0/O0_fibo_2calls_2_false-unreach-call_true-termination_000.smt2 false 10.09 2.57 apollon022 hcai-bench/svcomp/O0/O0_for_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 9.69 2.54 apollon061 hcai-bench/svcomp/O0/O0_sum01_bug02_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.78 1719.43 apollon114 hcai-bench/svcomp/O0/O0_count_up_down_false-unreach-call_true-termination_000.smt2 false 9.74 2.57 apollon024 hcai-bench/svcomp/O0/O0_terminator_03_true-unreach-call_true-termination_000.smt2 true 11.09 2.92 apollon134 hcai-bench/svcomp/O0/O0_fibo_2calls_6_false-unreach-call_true-termination_000.smt2 false 9.55 2.59 apollon069 hcai-bench/svcomp/O0/O0_while_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 9.78 2.58 apollon161 hcai-bench/svcomp/O0/O0_n.c11_true-unreach-call_false-termination_000.smt2 true 16.83 4.21 apollon034 hcai-bench/svcomp/O0/O0_fibo_2calls_20_false-unreach-call_000.smt2 false 9.42 2.45 apollon137 hcai-bench/arrays_orig/array_fill1_abstracted_000.smt2 true 13.03 3.31 apollon163 hcai-bench/arrays_orig/array_fill2_abstracted_000.smt2 TIMEOUT 1800.23 1741.80 apollon162 hcai-bench/arrays_orig/array_fill1_even_odd_abstracted_000.smt2 unknown 27.61 6.85 apollon054 rust-horn/bmc-2-test-bmc-2-unsafe_000.smt2 false 10.79 2.84 apollon054 rust-horn/simple-1-01_unsat_000.smt2 true 10.50 2.75 apollon138 rust-horn/bmc-2-test-bmc-2-safe_000.smt2 true 13.98 3.45 apollon090 rust-horn/bmc-1-test-bmc-1-safe_000.smt2 unknown 30.88 10.61 apollon060 rust-horn/bmc-5-test-bmc-diamond-2-safe_000.smt2 true 18.14 4.61 apollon032 rust-horn/bmc-3-test-bmc-3-safe_000.smt2 unknown 15.26 3.80 apollon122 rust-horn/simple-5-hhk2008_000.smt2 true 16.67 4.05 apollon053 rust-horn/simple-4-06_loop_unsat_000.smt2 TIMEOUT 1800.33 1744.68 apollon098 rust-horn/bmc-3-test-bmc-3-unsafe_000.smt2 false 20.73 5.20 apollon075 rust-horn/bmc-1-test-bmc-1-unsafe_000.smt2 unknown 28.30 8.84 apollon046 rust-horn/bmc-5-test-bmc-diamond-2-unsafe_000.smt2 false 13.21 3.29 apollon040 eldarica-misc/BV/qarmc/rsolv_000.smt2 TIMEOUT 1800.11 1748.48 apollon074 eldarica-misc/BV/qarmc/qrsolv_000.smt2 unknown 736.26 694.91 apollon119 eldarica-misc/LIA/llreve/barthe2_safe.c-1_000.smt2 false 12.58 3.16 apollon034 eldarica-misc/LIA/llreve/cube_square_unsafe.c-1_000.smt2 TIMEOUT 1800.97 1713.83 apollon050 eldarica-misc/LIA/llreve/break_single_merged_safe.c-1_000.smt2 true 158.45 121.17 apollon162 eldarica-misc/LIA/llreve/loop_safe.c-1_000.smt2 false 11.15 2.76 apollon053 eldarica-misc/LIA/llreve/digits10_inl_merged_safe.c-1_000.smt2 unknown 32.90 11.13 apollon063 eldarica-misc/LIA/llreve/nested-while_unsafe.c-1_000.smt2 false 10.45 2.67 apollon068 eldarica-misc/LIA/llreve/barthe_unsafe.c-1_000.smt2 false 11.31 3.03 apollon074 eldarica-misc/LIA/llreve/03_while_unsafe.c-1_000.smt2 false 12.41 3.04 apollon131 eldarica-misc/LIA/llreve/fib_merged_safe.c-1_000.smt2 TIMEOUT 1800.52 1729.66 apollon018 eldarica-misc/LIA/llreve/loop_unswitching_merged_safe.c-1_000.smt2 TIMEOUT 1800.44 1729.02 apollon062 eldarica-misc/LIA/llreve/barthe_safe.c-1_000.smt2 false 11.36 2.81 apollon030 eldarica-misc/LIA/llreve/break_single_safe.c-1_000.smt2 false 10.71 2.88 apollon020 eldarica-misc/LIA/llreve/loop5_unsafe.c-1_000.smt2 false 10.70 2.79 apollon115 eldarica-misc/LIA/llreve/upcount_merged_safe.c-1_000.smt2 TIMEOUT 1800.09 1708.01 apollon025 eldarica-misc/LIA/llreve/fib_safe.c-1_000.smt2 false 10.84 2.76 apollon008 eldarica-misc/LIA/llreve/while-if_safe.c-1_000.smt2 false 12.61 3.27 apollon078 eldarica-misc/LIA/llreve/square_twice_safe.c-1_000.smt2 unknown 14.59 3.69 apollon146 eldarica-misc/LIA/llreve/barthe_merged_unsafe.c-1_000.smt2 TIMEOUT 1800.32 1735.62 apollon093 eldarica-misc/LIA/llreve/loop_merged_safe.c-1_000.smt2 unknown 14.26 3.51 apollon134 eldarica-misc/LIA/llreve/loop3_safe.c-1_000.smt2 false 10.12 2.65 apollon008 eldarica-misc/LIA/llreve/loop_unswitching_safe.c-1_000.smt2 false 12.60 3.14 apollon011 eldarica-misc/LIA/llreve/simple-loop_merged_safe.c-1_000.smt2 true 53.65 24.67 apollon162 eldarica-misc/LIA/llreve/break_merged_safe.c-1_000.smt2 TIMEOUT 1800.53 1726.13 apollon098 eldarica-misc/LIA/llreve/barthe2-big2_safe.c-1_000.smt2 false 14.49 3.47 apollon042 eldarica-misc/LIA/llreve/nested-while_merged_unsafe.c-1_000.smt2 false 12.65 3.07 apollon168 eldarica-misc/LIA/llreve/square_twice_merged_safe.c-1_000.smt2 TIMEOUT 1800.32 1736.85 apollon159 eldarica-misc/LIA/llreve/nested-while_safe.c-1_000.smt2 unknown 12.84 3.22 apollon053 eldarica-misc/LIA/llreve/barthe_merged_safe.c-1_000.smt2 TIMEOUT 1800.87 1711.69 apollon012 eldarica-misc/LIA/llreve/barthe2-big_safe.c-1_000.smt2 false 11.69 2.98 apollon099 eldarica-misc/LIA/llreve/break_safe.c-1_000.smt2 TIMEOUT 1800.17 1719.43 apollon085 eldarica-misc/LIA/llreve/loop2_merged_safe.c-1_000.smt2 TIMEOUT 1800.15 1748.48 apollon034 eldarica-misc/LIA/llreve/nested-while_merged_safe.c-1_000.smt2 unknown 22.72 5.60 apollon142 eldarica-misc/LIA/llreve/barthe2_merged_safe.c-1_000.smt2 TIMEOUT 1800.10 1747.65 apollon039 eldarica-misc/LIA/llreve/digits10_inl_safe.c-1_000.smt2 false 12.21 3.06 apollon053 eldarica-misc/LIA/llreve/barthe2-big2_merged_safe.c-1_000.smt2 TIMEOUT 1800.39 1733.16 apollon074 eldarica-misc/LIA/llreve/while_after_while_if_merged_safe.c-1_000.smt2 TIMEOUT 1800.55 1724.81 apollon009 eldarica-misc/LIA/llreve/bug15_safe.c-1_000.smt2 true 15.91 4.01 apollon162 eldarica-misc/LIA/llreve/loop3_merged_safe.c-1_000.smt2 unknown 16.26 3.96 apollon098 eldarica-misc/LIA/llreve/while_after_while_if_safe.c-1_000.smt2 false 12.30 3.14 apollon035 eldarica-misc/LIA/llreve/square_twice_safe_weaved.c-1_000.smt2 unknown 15.64 3.83 apollon017 eldarica-misc/LIA/llreve/loop5_merged_unsafe.c-1_000.smt2 false 11.64 3.15 apollon050 eldarica-misc/LIA/llreve/simple-loop_safe.c-1_000.smt2 false 9.20 2.39 apollon104 eldarica-misc/LIA/llreve/upcount_safe.c-1_000.smt2 TIMEOUT 1801.01 1710.51 apollon006 eldarica-misc/LIA/reve/014c-horn_000.smt2 unknown 16.43 4.15 apollon070 eldarica-misc/LIA/reve/026-horn_000.smt2 true 10.84 2.96 apollon082 eldarica-misc/LIA/reve/007-horn_000.smt2 true 11.91 3.06 apollon033 eldarica-misc/LIA/reve/019b-horn_000.smt2 TIMEOUT 1800.17 1635.02 apollon034 eldarica-misc/LIA/reve/016b-horn_000.smt2 true 13.28 3.24 apollon008 eldarica-misc/LIA/reve/010b-horn_000.smt2 TIMEOUT 1800.38 1732.08 apollon043 eldarica-misc/LIA/reve/013-horn_000.smt2 TIMEOUT 1800.15 1749.37 apollon031 eldarica-misc/LIA/reve/003c-horn_000.smt2 TIMEOUT 1800.74 1711.73 apollon086 eldarica-misc/LIA/reve/007b-horn_000.smt2 true 11.04 2.93 apollon014 eldarica-misc/LIA/reve/024b-horn_000.smt2 TIMEOUT 1800.62 1723.27 apollon162 eldarica-misc/LIA/reve/011c-horn_000.smt2 false 12.14 3.04 apollon077 eldarica-misc/LIA/reve/003b-horn_000.smt2 TIMEOUT 1800.50 1683.75 apollon136 eldarica-misc/LIA/reve/014-horn_000.smt2 TIMEOUT 1800.20 1749.90 apollon155 eldarica-misc/LIA/reve/020b-horn_000.smt2 TIMEOUT 1800.43 1732.30 apollon014 eldarica-misc/LIA/reve/015-horn_000.smt2 TIMEOUT 1800.13 1745.36 apollon125 eldarica-misc/LIA/reve/020-horn_000.smt2 TIMEOUT 1800.53 1726.89 apollon039 eldarica-misc/LIA/reve/010-horn_000.smt2 TIMEOUT 1800.47 1731.60 apollon165 eldarica-misc/LIA/reve/008b-horn_000.smt2 TIMEOUT 1800.25 1736.62 apollon142 eldarica-misc/LIA/reve/008-horn_000.smt2 TIMEOUT 1800.25 1740.08 apollon145 eldarica-misc/LIA/reve/011-horn_000.smt2 true 21.28 5.39 apollon146 eldarica-misc/LIA/reve/002c-horn_000.smt2 false 13.71 3.43 apollon154 eldarica-misc/LIA/reve/027b-horn_000.smt2 unknown 12.52 3.22 apollon040 eldarica-misc/LIA/reve/025b-horn_000.smt2 unknown 19.24 4.62 apollon162 eldarica-misc/LIA/reve/002d-horn_000.smt2 false 14.06 3.49 apollon011 eldarica-misc/LIA/reve/012d-horn_000.smt2 false 10.58 2.69 apollon063 eldarica-misc/LIA/reve/019-horn_000.smt2 TIMEOUT 1800.24 1738.96 apollon011 eldarica-misc/LIA/reve/015b-horn_000.smt2 TIMEOUT 1800.09 1745.68 apollon020 eldarica-misc/LIA/reve/009-horn_000.smt2 true 30.82 8.69 apollon131 eldarica-misc/LIA/reve/012b-horn_000.smt2 TIMEOUT 1800.24 1738.48 apollon070 eldarica-misc/LIA/reve/026b-horn_000.smt2 true 10.51 2.69 apollon032 eldarica-misc/LIA/reve/014d-horn_000.smt2 unknown 16.90 4.36 apollon073 eldarica-misc/LIA/reve/016-horn_000.smt2 true 13.41 3.30 apollon132 eldarica-misc/LIA/reve/004b-horn_000.smt2 TIMEOUT 1800.18 1719.11 apollon102 eldarica-misc/LIA/reve/003d-horn_000.smt2 TIMEOUT 1800.21 1706.04 apollon057 eldarica-misc/LIA/reve/018-horn_000.smt2 TIMEOUT 1800.28 1739.12 apollon151 eldarica-misc/LIA/reve/020c-horn_000.smt2 false 11.35 2.81 apollon134 eldarica-misc/LIA/reve/017b-horn_000.smt2 true 11.54 2.96 apollon040 eldarica-misc/LIA/reve/023b-horn_000.smt2 true 37.14 13.20 apollon105 eldarica-misc/LIA/reve/012c-horn_000.smt2 false 10.42 2.70 apollon130 eldarica-misc/LIA/reve/025c-horn_000.smt2 unknown 29.37 7.43 apollon033 eldarica-misc/LIA/reve/025d-horn_000.smt2 unknown 27.54 6.75 apollon068 eldarica-misc/LIA/reve/004-horn_000.smt2 TIMEOUT 1800.56 1721.72 apollon035 eldarica-misc/LIA/reve/020d-horn_000.smt2 false 10.10 2.59 apollon095 eldarica-misc/LIA/reve/011b-horn_000.smt2 true 20.80 5.23 apollon012 eldarica-misc/LIA/reve/002b-horn_000.smt2 true 14.78 3.73 apollon086 eldarica-misc/LIA/reve/024-horn_000.smt2 TIMEOUT 1800.51 1726.17 apollon041 eldarica-misc/LIA/reve/012-horn_000.smt2 TIMEOUT 1800.19 1741.25 apollon103 eldarica-misc/LIA/reve/023-horn_000.smt2 true 37.41 12.28 apollon152 eldarica-misc/LIA/reve/027-horn_000.smt2 true 12.34 3.08 apollon034 eldarica-misc/LIA/reve/018b-horn_000.smt2 TIMEOUT 1800.22 1740.20 apollon044 eldarica-misc/LIA/reve/017-horn_000.smt2 true 10.74 2.81 apollon075 eldarica-misc/LIA/reve/013b-horn_000.smt2 TIMEOUT 1800.24 1746.31 apollon158 eldarica-misc/LIA/reve/011d-horn_000.smt2 false 12.38 3.19 apollon030 eldarica-misc/LIA/reve/002-horn_000.smt2 true 14.55 3.60 apollon024 eldarica-misc/LIA/reve/025-horn_000.smt2 unknown 18.84 4.79 apollon038 eldarica-misc/LIA/reve/009b-horn_000.smt2 TIMEOUT 1800.19 1746.29 apollon053 eldarica-misc/LIA/reve/003-horn_000.smt2 TIMEOUT 1801.50 1545.91 apollon081 eldarica-misc/LIA/reve/014b-horn_000.smt2 TIMEOUT 1800.23 1749.06 apollon056 eldarica-misc/LIA/HOLA/17.c_000.smt2 TIMEOUT 1800.36 1737.18 apollon116 eldarica-misc/LIA/HOLA/27.c_000.smt2 TIMEOUT 1800.22 1743.60 apollon107 eldarica-misc/LIA/HOLA/18.c_000.smt2 unknown 33.57 12.11 apollon070 eldarica-misc/LIA/HOLA/34.c_000.smt2 unknown 49.53 26.41 apollon162 eldarica-misc/LIA/HOLA/41.c_000.smt2 TIMEOUT 1800.41 1735.29 apollon020 eldarica-misc/LIA/HOLA/21.c_000.smt2 TIMEOUT 1800.22 1741.64 apollon049 eldarica-misc/LIA/HOLA/06.c_000.smt2 unknown 34.75 12.80 apollon067 eldarica-misc/LIA/HOLA/09.c_000.smt2 true 339.13 301.26 apollon096 eldarica-misc/LIA/HOLA/05.c_000.smt2 true 75.55 48.88 apollon126 eldarica-misc/LIA/HOLA/10.c_000.smt2 unknown 33.97 11.97 apollon167 eldarica-misc/LIA/HOLA/33.c_000.smt2 unknown 119.62 90.20 apollon158 eldarica-misc/LIA/HOLA/43.c_000.smt2 true 32.34 11.88 apollon030 eldarica-misc/LIA/HOLA/35.c_000.smt2 true 17.91 4.59 apollon054 eldarica-misc/LIA/HOLA/44.c_000.smt2 true 60.19 32.68 apollon109 eldarica-misc/LIA/HOLA/13.c_000.smt2 true 38.95 15.15 apollon167 eldarica-misc/LIA/HOLA/22.c_000.smt2 unknown 32.25 9.37 apollon137 eldarica-misc/LIA/HOLA/37.c_000.smt2 unknown 84.81 55.07 apollon010 eldarica-misc/LIA/HOLA/42.c_000.smt2 unknown 54.26 29.25 apollon162 eldarica-misc/LIA/HOLA/02.c_000.smt2 true 36.54 13.88 apollon036 eldarica-misc/LIA/HOLA/46.c_000.smt2 true 231.11 202.19 apollon056 eldarica-misc/LIA/HOLA/07.c_000.smt2 unknown 31.37 8.64 apollon132 eldarica-misc/LIA/HOLA/31.c_000.smt2 unknown 85.54 59.22 apollon148 eldarica-misc/LIA/HOLA/32.c_000.smt2 unknown 33.63 10.67 apollon105 eldarica-misc/LIA/HOLA/25.c_000.smt2 true 398.08 364.31 apollon152 eldarica-misc/LIA/HOLA/19.c_000.smt2 TIMEOUT 1800.42 1733.85 apollon041 eldarica-misc/LIA/HOLA/14.c_000.smt2 unknown 241.26 209.16 apollon021 eldarica-misc/LIA/HOLA/30.c_000.smt2 TIMEOUT 1800.76 1740.13 apollon107 eldarica-misc/LIA/HOLA/12.c_000.smt2 TIMEOUT 1800.39 1740.06 apollon082 eldarica-misc/LIA/HOLA/08.c_000.smt2 true 1411.69 1362.96 apollon002 eldarica-misc/LIA/HOLA/24.c_000.smt2 TIMEOUT 1800.12 1746.17 apollon154 eldarica-misc/LIA/HOLA/26.c_000.smt2 unknown 130.33 102.55 apollon020 eldarica-misc/LIA/HOLA/20.c_000.smt2 unknown 95.94 67.93 apollon082 eldarica-misc/LIA/HOLA/01.c_000.smt2 true 18.41 4.63 apollon075 eldarica-misc/LIA/HOLA/04.c_000.smt2 true 13.73 3.49 apollon069 eldarica-misc/LIA/HOLA/16.c_000.smt2 unknown 29.71 8.05 apollon070 eldarica-misc/LIA/HOLA/28.c_000.smt2 true 45.95 18.77 apollon063 eldarica-misc/LIA/HOLA/11.c_000.smt2 TIMEOUT 1800.39 1737.76 apollon137 eldarica-misc/LIA/HOLA/36.c_000.smt2 unknown 181.67 148.62 apollon113 eldarica-misc/LIA/HOLA/38.c_000.smt2 unknown 49.48 18.66 apollon053 eldarica-misc/LIA/HOLA/39.c_000.smt2 TIMEOUT 1800.98 1712.70 apollon097 eldarica-misc/LIA/HOLA/45.c_000.smt2 unknown 57.84 31.89 apollon037 eldarica-misc/LIA/HOLA/40.c_000.smt2 true 134.95 104.52 apollon124 eldarica-misc/LIA/HOLA/23.c_000.smt2 TIMEOUT 1800.75 1741.92 apollon058 eldarica-misc/LIA/HOLA/03.c_000.smt2 TIMEOUT 1800.19 1746.20 apollon003 eldarica-misc/LIA/HOLA/15.c_000.smt2 TIMEOUT 1800.73 1719.95 apollon002 eldarica-misc/LIA/HOLA/29.c_000.smt2 unknown 135.87 106.41 apollon019 llreve-bench/smt2/loop__nested-while_000.smt2 unknown 12.37 3.11 apollon158 llreve-bench/smt2/loop__fib_000.smt2 TIMEOUT 1800.45 1733.03 apollon060 llreve-bench/smt2/loop__loop_000.smt2 true 12.97 3.29 apollon062 llreve-bench/smt2/loop__digits10_inl_000.smt2 true 22.14 5.52 apollon115 llreve-bench/smt2/loop__barthe2-big_000.smt2 TIMEOUT 1800.42 1732.52 apollon121 llreve-bench/smt2/loop__upcount_000.smt2 TIMEOUT 1800.40 1736.54 apollon111 llreve-bench/smt2/loop__break_000.smt2 unknown 22.29 5.64 apollon161 llreve-bench/smt2/loop__while-if_000.smt2 true 11.93 3.16 apollon074 llreve-bench/smt2/faulty__barthe!_000.smt2 TIMEOUT 1800.71 1714.97 apollon025 llreve-bench/smt2/loop__loop3_000.smt2 TIMEOUT 1800.51 1722.18 apollon063 llreve-bench/smt2/loop__barthe2_000.smt2 TIMEOUT 1800.36 1732.58 apollon154 llreve-bench/smt2/loop__loop_unswitching_000.smt2 true 14.48 3.60 apollon103 llreve-bench/smt2/loop__break_single_000.smt2 true 1415.34 1355.50 apollon040 llreve-bench/smt2/loop__barthe2-big2_000.smt2 TIMEOUT 1800.27 1738.76 apollon161 llreve-bench/smt2/loop__barthe_000.smt2 TIMEOUT 1800.50 1726.93 apollon074 llreve-bench/smt2/loop__barthe2-big3_000.smt2 unknown 13.39 3.42 apollon058 llreve-bench/smt2/loop__loop2_000.smt2 true 11.73 3.01 apollon030 llreve-bench/smt2/loop__simple-loop_000.smt2 true 37.39 13.43 apollon098 llreve-bench/smt2/faulty__nested-while!_000.smt2 false 12.48 3.25 apollon153 llreve-bench/smt2/loop__bug15_000.smt2 true 10.38 2.70 apollon150 llreve-bench/smt2/loop__while_after_while_if_000.smt2 true 17.38 4.40 apollon070 llreve-bench/smt2/faulty__loop5!_000.smt2 false 10.85 2.81 apollon027 hopv/lia/mochi/intro2_000.smt2 true 10.13 2.60 apollon018 hopv/lia/mochi/neg1_000.smt2 false 10.48 2.63 apollon118 hopv/lia/mochi/sum4_000.smt2 TIMEOUT 1800.67 1728.29 apollon092 hopv/lia/mochi/sum_000.smt2 true 10.28 2.72 apollon063 hopv/lia/mochi/exception_000.smt2 true 10.33 2.81 apollon100 hopv/lia/mochi/fxx_000.smt2 true 9.81 2.56 apollon011 hopv/lia/mochi/enc-zip3_000.smt2 true 10.33 2.88 apollon142 hopv/lia/mochi/array_init_000.smt2 TIMEOUT 1800.44 1730.41 apollon043 hopv/lia/mochi/map_000.smt2 true 9.83 2.55 apollon043 hopv/lia/mochi/mult_000.smt2 true 10.23 2.60 apollon069 hopv/lia/mochi/intro3_000.smt2 true 10.28 2.64 apollon003 hopv/lia/mochi/sum2_000.smt2 TIMEOUT 1800.74 1726.39 apollon027 hopv/lia/mochi/intro1_000.smt2 true 10.76 2.91 apollon130 hopv/lia/mochi/exc-simple_000.smt2 true 10.36 2.73 apollon011 hopv/lia/mochi/sum3_000.smt2 TIMEOUT 1800.66 1727.33 apollon116 hopv/lia/mochi/enc-rev_accum_000.smt2 true 12.29 3.00 apollon033 hopv/lia/fpice/inductive6_000.smt2 true 10.62 2.80 apollon156 hopv/lia/fpice/inductive2_000.smt2 true 10.92 2.81 apollon024 hopv/lia/fpice/inductive5_000.smt2 true 10.11 2.55 apollon055 hopv/lia/fpice/inductive4_000.smt2 true 13.00 3.22 apollon040 hopv/lia/fpice/inductive6-3_000.smt2 true 10.83 2.78 apollon028 hopv/lia/fpice/inductive6-2_000.smt2 true 10.97 2.72 apollon005 hopv/lia/fpice/inductive3_000.smt2 true 10.62 2.87 apollon126 hopv/lia/termination/Ackermann03_000.smt2 true 10.69 2.75 apollon004 hopv/lia/termination/alias_partial00_000.smt2 true 11.54 2.88 apollon130 hopv/lia/termination/append01_000.smt2 true 10.54 2.89 apollon054 hopv/lia/termination/CE-0CFA02_000.smt2 true 10.18 2.65 apollon039 hopv/lia/termination/McCarthy9101_000.smt2 true 10.41 2.69 apollon163 hopv/lia/termination/Ackermann00_000.smt2 true 10.03 2.56 apollon021 hopv/lia/termination/binomial01_000.smt2 true 10.98 2.96 apollon136 hopv/lia/termination/CE-1CFA07_000.smt2 false 11.38 2.95 apollon107 hopv/lia/termination/Fibonacci00_000.smt2 true 10.03 2.67 apollon162 hopv/lia/termination/Ackermann01_000.smt2 true 10.12 2.66 apollon107 hopv/lia/termination/alias_partial01_000.smt2 true 9.85 2.63 apollon007 hopv/lia/termination/CE-1CFA01_000.smt2 true 11.96 3.09 apollon012 hopv/lia/termination/CE-1CFA05_000.smt2 true 10.71 2.71 apollon038 hopv/lia/termination/zip01_000.smt2 true 10.00 2.61 apollon136 hopv/lia/termination/McCarthy9100_000.smt2 true 10.09 2.59 apollon103 hopv/lia/termination/binomial00_000.smt2 true 10.03 2.64 apollon167 hopv/lia/termination/CE-1CFA02_000.smt2 true 12.67 3.15 apollon134 hopv/lia/termination/append00_000.smt2 true 9.66 2.54 apollon081 hopv/lia/termination/CE-0CFA05_000.smt2 true 10.35 2.65 apollon038 hopv/lia/termination/alias_partial02_000.smt2 true 9.85 2.59 apollon057 hopv/lia/termination/CE-1CFA09_000.smt2 false 11.44 2.91 apollon128 hopv/lia/termination/CE-1CFA00_000.smt2 true 12.14 3.09 apollon094 hopv/lia/termination/binomial03_000.smt2 true 11.15 2.82 apollon011 hopv/lia/termination/zip00_000.smt2 true 10.25 2.63 apollon028 hopv/lia/termination/CE-0CFA01_000.smt2 true 10.91 2.85 apollon032 hopv/lia/termination/Fibonacci01_000.smt2 true 9.96 2.68 apollon054 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 41047.93 - Statistics: 1312 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 682