BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/theta.xml name: theta run sets: CHC-COMP2025_check-sat.LIA date: Tue, 2025-05-06 14:29:00 CEST tool: ThetaCHC 6.13.2 tool executable: ./chc options: resource limits: - memory: 30000.0 MB - time: 1800 s - cpu cores: 8 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 8 - memory: 30000.0 MB ------------------------------------------------------------ CHC-COMP2025_check-sat.LIA Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------------------- kind2-chc-benchmarks/data/DRAGON_all_e1_4022_e7_2886_000.smt2 TIMEOUT 1800.45 1260.65 apollon081 kind2-chc-benchmarks/data/car_6_e3_294_e5_979_000.smt2 TIMEOUT 1800.62 1095.43 apollon064 kind2-chc-benchmarks/data/FIREFLY_all_e3_3496_000.smt2 TIMEOUT 1800.59 539.68 apollon113 kind2-chc-benchmarks/data/swimmingpool_6_e7_399_000.smt2 TIMEOUT 1801.05 1527.34 apollon073 kind2-chc-benchmarks/data/traffic_000.smt2 unknown 21.21 6.38 apollon142 kind2-chc-benchmarks/data/FIREFLY_4_000.smt2 TIMEOUT 1800.71 1263.94 apollon015 kind2-chc-benchmarks/data/SYNAPSE_5_e1_811_e2_1026_000.smt2 TIMEOUT 1801.30 1187.20 apollon119 kind2-chc-benchmarks/data/car_5_e3_11_e5_24_000.smt2 TIMEOUT 1800.33 1535.39 apollon144 kind2-chc-benchmarks/data/ILLINOIS_2_e1_834_e2_3395_000.smt2 TIMEOUT 1803.26 595.83 apollon092 kind2-chc-benchmarks/data/DRAGON_3_e1_4783_e1_3755_000.smt2 TIMEOUT 1800.91 1021.12 apollon103 kind2-chc-benchmarks/data/FIREFLY_5_e2_2884_e2_1492_000.smt2 TIMEOUT 1801.18 1525.89 apollon102 kind2-chc-benchmarks/data/MOESI_2_e1_1753_e2_615_000.smt2 false 26.58 13.93 apollon017 kind2-chc-benchmarks/data/MESI_i4_e7_1017_e6_1132_000.smt2 TIMEOUT 1800.23 885.85 apollon093 kind2-chc-benchmarks/data/car_4_e8_118_000.smt2 TIMEOUT 1800.46 1533.47 apollon092 kind2-chc-benchmarks/data/ILLINOIS_3_e3_2581_e7_3447_000.smt2 TIMEOUT 1800.13 429.46 apollon035 kind2-chc-benchmarks/data/speed2_e8_750_000.smt2 unknown 24.95 7.13 apollon009 kind2-chc-benchmarks/data/DRAGON_4_e2_2799_e2_2251_000.smt2 TIMEOUT 1801.25 1527.64 apollon126 kind2-chc-benchmarks/data/FIREFLY_8_e2_1711_e1_1489_000.smt2 TIMEOUT 1801.12 1523.88 apollon148 kind2-chc-benchmarks/data/FIREFLY_luke_1a_e2_284_e2_2755_000.smt2 TIMEOUT 1801.17 1518.37 apollon113 kind2-chc-benchmarks/data/microwave28_000.smt2 false 56.33 30.31 apollon021 kind2-chc-benchmarks/data/relatedCounters_medium_000.smt2 TIMEOUT 1800.41 1170.45 apollon100 kind2-chc-benchmarks/data/car_4_e3_57_e4_1047_000.smt2 TIMEOUT 1800.25 1540.33 apollon139 kind2-chc-benchmarks/data/DRAGON_10_000.smt2 TIMEOUT 1800.59 1459.71 apollon117 kind2-chc-benchmarks/data/rtp_2_000.smt2 TIMEOUT 1801.05 1494.35 apollon031 kind2-chc-benchmarks/data/SYNAPSE_3_e8_1329_e3_421_000.smt2 TIMEOUT 1801.20 1243.30 apollon071 kind2-chc-benchmarks/data/microwave35_000.smt2 TIMEOUT 1800.51 1458.09 apollon068 kind2-chc-benchmarks/data/metros_4_e3_1091_e3_522_000.smt2 unknown 43.42 12.86 apollon057 kind2-chc-benchmarks/data/durationThm_3_e2_148_000.smt2 TIMEOUT 1800.76 1512.09 apollon155 kind2-chc-benchmarks/data/DRAGON_13_e7_2336_000.smt2 TIMEOUT 1800.61 565.47 apollon117 kind2-chc-benchmarks/data/microwave14_000.smt2 TIMEOUT 1801.14 697.74 apollon077 kind2-chc-benchmarks/data/PRODUCER_CONSUMER_vt_000.smt2 TIMEOUT 1801.43 1233.54 apollon021 kind2-chc-benchmarks/data/ticket3i_all_e3_557_e7_3464_000.smt2 TIMEOUT 1801.50 1085.09 apollon036 kind2-chc-benchmarks/data/FIREFLY_luke_1a_e2_284_e7_998_000.smt2 TIMEOUT 1801.42 1523.36 apollon154 kind2-chc-benchmarks/data/peterson_2_000.smt2 TIMEOUT 1800.28 1568.39 apollon090 kind2-chc-benchmarks/data/car_3_e2_695_000.smt2 true 1546.41 288.19 apollon090 kind2-chc-benchmarks/data/DRAGON_4_e2_2799_e3_1915_000.smt2 TIMEOUT 1803.58 1374.13 apollon128 kind2-chc-benchmarks/data/car_2_e7_1027_e7_359_000.smt2 TIMEOUT 1800.54 1533.28 apollon007 kind2-chc-benchmarks/data/DRAGON_1_000.smt2 TIMEOUT 1801.31 1528.13 apollon133 kind2-chc-benchmarks/data/DRAGON_4_e7_2329_e3_4574_000.smt2 false 412.74 357.47 apollon117 kind2-chc-benchmarks/data/metros_5_000.smt2 unknown 44.91 13.47 apollon152 kind2-chc-benchmarks/data/ILLINOIS_a1_000.smt2 TIMEOUT 1801.20 1502.14 apollon053 kind2-chc-benchmarks/data/ILLINOIS_4_e7_2651_e7_2847_000.smt2 TIMEOUT 1800.85 1530.66 apollon144 kind2-chc-benchmarks/data/FIREFLY_4_e3_3511_e3_422_000.smt2 TIMEOUT 1800.85 1528.96 apollon134 kind2-chc-benchmarks/data/DRAGON_10_e7_3861_e7_2180_000.smt2 TIMEOUT 1800.51 1102.11 apollon086 kind2-chc-benchmarks/data/DRAGON_1_e2_1997_000.smt2 TIMEOUT 1801.42 1527.34 apollon149 kind2-chc-benchmarks/data/metros_3_e4_987_e3_291_000.smt2 unknown 42.44 12.72 apollon115 kind2-chc-benchmarks/data/DRAGON_8_e3_786_000.smt2 TIMEOUT 1800.56 1525.87 apollon069 kind2-chc-benchmarks/data/peterson_all_000.smt2 TIMEOUT 1801.12 1498.42 apollon065 kind2-chc-benchmarks/data/ticket3i_5_e7_3307_000.smt2 TIMEOUT 1800.27 1453.66 apollon097 kind2-chc-benchmarks/data/DRAGON_all_000.smt2 TIMEOUT 1800.47 1121.22 apollon145 kind2-chc-benchmarks/data/DRAGON_9_000.smt2 TIMEOUT 1801.51 1521.83 apollon097 kind2-chc-benchmarks/data/FIREFLY_1_e1_1092_e1_1486_000.smt2 TIMEOUT 1802.68 384.96 apollon158 kind2-chc-benchmarks/data/swimmingpool_9_000.smt2 TIMEOUT 1801.10 1527.53 apollon129 kind2-chc-benchmarks/data/DRAGON_3_e3_5422_e2_3135_000.smt2 TIMEOUT 1800.98 1248.80 apollon136 kind2-chc-benchmarks/data/swimmingpool_6_e7_10_e7_341_000.smt2 TIMEOUT 1801.19 1521.60 apollon134 kind2-chc-benchmarks/data/DRAGON_3_e1_4783_000.smt2 TIMEOUT 1802.94 1005.01 apollon100 kind2-chc-benchmarks/data/MESI_3_000.smt2 unknown 48.18 15.31 apollon061 kind2-chc-benchmarks/data/hysteresis_all_000.smt2 unknown 25.65 7.25 apollon004 kind2-chc-benchmarks/data/DRAGON_3_e1_4783_e2_158_000.smt2 TIMEOUT 1800.63 1540.94 apollon104 kind2-chc-benchmarks/data/rtp_vt_000.smt2 TIMEOUT 1801.44 1493.04 apollon067 kind2-chc-benchmarks/data/cd_e7_8_000.smt2 unknown 26.40 7.35 apollon162 kind2-chc-benchmarks/data/MESI_4_e7_1140_e7_433_000.smt2 TIMEOUT 1800.62 1458.08 apollon144 kind2-chc-benchmarks/data/metros_1_e8_725_000.smt2 unknown 44.28 13.26 apollon003 kind2-chc-benchmarks/data/MOESI_2_e2_155_000.smt2 TIMEOUT 1802.60 451.71 apollon015 kind2-chc-benchmarks/data/DRAGON_3_e1_4783_e3_511_000.smt2 TIMEOUT 1800.90 1199.69 apollon069 kind2-chc-benchmarks/data/speed2_e8_449_000.smt2 unknown 24.00 6.94 apollon034 kind2-chc-benchmarks/data/DRAGON_all_e2_6104_e1_6205_000.smt2 TIMEOUT 1800.37 1315.43 apollon054 kind2-chc-benchmarks/data/FIREFLY_8_000.smt2 TIMEOUT 1801.17 1522.89 apollon032 kind2-chc-benchmarks/data/ticket3i_all_e7_591_000.smt2 TIMEOUT 1801.08 1401.57 apollon101 kind2-chc-benchmarks/data/DRAGON_11_e3_382_e4_4421_000.smt2 TIMEOUT 1800.44 971.50 apollon123 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e3_671_000.smt2 TIMEOUT 1804.65 406.04 apollon011 kind2-chc-benchmarks/data/MOESI_2_e8_101_000.smt2 TIMEOUT 1804.30 446.90 apollon168 kind2-chc-benchmarks/data/metros_4_e6_239_e2_307_000.smt2 unknown 43.16 12.89 apollon160 kind2-chc-benchmarks/data/FIREFLY_10_e7_919_e2_3192_000.smt2 TIMEOUT 1801.04 1528.39 apollon102 kind2-chc-benchmarks/data/durationThm_3_e3_442_e4_165_000.smt2 TIMEOUT 1800.62 1530.60 apollon007 kind2-chc-benchmarks/data/ticket3i_7_e7_3176_000.smt2 TIMEOUT 1800.59 1403.38 apollon039 kind2-chc-benchmarks/data/microwave30_000.smt2 TIMEOUT 1800.87 1238.92 apollon042 kind2-chc-benchmarks/data/MESI_i4_e6_2175_000.smt2 TIMEOUT 1800.86 1359.53 apollon031 kind2-chc-benchmarks/data/MESI_i3_e1_447_e6_2281_000.smt2 TIMEOUT 1801.23 1535.78 apollon069 kind2-chc-benchmarks/data/DRAGON_all2_e7_5406_000.smt2 TIMEOUT 1801.13 544.19 apollon111 kind2-chc-benchmarks/data/durationThm_2_e7_149_000.smt2 false 1369.82 1025.29 apollon020 kind2-chc-benchmarks/data/ILLINOIS_2_e1_834_e7_3738_000.smt2 false 28.28 14.58 apollon061 kind2-chc-benchmarks/data/FIREFLY_all_e3_1600_e3_2055_000.smt2 TIMEOUT 1801.03 1525.71 apollon147 kind2-chc-benchmarks/data/MOESI_2_e3_929_000.smt2 TIMEOUT 1800.93 778.12 apollon099 kind2-chc-benchmarks/data/DRAGON_10_e1_998_000.smt2 TIMEOUT 1801.22 1516.87 apollon042 kind2-chc-benchmarks/data/FIREFLY_8_e2_1711_e2_2673_000.smt2 TIMEOUT 1800.92 1510.60 apollon065 kind2-chc-benchmarks/data/ILLINOIS_5_000.smt2 TIMEOUT 1801.16 1516.91 apollon006 kind2-chc-benchmarks/data/metros_2_e1_1116_e1_556_000.smt2 unknown 42.84 12.85 apollon025 kind2-chc-benchmarks/data/SYNAPSE_123_e8_953_e1_1128_000.smt2 TIMEOUT 1800.96 852.22 apollon031 kind2-chc-benchmarks/data/speed_e7_207_e8_507_000.smt2 true 12.84 3.98 apollon001 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e7_3191_e2_1864_000.smt2 false 28.03 14.46 apollon048 kind2-chc-benchmarks/data/DRAGON_all_e7_4065_000.smt2 TIMEOUT 1800.51 1237.52 apollon030 kind2-chc-benchmarks/data/microwave02_000.smt2 true 14.59 4.18 apollon137 kind2-chc-benchmarks/data/ex8_e7_74_e8_302_000.smt2 unknown 24.18 7.14 apollon122 kind2-chc-benchmarks/data/metros_4_e3_1091_e4_232_000.smt2 unknown 44.06 12.98 apollon074 kind2-chc-benchmarks/data/MESI_i1_e4_1986_000.smt2 false 25.72 11.93 apollon156 kind2-chc-benchmarks/data/durationThm_3_e7_334_e1_431_000.smt2 TIMEOUT 1801.56 1182.58 apollon009 kind2-chc-benchmarks/data/FIREFLY_all_e2_2924_e1_768_000.smt2 TIMEOUT 1800.68 674.56 apollon099 kind2-chc-benchmarks/data/FIREFLY_5_e2_2884_e7_3594_000.smt2 TIMEOUT 1801.19 1526.32 apollon139 kind2-chc-benchmarks/data/traffic_e7_46_000.smt2 unknown 22.12 6.53 apollon128 kind2-chc-benchmarks/data/SYNAPSE_5_000.smt2 TIMEOUT 1800.77 1082.92 apollon152 kind2-chc-benchmarks/data/FIREFLY_3_e2_2236_e7_3681_000.smt2 TIMEOUT 1801.05 1531.39 apollon019 kind2-chc-benchmarks/data/FIREFLY_4_e3_3511_e5_3248_000.smt2 TIMEOUT 1801.14 1096.91 apollon056 kind2-chc-benchmarks/data/durationThm_3_e3_442_e5_260_000.smt2 TIMEOUT 1800.37 1302.02 apollon005 kind2-chc-benchmarks/data/metros_1_e1_846_e2_1394_000.smt2 unknown 45.58 13.40 apollon096 kind2-chc-benchmarks/data/car_6_e3_294_e3_47_000.smt2 TIMEOUT 1801.54 951.72 apollon009 kind2-chc-benchmarks/data/microwave13_000.smt2 TIMEOUT 1801.00 1743.56 apollon080 kind2-chc-benchmarks/data/DRAGON_5_e7_2017_e7_2326_000.smt2 false 413.62 356.79 apollon117 kind2-chc-benchmarks/data/DRAGON_all2_e8_5504_e7_579_000.smt2 TIMEOUT 1800.22 634.69 apollon153 kind2-chc-benchmarks/data/FIREFLY_luke_2_000.smt2 TIMEOUT 1801.01 1525.04 apollon112 kind2-chc-benchmarks/data/PRODUCER_CONSUMER_vt_e2_1352_000.smt2 TIMEOUT 1804.26 1176.75 apollon131 kind2-chc-benchmarks/data/MESI_3_e2_819_e6_1459_000.smt2 unknown 45.13 14.73 apollon131 kind2-chc-benchmarks/data/DRAGON_all2_e3_4612_e5_3642_000.smt2 TIMEOUT 1800.99 635.28 apollon013 kind2-chc-benchmarks/data/SYNAPSE_3_e8_1329_e8_320_000.smt2 TIMEOUT 1800.88 1002.78 apollon057 kind2-chc-benchmarks/data/peterson_3_000.smt2 TIMEOUT 1800.92 1376.75 apollon151 kind2-chc-benchmarks/data/microwave23_000.smt2 false 358.76 332.90 apollon020 kind2-chc-benchmarks/data/FIREFLY_rt_000.smt2 TIMEOUT 1801.14 1525.96 apollon077 kind2-chc-benchmarks/data/FIREFLY_luke_5_000.smt2 TIMEOUT 1800.58 972.41 apollon127 kind2-chc-benchmarks/data/FIREFLY_5_000.smt2 TIMEOUT 1801.07 1527.89 apollon017 kind2-chc-benchmarks/data/FIREFLY_a3_e1_3233_e2_2392_000.smt2 TIMEOUT 1800.78 653.87 apollon107 kind2-chc-benchmarks/data/FIREFLY_4_e3_3511_e2_1923_000.smt2 TIMEOUT 1800.87 1032.42 apollon009 kind2-chc-benchmarks/data/microwave16_000.smt2 true 14.89 4.40 apollon033 kind2-chc-benchmarks/data/metros_1_e8_725_e2_1144_000.smt2 unknown 45.61 13.53 apollon093 kind2-chc-benchmarks/data/car_all_e3_1068_000.smt2 TIMEOUT 1800.74 1485.57 apollon167 kind2-chc-benchmarks/data/MOESI_2_e3_1523_000.smt2 TIMEOUT 1800.67 763.80 apollon010 kind2-chc-benchmarks/data/ticket3i_all_000.smt2 TIMEOUT 1800.86 1494.81 apollon028 kind2-chc-benchmarks/data/MOESI_2_e2_1599_e8_1334_000.smt2 TIMEOUT 1800.87 498.94 apollon016 kind2-chc-benchmarks/data/_6counters_e8_371_e3_224_000.smt2 unknown 24.53 7.13 apollon074 kind2-chc-benchmarks/data/DRAGON_13_e3_1418_e3_2761_000.smt2 TIMEOUT 1800.25 855.12 apollon036 kind2-chc-benchmarks/data/ticket3i_2_000.smt2 TIMEOUT 1801.25 1337.37 apollon117 kind2-chc-benchmarks/data/fast_1_000.smt2 unknown 69.00 28.17 apollon130 kind2-chc-benchmarks/data/MESI_1_e2_162_e7_1545_000.smt2 TIMEOUT 1800.61 1551.40 apollon033 kind2-chc-benchmarks/data/microwave31_000.smt2 false 383.32 356.08 apollon023 kind2-chc-benchmarks/data/ticket3i_3_e8_1703_000.smt2 TIMEOUT 1801.39 1499.38 apollon056 kind2-chc-benchmarks/data/FIREFLY_a3_e1_3233_000.smt2 TIMEOUT 1801.40 770.64 apollon103 kind2-chc-benchmarks/data/FIREFLY_luke_rt_e3_1549_000.smt2 TIMEOUT 1800.83 1137.54 apollon107 kind2-chc-benchmarks/data/speed_e7_492_000.smt2 true 13.38 4.12 apollon093 kind2-chc-benchmarks/data/_6counters_e3_140_e8_149_000.smt2 unknown 23.59 6.96 apollon038 kind2-chc-benchmarks/data/FIREFLY_luke_1a_e7_3042_e3_1213_000.smt2 TIMEOUT 1800.94 1524.38 apollon156 kind2-chc-benchmarks/data/speed2_000.smt2 unknown 24.94 7.09 apollon070 kind2-chc-benchmarks/data/car_all_e8_856_e2_585_000.smt2 TIMEOUT 1800.63 1512.69 apollon151 kind2-chc-benchmarks/data/car_all_e2_142_e7_209_000.smt2 TIMEOUT 1801.22 1428.75 apollon102 kind2-chc-benchmarks/data/microwave15_000.smt2 true 14.29 4.26 apollon105 kind2-chc-benchmarks/data/SYNAPSE_all_e8_251_e1_1852_000.smt2 TIMEOUT 1800.50 1071.47 apollon146 kind2-chc-benchmarks/data/FIREFLY_4_e3_3511_e1_2375_000.smt2 TIMEOUT 1800.88 1519.95 apollon125 kind2-chc-benchmarks/data/ILLINOIS_2_e2_2367_e1_3182_000.smt2 TIMEOUT 1805.10 589.42 apollon038 kind2-chc-benchmarks/data/durationThm_2_e1_301_000.smt2 TIMEOUT 1800.94 1531.19 apollon060 kind2-chc-benchmarks/data/SYNAPSE_123_e7_837_e7_1262_000.smt2 TIMEOUT 1801.11 800.06 apollon098 kind2-chc-benchmarks/data/ILLINOIS_3_e3_2581_e4_958_000.smt2 false 15.29 4.79 apollon137 kind2-chc-benchmarks/data/_6counters_000.smt2 unknown 23.05 6.87 apollon023 kind2-chc-benchmarks/data/cd_000.smt2 unknown 26.40 7.57 apollon010 kind2-chc-benchmarks/data/MOESI_2_e8_926_e2_349_000.smt2 TIMEOUT 1802.48 589.85 apollon125 kind2-chc-benchmarks/data/DRAGON_2_e7_25_e1_154_000.smt2 false 30.18 16.84 apollon061 kind2-chc-benchmarks/data/DRAGON_8_e3_786_e7_4541_000.smt2 TIMEOUT 1800.45 1522.43 apollon044 kind2-chc-benchmarks/data/car_3_e2_777_000.smt2 true 1616.57 303.68 apollon060 kind2-chc-benchmarks/data/DRAGON_11_e2_1678_e1_3565_000.smt2 TIMEOUT 1801.07 1140.80 apollon021 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e2_3049_e1_946_000.smt2 TIMEOUT 1807.33 536.25 apollon154 kind2-chc-benchmarks/data/DRAGON_3_000.smt2 TIMEOUT 1801.42 997.15 apollon073 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e7_3191_e1_1303_000.smt2 false 27.58 14.50 apollon044 kind2-chc-benchmarks/data/DRAGON_5_e7_2017_000.smt2 false 417.26 358.22 apollon041 kind2-chc-benchmarks/data/MOESI_2_e3_929_e3_2294_000.smt2 TIMEOUT 1801.11 731.63 apollon086 kind2-chc-benchmarks/data/steam_boiler_no_arr2_e6_3003_e4_15091_000.smt2 TIMEOUT 1800.81 1487.72 apollon077 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e1_1691_000.smt2 TIMEOUT 1800.53 821.53 apollon153 kind2-chc-benchmarks/data/SYNAPSE_3_e1_1416_e7_193_000.smt2 TIMEOUT 1801.18 644.01 apollon117 kind2-chc-benchmarks/data/FIREFLY_luke_rt_e2_3460_e3_1333_000.smt2 TIMEOUT 1800.85 1237.68 apollon047 kind2-chc-benchmarks/data/metros_2_e1_1116_e2_617_000.smt2 unknown 45.04 13.33 apollon047 kind2-chc-benchmarks/data/FIREFLY_3_e2_2236_000.smt2 TIMEOUT 1801.09 1524.68 apollon018 kind2-chc-benchmarks/data/MOESI_2_e7_2910_e7_1804_000.smt2 false 28.22 14.74 apollon095 kind2-chc-benchmarks/data/DRAGON_12_e2_1618_e2_138_000.smt2 TIMEOUT 1800.99 1218.15 apollon108 kind2-chc-benchmarks/data/Gas_000.smt2 unknown 1218.06 1052.38 apollon152 kind2-chc-benchmarks/data/microwave18_000.smt2 false 808.15 236.43 apollon063 kind2-chc-benchmarks/data/SYNAPSE_1_000.smt2 TIMEOUT 1801.47 1539.88 apollon003 kind2-chc-benchmarks/data/ILLINOIS_2_e2_876_000.smt2 false 25.52 12.78 apollon045 kind2-chc-benchmarks/data/car_5_e7_244_e3_1071_000.smt2 TIMEOUT 1800.58 1527.31 apollon132 kind2-chc-benchmarks/data/MOESI_2_e3_929_e8_1167_000.smt2 TIMEOUT 1802.21 604.46 apollon166 kind2-chc-benchmarks/data/rtp_1_000.smt2 TIMEOUT 1801.35 1529.68 apollon035 kind2-chc-benchmarks/data/metros_2_e2_704_e1_389_000.smt2 unknown 43.39 12.74 apollon098 kind2-chc-benchmarks/data/metros_2_e2_704_e3_76_000.smt2 unknown 44.42 13.30 apollon034 kind2-chc-benchmarks/data/durationThm_1_e7_217_e2_352_000.smt2 TIMEOUT 1800.73 654.66 apollon100 kind2-chc-benchmarks/data/fast_2_000.smt2 unknown 148.39 92.90 apollon158 kind2-chc-benchmarks/data/DRAGON_2_000.smt2 TIMEOUT 1800.74 510.76 apollon162 kind2-chc-benchmarks/data/microwave21_000.smt2 TIMEOUT 1800.87 1747.16 apollon041 kind2-chc-benchmarks/data/metros_3_e3_1275_000.smt2 unknown 43.07 12.75 apollon119 kind2-chc-benchmarks/data/ex3_e8_381_e8_477_000.smt2 unknown 23.82 6.96 apollon142 kind2-chc-benchmarks/data/car_4_e3_57_e6_784_000.smt2 TIMEOUT 1800.68 1519.82 apollon004 kind2-chc-benchmarks/data/DRAGON_all2_e2_2073_e8_3691_000.smt2 TIMEOUT 1800.98 1533.60 apollon137 kind2-chc-benchmarks/data/metros_3_e4_987_e2_80_000.smt2 unknown 44.68 13.41 apollon143 kind2-chc-benchmarks/data/metros_4_e5_1150_000.smt2 unknown 45.69 14.04 apollon088 kind2-chc-benchmarks/data/ticket3i_3_e7_1312_e8_1916_000.smt2 TIMEOUT 1801.30 1471.68 apollon055 kind2-chc-benchmarks/data/DRAGON_10_e3_144_e5_2046_000.smt2 TIMEOUT 1800.35 1216.32 apollon005 kind2-chc-benchmarks/data/hysteresis_2_000.smt2 unknown 24.54 7.16 apollon001 kind2-chc-benchmarks/data/car_3_e7_626_e1_305_000.smt2 false 391.71 334.61 apollon010 kind2-chc-benchmarks/data/DRAGON_13_e7_2336_e2_1255_000.smt2 TIMEOUT 1800.74 1260.81 apollon153 kind2-chc-benchmarks/data/MESI_i3_e1_447_000.smt2 TIMEOUT 1801.30 1573.18 apollon074 kind2-chc-benchmarks/data/ticket3i_all_e2_1117_e7_553_000.smt2 TIMEOUT 1800.44 1415.02 apollon004 kind2-chc-benchmarks/data/FIREFLY_a3_e1_3233_e3_2970_000.smt2 TIMEOUT 1800.47 623.84 apollon039 kind2-chc-benchmarks/data/car_4_e7_592_000.smt2 TIMEOUT 1800.33 1533.45 apollon050 kind2-chc-benchmarks/data/FIREFLY_2_e3_151_e3_1540_000.smt2 TIMEOUT 1800.35 976.80 apollon157 kind2-chc-benchmarks/data/durationThm_1_e7_217_000.smt2 TIMEOUT 1801.68 616.87 apollon100 kind2-chc-benchmarks/data/DRAGON_all2_e3_4612_e3_1543_000.smt2 TIMEOUT 1800.86 754.95 apollon104 kind2-chc-benchmarks/data/microwave01_000.smt2 TIMEOUT 1800.94 1744.79 apollon094 kind2-chc-benchmarks/data/ex8_e7_74_e7_740_000.smt2 unknown 24.91 7.06 apollon139 kind2-chc-benchmarks/data/car_2_e8_491_e7_826_000.smt2 TIMEOUT 1801.05 1501.32 apollon066 kind2-chc-benchmarks/data/swimmingpool_1_e7_1621_000.smt2 TIMEOUT 1801.01 1516.32 apollon082 kind2-chc-benchmarks/data/FIREFLY_3_e2_2236_e2_1058_000.smt2 TIMEOUT 1801.08 1511.45 apollon061 kind2-chc-benchmarks/data/microwave06_000.smt2 TIMEOUT 1801.03 1711.78 apollon058 kind2-chc-benchmarks/data/DRAGON_10_e3_144_e7_523_000.smt2 TIMEOUT 1800.84 1287.97 apollon066 kind2-chc-benchmarks/data/DRAGON_1_e2_1997_e7_3613_e2_3409_000.smt2 TIMEOUT 1801.46 1508.04 apollon097 kind2-chc-benchmarks/data/ticket3i_7_e2_2724_e7_524_000.smt2 TIMEOUT 1800.51 1393.48 apollon149 kind2-chc-benchmarks/data/swimmingpool_4_000.smt2 TIMEOUT 1800.87 1528.61 apollon119 kind2-chc-benchmarks/data/metros_1_e8_725_e3_556_000.smt2 unknown 43.92 13.16 apollon071 kind2-chc-benchmarks/data/MESI_all_000.smt2 TIMEOUT 1801.07 1458.93 apollon043 kind2-chc-benchmarks/data/microwave25_000.smt2 false 345.68 320.37 apollon028 kind2-chc-benchmarks/data/DRAGON_8_000.smt2 TIMEOUT 1800.65 1514.99 apollon109 kind2-chc-benchmarks/data/metros_1_000.smt2 unknown 43.39 13.14 apollon105 kind2-chc-benchmarks/data/car_6_e1_152_e1_391_000.smt2 TIMEOUT 1800.38 1114.28 apollon051 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e3_671_e5_1637_000.smt2 TIMEOUT 1805.68 525.48 apollon099 kind2-chc-benchmarks/data/microwave19_000.smt2 TIMEOUT 1800.67 1367.37 apollon060 kind2-chc-benchmarks/data/FIREFLY_3_e2_2236_e3_2657_000.smt2 false 426.33 363.92 apollon095 kind2-chc-benchmarks/data/PRODUCER_CONSUMER_all_000.smt2 TIMEOUT 1800.79 1312.54 apollon141 kind2-chc-benchmarks/data/DRAGON_8_e2_3896_e3_3125_000.smt2 TIMEOUT 1801.44 1396.03 apollon043 kind2-chc-benchmarks/data/MOESI_2_e3_929_e4_578_000.smt2 TIMEOUT 1804.42 546.78 apollon155 kind2-chc-benchmarks/data/car_all_e8_856_000.smt2 TIMEOUT 1800.59 1531.76 apollon085 kind2-chc-benchmarks/data/DRAGON_14_e3_5120_000.smt2 TIMEOUT 1800.57 1157.98 apollon113 kind2-chc-benchmarks/data/SYNAPSE_6_000.smt2 TIMEOUT 1801.08 1436.88 apollon163 kind2-chc-benchmarks/data/FIREFLY_luke_rt_e2_3460_000.smt2 TIMEOUT 1800.61 895.17 apollon160 kind2-chc-benchmarks/data/DRAGON_5_e1_1835_000.smt2 TIMEOUT 1800.55 1521.68 apollon120 kind2-chc-benchmarks/data/FIREFLY_a3_e2_2086_e7_2614_000.smt2 TIMEOUT 1800.22 820.24 apollon045 kind2-chc-benchmarks/data/metros_1_e2_1102_e7_1163_000.smt2 unknown 45.68 13.90 apollon141 kind2-chc-benchmarks/data/microwave04_000.smt2 true 14.45 4.18 apollon146 kind2-chc-benchmarks/data/metros_3_e3_1275_e5_846_000.smt2 unknown 46.77 14.49 apollon144 kind2-chc-benchmarks/data/FIREFLY_5_e2_2884_e1_2678_000.smt2 TIMEOUT 1801.01 1529.16 apollon006 kind2-chc-benchmarks/data/SYNAPSE_123_e7_837_e3_135_000.smt2 TIMEOUT 1800.50 684.45 apollon014 kind2-chc-benchmarks/data/durationThm_2_e3_99_000.smt2 TIMEOUT 1801.39 1465.44 apollon105 kind2-chc-benchmarks/data/DRAGON_10_e1_3587_e7_872_000.smt2 TIMEOUT 1800.78 656.27 apollon155 kind2-chc-benchmarks/data/metros_1_e1_846_e3_1060_000.smt2 unknown 42.87 13.18 apollon100 kind2-chc-benchmarks/data/car_all_000.smt2 TIMEOUT 1800.82 1515.39 apollon039 kind2-chc-benchmarks/data/DRAGON_3_e2_5343_e1_988_000.smt2 TIMEOUT 1800.63 677.74 apollon005 kind2-chc-benchmarks/data/PRODUCER_CONSUMER_vt_e7_1059_e8_1111_000.smt2 unknown 93.59 64.05 apollon047 kind2-chc-benchmarks/data/speed2_e8_449_e7_353_000.smt2 unknown 24.27 6.77 apollon061 kind2-chc-benchmarks/data/fast_1_e7_2044_000.smt2 unknown 71.06 27.90 apollon025 kind2-chc-benchmarks/data/DRAGON_2_e7_25_000.smt2 false 30.01 16.38 apollon068 kind2-chc-benchmarks/data/durationThm_3_e1_36_000.smt2 TIMEOUT 1800.82 1171.45 apollon096 kind2-chc-benchmarks/data/DRAGON_11_e3_382_e1_505_000.smt2 TIMEOUT 1800.69 1532.34 apollon166 kind2-chc-benchmarks/data/car_4_e3_57_000.smt2 false 333.86 293.56 apollon070 kind2-chc-benchmarks/data/DRAGON_2_e7_25_e8_3171_000.smt2 TIMEOUT 1800.94 657.49 apollon089 kind2-chc-benchmarks/data/MESI_3_e2_819_e8_1896_000.smt2 unknown 46.49 14.78 apollon077 kind2-chc-benchmarks/data/car_all_e3_1068_e3_163_000.smt2 TIMEOUT 1800.70 1499.22 apollon079 kind2-chc-benchmarks/data/microwave03_000.smt2 true 14.68 4.24 apollon022 kind2-chc-benchmarks/data/metros_4_e1_917_000.smt2 unknown 46.82 13.73 apollon086 kind2-chc-benchmarks/data/ticket3i_6_e7_1096_e7_2688_000.smt2 TIMEOUT 1801.27 1491.14 apollon129 kind2-chc-benchmarks/data/DRAGON_10_e2_2785_e3_1744_000.smt2 TIMEOUT 1800.70 1515.48 apollon148 kind2-chc-benchmarks/data/ILLINOIS_2_e2_2367_e3_1601_000.smt2 false 27.99 14.61 apollon082 kind2-chc-benchmarks/data/microwave08_000.smt2 TIMEOUT 1800.45 1694.47 apollon056 kind2-chc-benchmarks/data/swimmingpool_1_000.smt2 TIMEOUT 1800.99 1521.77 apollon034 kind2-chc-benchmarks/data/metros_2_e1_1116_e7_1440_000.smt2 unknown 44.12 13.11 apollon131 kind2-chc-benchmarks/data/car_3_e1_924_000.smt2 false 389.47 334.50 apollon062 kind2-chc-benchmarks/data/SYNAPSE_3_e1_1416_e2_753_000.smt2 TIMEOUT 1800.40 681.20 apollon003 kind2-chc-benchmarks/data/MOESI_2_e2_1599_000.smt2 TIMEOUT 1804.03 568.26 apollon045 kind2-chc-benchmarks/data/microwave05_000.smt2 TIMEOUT 1800.41 1584.08 apollon138 kind2-chc-benchmarks/data/ticket3i_4_e7_1775_e7_3320_000.smt2 TIMEOUT 1801.28 1470.72 apollon059 kind2-chc-benchmarks/data/DRAGON_all_e2_6104_e2_3308_000.smt2 TIMEOUT 1800.73 941.37 apollon085 kind2-chc-benchmarks/data/DRAGON_all_e1_4022_e1_1759_000.smt2 TIMEOUT 1800.39 604.60 apollon010 kind2-chc-benchmarks/data/SYNAPSE_2_e8_1118_e1_667_000.smt2 false 23.29 11.43 apollon062 kind2-chc-benchmarks/data/FIREFLY_luke_1a_e2_284_e1_2924_000.smt2 TIMEOUT 1800.93 1526.31 apollon115 kind2-chc-benchmarks/data/SYNAPSE_all_e3_1864_e5_1637_000.smt2 false 1741.31 949.08 apollon057 kind2-chc-benchmarks/data/speed_e8_649_000.smt2 true 13.89 4.29 apollon038 kind2-chc-benchmarks/data/MESI_i3_e1_447_e3_1180_000.smt2 TIMEOUT 1800.45 1548.91 apollon069 kind2-chc-benchmarks/data/DRAGON_12_e2_1618_e3_2012_000.smt2 TIMEOUT 1800.39 1066.18 apollon147 kind2-chc-benchmarks/data/SYNAPSE_123_e2_1653_000.smt2 TIMEOUT 1800.95 855.24 apollon010 kind2-chc-benchmarks/data/SYNAPSE_3_e7_1444_e7_638_000.smt2 TIMEOUT 1800.68 1136.46 apollon051 kind2-chc-benchmarks/data/rtp_all_e7_2500_000.smt2 TIMEOUT 1800.52 1237.55 apollon122 kind2-chc-benchmarks/data/SYNAPSE_3_e1_1416_000.smt2 TIMEOUT 1800.21 1173.88 apollon035 kind2-chc-benchmarks/data/car_all_e1_618_000.smt2 TIMEOUT 1800.88 1499.68 apollon129 kind2-chc-benchmarks/data/fast_2_e7_2526_000.smt2 unknown 144.84 90.71 apollon006 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e1_1139_e3_1839_000.smt2 TIMEOUT 1804.24 579.38 apollon105 kind2-chc-benchmarks/data/DRAGON_5_e2_3018_e2_936_000.smt2 TIMEOUT 1800.44 1524.61 apollon121 kind2-chc-benchmarks/data/FIREFLY_luke_rt_e2_3460_e1_1455_000.smt2 TIMEOUT 1800.21 1198.86 apollon049 kind2-chc-benchmarks/data/MESI_i3_e1_447_e1_1292_000.smt2 TIMEOUT 1800.74 1498.22 apollon027 kind2-chc-benchmarks/data/car_4_e7_592_e3_442_000.smt2 false 245.94 211.96 apollon070 kind2-chc-benchmarks/data/car_all_e3_1068_e4_275_000.smt2 TIMEOUT 1800.54 1523.00 apollon166 kind2-chc-benchmarks/data/ILLINOIS_3_e3_2581_e3_979_000.smt2 TIMEOUT 1800.86 698.90 apollon031 kind2-chc-benchmarks/data/durationThm_1_e7_217_e7_31_000.smt2 false 25.27 10.91 apollon082 kind2-chc-benchmarks/data/MESI_3_e2_819_000.smt2 unknown 51.18 15.68 apollon122 kind2-chc-benchmarks/data/DRAGON_2_e7_25_e2_5340_000.smt2 false 29.78 16.03 apollon120 kind2-chc-benchmarks/data/SYNAPSE_5_e1_811_000.smt2 TIMEOUT 1800.76 1211.75 apollon015 kind2-chc-benchmarks/data/DRAGON_9_e7_1843_e3_5316_000.smt2 TIMEOUT 1801.31 1526.96 apollon123 kind2-chc-benchmarks/data/DRAGON_9_e7_1843_e2_1145_000.smt2 TIMEOUT 1800.77 1177.97 apollon090 kind2-chc-benchmarks/data/PRODUCER_CONSUMMER_luke_2_e7_1068_e8_1019_000.smt2 TIMEOUT 1800.22 912.00 apollon010 kind2-chc-benchmarks/data/_6counters_e8_371_e7_304_000.smt2 unknown 22.30 6.50 apollon143 kind2-chc-benchmarks/data/DRAGON_2_e2_3183_e3_5972_000.smt2 TIMEOUT 1800.57 414.45 apollon160 kind2-chc-benchmarks/data/DRAGON_7_e2_2872_e2_5844_000.smt2 TIMEOUT 1800.77 1482.65 apollon068 kind2-chc-benchmarks/data/ILLINOIS_2_000.smt2 TIMEOUT 1804.66 581.65 apollon045 kind2-chc-benchmarks/data/DRAGON_7_e2_2872_e3_2640_000.smt2 TIMEOUT 1800.49 1511.20 apollon143 kind2-chc-benchmarks/data/microwave20_000.smt2 false 334.81 312.27 apollon061 kind2-chc-benchmarks/data/microwave36_000.smt2 TIMEOUT 1800.85 1755.81 apollon036 kind2-chc-benchmarks/data/rtp_6_000.smt2 TIMEOUT 1800.49 1485.45 apollon081 kind2-chc-benchmarks/data/DRAGON_11_e2_5396_e3_282_000.smt2 TIMEOUT 1800.58 1245.41 apollon075 kind2-chc-benchmarks/data/car_6_e1_152_000.smt2 TIMEOUT 1800.68 763.00 apollon117 kind2-chc-benchmarks/data/MOESI_2_e8_926_e3_1758_000.smt2 TIMEOUT 1803.70 591.41 apollon003 kind2-chc-benchmarks/data/FIREFLY_luke_2_e2_1375_e1_418_000.smt2 TIMEOUT 1801.23 1526.17 apollon030 kind2-chc-benchmarks/data/ex3_e7_655_000.smt2 unknown 23.85 6.64 apollon034 kind2-chc-benchmarks/data/DRAGON_13_e7_2336_e7_685_000.smt2 TIMEOUT 1801.23 730.76 apollon090 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e7_3191_e7_2146_000.smt2 false 27.51 14.55 apollon073 kind2-chc-benchmarks/data/SYNAPSE_6_e7_938_e2_1012_000.smt2 TIMEOUT 1801.22 1277.62 apollon095 kind2-chc-benchmarks/data/car_5_e2_405_e8_1055_000.smt2 TIMEOUT 1801.22 1601.72 apollon163 kind2-chc-benchmarks/data/SYNAPSE_all_e3_1864_e4_34_000.smt2 TIMEOUT 1800.49 1256.84 apollon160 kind2-chc-benchmarks/data/DRAGON_3_e3_3846_000.smt2 TIMEOUT 1801.13 1529.39 apollon022 kind2-chc-benchmarks/data/DRAGON_11_000.smt2 TIMEOUT 1801.19 1148.47 apollon092 kind2-chc-benchmarks/data/DRAGON_all2_e7_5406_e3_506_000.smt2 TIMEOUT 1800.72 665.97 apollon051 kind2-chc-benchmarks/data/FIREFLY_all_e1_3406_000.smt2 TIMEOUT 1801.11 1529.97 apollon088 kind2-chc-benchmarks/data/durationThm_2_e7_145_e3_222_000.smt2 TIMEOUT 1800.75 1509.09 apollon026 kind2-chc-benchmarks/data/MOESI_all_000.smt2 TIMEOUT 1801.33 1531.03 apollon093 kind2-chc-benchmarks/data/car_1_e7_184_e3_299_000.smt2 TIMEOUT 1800.89 1459.32 apollon022 kind2-chc-benchmarks/data/DRAGON_10_e1_3587_e3_2749_000.smt2 TIMEOUT 1801.01 1441.56 apollon071 kind2-chc-benchmarks/data/metros_2_e2_968_000.smt2 unknown 44.68 13.38 apollon091 kind2-chc-benchmarks/data/ex3_000.smt2 unknown 23.66 6.88 apollon082 kind2-chc-benchmarks/data/car_1_000.smt2 TIMEOUT 1801.34 1542.61 apollon164 kind2-chc-benchmarks/data/car_3_e7_626_000.smt2 true 415.65 314.67 apollon071 kind2-chc-benchmarks/data/DRAGON_all_e7_1941_e2_6086_000.smt2 TIMEOUT 1800.98 1110.88 apollon085 kind2-chc-benchmarks/data/FIREFLY_1_e1_1092_e3_389_000.smt2 TIMEOUT 1801.51 414.03 apollon096 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e2_3049_000.smt2 TIMEOUT 1800.77 644.00 apollon024 kind2-chc-benchmarks/data/DRAGON_10_e7_3861_e2_1020_000.smt2 TIMEOUT 1801.43 1256.85 apollon068 kind2-chc-benchmarks/data/peterson_vt_000.smt2 TIMEOUT 1800.68 757.21 apollon135 kind2-chc-benchmarks/data/metros_4_000.smt2 unknown 43.40 12.89 apollon131 kind2-chc-benchmarks/data/SYNAPSE_123_000.smt2 TIMEOUT 1801.51 865.79 apollon104 kind2-chc-benchmarks/data/peterson_4_000.smt2 TIMEOUT 1801.42 1510.76 apollon057 kind2-chc-benchmarks/data/FIREFLY_all_e3_1600_e4_2415_000.smt2 TIMEOUT 1800.13 553.54 apollon004 kind2-chc-benchmarks/data/ticket3i_7_000.smt2 TIMEOUT 1801.12 1513.16 apollon103 kind2-chc-benchmarks/data/DRAGON_10_e3_3429_000.smt2 TIMEOUT 1800.72 1509.77 apollon133 kind2-chc-benchmarks/data/ticket3i_1_e7_1669_000.smt2 TIMEOUT 1800.73 1504.60 apollon143 kind2-chc-benchmarks/data/car_all_e2_142_000.smt2 TIMEOUT 1800.55 1529.52 apollon048 kind2-chc-benchmarks/data/car_all_e3_1068_e2_13_000.smt2 TIMEOUT 1800.71 1529.16 apollon160 kind2-chc-benchmarks/data/durationThm_3_e3_442_000.smt2 TIMEOUT 1800.95 1474.57 apollon040 kind2-chc-benchmarks/data/SYNAPSE_all_e3_1864_e3_495_000.smt2 TIMEOUT 1800.73 1101.32 apollon135 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e7_3191_000.smt2 false 30.11 15.76 apollon154 kind2-chc-benchmarks/data/MOESI_2_e3_929_e1_2319_000.smt2 false 25.94 13.51 apollon035 kind2-chc-benchmarks/data/FIREFLY_all_e3_1600_e5_84_000.smt2 TIMEOUT 1800.42 598.51 apollon162 kind2-chc-benchmarks/data/MESI_i4_000.smt2 TIMEOUT 1801.19 1422.44 apollon039 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e3_671_e7_1882_000.smt2 false 28.77 15.06 apollon073 kind2-chc-benchmarks/data/SYNAPSE_all_e8_251_e2_1053_000.smt2 TIMEOUT 1800.96 951.46 apollon064 kind2-chc-benchmarks/data/DRAGON_2_e1_2316_000.smt2 TIMEOUT 1801.53 527.78 apollon052 kind2-chc-benchmarks/data/ex3_e7_590_e7_590_000.smt2 unknown 24.40 7.00 apollon017 kind2-chc-benchmarks/data/ex8_e8_220_e7_249_000.smt2 unknown 24.48 7.01 apollon022 kind2-chc-benchmarks/data/PRODUCER_CONSUMER_2_000.smt2 unknown 27.56 7.72 apollon082 kind2-chc-benchmarks/data/rtp_10_e7_106_e7_2564_000.smt2 TIMEOUT 1800.95 1541.28 apollon120 kind2-chc-benchmarks/data/steam_boiler_no_arr2_000.smt2 TIMEOUT 1800.96 1485.35 apollon159 kind2-chc-benchmarks/data/SYNAPSE_123_e7_856_000.smt2 TIMEOUT 1800.52 964.02 apollon025 kind2-chc-benchmarks/data/SYNAPSE_i1_000.smt2 false 193.98 163.98 apollon070 kind2-chc-benchmarks/data/rtp_all_000.smt2 TIMEOUT 1803.35 1510.07 apollon012 kind2-chc-benchmarks/data/ticket3i_6_000.smt2 TIMEOUT 1800.37 1421.10 apollon104 kind2-chc-benchmarks/data/swimmingpool_6_000.smt2 TIMEOUT 1801.14 1530.08 apollon046 kind2-chc-benchmarks/data/SYNAPSE_3_e8_1329_e7_1062_000.smt2 TIMEOUT 1801.30 1263.15 apollon088 kind2-chc-benchmarks/data/FIREFLY_5_e2_2884_e3_1882_000.smt2 TIMEOUT 1801.16 1529.07 apollon073 kind2-chc-benchmarks/data/DRAGON_14_e7_3162_e3_4298_000.smt2 TIMEOUT 1800.60 1268.01 apollon156 kind2-chc-benchmarks/data/SYNAPSE_3_e8_1708_000.smt2 TIMEOUT 1800.32 1546.92 apollon025 kind2-chc-benchmarks/data/fast_2_e8_460_e8_1920_000.smt2 unknown 148.04 92.06 apollon018 kind2-chc-benchmarks/data/swimmingpool_7_000.smt2 TIMEOUT 1800.81 1531.04 apollon091 kind2-chc-benchmarks/data/ticket3i_3_e8_1788_000.smt2 TIMEOUT 1800.74 1500.35 apollon111 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e3_671_e4_147_000.smt2 TIMEOUT 1800.60 670.34 apollon168 kind2-chc-benchmarks/data/_6counters_e8_371_e1_448_000.smt2 unknown 22.23 6.58 apollon162 kind2-chc-benchmarks/data/DRAGON_2_e7_25_e3_829_000.smt2 false 33.40 18.16 apollon057 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e2_3049_e3_2697_000.smt2 TIMEOUT 1800.66 569.97 apollon050 kind2-chc-benchmarks/data/DRAGON_4_e2_2799_e7_2499_000.smt2 false 620.62 356.36 apollon049 kind2-chc-benchmarks/data/microwave07_000.smt2 TIMEOUT 1800.98 1729.57 apollon151 kind2-chc-benchmarks/data/microwave24_000.smt2 TIMEOUT 1801.95 1426.41 apollon036 kind2-chc-benchmarks/data/ILLINOIS_3_e3_2581_e2_2545_000.smt2 false 15.75 5.03 apollon054 kind2-chc-benchmarks/data/FIREFLY_all_e1_1207_e1_1201_000.smt2 TIMEOUT 1801.22 604.09 apollon138 kind2-chc-benchmarks/data/DRAGON_5_e7_2017_e2_664_000.smt2 false 414.70 356.80 apollon166 kind2-chc-benchmarks/data/car_5_e3_11_e1_429_000.smt2 TIMEOUT 1801.17 1075.07 apollon093 kind2-chc-benchmarks/data/durationThm_1_e3_389_000.smt2 TIMEOUT 1800.86 1466.10 apollon152 kind2-chc-benchmarks/data/car_6_e2_893_000.smt2 TIMEOUT 1800.56 1528.45 apollon078 kind2-chc-benchmarks/data/MOESI_1_e3_1884_e7_1875_000.smt2 TIMEOUT 1800.65 1536.52 apollon033 kind2-chc-benchmarks/data/FIREFLY_8_e2_1711_e3_1753_000.smt2 TIMEOUT 1800.47 1540.52 apollon149 kind2-chc-benchmarks/data/FIREFLY_10_000.smt2 TIMEOUT 1801.15 1533.12 apollon058 kind2-chc-benchmarks/data/metros_2_e1_1116_000.smt2 unknown 44.62 12.99 apollon119 kind2-chc-benchmarks/data/rtp_3_000.smt2 TIMEOUT 1800.96 1411.11 apollon127 kind2-chc-benchmarks/data/MESI_i1_e3_2145_e7_1847_000.smt2 false 26.87 13.43 apollon069 kind2-chc-benchmarks/data/DRAGON_6_e7_5046_e7_3623_000.smt2 TIMEOUT 1800.49 1539.72 apollon049 kind2-chc-benchmarks/data/SYNAPSE_all_e8_251_e3_1472_000.smt2 TIMEOUT 1801.14 1205.45 apollon147 kind2-chc-benchmarks/data/DRAGON_11_e1_2450_e2_1483_000.smt2 TIMEOUT 1801.15 1223.71 apollon074 kind2-chc-benchmarks/data/metros_4_e2_968_e6_236_000.smt2 unknown 43.95 13.30 apollon154 kind2-chc-benchmarks/data/SYNAPSE_5_e1_811_e1_823_000.smt2 TIMEOUT 1800.39 1044.77 apollon124 kind2-chc-benchmarks/data/car_3_e1_586_000.smt2 false 411.98 335.47 apollon152 kind2-chc-benchmarks/data/ticket3i_7_e8_2126_e7_78_000.smt2 TIMEOUT 1801.50 1291.22 apollon159 kind2-chc-benchmarks/data/FIREFLY_11_e1_3457_000.smt2 TIMEOUT 1801.15 1346.74 apollon097 kind2-chc-benchmarks/data/ex3_e8_381_e7_224_000.smt2 unknown 25.74 7.11 apollon010 kind2-chc-benchmarks/data/SYNAPSE_123_e8_953_e8_941_000.smt2 TIMEOUT 1800.66 1222.62 apollon098 kind2-chc-benchmarks/data/relatedCounters_small_000.smt2 TIMEOUT 1800.46 1400.48 apollon115 kind2-chc-benchmarks/data/fast_1_e8_747_e8_1041_000.smt2 unknown 68.00 27.39 apollon089 kind2-chc-benchmarks/data/DRAGON_12_e2_1618_e1_6030_000.smt2 TIMEOUT 1801.39 1341.75 apollon129 kind2-chc-benchmarks/data/car_3_e8_33_e1_856_000.smt2 false 393.36 335.33 apollon161 kind2-chc-benchmarks/data/SYNAPSE_2_e8_1118_e8_1177_000.smt2 true 559.89 159.62 apollon063 kind2-chc-benchmarks/data/FIREFLY_5_e2_2229_000.smt2 TIMEOUT 1800.43 1537.11 apollon007 kind2-chc-benchmarks/data/MOESI_2_e1_1753_e3_2021_000.smt2 TIMEOUT 1801.19 849.90 apollon060 kind2-chc-benchmarks/data/MESI_i1_e3_2145_e8_2325_000.smt2 false 26.24 13.32 apollon050 kind2-chc-benchmarks/data/microwave32_000.smt2 TIMEOUT 1801.13 1573.48 apollon135 kind2-chc-benchmarks/data/two_counters_e2_3_000.smt2 unknown 21.84 6.41 apollon154 kind2-chc-benchmarks/data/DRAGON_1_e1_3184_e7_1888_000.smt2 TIMEOUT 1800.41 1528.35 apollon132 kind2-chc-benchmarks/data/DRAGON_all2_e8_5504_e1_4719_000.smt2 TIMEOUT 1800.85 541.66 apollon059 kind2-chc-benchmarks/data/MESI_i1_e2_2656_000.smt2 false 25.49 12.94 apollon085 kind2-chc-benchmarks/data/microwave33_000.smt2 TIMEOUT 1800.77 1759.07 apollon078 kind2-chc-benchmarks/data/car_6_e2_589_e3_349_000.smt2 TIMEOUT 1800.34 1028.60 apollon013 kind2-chc-benchmarks/data/durationThm_3_e1_71_000.smt2 TIMEOUT 1800.86 1502.60 apollon019 kind2-chc-benchmarks/data/durationThm_2_e3_329_e5_124_000.smt2 TIMEOUT 1800.89 1532.92 apollon030 kind2-chc-benchmarks/data/MESI_i1_000.smt2 false 25.08 12.76 apollon070 kind2-chc-benchmarks/data/DRAGON_2_e2_3183_e1_2644_000.smt2 TIMEOUT 1801.32 608.26 apollon091 kind2-chc-benchmarks/data/ILLINOIS_4_000.smt2 TIMEOUT 1800.95 1534.59 apollon050 kind2-chc-benchmarks/data/SYNAPSE_3_e3_1041_000.smt2 TIMEOUT 1801.45 968.55 apollon062 kind2-chc-benchmarks/data/metros_2_e2_704_e7_810_000.smt2 unknown 43.65 12.98 apollon147 kind2-chc-benchmarks/data/MESI_3_e2_819_e3_2698_000.smt2 unknown 46.91 14.95 apollon103 kind2-chc-benchmarks/data/durationThm_3_e7_334_e3_42_000.smt2 TIMEOUT 1801.34 620.44 apollon111 kind2-chc-benchmarks/data/durationThm_3_e3_207_000.smt2 TIMEOUT 1800.44 1440.18 apollon138 kind2-chc-benchmarks/data/readwrit_000.smt2 TIMEOUT 1800.45 996.63 apollon070 kind2-chc-benchmarks/data/FIREFLY_u1_e2_3403_e2_957_000.smt2 TIMEOUT 1801.09 1529.80 apollon127 kind2-chc-benchmarks/data/FIREFLY_luke_1a_000.smt2 TIMEOUT 1800.38 1460.89 apollon153 kind2-chc-benchmarks/data/swimmingpool_4_e7_2197_000.smt2 TIMEOUT 1800.98 1529.54 apollon049 kind2-chc-benchmarks/data/_6countern_000.smt2 false 7.13 2.50 apollon090 kind2-chc-benchmarks/data/FIREFLY_luke_1b_000.smt2 TIMEOUT 1808.12 390.19 apollon078 kind2-chc-benchmarks/data/FIREFLY_1_e1_1092_e2_1853_000.smt2 TIMEOUT 1807.37 403.63 apollon116 kind2-chc-benchmarks/data/durationThm_3_e7_334_e2_62_000.smt2 TIMEOUT 1800.39 838.87 apollon015 kind2-chc-benchmarks/data/FIREFLY_a3_e3_314_e1_1979_000.smt2 TIMEOUT 1800.81 736.31 apollon002 kind2-chc-benchmarks/data/DRAGON_all_e2_6104_e3_2607_000.smt2 TIMEOUT 1800.63 1054.18 apollon073 kind2-chc-benchmarks/data/FIREFLY_5_e2_2884_000.smt2 TIMEOUT 1800.90 1537.48 apollon004 kind2-chc-benchmarks/data/DRAGON_all2_e3_4612_e4_3719_000.smt2 TIMEOUT 1800.40 826.84 apollon158 kind2-chc-benchmarks/data/FIREFLY_all_e2_2924_e2_1767_000.smt2 TIMEOUT 1800.57 828.23 apollon010 kind2-chc-benchmarks/data/MOESI_2_e2_1599_e2_1815_000.smt2 false 29.18 15.32 apollon166 kind2-chc-benchmarks/data/metros_1_e2_1102_e3_961_000.smt2 unknown 45.15 13.60 apollon122 kind2-chc-benchmarks/data/SYNAPSE_all_000.smt2 TIMEOUT 1800.97 1120.83 apollon118 kind2-chc-benchmarks/data/MESI_1_000.smt2 TIMEOUT 1800.81 1454.63 apollon168 kind2-chc-benchmarks/data/car_4_e7_592_e7_265_000.smt2 TIMEOUT 1800.33 1534.92 apollon054 kind2-chc-benchmarks/data/ex8_e8_376_000.smt2 unknown 24.59 7.06 apollon022 kind2-chc-benchmarks/data/DRAGON_11_e1_2450_000.smt2 TIMEOUT 1801.07 791.08 apollon051 kind2-chc-benchmarks/data/car_6_e3_294_e1_956_000.smt2 TIMEOUT 1800.82 973.81 apollon123 kind2-chc-benchmarks/data/SYNAPSE_2_e8_656_000.smt2 true 888.67 160.46 apollon119 kind2-chc-benchmarks/data/metros_3_e3_1275_e3_640_000.smt2 unknown 44.49 13.30 apollon003 kind2-chc-benchmarks/data/steam_boiler_no_arr2_e7_12307_000.smt2 TIMEOUT 1800.89 1476.16 apollon157 kind2-chc-benchmarks/data/ILLINOIS_all_000.smt2 TIMEOUT 1800.70 696.70 apollon160 kind2-chc-benchmarks/data/DRAGON_5_e7_2017_e1_5832_000.smt2 false 414.83 358.41 apollon017 kind2-chc-benchmarks/data/metros_1_e1_846_e1_1317_000.smt2 unknown 46.78 13.86 apollon152 kind2-chc-benchmarks/data/microwave39_000.smt2 TIMEOUT 1800.78 1764.19 apollon098 kind2-chc-benchmarks/data/MOESI_2_e7_2910_e3_2002_000.smt2 false 28.04 14.28 apollon053 kind2-chc-benchmarks/data/DRAGON_4_e2_2799_e1_1303_000.smt2 TIMEOUT 1801.33 1538.42 apollon074 kind2-chc-benchmarks/data/SYNAPSE_123_e3_302_000.smt2 TIMEOUT 1801.26 919.83 apollon165 kind2-chc-benchmarks/data/microwave34_000.smt2 TIMEOUT 1800.49 1307.62 apollon105 kind2-chc-benchmarks/data/MESI_3_e3_2669_000.smt2 unknown 49.35 15.39 apollon050 kind2-chc-benchmarks/data/ticket3i_3_e8_1703_e8_2560_000.smt2 TIMEOUT 1800.98 1510.25 apollon031 kind2-chc-benchmarks/data/DRAGON_all2_000.smt2 TIMEOUT 1801.29 1525.93 apollon098 kind2-chc-benchmarks/data/ticket3i_7_e7_3176_e1_2924_000.smt2 TIMEOUT 1801.42 1450.08 apollon021 kind2-chc-benchmarks/data/speed2_e7_496_000.smt2 unknown 24.17 6.96 apollon168 kind2-chc-benchmarks/data/MESI_3_e2_819_e1_1145_000.smt2 unknown 46.92 14.90 apollon049 kind2-chc-benchmarks/data/fast_2_e7_2526_e7_2736_000.smt2 unknown 151.83 93.33 apollon161 kind2-chc-benchmarks/data/ex8_e8_220_000.smt2 unknown 25.60 7.37 apollon148 kind2-chc-benchmarks/data/metros_1_e2_627_000.smt2 unknown 46.47 13.86 apollon040 kind2-chc-benchmarks/data/FIREFLY_all_000.smt2 TIMEOUT 1800.37 630.67 apollon086 kind2-chc-benchmarks/data/FIREFLY_luke_rt_e2_3460_e7_471_000.smt2 TIMEOUT 1800.63 1139.77 apollon045 kind2-chc-benchmarks/data/FIREFLY_a3_e1_3233_e1_3123_000.smt2 TIMEOUT 1801.05 1525.12 apollon070 kind2-chc-benchmarks/data/FIREFLY_8_e2_1711_e7_1962_000.smt2 TIMEOUT 1801.16 700.28 apollon050 kind2-chc-benchmarks/data/durationThm_1_e2_3_000.smt2 TIMEOUT 1801.07 1542.79 apollon033 kind2-chc-benchmarks/data/DRAGON_all_e3_5957_000.smt2 TIMEOUT 1800.50 1541.49 apollon063 kind2-chc-benchmarks/data/metros_3_e4_987_000.smt2 unknown 46.81 13.90 apollon071 kind2-chc-benchmarks/data/microwave29_000.smt2 TIMEOUT 1801.14 1408.35 apollon088 kind2-chc-benchmarks/data/cd_e7_621_e7_669_000.smt2 unknown 27.01 7.64 apollon118 kind2-chc-benchmarks/data/DRAGON_all_e3_4821_e4_1791_000.smt2 TIMEOUT 1801.69 1173.56 apollon130 kind2-chc-benchmarks/data/SYNAPSE_4_e8_974_000.smt2 TIMEOUT 1801.20 1552.12 apollon111 kind2-chc-benchmarks/data/car_4_e8_118_e7_178_000.smt2 TIMEOUT 1800.79 1549.36 apollon016 kind2-chc-benchmarks/data/durationThm_3_e7_334_000.smt2 TIMEOUT 1800.64 885.59 apollon141 kind2-chc-benchmarks/data/rtp_7_000.smt2 TIMEOUT 1800.58 1541.22 apollon106 kind2-chc-benchmarks/data/FIREFLY_luke_rt_e1_913_e7_1403_000.smt2 TIMEOUT 1801.00 1528.23 apollon150 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e1_1139_e2_2893_000.smt2 TIMEOUT 1807.29 539.27 apollon096 kind2-chc-benchmarks/data/PRODUCER_CONSUMER_1_000.smt2 unknown 26.62 7.32 apollon036 kind2-chc-benchmarks/data/FIREFLY_luke_rt_e1_913_e2_3353_000.smt2 TIMEOUT 1801.06 1101.24 apollon140 kind2-chc-benchmarks/data/durationThm_2_e7_145_e8_73_000.smt2 TIMEOUT 1800.53 1530.88 apollon032 kind2-chc-benchmarks/data/two_counters_e1_268_000.smt2 unknown 22.25 6.46 apollon074 kind2-chc-benchmarks/data/ticket3i_1_000.smt2 TIMEOUT 1800.51 1035.23 apollon135 kind2-chc-benchmarks/data/FIREFLY_all_e3_1600_e7_1607_000.smt2 TIMEOUT 1801.28 1529.06 apollon112 kind2-chc-benchmarks/data/swimmingpool_2_000.smt2 false 214.67 183.43 apollon010 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e7_3191_e8_2830_000.smt2 TIMEOUT 1807.49 538.57 apollon156 kind2-chc-benchmarks/data/DRAGON_3_e7_4884_000.smt2 TIMEOUT 1800.95 1078.43 apollon124 kind2-chc-benchmarks/data/car_3_e8_33_000.smt2 TIMEOUT 1801.29 1494.32 apollon085 kind2-chc-benchmarks/data/car_6_000.smt2 TIMEOUT 1801.03 914.31 apollon127 kind2-chc-benchmarks/data/speed_e7_207_000.smt2 true 12.48 4.11 apollon139 kind2-chc-benchmarks/data/durationThm_2_e7_145_e2_169_000.smt2 TIMEOUT 1800.74 1202.99 apollon130 kind2-chc-benchmarks/data/DRAGON_14_e7_3162_e7_3528_000.smt2 TIMEOUT 1800.52 1225.46 apollon090 kind2-chc-benchmarks/data/rtp_10_000.smt2 TIMEOUT 1800.71 1545.98 apollon107 kind2-chc-benchmarks/data/ILLINOIS_2_e1_834_000.smt2 false 26.26 13.72 apollon039 kind2-chc-benchmarks/data/microwave37_000.smt2 TIMEOUT 1800.71 1766.90 apollon017 kind2-chc-benchmarks/data/metros_4_e2_968_e2_1166_000.smt2 unknown 44.62 13.42 apollon135 kind2-chc-benchmarks/data/ILLINOIS_2_e2_2367_e2_1561_000.smt2 false 28.32 14.72 apollon107 kind2-chc-benchmarks/data/metros_4_e2_968_e4_801_000.smt2 unknown 43.08 12.79 apollon003 kind2-chc-benchmarks/data/ILLINOIS_3_000.smt2 TIMEOUT 1800.57 808.72 apollon073 kind2-chc-benchmarks/data/DRAGON_all2_e7_5406_e2_3084_000.smt2 TIMEOUT 1800.19 767.40 apollon161 kind2-chc-benchmarks/data/MESI_i1_e4_1986_e1_1519_000.smt2 TIMEOUT 1800.85 923.36 apollon125 kind2-chc-benchmarks/data/DRAGON_3_e3_5422_e1_2288_000.smt2 TIMEOUT 1801.16 1525.88 apollon114 kind2-chc-benchmarks/data/SYNAPSE_123_e8_953_e3_271_000.smt2 TIMEOUT 1801.13 834.45 apollon034 kind2-chc-benchmarks/data/DRAGON_4_e2_2799_000.smt2 TIMEOUT 1800.74 1513.78 apollon077 kind2-chc-benchmarks/data/durationThm_1_000.smt2 TIMEOUT 1800.51 1263.14 apollon164 kind2-chc-benchmarks/data/DRAGON_all_e1_4022_e3_3628_000.smt2 TIMEOUT 1800.52 1252.57 apollon014 kind2-chc-benchmarks/data/steam_boiler_no_arr1_e4_23904_e4_2384_000.smt2 TIMEOUT 1801.75 1232.99 apollon067 kind2-chc-benchmarks/data/DRAGON_4_e7_2329_e7_3856_000.smt2 false 414.41 358.55 apollon130 kind2-chc-benchmarks/data/FIREFLY_all_e3_1600_e1_667_000.smt2 TIMEOUT 1800.86 1526.19 apollon111 kind2-chc-benchmarks/data/FIREFLY_luke_4_000.smt2 TIMEOUT 1801.23 1526.96 apollon154 kind2-chc-benchmarks/data/DRAGON_14_e1_5710_000.smt2 TIMEOUT 1801.05 1356.44 apollon079 kind2-chc-benchmarks/data/ticket3i_all_e8_505_e7_2450_000.smt2 TIMEOUT 1800.34 1411.15 apollon057 kind2-chc-benchmarks/data/rtp_8_000.smt2 TIMEOUT 1801.02 1468.71 apollon036 kind2-chc-benchmarks/data/MOESI_2_e3_929_e5_1826_000.smt2 TIMEOUT 1803.35 381.18 apollon082 kind2-chc-benchmarks/data/FIREFLY_luke_rt_e1_913_e3_2128_000.smt2 TIMEOUT 1801.25 930.26 apollon024 kind2-chc-benchmarks/data/car_2_000.smt2 TIMEOUT 1800.54 1525.43 apollon155 kind2-chc-benchmarks/data/MOESI_2_e7_2910_000.smt2 false 27.83 14.40 apollon057 kind2-chc-benchmarks/data/FIREFLY_all_e2_2924_e3_3946_000.smt2 TIMEOUT 1801.15 1516.92 apollon053 kind2-chc-benchmarks/data/car_4_e8_118_e3_514_000.smt2 false 268.11 231.80 apollon062 kind2-chc-benchmarks/data/durationThm_2_e7_145_e7_154_000.smt2 TIMEOUT 1801.05 556.14 apollon109 kind2-chc-benchmarks/data/car_5_e3_661_000.smt2 TIMEOUT 1801.26 1552.97 apollon019 kind2-chc-benchmarks/data/car_4_e3_57_e5_999_000.smt2 false 168.02 139.86 apollon101 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e7_3191_e3_1250_000.smt2 false 26.67 13.08 apollon109 kind2-chc-benchmarks/data/car_all_e7_188_e7_743_000.smt2 TIMEOUT 1800.78 1469.83 apollon047 kind2-chc-benchmarks/data/PRODUCER_CONSUMER_vt_e3_507_000.smt2 TIMEOUT 1804.45 1119.63 apollon075 kind2-chc-benchmarks/data/FIREFLY_a3_e3_314_e4_897_000.smt2 TIMEOUT 1800.52 489.08 apollon047 kind2-chc-benchmarks/data/PRODUCER_CONSUMMER_luke_2_000.smt2 TIMEOUT 1800.63 814.68 apollon080 kind2-chc-benchmarks/data/FIREFLY_a3_e1_3233_e7_906_000.smt2 TIMEOUT 1800.63 532.36 apollon080 kind2-chc-benchmarks/data/metros_3_000.smt2 unknown 43.81 12.95 apollon097 kind2-chc-benchmarks/data/durationThm_1_e7_217_e3_132_000.smt2 TIMEOUT 1801.70 1013.77 apollon155 kind2-chc-benchmarks/data/SYNAPSE_all_e7_907_000.smt2 TIMEOUT 1800.61 1120.48 apollon162 kind2-chc-benchmarks/data/SYNAPSE_6_e3_1666_e5_1558_000.smt2 TIMEOUT 1800.59 1226.24 apollon158 kind2-chc-benchmarks/data/car_3_000.smt2 true 697.48 126.22 apollon027 kind2-chc-benchmarks/data/car_5_e7_244_000.smt2 TIMEOUT 1800.39 1532.37 apollon052 kind2-chc-benchmarks/data/fast_1_e8_751_000.smt2 unknown 71.54 28.50 apollon101 kind2-chc-benchmarks/data/SYNAPSE_3_e1_1416_e1_1675_000.smt2 TIMEOUT 1800.89 999.97 apollon024 kind2-chc-benchmarks/data/metros_4_e3_1091_000.smt2 unknown 42.69 12.73 apollon144 kind2-chc-benchmarks/data/DRAGON_all2_e8_5504_000.smt2 TIMEOUT 1801.14 1526.72 apollon055 kind2-chc-benchmarks/data/SYNAPSE_2_e8_1118_e7_1043_000.smt2 TIMEOUT 1801.16 452.97 apollon108 kind2-chc-benchmarks/data/FIREFLY_luke_2_e7_1826_e8_126_000.smt2 TIMEOUT 1800.98 1525.64 apollon017 kind2-chc-benchmarks/data/MOESI_2_000.smt2 TIMEOUT 1801.56 493.90 apollon018 kind2-chc-benchmarks/data/MOESI_2_e8_926_e8_2138_000.smt2 TIMEOUT 1802.22 429.88 apollon115 kind2-chc-benchmarks/data/MOESI_2_e3_929_e7_619_000.smt2 false 29.89 15.06 apollon071 kind2-chc-benchmarks/data/MESI_3_e2_819_e2_562_000.smt2 unknown 48.74 15.24 apollon046 kind2-chc-benchmarks/data/rtp_5_000.smt2 TIMEOUT 1800.64 1475.45 apollon091 kind2-chc-benchmarks/data/DRAGON_8_e7_3752_000.smt2 TIMEOUT 1800.59 1518.13 apollon049 kind2-chc-benchmarks/data/ILLINOIS_3_e3_2581_e5_4006_000.smt2 false 14.59 4.85 apollon064 kind2-chc-benchmarks/data/steam_boiler_no_arr1_000.smt2 TIMEOUT 1803.40 1236.23 apollon066 kind2-chc-benchmarks/data/DRAGON_all_e1_4037_000.smt2 TIMEOUT 1801.24 1237.37 apollon114 kind2-chc-benchmarks/data/DRAGON_13_e7_2336_e3_3117_000.smt2 TIMEOUT 1800.34 1236.60 apollon023 kind2-chc-benchmarks/data/DRAGON_all_e3_4821_e5_1536_000.smt2 TIMEOUT 1800.85 1010.55 apollon065 kind2-chc-benchmarks/data/SYNAPSE_2_000.smt2 true 1746.71 957.59 apollon108 kind2-chc-benchmarks/data/durationThm_1_e3_389_e4_294_000.smt2 TIMEOUT 1801.39 1537.91 apollon142 kind2-chc-benchmarks/data/ILLINOIS_5_e7_692_e7_2865_000.smt2 TIMEOUT 1801.17 1544.90 apollon078 kind2-chc-benchmarks/data/DRAGON_all2_e3_4612_e8_5861_000.smt2 TIMEOUT 1800.81 416.69 apollon090 kind2-chc-benchmarks/data/SYNAPSE_all_e3_1864_e7_251_000.smt2 TIMEOUT 1801.25 1087.43 apollon025 kind2-chc-benchmarks/data/FIREFLY_11_000.smt2 TIMEOUT 1801.24 1520.19 apollon095 kind2-chc-benchmarks/data/DRAGON_all2_e7_5406_e1_6690_000.smt2 TIMEOUT 1800.91 674.27 apollon007 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e1_1139_e1_1565_000.smt2 TIMEOUT 1801.45 450.68 apollon001 kind2-chc-benchmarks/data/ticket3i_4_000.smt2 TIMEOUT 1800.38 1471.80 apollon005 kind2-chc-benchmarks/data/durationThm_3_e7_334_e7_118_000.smt2 false 12.77 3.93 apollon012 kind2-chc-benchmarks/data/microwave22_000.smt2 TIMEOUT 1803.51 1227.98 apollon154 kind2-chc-benchmarks/data/MESI_i4_e8_1381_e4_313_000.smt2 TIMEOUT 1801.24 1177.47 apollon112 kind2-chc-benchmarks/data/DRAGON_4_e7_2329_000.smt2 false 410.00 354.04 apollon055 kind2-chc-benchmarks/data/MESI_3_e1_2517_e8_2163_000.smt2 unknown 46.22 14.75 apollon121 kind2-chc-benchmarks/data/SYNAPSE_2_e1_1239_000.smt2 false 23.26 11.29 apollon057 kind2-chc-benchmarks/data/DRAGON_9_e7_1843_e1_5434_000.smt2 TIMEOUT 1801.22 1266.22 apollon079 kind2-chc-benchmarks/data/car_5_e7_244_e2_693_000.smt2 TIMEOUT 1800.29 1540.91 apollon026 kind2-chc-benchmarks/data/microwave17_000.smt2 TIMEOUT 1800.40 1698.29 apollon040 kind2-chc-benchmarks/data/MESI_i1_e3_2145_e4_1717_000.smt2 false 26.27 13.03 apollon136 kind2-chc-benchmarks/data/swimmingpool_5_000.smt2 TIMEOUT 1800.28 1490.15 apollon050 kind2-chc-benchmarks/data/peterson_1_000.smt2 TIMEOUT 1801.26 1512.22 apollon038 kind2-chc-benchmarks/data/durationThm_2_e7_145_e1_343_000.smt2 TIMEOUT 1800.33 1308.12 apollon143 kind2-chc-benchmarks/data/FIREFLY_9_e7_170_e3_3647_000.smt2 TIMEOUT 1801.11 921.80 apollon005 kind2-chc-benchmarks/data/metros_2_e1_190_000.smt2 unknown 44.05 13.06 apollon146 kind2-chc-benchmarks/data/MESI_i1_e3_2145_e3_977_000.smt2 false 24.46 12.00 apollon139 kind2-chc-benchmarks/data/MOESI_2_e8_926_000.smt2 TIMEOUT 1802.41 492.13 apollon007 kind2-chc-benchmarks/data/hysteresis_3_000.smt2 unknown 23.94 7.05 apollon071 kind2-chc-benchmarks/data/ex8_e7_74_000.smt2 unknown 25.23 7.22 apollon002 kind2-chc-benchmarks/data/MESI_i3_000.smt2 false 132.09 109.79 apollon035 kind2-chc-benchmarks/data/FIREFLY_a3_e2_2952_000.smt2 TIMEOUT 1801.31 415.14 apollon005 kind2-chc-benchmarks/data/SYNAPSE_all_e7_907_e7_1363_000.smt2 TIMEOUT 1800.45 1031.50 apollon101 kind2-chc-benchmarks/data/FIREFLY_luke_rt_e2_3460_e2_2670_000.smt2 TIMEOUT 1801.18 1104.85 apollon089 kind2-chc-benchmarks/data/SYNAPSE_2_e8_1118_e3_1216_000.smt2 false 887.22 237.13 apollon129 kind2-chc-benchmarks/data/SYNAPSE_6_e2_1439_e1_954_000.smt2 TIMEOUT 1801.16 1256.98 apollon041 kind2-chc-benchmarks/data/metros_4_e2_968_e7_860_000.smt2 unknown 43.10 12.76 apollon082 kind2-chc-benchmarks/data/car_4_e3_556_000.smt2 false 360.96 308.42 apollon109 kind2-chc-benchmarks/data/metros_1_e2_1102_e1_317_000.smt2 unknown 44.35 13.31 apollon107 kind2-chc-benchmarks/data/steam_boiler_no_arr2_e1_17214_e5_18600_000.smt2 TIMEOUT 1800.59 1496.86 apollon034 kind2-chc-benchmarks/data/rtp_5_e7_3972_000.smt2 TIMEOUT 1800.84 1519.68 apollon044 kind2-chc-benchmarks/data/metros_4_e2_968_e3_931_000.smt2 unknown 43.65 13.07 apollon098 kind2-chc-benchmarks/data/metros_3_e3_1275_e2_454_000.smt2 unknown 44.10 13.12 apollon152 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e3_671_e2_2131_000.smt2 TIMEOUT 1800.60 918.87 apollon103 kind2-chc-benchmarks/data/FIREFLY_a3_000.smt2 TIMEOUT 1801.05 1521.52 apollon012 kind2-chc-benchmarks/data/MOESI_2_e3_929_e6_2707_000.smt2 TIMEOUT 1807.79 477.27 apollon092 kind2-chc-benchmarks/data/car_2_e7_1027_e1_1047_000.smt2 TIMEOUT 1800.62 1602.70 apollon009 kind2-chc-benchmarks/data/DRAGON_all2_e8_4626_000.smt2 TIMEOUT 1800.67 812.71 apollon022 kind2-chc-benchmarks/data/SYNAPSE_2_e1_1239_e1_1331_000.smt2 false 25.00 12.07 apollon028 kind2-chc-benchmarks/data/DRAGON_1_e1_14612_e1_268_e7_501_000.smt2 TIMEOUT 1800.48 1534.86 apollon140 kind2-chc-benchmarks/data/MOESI_2_e7_2910_e2_611_000.smt2 false 27.97 13.84 apollon054 kind2-chc-benchmarks/data/MESI_i3_e1_447_e2_1098_000.smt2 false 108.05 88.08 apollon156 kind2-chc-benchmarks/data/fast_2_e8_976_000.smt2 unknown 148.64 92.88 apollon091 kind2-chc-benchmarks/data/MESI_4_000.smt2 TIMEOUT 1800.43 1363.59 apollon056 kind2-chc-benchmarks/data/ticket3i_5_000.smt2 TIMEOUT 1801.19 1500.86 apollon024 kind2-chc-benchmarks/data/DRAGON_4_e3_4133_000.smt2 TIMEOUT 1800.42 1526.09 apollon133 kind2-chc-benchmarks/data/FIREFLY_4_e3_3511_000.smt2 TIMEOUT 1801.14 848.85 apollon012 kind2-chc-benchmarks/data/SYNAPSE_3_e8_1329_e1_1270_000.smt2 TIMEOUT 1800.86 1209.74 apollon037 kind2-chc-benchmarks/data/durationThm_3_e2_63_000.smt2 TIMEOUT 1800.79 1528.62 apollon101 kind2-chc-benchmarks/data/MESI_i4_e8_1381_e1_1837_000.smt2 TIMEOUT 1800.89 935.22 apollon109 kind2-chc-benchmarks/data/metros_1_e7_1255_e7_12_000.smt2 unknown 46.62 14.03 apollon152 kind2-chc-benchmarks/data/car_all_e8_856_e3_180_000.smt2 TIMEOUT 1800.86 1461.83 apollon157 kind2-chc-benchmarks/data/DRAGON_14_e7_3162_e2_753_000.smt2 TIMEOUT 1800.61 1316.25 apollon034 kind2-chc-benchmarks/data/car_4_000.smt2 TIMEOUT 1800.92 1507.54 apollon062 kind2-chc-benchmarks/data/MESI_i4_e4_1689_000.smt2 TIMEOUT 1800.97 1441.94 apollon003 kind2-chc-benchmarks/data/ILLINOIS_1_000.smt2 TIMEOUT 1801.15 1531.17 apollon018 kind2-chc-benchmarks/data/ILLINOIS_r4a_000.smt2 TIMEOUT 1800.96 1531.55 apollon167 kind2-chc-benchmarks/data/MESI_3_e2_819_e5_2554_000.smt2 unknown 47.33 15.06 apollon040 kind2-chc-benchmarks/data/FIREFLY_a3_e2_2086_e1_3235_000.smt2 TIMEOUT 1800.94 962.44 apollon134 kind2-chc-benchmarks/data/FIREFLY_3_000.smt2 TIMEOUT 1801.37 1540.96 apollon058 kind2-chc-benchmarks/data/SYNAPSE_4_e8_420_e7_572_000.smt2 TIMEOUT 1801.32 1466.94 apollon082 kind2-chc-benchmarks/data/FIREFLY_all_e7_1909_000.smt2 TIMEOUT 1800.20 606.89 apollon063 kind2-chc-benchmarks/data/DRAGON_4_000.smt2 TIMEOUT 1800.49 1366.52 apollon040 kind2-chc-benchmarks/data/ticket3i_7_e3_59_e7_2122_000.smt2 TIMEOUT 1801.40 1438.43 apollon093 kind2-chc-benchmarks/data/DRAGON_4_e1_4312_000.smt2 TIMEOUT 1800.63 1519.92 apollon075 kind2-chc-benchmarks/data/MOESI_2_e1_1753_000.smt2 TIMEOUT 1806.03 531.01 apollon128 kind2-chc-benchmarks/data/speed2_e7_223_e7_213_000.smt2 unknown 23.90 6.96 apollon069 kind2-chc-benchmarks/data/car_3_e8_33_e7_220_000.smt2 TIMEOUT 1800.81 1550.81 apollon131 kind2-chc-benchmarks/data/DRAGON_12_e2_1618_e7_4732_000.smt2 TIMEOUT 1802.26 580.85 apollon017 kind2-chc-benchmarks/data/MOESI_2_e2_1599_e1_2383_000.smt2 false 27.58 14.01 apollon055 kind2-chc-benchmarks/data/metros_2_000.smt2 unknown 44.74 13.35 apollon143 kind2-chc-benchmarks/data/durationThm_2_000.smt2 TIMEOUT 1800.42 1534.96 apollon002 kind2-chc-benchmarks/data/FIREFLY_all_e1_1207_e2_3220_000.smt2 TIMEOUT 1800.27 706.48 apollon047 kind2-chc-benchmarks/data/microwave11_000.smt2 TIMEOUT 1801.10 1736.85 apollon089 kind2-chc-benchmarks/data/microwave40_000.smt2 false 31.32 17.35 apollon113 kind2-chc-benchmarks/data/PRODUCER_CONSUMMER_luke_1_000.smt2 false 29.84 15.54 apollon031 kind2-chc-benchmarks/data/FIREFLY_3_e2_2236_e1_2305_000.smt2 TIMEOUT 1801.13 1537.41 apollon046 kind2-chc-benchmarks/data/SYNAPSE_6_e8_1147_e2_1326_000.smt2 TIMEOUT 1800.62 1244.91 apollon060 kind2-chc-benchmarks/data/DRAGON_11_e1_2450_e7_5791_000.smt2 TIMEOUT 1801.06 1545.73 apollon113 kind2-chc-benchmarks/data/steam_boiler_no_arr2_e3_514_e4_11150_000.smt2 TIMEOUT 1800.87 1484.93 apollon092 kind2-chc-benchmarks/data/DRAGON_14_e3_1259_e1_5798_000.smt2 TIMEOUT 1800.92 827.20 apollon016 kind2-chc-benchmarks/data/DRAGON_12_e2_1618_000.smt2 TIMEOUT 1800.93 1150.25 apollon064 kind2-chc-benchmarks/data/MOESI_2_e1_1753_e1_1510_000.smt2 false 26.13 12.83 apollon020 kind2-chc-benchmarks/data/SYNAPSE_4_000.smt2 TIMEOUT 1801.12 1551.79 apollon027 kind2-chc-benchmarks/data/DRAGON_10_e2_402_000.smt2 TIMEOUT 1800.40 1523.65 apollon161 kind2-chc-benchmarks/data/DRAGON_11_e1_2450_e1_5887_000.smt2 TIMEOUT 1800.58 1145.21 apollon122 kind2-chc-benchmarks/data/MESI_i3_e1_447_e7_2194_000.smt2 TIMEOUT 1801.12 1388.48 apollon018 kind2-chc-benchmarks/data/ILLINOIS_3_e3_2581_e1_1130_000.smt2 false 14.96 4.76 apollon134 kind2-chc-benchmarks/data/FIREFLY_1_e1_1092_e7_1119_000.smt2 false 28.40 15.11 apollon098 kind2-chc-benchmarks/data/FIREFLY_all_e2_2924_e7_3371_000.smt2 false 740.16 590.09 apollon152 kind2-chc-benchmarks/data/microwave09_000.smt2 TIMEOUT 1800.50 1692.87 apollon088 kind2-chc-benchmarks/data/MOESI_all_e3_2032_e3_2788_000.smt2 TIMEOUT 1801.08 1562.84 apollon011 kind2-chc-benchmarks/data/car_3_e8_33_e2_1010_000.smt2 TIMEOUT 1800.42 1538.64 apollon019 kind2-chc-benchmarks/data/speed_e7_207_e7_538_000.smt2 true 12.41 3.78 apollon030 kind2-chc-benchmarks/data/ex3_e8_381_000.smt2 unknown 24.74 7.13 apollon075 kind2-chc-benchmarks/data/car_all_e3_1068_e5_882_000.smt2 TIMEOUT 1801.24 1434.92 apollon130 kind2-chc-benchmarks/data/car_all_e1_618_e3_303_000.smt2 TIMEOUT 1800.45 1527.26 apollon121 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e2_3049_e2_698_000.smt2 TIMEOUT 1800.97 372.14 apollon100 kind2-chc-benchmarks/data/MESI_2_000.smt2 TIMEOUT 1801.04 1545.24 apollon027 kind2-chc-benchmarks/data/metros_2_e2_704_e2_13_000.smt2 unknown 43.85 12.92 apollon122 kind2-chc-benchmarks/data/car_all_e3_1068_e1_178_000.smt2 false 1046.51 829.92 apollon137 kind2-chc-benchmarks/data/MOESI_2_e7_2910_e8_2590_000.smt2 TIMEOUT 1800.13 574.24 apollon018 kind2-chc-benchmarks/data/DRAGON_all_e3_4821_e1_1318_000.smt2 TIMEOUT 1800.24 980.99 apollon109 kind2-chc-benchmarks/data/metros_1_e7_606_000.smt2 unknown 44.03 13.44 apollon166 kind2-chc-benchmarks/data/metros_3_e3_1275_e7_529_000.smt2 unknown 44.78 13.41 apollon149 kind2-chc-benchmarks/data/durationThm_3_000.smt2 TIMEOUT 1800.80 1510.71 apollon094 kind2-chc-benchmarks/data/car_5_e2_405_e3_473_000.smt2 TIMEOUT 1801.14 1541.06 apollon131 kind2-chc-benchmarks/data/ex8_000.smt2 unknown 23.88 6.97 apollon134 kind2-chc-benchmarks/data/car_6_e2_589_e2_506_000.smt2 TIMEOUT 1800.82 995.21 apollon001 kind2-chc-benchmarks/data/traffic_e7_46_e7_171_000.smt2 unknown 21.44 6.34 apollon164 kind2-chc-benchmarks/data/DRAGON_1_e3_11891_e7_4569_e4_4881_000.smt2 TIMEOUT 1801.38 1534.88 apollon080 kind2-chc-benchmarks/data/SYNAPSE_3_e8_1329_e2_236_000.smt2 TIMEOUT 1800.78 875.79 apollon149 kind2-chc-benchmarks/data/FIREFLY_luke_4_e2_325_000.smt2 TIMEOUT 1801.11 1528.62 apollon105 kind2-chc-benchmarks/data/DRAGON_12_000.smt2 TIMEOUT 1801.17 1246.56 apollon001 kind2-chc-benchmarks/data/metros_2_e1_1116_e3_287_000.smt2 unknown 43.54 12.78 apollon028 kind2-chc-benchmarks/data/two_counters_e7_222_000.smt2 unknown 22.94 6.94 apollon130 kind2-chc-benchmarks/data/two_counters_e3_325_000.smt2 unknown 21.55 6.50 apollon099 kind2-chc-benchmarks/data/DRAGON_2_e2_3183_e2_3580_000.smt2 TIMEOUT 1800.58 523.21 apollon114 kind2-chc-benchmarks/data/metros_1_e8_725_e1_919_000.smt2 unknown 43.30 13.06 apollon021 kind2-chc-benchmarks/data/speed_e8_649_e7_709_000.smt2 true 13.25 4.05 apollon102 kind2-chc-benchmarks/data/DRAGON_all2_e8_5504_e2_1598_000.smt2 TIMEOUT 1800.74 1533.04 apollon052 kind2-chc-benchmarks/data/SYNAPSE_123_e3_302_e1_1141_000.smt2 TIMEOUT 1801.34 1291.34 apollon089 kind2-chc-benchmarks/data/hysteresis_1_000.smt2 true 13.26 4.09 apollon116 kind2-chc-benchmarks/data/metros_1_e1_846_e7_397_000.smt2 unknown 43.66 13.02 apollon060 kind2-chc-benchmarks/data/DRAGON_2_e2_4481_000.smt2 TIMEOUT 1800.98 928.20 apollon013 kind2-chc-benchmarks/data/ticket3i_7_e1_2192_e1_1852_000.smt2 TIMEOUT 1800.96 1504.48 apollon065 kind2-chc-benchmarks/data/MOESI_2_e8_926_e7_961_000.smt2 false 25.47 12.04 apollon158 kind2-chc-benchmarks/data/metros_2_e3_112_000.smt2 unknown 45.89 13.43 apollon144 kind2-chc-benchmarks/data/SYNAPSE_2_e8_1118_e2_237_000.smt2 false 22.63 11.32 apollon132 kind2-chc-benchmarks/data/rtp_9_000.smt2 TIMEOUT 1800.91 1520.02 apollon141 kind2-chc-benchmarks/data/DRAGON_all_e1_4022_e2_267_000.smt2 TIMEOUT 1800.88 1189.53 apollon033 kind2-chc-benchmarks/data/SYNAPSE_123_e8_953_000.smt2 TIMEOUT 1800.39 1538.92 apollon137 kind2-chc-benchmarks/data/DRAGON_7_e7_3157_e2_2082_000.smt2 TIMEOUT 1800.57 1468.73 apollon022 kind2-chc-benchmarks/data/metros_3_e3_1275_e4_164_000.smt2 unknown 43.23 13.07 apollon009 kind2-chc-benchmarks/data/metros_4_e2_968_000.smt2 unknown 42.73 13.29 apollon117 kind2-chc-benchmarks/data/durationThm_2_e2_63_000.smt2 TIMEOUT 1800.73 1520.02 apollon154 kind2-chc-benchmarks/data/microwave27_000.smt2 TIMEOUT 1800.87 888.96 apollon001 kind2-chc-benchmarks/data/ticket3i_3_e8_1703_e7_3491_000.smt2 TIMEOUT 1801.56 1275.06 apollon147 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e3_671_e1_725_000.smt2 TIMEOUT 1800.51 967.07 apollon120 kind2-chc-benchmarks/data/DRAGON_14_e7_3162_e1_3998_000.smt2 TIMEOUT 1801.19 1263.54 apollon133 kind2-chc-benchmarks/data/FIREFLY_u1_e7_3318_000.smt2 false 606.21 346.57 apollon089 kind2-chc-benchmarks/data/SYNAPSE_3_e7_425_000.smt2 TIMEOUT 1801.38 687.99 apollon146 kind2-chc-benchmarks/data/ILLINOIS_2_e2_2367_e7_2728_000.smt2 false 28.07 14.35 apollon059 kind2-chc-benchmarks/data/two_counters_000.smt2 unknown 23.49 7.09 apollon148 kind2-chc-benchmarks/data/DRAGON_all2_e7_5406_e7_6697_000.smt2 TIMEOUT 1800.45 834.57 apollon122 kind2-chc-benchmarks/data/SYNAPSE_all_e8_251_000.smt2 TIMEOUT 1801.17 945.26 apollon128 kind2-chc-benchmarks/data/ILLINOIS_2_e1_834_e3_2931_000.smt2 false 27.79 13.78 apollon137 kind2-chc-benchmarks/data/rtp_4_000.smt2 TIMEOUT 1801.94 1517.08 apollon135 kind2-chc-benchmarks/data/FIREFLY_luke_3_000.smt2 TIMEOUT 1801.22 1527.53 apollon112 kind2-chc-benchmarks/data/durationThm_2_e3_329_e4_1_000.smt2 TIMEOUT 1800.58 1522.00 apollon103 kind2-chc-benchmarks/data/SYNAPSE_3_e1_1416_e3_1191_000.smt2 TIMEOUT 1800.35 1149.14 apollon165 kind2-chc-benchmarks/data/swimmingpool_8_000.smt2 TIMEOUT 1800.91 1522.71 apollon162 kind2-chc-benchmarks/data/metros_4_e2_968_e5_991_000.smt2 unknown 43.94 12.97 apollon156 kind2-chc-benchmarks/data/SYNAPSE_4_e8_420_e8_1525_000.smt2 TIMEOUT 1802.77 1481.79 apollon134 kind2-chc-benchmarks/data/DRAGON_14_000.smt2 TIMEOUT 1800.29 1288.98 apollon140 kind2-chc-benchmarks/data/speed2_e8_449_e8_517_000.smt2 unknown 25.27 7.36 apollon160 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e3_671_e3_941_000.smt2 TIMEOUT 1806.77 599.62 apollon012 kind2-chc-benchmarks/data/SYNAPSE_123_e8_953_e2_458_000.smt2 TIMEOUT 1800.49 1538.10 apollon069 kind2-chc-benchmarks/data/car_5_000.smt2 TIMEOUT 1800.84 1511.62 apollon035 kind2-chc-benchmarks/data/relatedCounters_large_000.smt2 TIMEOUT 1800.99 1504.36 apollon168 kind2-chc-benchmarks/data/FIREFLY_luke_rt_000.smt2 TIMEOUT 1805.15 1326.51 apollon121 kind2-chc-benchmarks/data/MESI_i1_e3_2145_e1_2667_000.smt2 false 24.76 12.15 apollon157 kind2-chc-benchmarks/data/MOESI_2_e8_926_e1_1065_000.smt2 TIMEOUT 1804.83 403.43 apollon021 kind2-chc-benchmarks/data/DRAGON_1_e1_14612_e2_2653_e7_4370_000.smt2 TIMEOUT 1801.32 1535.96 apollon142 kind2-chc-benchmarks/data/SYNAPSE_3_000.smt2 TIMEOUT 1801.12 1288.54 apollon022 kind2-chc-benchmarks/data/DRAGON_11_e1_2450_e3_2330_000.smt2 TIMEOUT 1800.96 1007.86 apollon108 kind2-chc-benchmarks/data/DRAGON_13_e7_2336_e1_541_000.smt2 TIMEOUT 1801.26 927.30 apollon113 kind2-chc-benchmarks/data/FIREFLY_6_e2_3302_000.smt2 TIMEOUT 1801.24 1525.98 apollon118 kind2-chc-benchmarks/data/MESI_3_e2_819_e7_1665_000.smt2 unknown 45.27 14.86 apollon049 kind2-chc-benchmarks/data/metros_1_e2_1102_e2_943_000.smt2 unknown 43.26 13.14 apollon059 kind2-chc-benchmarks/data/DRAGON_9_e7_1843_000.smt2 TIMEOUT 1800.64 1514.91 apollon142 kind2-chc-benchmarks/data/car_all_e8_856_e1_217_000.smt2 TIMEOUT 1800.32 1519.66 apollon038 kind2-chc-benchmarks/data/MOESI_2_e7_2910_e1_1021_000.smt2 false 26.71 14.08 apollon088 kind2-chc-benchmarks/data/ILLINOIS_3_e3_2581_000.smt2 TIMEOUT 1801.01 631.56 apollon014 kind2-chc-benchmarks/data/peterson_1_e7_4234_000.smt2 TIMEOUT 1800.65 1515.65 apollon156 kind2-chc-benchmarks/data/DRAGON_all_e3_4821_e2_1089_000.smt2 TIMEOUT 1800.53 1160.34 apollon061 kind2-chc-benchmarks/data/DRAGON_5_000.smt2 TIMEOUT 1800.91 1514.50 apollon048 kind2-chc-benchmarks/data/FIREFLY_1_000.smt2 TIMEOUT 1805.32 557.39 apollon114 kind2-chc-benchmarks/data/ticket3i_all_e7_1837_000.smt2 TIMEOUT 1801.49 1258.61 apollon044 kind2-chc-benchmarks/data/car_5_e7_244_e1_823_000.smt2 TIMEOUT 1800.99 1554.36 apollon016 kind2-chc-benchmarks/data/DRAGON_6_000.smt2 TIMEOUT 1800.46 1536.93 apollon065 kind2-chc-benchmarks/data/DRAGON_7_000.smt2 TIMEOUT 1800.65 1515.02 apollon043 kind2-chc-benchmarks/data/DRAGON_all2_e3_4612_e2_5774_000.smt2 TIMEOUT 1800.74 467.21 apollon061 kind2-chc-benchmarks/data/car_5_e2_405_e2_1083_000.smt2 TIMEOUT 1800.32 1539.11 apollon151 kind2-chc-benchmarks/data/FIREFLY_2_000.smt2 TIMEOUT 1801.12 1232.58 apollon100 kind2-chc-benchmarks/data/DRAGON_14_e7_3162_000.smt2 TIMEOUT 1801.20 1342.38 apollon086 kind2-chc-benchmarks/data/FIREFLY_all_e1_1207_e3_1928_000.smt2 TIMEOUT 1800.91 469.67 apollon130 kind2-chc-benchmarks/data/FIREFLY_all_e3_1600_e2_676_000.smt2 TIMEOUT 1800.25 618.88 apollon158 kind2-chc-benchmarks/data/swimmingpool_3_000.smt2 TIMEOUT 1800.93 1523.05 apollon061 kind2-chc-benchmarks/data/MOESI_1_000.smt2 TIMEOUT 1801.28 1552.75 apollon061 kind2-chc-benchmarks/data/MOESI_2_e7_2607_000.smt2 false 27.18 14.03 apollon012 kind2-chc-benchmarks/data/MESI_i1_e2_1758_e8_12_000.smt2 false 26.53 13.34 apollon064 kind2-chc-benchmarks/data/ticket3i_3_e7_99_000.smt2 TIMEOUT 1801.24 1477.09 apollon132 kind2-chc-benchmarks/data/MESI_i3_e1_447_e5_2444_000.smt2 false 271.10 236.28 apollon046 kind2-chc-benchmarks/data/metros_4_e2_968_e1_956_000.smt2 unknown 46.87 13.96 apollon010 kind2-chc-benchmarks/data/FIREFLY_luke_1a_e2_284_e3_3091_000.smt2 TIMEOUT 1800.97 1522.01 apollon164 kind2-chc-benchmarks/data/ticket3i_3_e7_1312_000.smt2 TIMEOUT 1800.96 808.67 apollon152 kind2-chc-benchmarks/data/speed2_e7_223_e8_329_000.smt2 unknown 25.05 7.12 apollon142 kind2-chc-benchmarks/data/ticket3i_3_000.smt2 TIMEOUT 1800.97 1487.36 apollon146 kind2-chc-benchmarks/data/FIREFLY_rt_e3_1770_e2_637_000.smt2 TIMEOUT 1800.51 1474.30 apollon003 kind2-chc-benchmarks/data/FIREFLY_5_e1_2552_e7_1169_000.smt2 TIMEOUT 1800.36 1548.17 apollon020 kind2-chc-benchmarks/data/FIREFLY_luke_3_e1_2217_e3_1200_000.smt2 TIMEOUT 1800.56 1446.94 apollon086 kind2-chc-benchmarks/data/FIREFLY_11_e3_2076_e1_1270_000.smt2 TIMEOUT 1801.23 1522.08 apollon116 kind2-chc-benchmarks/data/SYNAPSE_2_e1_1239_e2_74_000.smt2 false 23.82 12.28 apollon086 kind2-chc-benchmarks/data/MESI_i2_000.smt2 TIMEOUT 1800.45 1553.95 apollon131 kind2-chc-benchmarks/data/steam_boiler_no_arr2_e8_21449_e5_18210_000.smt2 TIMEOUT 1800.96 1492.25 apollon115 kind2-chc-benchmarks/data/twisted_counters_000.smt2 unknown 24.87 6.88 apollon016 kind2-chc-benchmarks/data/DRAGON_12_e1_4640_e7_128_000.smt2 TIMEOUT 1800.96 575.53 apollon037 kind2-chc-benchmarks/data/FIREFLY_all_e1_1207_e7_156_000.smt2 false 1496.89 1255.45 apollon044 kind2-chc-benchmarks/data/metros_3_e3_1275_e6_1315_000.smt2 unknown 42.94 13.03 apollon151 kind2-chc-benchmarks/data/DRAGON_5_e7_2017_e3_1763_000.smt2 false 412.96 356.92 apollon118 kind2-chc-benchmarks/data/FIREFLY_7_000.smt2 TIMEOUT 1800.87 1522.12 apollon053 kind2-chc-benchmarks/data/microwave38_000.smt2 TIMEOUT 1800.84 1751.28 apollon094 kind2-chc-benchmarks/data/DRAGON_13_000.smt2 TIMEOUT 1800.90 614.44 apollon139 kind2-chc-benchmarks/data/metros_4_e3_1091_e2_1317_000.smt2 unknown 42.20 12.68 apollon010 kind2-chc-benchmarks/data/durationThm_1_e7_217_e1_89_000.smt2 false 24.05 10.70 apollon069 kind2-chc-benchmarks/data/SYNAPSE_all_e3_1750_000.smt2 TIMEOUT 1800.89 1014.84 apollon028 kind2-chc-benchmarks/data/FIREFLY_a3_e2_2086_e2_2689_000.smt2 TIMEOUT 1801.11 571.32 apollon120 kind2-chc-benchmarks/data/DRAGON_2_e7_25_e7_4469_000.smt2 false 29.29 15.11 apollon133 kind2-chc-benchmarks/data/FIREFLY_a3_e3_314_e2_2812_000.smt2 TIMEOUT 1800.35 759.26 apollon011 kind2-chc-benchmarks/data/MESI_3_e2_819_e4_1595_000.smt2 unknown 45.63 14.87 apollon079 kind2-chc-benchmarks/data/fast_1_e7_2044_e7_1287_000.smt2 unknown 69.10 28.00 apollon131 kind2-chc-benchmarks/data/FIREFLY_4_e3_3511_e7_3568_000.smt2 false 610.63 469.42 apollon125 kind2-chc-benchmarks/data/ticket3i_3_e7_1312_e7_1495_000.smt2 TIMEOUT 1801.08 1287.21 apollon126 kind2-chc-benchmarks/data/DRAGON_14_e2_3606_000.smt2 TIMEOUT 1800.50 1441.50 apollon010 kind2-chc-benchmarks/data/FIREFLY_a3_e2_2086_e3_2542_000.smt2 TIMEOUT 1800.98 810.18 apollon011 kind2-chc-benchmarks/data/microwave10_000.smt2 TIMEOUT 1801.18 1620.77 apollon158 kind2-chc-benchmarks/data/MESI_i1_e3_2145_e2_2228_000.smt2 false 24.09 12.21 apollon127 kind2-chc-benchmarks/data/DRAGON_3_e1_4783_e7_4070_000.smt2 TIMEOUT 1801.04 1119.43 apollon139 kind2-chc-benchmarks/data/DRAGON_all2_e3_4612_e1_6463_000.smt2 TIMEOUT 1800.75 714.54 apollon026 kind2-chc-benchmarks/data/durationThm_1_e1_350_000.smt2 false 25.88 11.23 apollon144 kind2-chc-benchmarks/data/metros_3_e4_987_e1_1115_000.smt2 unknown 43.90 13.35 apollon019 kind2-chc-benchmarks/data/FIREFLY_9_000.smt2 TIMEOUT 1801.19 1120.37 apollon101 kind2-chc-benchmarks/data/durationThm_1_e3_389_e5_5_000.smt2 TIMEOUT 1800.88 852.91 apollon099 kind2-chc-benchmarks/data/microwave26_000.smt2 TIMEOUT 1800.85 1752.72 apollon134 kind2-chc-benchmarks/data/microwave12_000.smt2 false 356.06 324.80 apollon130 kind2-chc-benchmarks/data/car_all_e8_856_e7_578_000.smt2 TIMEOUT 1800.62 1535.73 apollon021 kind2-chc-benchmarks/data/MOESI_2_e2_1599_e3_1658_000.smt2 TIMEOUT 1800.90 909.17 apollon059 kind2-chc-benchmarks/data/DRAGON_1_e1_5070_000.smt2 TIMEOUT 1801.48 1532.13 apollon053 kind2-chc-benchmarks/data/DRAGON_4_e3_1540_e1_5048_000.smt2 TIMEOUT 1801.20 1520.92 apollon163 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e7_2574_000.smt2 false 27.80 14.22 apollon137 kind2-chc-benchmarks/data/ticket3i_all_e1_2706_e7_1776_000.smt2 TIMEOUT 1801.33 1504.29 apollon026 kind2-chc-benchmarks/data/SYNAPSE_123_e8_953_e7_1465_000.smt2 TIMEOUT 1800.61 630.49 apollon154 kind2-chc-benchmarks/data/fast_1_e8_747_e7_692_000.smt2 unknown 68.63 27.12 apollon166 kind2-chc-benchmarks/data/FIREFLY_luke_rt_e1_913_000.smt2 TIMEOUT 1800.50 881.02 apollon122 kind2-chc-benchmarks/data/FIREFLY_luke_1b_e3_671_e6_1974_000.smt2 TIMEOUT 1807.21 542.24 apollon145 kind2-chc-benchmarks/data/DRAGON_9_e7_1843_e7_2225_000.smt2 TIMEOUT 1800.34 1526.29 apollon037 kind2-chc-benchmarks/data/MESI_i1_e3_2145_000.smt2 false 25.10 12.00 apollon094 kind2-chc-benchmarks/data/DRAGON_all_e2_6104_000.smt2 TIMEOUT 1800.70 1530.55 apollon089 kind2-chc-benchmarks/data/SYNAPSE_2_e3_216_000.smt2 TIMEOUT 1800.80 802.47 apollon028 kind2-chc-benchmarks/data/FIREFLY_8_e2_1711_000.smt2 TIMEOUT 1801.33 1508.09 apollon163 kind2-chc-benchmarks/data/FIREFLY_1_e1_1092_000.smt2 TIMEOUT 1801.22 772.53 apollon064 kind2-chc-benchmarks/data/metros_5_e4_1208_e1_337_000.smt2 unknown 47.25 13.91 apollon056 kind2-chc-benchmarks/data/metros_4_e3_1025_000.smt2 unknown 42.51 12.75 apollon054 kind2-chc-benchmarks/data/MOESI_2_e3_929_e2_2421_000.smt2 false 26.71 12.66 apollon035 kind2-chc-benchmarks/data/FIREFLY_6_000.smt2 TIMEOUT 1801.16 1520.99 apollon104 kind2-chc-benchmarks/data/MOESI_1_e2_982_e7_492_000.smt2 TIMEOUT 1800.49 1541.43 apollon098 kind2-chc-benchmarks/data/SYNAPSE_123_e7_837_e2_1394_000.smt2 TIMEOUT 1801.08 1300.03 apollon040 kind2-chc-benchmarks/data/metros_4_e3_1091_e1_1044_000.smt2 unknown 42.10 12.70 apollon085 kind2-chc-benchmarks/data/_6counters_e8_371_e2_80_000.smt2 true 17.31 6.83 apollon074 kind2-chc-benchmarks/data/FIREFLY_luke_rt_e1_913_e1_1993_000.smt2 TIMEOUT 1801.07 924.42 apollon146 kind2-chc-benchmarks/data/SYNAPSE_5_e2_1525_000.smt2 TIMEOUT 1801.16 1299.44 apollon165 kind2-chc-benchmarks/data/ILLINOIS_2_e1_834_e1_1895_000.smt2 false 28.86 15.33 apollon066 kind2-chc-benchmarks/data/metros_3_e3_1275_e1_1350_000.smt2 unknown 45.74 13.78 apollon120 kind2-chc-benchmarks/data/PRODUCER_CONSUMER_3_000.smt2 true 1272.43 251.04 apollon070 kind2-chc-benchmarks/data/FIREFLY_all_e2_3678_000.smt2 TIMEOUT 1808.75 1229.89 apollon125 kind2-chc-benchmarks/data/FIREFLY_u1_000.smt2 TIMEOUT 1800.47 1427.04 apollon037 kind2-chc-benchmarks/data/metros_4_e1_821_e5_911_000.smt2 unknown 42.97 12.78 apollon053 kind2-chc-benchmarks/data/FIREFLY_4_e3_3511_e4_1464_000.smt2 TIMEOUT 1801.11 1089.59 apollon116 kind2-chc-benchmarks/data/fast_2_e8_460_e7_43_000.smt2 unknown 148.55 91.57 apollon125 kind2-chc-benchmarks/data/MESI_all_e4_1147_e7_497_000.smt2 TIMEOUT 1800.81 1475.83 apollon081 kind2-chc-benchmarks/data/MESI_i1_e3_2145_e5_2391_000.smt2 false 24.43 11.82 apollon021 ultimate/LIA-NonLin/13_unverif_simplified_000.smt2 unknown 81.30 27.26 apollon052 ultimate/LIA-NonLin/14_spin2003_simplified_000.smt2 unknown 69.17 22.23 apollon156 ultimate/LIA-NonLin/06_ticket_simplified_000.smt2 unknown 82.46 26.06 apollon117 ultimate/LIA-NonLin/33_double_lock_p1_vs_simplified_000.smt2 TIMEOUT 1800.38 1693.37 apollon160 ultimate/LIA-NonLin/07_rand_simplified_000.smt2 TIMEOUT 1800.36 1701.70 apollon057 ultimate/LIA-NonLin/31_simple_loop5_vs_simplified_000.smt2 unknown 89.48 27.40 apollon106 ultimate/LIA-NonLin/29_conditionals_vs_simplified_000.smt2 TIMEOUT 1800.24 1703.14 apollon096 ultimate/LIA-NonLin/05_tas_simplified_000.smt2 unknown 84.28 30.22 apollon160 synthesis/nay-horn/CONST_fg_search_2_000.smt2 TIMEOUT 1800.94 1754.68 apollon063 synthesis/nay-horn/IF_fg_max6_000.smt2 unknown 115.06 57.24 apollon059 synthesis/nay-horn/IF_fg_sum_2_5_000.smt2 TIMEOUT 1806.01 872.93 apollon121 synthesis/nay-horn/IF_search_15_000.smt2 TIMEOUT 1801.13 1626.54 apollon096 synthesis/nay-horn/CONST_sum_4_5_000.smt2 TIMEOUT 1801.01 1748.33 apollon150 synthesis/nay-horn/PLUS_array_sum_4_5_000.smt2 TIMEOUT 1801.07 1665.86 apollon002 synthesis/nay-horn/IF_fg_max5_000.smt2 unknown 118.24 55.14 apollon019 synthesis/nay-horn/CONST_guard3_000.smt2 unknown 26.20 7.66 apollon095 synthesis/nay-horn/IF_search_10_000.smt2 TIMEOUT 1800.36 1599.63 apollon006 synthesis/nay-horn/IF_search_7_000.smt2 unknown 918.08 784.68 apollon016 synthesis/nay-horn/IF_fg_sum_6_15_000.smt2 unknown 100.62 47.36 apollon080 synthesis/nay-horn/PLUS_array_sum_3_5_000.smt2 TIMEOUT 1801.12 1666.76 apollon067 synthesis/nay-horn/IF_fg_sum_10_5_000.smt2 TIMEOUT 1801.04 1570.84 apollon103 synthesis/nay-horn/CONST_plane2_000.smt2 TIMEOUT 1800.98 1753.94 apollon081 synthesis/nay-horn/IF_fg_sum_6_5_000.smt2 unknown 96.37 46.97 apollon074 synthesis/nay-horn/IF_fg_sum_3_15_000.smt2 TIMEOUT 1800.31 1719.03 apollon119 synthesis/nay-horn/CONST_example3_000.smt2 TIMEOUT 1800.95 1756.23 apollon142 synthesis/nay-horn/PLUS_mpg_plane2_000.smt2 unknown 74.81 27.47 apollon047 synthesis/nay-horn/IF_fg_sum_8_15_000.smt2 unknown 264.86 175.09 apollon011 synthesis/nay-horn/CONST_sum_2_5_000.smt2 unknown 46.90 15.47 apollon065 synthesis/nay-horn/CONST_sum_7_5_000.smt2 TIMEOUT 1801.01 1748.04 apollon067 synthesis/nay-horn/CONST_sum_8_15_000.smt2 TIMEOUT 1801.01 1749.57 apollon023 synthesis/nay-horn/IF_fg_max3_000.smt2 TIMEOUT 1800.38 1682.21 apollon046 synthesis/nay-horn/IF_fg_max8_000.smt2 unknown 321.03 215.97 apollon014 synthesis/nay-horn/CONST_fg_search_13_000.smt2 unknown 73.43 23.08 apollon040 synthesis/nay-horn/IF_fg_guard3_000.smt2 TIMEOUT 1804.52 883.58 apollon129 synthesis/nay-horn/IF_search_4_000.smt2 unknown 95.86 46.32 apollon031 synthesis/nay-horn/CONST_fg_search_6_000.smt2 TIMEOUT 1800.96 1749.04 apollon116 synthesis/nay-horn/IF_search_8_000.smt2 TIMEOUT 1801.25 1603.86 apollon013 synthesis/nay-horn/CONST_fg_search_7_000.smt2 unknown 56.24 18.00 apollon053 synthesis/nay-horn/CONST_sum_9_5_000.smt2 unknown 46.12 15.48 apollon153 synthesis/nay-horn/CONST_example4_000.smt2 TIMEOUT 1800.99 1749.80 apollon008 synthesis/nay-horn/CONST_guard4_000.smt2 unknown 26.47 7.91 apollon055 synthesis/nay-horn/PLUS_mpg_ite2_000.smt2 unknown 62.59 21.02 apollon090 synthesis/nay-horn/IF_fg_max15_000.smt2 TIMEOUT 1800.72 1525.28 apollon159 synthesis/nay-horn/PLUS_array_sum_2_5_000.smt2 unknown 58.04 19.15 apollon020 synthesis/nay-horn/CONST_guard2_000.smt2 unknown 25.76 7.64 apollon012 synthesis/nay-horn/PLUS_mpg_plane3_000.smt2 unknown 141.17 74.75 apollon086 synthesis/nay-horn/PLUS_mpg_example1_000.smt2 unknown 297.14 216.04 apollon035 synthesis/nay-horn/IF_search_5_000.smt2 unknown 176.39 102.96 apollon111 synthesis/nay-horn/IF_fg_mpg_example4_000.smt2 unknown 47.63 15.41 apollon045 synthesis/nay-horn/CONST_sum_7_15_000.smt2 TIMEOUT 1801.00 1749.51 apollon138 synthesis/nay-horn/CONST_example1_000.smt2 TIMEOUT 1801.01 1748.57 apollon124 synthesis/nay-horn/PLUS_mpg_plane1_000.smt2 TIMEOUT 1800.12 1727.10 apollon130 synthesis/nay-horn/IF_fg_mpg_example5_000.smt2 unknown 75.72 29.53 apollon157 synthesis/nay-horn/IF_search_3_000.smt2 unknown 104.49 46.74 apollon071 synthesis/nay-horn/IF_fg_guard4_000.smt2 TIMEOUT 1802.06 880.91 apollon102 synthesis/nay-horn/IF_fg_sum_8_5_000.smt2 unknown 265.69 175.61 apollon085 synthesis/nay-horn/CONST_sum_5_5_000.smt2 TIMEOUT 1801.01 1749.08 apollon035 synthesis/nay-horn/IF_fg_sum_5_5_000.smt2 unknown 95.01 40.56 apollon127 synthesis/nay-horn/IF_fg_sum_2_15_000.smt2 TIMEOUT 1802.56 871.54 apollon111 synthesis/nay-horn/PLUS_array_search_2_000.smt2 unknown 44.55 13.85 apollon098 synthesis/nay-horn/IF_search_6_000.smt2 unknown 254.81 169.51 apollon138 synthesis/nay-horn/CONST_sum_2_15_000.smt2 unknown 45.37 15.08 apollon003 synthesis/nay-horn/CONST_sum_8_5_000.smt2 TIMEOUT 1801.01 1749.23 apollon156 synthesis/nay-horn/IF_fg_sum_4_15_000.smt2 unknown 73.78 26.59 apollon153 synthesis/nay-horn/CONST_sum_5_15_000.smt2 TIMEOUT 1800.99 1749.85 apollon038 synthesis/nay-horn/PLUS_array_sum_2_15_000.smt2 TIMEOUT 1800.43 1653.58 apollon024 synthesis/nay-horn/PLUS_mpg_guard4_000.smt2 TIMEOUT 1800.74 1684.39 apollon070 synthesis/nay-horn/PLUS_mpg_ite1_000.smt2 unknown 38.66 11.80 apollon051 synthesis/nay-horn/CONST_sum_9_15_000.smt2 unknown 46.02 15.26 apollon155 synthesis/nay-horn/IF_fg_sum_7_5_000.smt2 unknown 185.53 108.36 apollon035 synthesis/nay-horn/CONST_example2_000.smt2 unknown 49.90 16.42 apollon032 synthesis/nay-horn/IF_search_12_000.smt2 TIMEOUT 1800.74 1643.87 apollon145 synthesis/nay-horn/IF_fg_max14_000.smt2 TIMEOUT 1800.40 1595.96 apollon091 synthesis/nay-horn/IF_fg_sum_7_15_000.smt2 unknown 184.94 108.06 apollon009 synthesis/nay-horn/IF_fg_sum_5_15_000.smt2 unknown 98.11 42.01 apollon158 synthesis/nay-horn/IF_fg_max11_000.smt2 TIMEOUT 1801.05 1559.48 apollon157 synthesis/nay-horn/IF_fg_max12_000.smt2 TIMEOUT 1800.45 1552.77 apollon149 synthesis/nay-horn/IF_fg_sum_4_5_000.smt2 unknown 69.94 25.18 apollon035 synthesis/nay-horn/IF_fg_sum_3_5_000.smt2 TIMEOUT 1800.48 1709.28 apollon093 synthesis/nay-horn/CONST_sum_4_15_000.smt2 TIMEOUT 1801.01 1748.80 apollon015 synthesis/nay-horn/IF_fg_max4_000.smt2 unknown 54.00 15.38 apollon095 synthesis/nay-horn/CONST_fg_search_15_000.smt2 unknown 72.39 23.68 apollon098 synthesis/nay-horn/PLUS_mpg_guard2_000.smt2 unknown 63.65 23.25 apollon138 synthesis/nay-horn/IF_fg_sum_9_5_000.smt2 unknown 802.51 678.34 apollon063 synthesis/nay-horn/CONST_sum_3_5_000.smt2 unknown 23.09 7.18 apollon081 synthesis/nay-horn/CONST_sum_6_15_000.smt2 TIMEOUT 1800.98 1754.98 apollon048 synthesis/nay-horn/IF_fg_max9_000.smt2 unknown 1095.76 931.00 apollon128 synthesis/nay-horn/IF_fg_mpg_example3_000.smt2 unknown 53.72 18.11 apollon028 synthesis/nay-horn/CONST_fg_search_3_000.smt2 unknown 48.58 15.48 apollon160 synthesis/nay-horn/IF_fg_guard2_000.smt2 TIMEOUT 1804.25 886.70 apollon159 synthesis/nay-horn/IF_fg_guard1_000.smt2 TIMEOUT 1806.45 871.91 apollon139 synthesis/nay-horn/CONST_fg_search_9_000.smt2 TIMEOUT 1800.97 1748.04 apollon144 synthesis/nay-horn/CONST_fg_search_10_000.smt2 unknown 63.49 20.17 apollon062 synthesis/nay-horn/IF_fg_mpg_example2_000.smt2 unknown 99.04 46.10 apollon065 synthesis/nay-horn/CONST_guard1_000.smt2 unknown 24.67 7.55 apollon041 synthesis/nay-horn/CONST_example5_000.smt2 TIMEOUT 1801.00 1750.28 apollon013 synthesis/nay-horn/CONST_sum_6_5_000.smt2 TIMEOUT 1800.97 1755.86 apollon102 synthesis/nay-horn/IF_search_14_000.smt2 TIMEOUT 1801.18 1618.79 apollon126 synthesis/nay-horn/CONST_fg_search_12_000.smt2 TIMEOUT 1800.98 1746.02 apollon064 synthesis/nay-horn/IF_fg_max13_000.smt2 TIMEOUT 1800.47 1448.07 apollon123 synthesis/nay-horn/PLUS_mpg_guard1_000.smt2 unknown 53.15 19.40 apollon040 synthesis/nay-horn/CONST_fg_search_14_000.smt2 unknown 121.12 67.99 apollon097 synthesis/nay-horn/PLUS_mpg_guard3_000.smt2 unknown 53.54 17.90 apollon061 synthesis/nay-horn/CONST_sum_3_15_000.smt2 unknown 23.78 7.16 apollon164 synthesis/nay-horn/CONST_plane3_000.smt2 TIMEOUT 1801.00 1753.26 apollon118 synthesis/nay-horn/CONST_fg_search_4_000.smt2 unknown 53.99 17.47 apollon056 synthesis/nay-horn/CONST_fg_search_11_000.smt2 unknown 67.14 21.74 apollon037 synthesis/nay-horn/CONST_ite2_000.smt2 unknown 84.02 55.17 apollon113 synthesis/nay-horn/CONST_sum_10_15_000.smt2 TIMEOUT 1800.99 1750.02 apollon095 synthesis/nay-horn/CONST_fg_search_8_000.smt2 TIMEOUT 1800.96 1749.15 apollon167 synthesis/nay-horn/IF_fg_sum_10_15_000.smt2 TIMEOUT 1801.52 1570.45 apollon046 synthesis/nay-horn/IF_fg_mpg_example1_000.smt2 TIMEOUT 1806.72 597.03 apollon027 synthesis/nay-horn/CONST_sum_10_5_000.smt2 TIMEOUT 1801.02 1747.85 apollon078 synthesis/nay-horn/IF_fg_max7_000.smt2 unknown 216.57 132.13 apollon167 synthesis/nay-horn/PLUS_mpg_example2_000.smt2 false 15.89 4.69 apollon101 synthesis/nay-horn/CONST_ite1_000.smt2 TIMEOUT 1800.95 1757.37 apollon167 synthesis/nay-horn/PLUS_array_search_3_000.smt2 unknown 52.13 18.50 apollon127 synthesis/nay-horn/IF_fg_sum_9_15_000.smt2 unknown 813.95 688.34 apollon060 synthesis/nay-horn/IF_fg_max2_000.smt2 TIMEOUT 1802.86 867.25 apollon162 synthesis/nay-horn/IF_search_2_000.smt2 TIMEOUT 1801.42 1418.34 apollon020 synthesis/nay-horn/IF_fg_max10_000.smt2 TIMEOUT 1800.71 1548.83 apollon152 synthesis/nay-horn/PLUS_array_sum_5_5_000.smt2 TIMEOUT 1800.54 1657.48 apollon097 synthesis/nay-horn/IF_search_9_000.smt2 TIMEOUT 1800.29 1615.23 apollon059 synthesis/nay-horn/PLUS_array_sum_6_5_000.smt2 TIMEOUT 1800.61 1657.65 apollon136 synthesis/nay-horn/IF_search_11_000.smt2 TIMEOUT 1800.56 1616.65 apollon032 synthesis/nay-horn/IF_search_13_000.smt2 TIMEOUT 1800.58 1648.63 apollon030 synthesis/nay-horn/CONST_fg_search_5_000.smt2 unknown 28.01 8.39 apollon150 hcai-bench/svcomp/O3/O3_McCarthy91_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1801.04 951.75 apollon071 hcai-bench/svcomp/O3/O3_recHanoi03_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1804.38 848.00 apollon028 hcai-bench/svcomp/O3/O3_fibo_7_true-unreach-call_000.smt2 TIMEOUT 1800.79 1570.24 apollon063 hcai-bench/svcomp/O3/O3_id_b3_o2_false-unreach-call_000.smt2 false 348.73 304.36 apollon163 hcai-bench/svcomp/O3/O3_fibo_2calls_8_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.22 1640.46 apollon165 hcai-bench/svcomp/O3/O3_McCarthy91_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 7.62 2.59 apollon146 hcai-bench/svcomp/O3/O3_fibo_2calls_4_false-unreach-call_true-termination_000.smt2 false 381.01 345.63 apollon070 hcai-bench/svcomp/O3/O3_id2_b3_o5_true-unreach-call_000.smt2 true 8.85 3.01 apollon046 hcai-bench/svcomp/O3/O3_Ackermann03_true-unreach-call_true-no-overflow_000.smt2 TIMEOUT 1800.97 1254.74 apollon162 hcai-bench/svcomp/O3/O3_fibo_5_true-unreach-call_true-termination_000.smt2 TIMEOUT 1805.24 852.15 apollon113 hcai-bench/svcomp/O3/O3_fibo_2calls_25_true-unreach-call_000.smt2 TIMEOUT 1800.61 1619.68 apollon043 hcai-bench/svcomp/O3/O3_fibo_2calls_10_false-unreach-call_000.smt2 TIMEOUT 1800.37 1635.08 apollon014 hcai-bench/svcomp/O3/O3_Primes_true-unreach-call_true-no-overflow_false-termination_000.smt2 TIMEOUT 1800.68 1180.34 apollon153 hcai-bench/svcomp/O3/O3_fibo_2calls_8_false-unreach-call_000.smt2 TIMEOUT 1800.21 1632.52 apollon048 hcai-bench/svcomp/O3/O3_fibo_20_false-unreach-call_000.smt2 TIMEOUT 1800.31 1136.63 apollon143 hcai-bench/svcomp/O3/O3_id2_b3_o2_false-unreach-call_000.smt2 false 11.25 3.84 apollon109 hcai-bench/svcomp/O3/O3_fibo_2calls_6_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.73 1604.78 apollon042 hcai-bench/svcomp/O3/O3_Ackermann04_true-unreach-call_true-no-overflow_000.smt2 TIMEOUT 1805.33 882.18 apollon038 hcai-bench/svcomp/O3/O3_fibo_10_false-unreach-call_000.smt2 TIMEOUT 1800.77 1191.11 apollon079 hcai-bench/svcomp/O3/O3_id2_i5_o5_true-unreach-call_true-termination_000.smt2 true 1014.17 269.09 apollon093 hcai-bench/svcomp/O3/O3_fibo_2calls_5_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.70 1581.35 apollon045 hcai-bench/svcomp/O3/O3_id_b5_o10_true-unreach-call_000.smt2 true 10.66 3.51 apollon102 hcai-bench/svcomp/O3/O3_id2_i5_o5_false-unreach-call_true-termination_000.smt2 false 347.91 303.88 apollon055 hcai-bench/svcomp/O3/O3_fibo_2calls_4_true-unreach-call_true-termination_000.smt2 true 423.26 384.87 apollon003 hcai-bench/svcomp/O3/O3_fibo_7_false-unreach-call_000.smt2 TIMEOUT 1800.18 942.01 apollon054 hcai-bench/svcomp/O3/O3_fibo_15_false-unreach-call_000.smt2 TIMEOUT 1801.07 1174.77 apollon075 hcai-bench/svcomp/O3/O3_id2_b2_o3_true-unreach-call_000.smt2 true 8.80 2.94 apollon102 hcai-bench/svcomp/O3/O3_fibo_2calls_15_false-unreach-call_000.smt2 TIMEOUT 1800.24 1616.86 apollon168 hcai-bench/svcomp/O3/O3_fibo_2calls_25_false-unreach-call_000.smt2 TIMEOUT 1800.63 1621.36 apollon008 hcai-bench/svcomp/O3/O3_fibo_15_true-unreach-call_000.smt2 TIMEOUT 1801.08 1487.94 apollon168 hcai-bench/svcomp/O3/O3_fibo_5_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.23 1199.83 apollon109 hcai-bench/svcomp/O3/O3_Ackermann02_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 595.10 551.10 apollon099 hcai-bench/svcomp/O3/O3_recHanoi02_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.55 1004.31 apollon038 hcai-bench/svcomp/O3/O3_Fibonacci02_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1801.02 1614.93 apollon136 hcai-bench/svcomp/O3/O3_fibo_2calls_20_true-unreach-call_000.smt2 TIMEOUT 1801.14 1533.57 apollon052 hcai-bench/svcomp/O3/O3_fibo_2calls_15_true-unreach-call_000.smt2 TIMEOUT 1800.98 1622.97 apollon106 hcai-bench/svcomp/O3/O3_id_b2_o3_true-unreach-call_000.smt2 true 11.41 3.50 apollon039 hcai-bench/svcomp/O3/O3_Fibonacci01_true-unreach-call_true-no-overflow_000.smt2 TIMEOUT 1800.75 960.24 apollon148 hcai-bench/svcomp/O3/O3_Fibonacci04_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 700.94 628.62 apollon135 hcai-bench/svcomp/O3/O3_fibo_20_true-unreach-call_000.smt2 TIMEOUT 1800.48 1341.73 apollon028 hcai-bench/svcomp/O3/O3_id_b3_o5_true-unreach-call_000.smt2 true 11.04 3.46 apollon156 hcai-bench/svcomp/O3/O3_id2_b5_o10_true-unreach-call_000.smt2 true 8.23 2.72 apollon098 hcai-bench/svcomp/O3/O3_fibo_25_false-unreach-call_000.smt2 TIMEOUT 1801.14 1132.17 apollon124 hcai-bench/svcomp/O3/O3_Fibonacci03_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1801.07 917.69 apollon020 hcai-bench/svcomp/O3/O3_fibo_2calls_6_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.19 1603.05 apollon012 hcai-bench/svcomp/O3/O3_Fibonacci05_false-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.15 913.04 apollon115 hcai-bench/svcomp/O3/O3_fibo_2calls_5_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.88 1576.41 apollon138 hcai-bench/svcomp/O3/O3_fibo_10_true-unreach-call_000.smt2 TIMEOUT 1800.38 1177.88 apollon137 hcai-bench/svcomp/O3/O3_Ackermann01_true-unreach-call_true-no-overflow_000.smt2 TIMEOUT 1804.05 896.83 apollon034 hcai-bench/svcomp/O3/O3_fibo_25_true-unreach-call_000.smt2 TIMEOUT 1800.39 1516.20 apollon147 hcai-bench/svcomp/O3/O3_fibo_2calls_20_false-unreach-call_000.smt2 TIMEOUT 1802.08 1608.52 apollon140 hcai-bench/svcomp/O3/O3_fibo_2calls_10_true-unreach-call_000.smt2 TIMEOUT 1800.50 1630.89 apollon146 hcai-bench/svcomp/O0/O0_McCarthy91_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.51 985.87 apollon011 hcai-bench/svcomp/O0/O0_recHanoi03_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1805.47 764.01 apollon016 hcai-bench/svcomp/O0/O0_gcd02_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1804.32 859.79 apollon085 hcai-bench/svcomp/O0/O0_id_i10_o10_false-unreach-call_true-termination_000.smt2 false 476.11 410.75 apollon162 hcai-bench/svcomp/O0/O0_fibo_7_true-unreach-call_000.smt2 TIMEOUT 1801.19 1571.06 apollon077 hcai-bench/svcomp/O0/O0_id_b3_o2_false-unreach-call_000.smt2 false 349.94 304.34 apollon145 hcai-bench/svcomp/O0/O0_sum03_true-unreach-call_false-termination_000.smt2 true 600.20 310.19 apollon060 hcai-bench/svcomp/O0/O0_MultCommutative_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.80 1582.48 apollon054 hcai-bench/svcomp/O0/O0_sum_20x0_false-unreach-call_true-termination_000.smt2 false 1058.04 608.65 apollon107 hcai-bench/svcomp/O0/O0_McCarthy91_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 11.73 3.52 apollon063 hcai-bench/svcomp/O0/O0_id_i25_o25_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.59 855.04 apollon007 hcai-bench/svcomp/O0/O0_gcd01_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.78 836.36 apollon158 hcai-bench/svcomp/O0/O0_Ackermann03_true-unreach-call_true-no-overflow_000.smt2 TIMEOUT 1801.02 1461.29 apollon108 hcai-bench/svcomp/O0/O0_trex04_true-unreach-call_false-termination_000.smt2 true 6.25 2.35 apollon047 hcai-bench/svcomp/O0/O0_fibo_5_true-unreach-call_true-termination_000.smt2 TIMEOUT 1801.29 1067.64 apollon066 hcai-bench/svcomp/O0/O0_Addition03_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.65 935.27 apollon158 hcai-bench/svcomp/O0/O0_id_i5_o5_false-unreach-call_true-termination_000.smt2 false 373.75 312.51 apollon020 hcai-bench/svcomp/O0/O0_Primes_true-unreach-call_true-no-overflow_false-termination_000.smt2 TIMEOUT 1801.34 1371.00 apollon037 hcai-bench/svcomp/O0/O0_id_o3_false-unreach-call_000.smt2 false 356.34 306.18 apollon109 hcai-bench/svcomp/O0/O0_fibo_20_false-unreach-call_000.smt2 TIMEOUT 1802.10 1552.11 apollon145 hcai-bench/svcomp/O0/O0_sum_2x3_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.22 975.28 apollon055 hcai-bench/svcomp/O0/O0_id_i15_o15_true-unreach-call_true-termination_000.smt2 TIMEOUT 1802.83 732.41 apollon146 hcai-bench/svcomp/O0/O0_sum_non_false-unreach-call_true-termination_000.smt2 false 7.07 2.42 apollon160 hcai-bench/svcomp/O0/O0_Ackermann04_true-unreach-call_true-no-overflow_000.smt2 TIMEOUT 1800.37 915.69 apollon011 hcai-bench/svcomp/O0/O0_afterrec_2calls_false-unreach-call_true-termination_000.smt2 false 11.77 3.56 apollon025 hcai-bench/svcomp/O0/O0_fibo_10_false-unreach-call_000.smt2 TIMEOUT 1802.56 1611.30 apollon106 hcai-bench/svcomp/O0/O0_id_o20_false-unreach-call_000.smt2 TIMEOUT 1800.62 1544.38 apollon066 hcai-bench/svcomp/O0/O0_sum_10x0_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.78 998.83 apollon046 hcai-bench/svcomp/O0/O0_sum_15x0_true-unreach-call_true-termination_000.smt2 TIMEOUT 1801.39 984.48 apollon055 hcai-bench/svcomp/O0/O0_Addition03_false-no-overflow_000.smt2 TIMEOUT 1800.77 915.65 apollon165 hcai-bench/svcomp/O0/O0_sum_15x0_false-unreach-call_true-termination_000.smt2 false 686.68 606.38 apollon128 hcai-bench/svcomp/O0/O0_id_b5_o10_true-unreach-call_000.smt2 true 11.43 3.61 apollon157 hcai-bench/svcomp/O0/O0_Addition01_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1804.76 798.32 apollon128 hcai-bench/svcomp/O0/O0_sum_non_eq_true-unreach-call_000.smt2 TIMEOUT 1800.53 1005.30 apollon150 hcai-bench/svcomp/O0/O0_Addition02WithOverflowBug_false-no-overflow_000.smt2 false 44.52 31.81 apollon162 hcai-bench/svcomp/O0/O0_sum_non_eq_false-unreach-call_000.smt2 false 7.14 2.54 apollon067 hcai-bench/svcomp/O0/O0_fibo_7_false-unreach-call_000.smt2 false 1344.66 1203.95 apollon122 hcai-bench/svcomp/O0/O0_fibo_15_false-unreach-call_000.smt2 TIMEOUT 1800.17 1540.56 apollon157 hcai-bench/svcomp/O0/O0_id_i15_o15_false-unreach-call_true-termination_000.smt2 false 684.10 606.17 apollon090 hcai-bench/svcomp/O0/O0_fibo_15_true-unreach-call_000.smt2 TIMEOUT 1800.96 1477.45 apollon107 hcai-bench/svcomp/O0/O0_fibo_5_false-unreach-call_true-termination_000.smt2 false 686.78 627.61 apollon080 hcai-bench/svcomp/O0/O0_id_i10_o10_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.36 1005.28 apollon127 hcai-bench/svcomp/O0/O0_for_bounded_loop1_false-unreach-call_true-termination_000.smt2 false 22.90 10.60 apollon152 hcai-bench/svcomp/O0/O0_Ackermann02_false-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.78 1470.86 apollon145 hcai-bench/svcomp/O0/O0_sum_25x0_false-unreach-call_true-termination_000.smt2 false 816.26 612.43 apollon062 hcai-bench/svcomp/O0/O0_sum_25x0_true-unreach-call_true-termination_000.smt2 TIMEOUT 1802.97 814.85 apollon100 hcai-bench/svcomp/O0/O0_recHanoi02_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1801.74 1017.37 apollon145 hcai-bench/svcomp/O0/O0_afterrec_true-unreach-call_true-termination_000.smt2 TIMEOUT 1805.46 894.68 apollon080 hcai-bench/svcomp/O0/O0_id_o200_false-unreach-call_000.smt2 TIMEOUT 1800.82 1581.28 apollon023 hcai-bench/svcomp/O0/O0_Fibonacci02_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1800.25 1129.83 apollon118 hcai-bench/svcomp/O0/O0_id_i20_o20_true-unreach-call_true-termination_000.smt2 TIMEOUT 1801.04 917.02 apollon091 hcai-bench/svcomp/O0/O0_sum_10x0_false-unreach-call_true-termination_000.smt2 false 1211.51 358.53 apollon124 hcai-bench/svcomp/O0/O0_afterrec_false-unreach-call_true-termination_000.smt2 false 12.94 3.98 apollon165 hcai-bench/svcomp/O0/O0_id_i20_o20_false-unreach-call_true-termination_000.smt2 false 780.06 608.49 apollon117 hcai-bench/svcomp/O0/O0_id_b2_o3_true-unreach-call_000.smt2 true 10.57 3.51 apollon053 hcai-bench/svcomp/O0/O0_Fibonacci01_true-unreach-call_true-no-overflow_000.smt2 TIMEOUT 1803.10 869.47 apollon054 hcai-bench/svcomp/O0/O0_sum03_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.32 607.63 apollon007 hcai-bench/svcomp/O0/O0_Fibonacci04_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 699.79 627.22 apollon092 hcai-bench/svcomp/O0/O0_fibo_20_true-unreach-call_000.smt2 TIMEOUT 1800.68 1305.23 apollon039 hcai-bench/svcomp/O0/O0_sum_20x0_true-unreach-call_true-termination_000.smt2 TIMEOUT 1802.19 909.24 apollon068 hcai-bench/svcomp/O0/O0_id_b3_o5_true-unreach-call_000.smt2 true 11.14 3.43 apollon092 hcai-bench/svcomp/O0/O0_Addition02_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 351.35 308.93 apollon015 hcai-bench/svcomp/O0/O0_sum_non_true-unreach-call_true-termination_000.smt2 TIMEOUT 1803.63 817.70 apollon044 hcai-bench/svcomp/O0/O0_afterrec_2calls_true-unreach-call_true-termination_000.smt2 TIMEOUT 1805.87 877.97 apollon123 hcai-bench/svcomp/O0/O0_fibo_25_false-unreach-call_000.smt2 TIMEOUT 1801.23 1560.38 apollon045 hcai-bench/svcomp/O0/O0_Fibonacci03_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1801.22 950.60 apollon055 hcai-bench/svcomp/O0/O0_Fibonacci05_false-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1804.01 903.02 apollon081 hcai-bench/svcomp/O0/O0_fibo_10_true-unreach-call_000.smt2 TIMEOUT 1800.76 1601.94 apollon164 hcai-bench/svcomp/O0/O0_Ackermann01_true-unreach-call_true-no-overflow_000.smt2 TIMEOUT 1801.09 1470.95 apollon161 hcai-bench/svcomp/O0/O0_id_i25_o25_false-unreach-call_true-termination_000.smt2 false 693.04 612.71 apollon136 hcai-bench/svcomp/O0/O0_id_i5_o5_true-unreach-call_true-termination_000.smt2 TIMEOUT 1803.25 905.68 apollon119 hcai-bench/svcomp/O0/O0_fibo_25_true-unreach-call_000.smt2 TIMEOUT 1800.90 1552.41 apollon074 hcai-bench/svcomp/O0/O0_id_o1000_false-unreach-call_000.smt2 TIMEOUT 1801.17 1605.87 apollon120 hcai-bench/svcomp/O0/O0_id_o10_false-unreach-call_000.smt2 false 618.24 413.70 apollon070 hcai-bench/svcomp/O0/O0_sum_2x3_false-unreach-call_true-termination_000.smt2 false 347.48 303.75 apollon120 hcai-bench/svcomp/O0/O0_id_o100_false-unreach-call_000.smt2 TIMEOUT 1800.99 1602.56 apollon041 hcai-bench/arrays_orig/array_reverse_once1_abstracted_000.smt2 TIMEOUT 1804.66 420.15 apollon067 hcai-bench/arrays_orig/selection_sort_abstracted2_000.smt2 unknown 1.50 0.62 apollon033 hcai-bench/arrays_orig/selection_sort_multiset_000.smt2 unknown 1.65 0.69 apollon143 rust-horn/bmc-4-test-bmc-diamond-1-safe_000.smt2 unknown 1.42 0.58 apollon069 rust-horn/simple-3-05_recursive_sat_000.smt2 unknown 1.45 0.60 apollon003 rust-horn/simple-2-04_recursive_unsat_000.smt2 unknown 1.64 0.73 apollon106 rust-horn/prusti-2-pass-rosetta-Ackermann_function-same_000.smt2 unknown 1.47 0.59 apollon091 rust-horn/prusti-1-pass-rosetta-Ackermann_function-base_000.smt2 unknown 1.53 0.63 apollon133 rust-horn/bmc-4-test-bmc-diamond-1-unsafe_000.smt2 unknown 1.41 0.60 apollon150 eldarica-misc/LIA/reve/001-horn_000.smt2 TIMEOUT 1805.45 869.69 apollon119 eldarica-misc/LIA/reve/001d-horn_000.smt2 false 407.80 361.31 apollon131 eldarica-misc/LIA/reve/001c-horn_000.smt2 false 404.34 360.96 apollon139 eldarica-misc/LIA/reve/021b-horn_000.smt2 TIMEOUT 1800.89 938.21 apollon133 eldarica-misc/LIA/reve/022c-horn_000.smt2 TIMEOUT 1800.74 765.24 apollon056 eldarica-misc/LIA/reve/022d-horn_000.smt2 TIMEOUT 1800.89 1370.49 apollon114 eldarica-misc/LIA/reve/022-horn_000.smt2 TIMEOUT 1800.22 570.78 apollon058 eldarica-misc/LIA/reve/001b-horn_000.smt2 TIMEOUT 1805.05 866.93 apollon086 eldarica-misc/LIA/reve/006b-horn_000.smt2 TIMEOUT 1806.90 891.63 apollon073 eldarica-misc/LIA/reve/006-horn_000.smt2 TIMEOUT 1806.64 616.49 apollon037 eldarica-misc/LIA/reve/022b-horn_000.smt2 TIMEOUT 1800.45 1290.23 apollon132 eldarica-misc/LIA/reve/005b-horn_000.smt2 TIMEOUT 1800.58 723.03 apollon020 eldarica-misc/LIA/reve/005-horn_000.smt2 TIMEOUT 1800.81 732.76 apollon021 eldarica-misc/LIA/reve/021-horn_000.smt2 TIMEOUT 1800.98 966.52 apollon106 eldarica-misc/LIA/Consistency/ch-triangle-location-nr.6_000.smt2 unknown 49.33 13.50 apollon086 eldarica-misc/LIA/Consistency/incremental.35_000.smt2 unknown 65.31 18.24 apollon012 eldarica-misc/LIA/Consistency/point-location.45_000.smt2 unknown 55.51 15.48 apollon152 eldarica-misc/LIA/Consistency/fortune-full-nonrobust.21_000.smt2 unknown 69.90 20.44 apollon005 eldarica-misc/LIA/Consistency/ch-triangle-location-nr.4_000.smt2 unknown 49.30 13.56 apollon001 eldarica-misc/LIA/Consistency/ch-triangle-location-nr.5_000.smt2 unknown 52.25 14.95 apollon080 eldarica-misc/LIA/Consistency/fortune-half.24_000.smt2 unknown 49.98 13.87 apollon134 eldarica-misc/LIA/Consistency/point-location.43_000.smt2 unknown 58.34 15.95 apollon138 eldarica-misc/LIA/Consistency/ch-triangle-location-nr.3_000.smt2 unknown 53.34 15.08 apollon099 eldarica-misc/LIA/Consistency/graham-scan-full.31_000.smt2 TIMEOUT 1800.77 945.24 apollon161 eldarica-misc/LIA/Consistency/graham.27_000.smt2 TIMEOUT 1800.80 936.79 apollon075 eldarica-misc/LIA/Consistency/incremental-2lists.39_000.smt2 unknown 65.73 17.96 apollon030 eldarica-misc/LIA/Consistency/graham-scan.29_000.smt2 TIMEOUT 1801.70 1088.35 apollon116 eldarica-misc/LIA/Consistency/graham-scan.30_000.smt2 unknown 49.87 13.82 apollon066 eldarica-misc/LIA/Consistency/fortune-full-nonrobust.22_000.smt2 unknown 55.67 15.29 apollon060 eldarica-misc/LIA/Consistency/fortune-full-nonrobust.19_000.smt2 unknown 67.85 20.27 apollon035 eldarica-misc/LIA/Consistency/fortune-full.13_000.smt2 TIMEOUT 1800.74 925.02 apollon108 eldarica-misc/LIA/Consistency/delauny-edge-flipping.7_000.smt2 false 7.24 2.55 apollon060 eldarica-misc/LIA/Consistency/fortune-full-nonrobust.17_000.smt2 unknown 70.29 20.41 apollon143 eldarica-misc/LIA/Consistency/graham-scan-full.34_000.smt2 unknown 52.16 14.63 apollon038 eldarica-misc/LIA/Consistency/graham-scan-full.33_000.smt2 TIMEOUT 1800.71 925.49 apollon126 eldarica-misc/LIA/Consistency/point-location-nr.50_000.smt2 unknown 47.57 13.56 apollon132 eldarica-misc/LIA/Consistency/point-location.46_000.smt2 unknown 51.38 13.94 apollon147 eldarica-misc/LIA/Consistency/incremental2.41_000.smt2 unknown 65.88 18.51 apollon160 eldarica-misc/LIA/Consistency/giftwrapping.25_000.smt2 unknown 62.95 18.86 apollon060 eldarica-misc/LIA/Consistency/fortune-full.16_000.smt2 unknown 64.19 17.30 apollon039 eldarica-misc/LIA/Consistency/point-location.47_000.smt2 unknown 57.31 15.74 apollon010 eldarica-misc/LIA/Consistency/incremental-2lists.38_000.smt2 unknown 59.74 16.16 apollon033 eldarica-misc/LIA/Consistency/fortune-full.12_000.smt2 unknown 67.70 18.81 apollon162 eldarica-misc/LIA/Consistency/fortune-half.23_000.smt2 TIMEOUT 1801.23 906.00 apollon137 eldarica-misc/LIA/Consistency/ch-triangle-location-nr.2_000.smt2 unknown 49.67 13.55 apollon160 eldarica-misc/LIA/Consistency/point-location.48_000.smt2 unknown 68.65 21.32 apollon122 eldarica-misc/LIA/Consistency/slow-hull.55_000.smt2 unknown 51.00 14.55 apollon030 eldarica-misc/LIA/Consistency/graham-scan-full.32_000.smt2 unknown 50.99 14.09 apollon050 eldarica-misc/LIA/Consistency/point-location-nr.52_000.smt2 unknown 50.61 14.23 apollon153 eldarica-misc/LIA/Consistency/giftwrapping.26_000.smt2 unknown 52.60 14.46 apollon015 eldarica-misc/LIA/Consistency/ch-triangle-location-nr.1_000.smt2 unknown 53.14 14.89 apollon160 eldarica-misc/LIA/Consistency/slow-hull.56_000.smt2 unknown 43.84 12.34 apollon056 eldarica-misc/LIA/Consistency/point-location.44_000.smt2 unknown 69.44 21.06 apollon157 eldarica-misc/LIA/Consistency/graham.28_000.smt2 unknown 50.32 13.92 apollon129 eldarica-misc/LIA/Consistency/fortune-full.11_000.smt2 TIMEOUT 1801.58 1271.75 apollon033 eldarica-misc/LIA/Consistency/point-location-nr.51_000.smt2 unknown 60.14 18.28 apollon056 eldarica-misc/LIA/Consistency/incremental.36_000.smt2 unknown 60.57 16.50 apollon006 eldarica-misc/LIA/Consistency/incremental2.42_000.smt2 unknown 61.95 16.64 apollon149 eldarica-misc/LIA/Consistency/fortune-full.15_000.smt2 TIMEOUT 1801.64 970.18 apollon059 eldarica-misc/LIA/Consistency/fortune-full.10_000.smt2 unknown 65.53 17.72 apollon117 eldarica-misc/LIA/Consistency/fortune-full-nonrobust.18_000.smt2 unknown 55.74 14.94 apollon109 eldarica-misc/LIA/Consistency/point-location-nr.54_000.smt2 unknown 47.07 13.28 apollon149 eldarica-misc/LIA/Consistency/fortune-full.9_000.smt2 TIMEOUT 1802.02 966.48 apollon004 eldarica-misc/LIA/Consistency/incremental-2lists.40_000.smt2 unknown 61.08 16.40 apollon156 eldarica-misc/LIA/Consistency/fortune-full-nonrobust.20_000.smt2 unknown 56.46 15.23 apollon028 eldarica-misc/LIA/Consistency/point-location-nr.53_000.smt2 unknown 57.43 17.52 apollon039 eldarica-misc/LIA/Consistency/point-location-nr.49_000.smt2 unknown 57.77 17.56 apollon126 eldarica-misc/LIA/Consistency/incremental-2lists.37_000.smt2 unknown 69.17 18.70 apollon088 eldarica-misc/LIA/Consistency/fortune-full.14_000.smt2 unknown 65.07 17.54 apollon008 llreve-bench/smt2/clausified/rec__limit3_000.smt2 TIMEOUT 1800.75 821.60 apollon107 llreve-bench/smt2/clausified/rec__mccarthy91_000.smt2 TIMEOUT 1800.34 718.21 apollon053 llreve-bench/smt2/clausified/faulty__limit2!_000.smt2 TIMEOUT 1801.00 1105.06 apollon082 llreve-bench/smt2/clausified/rec__cocome1_000.smt2 TIMEOUT 1800.56 932.40 apollon141 llreve-bench/smt2/clausified/rec__add-horn_000.smt2 TIMEOUT 1806.00 889.70 apollon144 llreve-bench/smt2/clausified/faulty__limit1!_000.smt2 false 7.32 2.60 apollon008 llreve-bench/smt2/clausified/rec__rec_while_000.smt2 unknown 26.00 7.66 apollon012 llreve-bench/smt2/clausified/rec__triangular_000.smt2 TIMEOUT 1801.68 891.05 apollon002 llreve-bench/smt2/clausified/rec__loop_rec_000.smt2 TIMEOUT 1805.92 893.10 apollon017 llreve-bench/smt2/clausified/rec__ackermann_000.smt2 TIMEOUT 1801.60 1384.38 apollon122 llreve-bench/smt2/clausified/rec__limit1unrolled_000.smt2 TIMEOUT 1800.81 798.62 apollon040 llreve-bench/smt2/clausified/faulty__add-horn!_000.smt2 false 375.19 313.85 apollon074 llreve-bench/smt2/clausified/rec__limit2_000.smt2 TIMEOUT 1805.35 543.32 apollon150 llreve-bench/smt2/clausified/faulty__inlining!_000.smt2 TIMEOUT 1802.17 1233.06 apollon106 llreve-bench/smt2/clausified/faulty__ackermann!_000.smt2 TIMEOUT 1801.34 1114.50 apollon101 llreve-bench/smt2/clausified/rec__inlining_000.smt2 TIMEOUT 1801.25 1338.34 apollon015 llreve-bench/smt2/quant/clausified-no-arrays/heap__memcpy_b_000.smt2 TIMEOUT 1802.05 864.81 apollon079 llreve-bench/smt2/quant/clausified-no-arrays/heap__propagate_000.smt2 TIMEOUT 1804.29 656.44 apollon024 llreve-bench/smt2/quant/clausified-no-arrays/heap__findmax_000.smt2 TIMEOUT 1805.75 474.40 apollon039 llreve-bench/smt2/quant/clausified-no-arrays/libc__memccpy_1_000.smt2 TIMEOUT 1800.56 1198.36 apollon132 llreve-bench/smt2/quant/clausified-no-arrays/libc__stpcpy_1_000.smt2 TIMEOUT 1801.96 734.12 apollon042 llreve-bench/smt2/quant/clausified-no-arrays/libc__memset_1_000.smt2 TIMEOUT 1802.11 851.88 apollon140 llreve-bench/smt2/quant/clausified-no-arrays/libc__memmove_1_000.smt2 TIMEOUT 1800.57 821.98 apollon027 llreve-bench/smt2/quant/clausified-no-arrays/libc__strcspn_3_000.smt2 TIMEOUT 1801.55 629.10 apollon123 llreve-bench/smt2/quant/clausified-no-arrays/libc__strncmp_2_000.smt2 TIMEOUT 1801.49 703.92 apollon063 llreve-bench/smt2/quant/clausified-no-arrays/heap__heap_call_000.smt2 unknown 105.58 75.09 apollon111 llreve-bench/smt2/quant/clausified-no-arrays/libc__memrchr_1_000.smt2 TIMEOUT 1801.15 726.95 apollon133 llreve-bench/smt2/quant/clausified-no-arrays/libc__strcmp_000.smt2 TIMEOUT 1804.22 868.45 apollon001 llreve-bench/smt2/quant/clausified-no-arrays/libc__memchr_1_000.smt2 TIMEOUT 1801.11 921.19 apollon019 llreve-bench/smt2/quant/clausified-no-arrays/heap__cocome2_000.smt2 TIMEOUT 1802.32 429.24 apollon115 llreve-bench/smt2/quant/clausified-no-arrays/libc__strcspn_000.smt2 TIMEOUT 1800.91 693.95 apollon082 llreve-bench/smt2/quant/clausified-no-arrays/libc__strpbrk_1_000.smt2 TIMEOUT 1804.47 443.28 apollon051 llreve-bench/smt2/quant/clausified-no-arrays/libc__strncmp_1_000.smt2 TIMEOUT 1801.13 739.55 apollon161 llreve-bench/smt2/quant/clausified-no-arrays/libc__sbrk_1_000.smt2 true 377.42 329.88 apollon004 llreve-bench/smt2/quant/clausified-no-arrays/heap__fib_000.smt2 TIMEOUT 1800.40 844.36 apollon114 llreve-bench/smt2/quant/clausified-no-arrays/libc__strncmp_3_000.smt2 TIMEOUT 1806.97 879.46 apollon082 llreve-bench/smt2/quant/clausified-no-arrays/libc__strpbrk_3_000.smt2 TIMEOUT 1800.91 1035.96 apollon164 llreve-bench/smt2/quant/clausified-no-arrays/libc__strchr_1_000.smt2 TIMEOUT 1800.81 1042.37 apollon095 llreve-bench/smt2/quant/clausified-no-arrays/libc__memmem_1_000.smt2 TIMEOUT 1801.15 1176.27 apollon012 llreve-bench/smt2/quant/clausified-no-arrays/heap__selsort_000.smt2 TIMEOUT 1800.78 931.00 apollon052 llreve-bench/smt2/quant/clausified-no-arrays/coreutils__md5sum_000.smt2 TIMEOUT 1800.91 1528.42 apollon011 llreve-bench/smt2/quant/clausified-no-arrays/libc__strpbrk_2_000.smt2 TIMEOUT 1800.20 651.01 apollon167 llreve-bench/smt2/quant/clausified-no-arrays/libc__strcspn_2_000.smt2 TIMEOUT 1801.09 747.39 apollon064 llreve-bench/muz/rec__limit3_000.smt2 llreve-bench/muz/rec__mccarthy91_000.smt2 llreve-bench/muz/faulty__limit2!_000.smt2 llreve-bench/muz/rec__cocome1_000.smt2 llreve-bench/muz/rec__add-horn_000.smt2 llreve-bench/muz/faulty__limit1!_000.smt2 llreve-bench/muz/rec__rec_while_000.smt2 llreve-bench/muz/rec__triangular_000.smt2 llreve-bench/muz/rec__loop_rec_000.smt2 llreve-bench/muz/rec__ackermann_000.smt2 llreve-bench/muz/rec__limit1unrolled_000.smt2 llreve-bench/muz/faulty__add-horn!_000.smt2 llreve-bench/muz/rec__limit2_000.smt2 llreve-bench/muz/faulty__inlining!_000.smt2 llreve-bench/muz/faulty__ackermann!_000.smt2 llreve-bench/muz/rec__inlining_000.smt2 hopv/lia/mochi/dotprod_lin_000.smt2 TIMEOUT 1801.19 838.09 apollon074 hopv/lia/mochi/bcopy_000.smt2 TIMEOUT 1800.63 1329.92 apollon105 hopv/lia/mochi/hors_000.smt2 true 8.15 2.91 apollon003 hopv/lia/mochi/bsearch_000.smt2 unknown 20.91 6.26 apollon103 hopv/lia/mochi/kmp_000.smt2 TIMEOUT 1801.02 841.98 apollon116 hopv/lia/mochi/mc91_99_000.smt2 TIMEOUT 1801.12 1102.18 apollon150 hopv/lia/mochi/apply_000.smt2 TIMEOUT 1800.77 923.43 apollon041 hopv/lia/mochi/inc3_000.smt2 TIMEOUT 1801.40 728.41 apollon153 hopv/lia/mochi/neg2_000.smt2 true 898.33 212.25 apollon088 hopv/lia/mochi/ack_000.smt2 TIMEOUT 1800.91 1069.23 apollon159 hopv/lia/mochi/mc91_cps_000.smt2 TIMEOUT 1801.75 1189.85 apollon166 hopv/lia/mochi/enc-zip4_000.smt2 TIMEOUT 1801.17 1442.48 apollon141 hopv/lia/mochi/bcopy2_000.smt2 TIMEOUT 1801.61 747.07 apollon036 hopv/lia/mochi/copy_intro_000.smt2 TIMEOUT 1800.63 1121.58 apollon099 hopv/lia/mochi/file_000.smt2 TIMEOUT 1801.13 1350.00 apollon023 hopv/lia/mochi/repeat_000.smt2 unknown 185.88 146.65 apollon154 hopv/lia/mochi/recursive_000.smt2 unknown 31.07 8.73 apollon085 hopv/lia/mochi/fib_000.smt2 TIMEOUT 1800.99 943.99 apollon099 hopv/lia/mochi/enc-zip_unzip_000.smt2 unknown 15.14 4.95 apollon061 hopv/lia/mochi/mc91_98_000.smt2 TIMEOUT 1801.75 973.11 apollon096 hopv/lia/mochi/repeat4_000.smt2 TIMEOUT 1800.78 1106.11 apollon008 hopv/lia/mochi/sigma_sum_000.smt2 TIMEOUT 1800.93 1609.35 apollon126 hopv/lia/mochi/lock_000.smt2 true 332.74 306.10 apollon018 hopv/lia/mochi/a-init_000.smt2 TIMEOUT 1801.34 1399.92 apollon148 hopv/lia/mochi/map_map_000.smt2 TIMEOUT 1800.90 1111.99 apollon047 hopv/lia/mochi/gib_000.smt2 TIMEOUT 1800.54 1130.22 apollon136 hopv/lia/mochi/inc4_000.smt2 TIMEOUT 1803.07 820.68 apollon071 hopv/lia/mochi/mc91_000.smt2 TIMEOUT 1801.39 1308.16 apollon062 hopv/lia/mochi/a-copy-print_000.smt2 TIMEOUT 1802.41 651.73 apollon051 hopv/lia/mochi/queen_000.smt2 TIMEOUT 1802.50 842.10 apollon059 hopv/lia/mochi/bcopy3_000.smt2 TIMEOUT 1800.94 978.81 apollon099 hopv/lia/mochi/enc-zip_map2_000.smt2 TIMEOUT 1800.58 1620.68 apollon014 hopv/lia/mochi/mc91_95_000.smt2 TIMEOUT 1800.96 1084.33 apollon001 hopv/lia/mochi/max_000.smt2 true 51.21 35.58 apollon030 hopv/lia/mochi/a-max_000.smt2 TIMEOUT 1803.79 891.91 apollon001 hopv/lia/mochi/enc-zipmap_000.smt2 TIMEOUT 1803.43 1432.84 apollon118 hopv/lia/mochi/bcopy4_000.smt2 true 8.72 2.80 apollon024 hopv/lia/mochi/enc-zip_000.smt2 TIMEOUT 1801.12 1458.72 apollon062 hopv/lia/mochi/hrec_000.smt2 unknown 32.01 8.89 apollon059 hopv/lia/mochi/gib2_000.smt2 TIMEOUT 1800.86 1155.70 apollon009 hopv/lia/mochi/enc-zip_map_000.smt2 TIMEOUT 1801.20 1044.43 apollon143 hopv/lia/mochi/dotprod5_000.smt2 TIMEOUT 1801.03 802.67 apollon049 hopv/lia/mochi/inc_000.smt2 true 7.76 2.67 apollon014 hopv/lia/mochi/sum_cps_000.smt2 TIMEOUT 1801.09 989.95 apollon024 hopv/lia/mochi/bcopy5_000.smt2 TIMEOUT 1801.20 768.92 apollon026 hopv/lia/mochi/twice_000.smt2 true 8.55 2.94 apollon009 hopv/lia/mochi/enc-rev_append_000.smt2 TIMEOUT 1800.44 1071.76 apollon128 hopv/lia/mochi/sum_intro_000.smt2 TIMEOUT 1800.82 1659.91 apollon071 hopv/lia/fpice/inductive3-2_000.smt2 true 7.19 2.55 apollon046 hopv/lia/fpice/repeat_000.smt2 hopv/lia/fpice/inductive_000.smt2 TIMEOUT 1800.34 948.19 apollon025 hopv/lia/termination/Ackermann05_000.smt2 TIMEOUT 1803.43 695.06 apollon147 hopv/lia/termination/McCarthy9102_000.smt2 true 7.08 2.53 apollon108 hopv/lia/termination/CE-1CFA04_000.smt2 false 8.42 2.88 apollon118 hopv/lia/termination/Fibonacci02_000.smt2 true 7.73 2.68 apollon015 hopv/lia/termination/Ackermann06_000.smt2 unknown 82.23 43.41 apollon017 hopv/lia/termination/McCarthy9103_000.smt2 TIMEOUT 1801.23 771.80 apollon166 hopv/lia/termination/append02_000.smt2 true 6.95 2.47 apollon167 hopv/lia/termination/Ackermann04_000.smt2 TIMEOUT 1803.78 863.36 apollon068 hopv/lia/termination/binomial02_000.smt2 true 8.80 2.93 apollon109 hopv/lia/termination/CE-1CFA03_000.smt2 false 8.85 2.94 apollon011 hopv/lia/termination/CE-0CFA03_000.smt2 false 5.91 2.28 apollon003 hopv/lia/termination/Fibonacci03_000.smt2 true 7.28 2.49 apollon077 hopv/lia/termination/alias_partial03_000.smt2 true 18.47 8.05 apollon006 hopv/lia/termination/zip02_000.smt2 true 7.15 2.41 apollon033 hopv/lia/termination/binomial05_000.smt2 true 9.71 3.08 apollon017 hopv/lia/termination/binomial04_000.smt2 true 10.61 3.52 apollon074 hopv/lia/termination/Ackermann02_000.smt2 TIMEOUT 1800.53 1227.12 apollon155 --------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 7816.39 - Statistics: 1266 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1072