BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/ultimateunihorn.xml name: ultimateunihorn run sets: CHC-COMP2025_check-sat.LIA-Lin date: Mon, 2025-05-05 20:41:44 CEST tool: Ultimate Unihorn (unknown version) tool executable: ./chc-comp-wrapper.sh options: resource limits: - memory: 30000.0 MB - time: 1800 s - cpu cores: 8 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 8 - memory: 30000.0 MB ------------------------------------------------------------ CHC-COMP2025_check-sat.LIA-Lin Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- aeval-benchmarks/multi-phase/s_split_53_000.smt2 TIMEOUT 1800.61 1469.85 apollon042 aeval-benchmarks/multi-phase/s_split_27_000.smt2 TIMEOUT 1800.19 1518.83 apollon160 aeval-benchmarks/multi-phase/s_split_24_000.smt2 TIMEOUT 1800.19 1482.20 apollon148 aeval-benchmarks/multi-phase/s_split_39_000.smt2 OUT OF MEMORY 1116.01 787.96 apollon128 aeval-benchmarks/multi-phase/s_split_15_000.smt2 TIMEOUT 1800.15 1704.10 apollon007 aeval-benchmarks/multi-phase/s_split_03_000.smt2 TIMEOUT 1801.11 1784.09 apollon158 aeval-benchmarks/multi-phase/s_split_13_000.smt2 true 19.97 5.78 apollon024 aeval-benchmarks/multi-phase/s_split_30_000.smt2 TIMEOUT 1800.71 1764.35 apollon114 aeval-benchmarks/multi-phase/s_split_51_000.smt2 TIMEOUT 1800.77 1458.43 apollon010 aeval-benchmarks/multi-phase/s_split_34_000.smt2 TIMEOUT 1800.54 1667.77 apollon085 aeval-benchmarks/multi-phase/s_split_52_000.smt2 TIMEOUT 1800.58 1532.89 apollon009 aeval-benchmarks/multi-phase/s_split_29_000.smt2 TIMEOUT 1800.66 1459.73 apollon043 aeval-benchmarks/multi-phase/s_split_11_000.smt2 TIMEOUT 1800.29 1521.10 apollon031 aeval-benchmarks/multi-phase/s_split_09_000.smt2 unknown 1645.81 1576.11 apollon130 aeval-benchmarks/multi-phase/s_split_45_000.smt2 TIMEOUT 1800.22 1495.69 apollon075 aeval-benchmarks/multi-phase/s_split_46_000.smt2 TIMEOUT 1800.66 1778.27 apollon134 aeval-benchmarks/multi-phase/s_split_48_000.smt2 TIMEOUT 1801.09 1529.94 apollon034 aeval-benchmarks/multi-phase/s_split_44_000.smt2 TIMEOUT 1800.96 1767.03 apollon071 aeval-benchmarks/multi-phase/s_split_32_000.smt2 TIMEOUT 1801.07 1741.65 apollon163 aeval-benchmarks/multi-phase/s_split_08_000.smt2 TIMEOUT 1800.38 1533.58 apollon105 aeval-benchmarks/multi-phase/s_split_22_000.smt2 TIMEOUT 1800.26 1469.89 apollon077 aeval-benchmarks/multi-phase/s_split_28_000.smt2 TIMEOUT 1801.13 1514.40 apollon062 aeval-benchmarks/multi-phase/s_split_31_000.smt2 TIMEOUT 1800.94 1517.07 apollon010 aeval-benchmarks/multi-phase/s_split_21_000.smt2 true 58.05 26.21 apollon004 aeval-benchmarks/multi-phase/s_split_38_000.smt2 true 26.51 9.72 apollon119 aeval-benchmarks/multi-phase/s_split_01_000.smt2 TIMEOUT 1800.56 1484.05 apollon050 aeval-benchmarks/multi-phase/s_split_33_000.smt2 TIMEOUT 1801.16 1680.65 apollon150 aeval-benchmarks/multi-phase/s_split_10_000.smt2 TIMEOUT 1800.59 1779.35 apollon082 aeval-benchmarks/multi-phase/s_split_37_000.smt2 true 103.92 72.41 apollon078 aeval-benchmarks/multi-phase/s_split_06_000.smt2 TIMEOUT 1800.73 1768.26 apollon013 aeval-benchmarks/multi-phase/s_split_42_000.smt2 TIMEOUT 1800.26 1484.97 apollon132 aeval-benchmarks/multi-phase/s_split_23_000.smt2 true 21.02 6.07 apollon001 aeval-benchmarks/multi-phase/s_split_17_000.smt2 true 14.30 4.17 apollon013 aeval-benchmarks/multi-phase/s_split_20_000.smt2 TIMEOUT 1801.61 1494.21 apollon036 aeval-benchmarks/multi-phase/s_split_36_000.smt2 true 19.66 6.19 apollon001 aeval-benchmarks/multi-phase/s_split_54_000.smt2 TIMEOUT 1801.05 1462.26 apollon051 aeval-benchmarks/multi-phase/s_split_47_000.smt2 TIMEOUT 1800.34 1517.52 apollon130 aeval-benchmarks/multi-phase/s_split_25_000.smt2 true 111.06 72.47 apollon003 aeval-benchmarks/multi-phase/s_split_41_000.smt2 TIMEOUT 1801.10 1793.25 apollon007 aeval-benchmarks/multi-phase/s_split_50_000.smt2 TIMEOUT 1800.95 1517.76 apollon104 aeval-benchmarks/multi-phase/s_split_14_000.smt2 TIMEOUT 1800.17 1726.99 apollon038 aeval-benchmarks/multi-phase/s_split_12_000.smt2 TIMEOUT 1801.00 1519.13 apollon112 aeval-benchmarks/multi-phase/s_split_26_000.smt2 TIMEOUT 1800.48 1482.33 apollon059 aeval-benchmarks/multi-phase/s_split_16_000.smt2 TIMEOUT 1801.37 1479.17 apollon147 aeval-benchmarks/multi-phase/s_split_04_000.smt2 TIMEOUT 1801.15 1461.31 apollon064 aeval-benchmarks/multi-phase/s_split_19_000.smt2 true 258.69 202.94 apollon051 aeval-benchmarks/multi-phase/s_split_43_000.smt2 TIMEOUT 1800.37 1496.06 apollon140 aeval-benchmarks/multi-phase/s_split_35_000.smt2 TIMEOUT 1800.43 1770.09 apollon127 aeval-benchmarks/multi-phase/s_split_07_000.smt2 TIMEOUT 1801.13 1699.15 apollon143 aeval-benchmarks/multi-phase/s_split_49_000.smt2 TIMEOUT 1800.36 1491.64 apollon039 aeval-benchmarks/multi-phase/s_split_02_000.smt2 TIMEOUT 1800.70 1740.23 apollon096 aeval-benchmarks/multi-phase/s_split_40_000.smt2 TIMEOUT 1800.68 1461.30 apollon142 aeval-benchmarks/multi-phase/s_split_18_000.smt2 true 27.93 9.21 apollon090 aeval-benchmarks/multi-phase/s_split_05_000.smt2 true 19.68 6.13 apollon101 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e7_2886_000.smt2 false 17.63 4.50 apollon002 vmt-chc-benchmarks/lustre/car_6_e3_294_e5_979_000.smt2 TIMEOUT 1800.92 1745.64 apollon023 vmt-chc-benchmarks/lustre/metros_3_e4_1251_000.smt2 TIMEOUT 1800.87 1751.72 apollon116 vmt-chc-benchmarks/lustre/traffic_000.smt2 true 254.93 215.29 apollon075 vmt-chc-benchmarks/lustre/FIREFLY_4_000.smt2 TIMEOUT 1800.49 1730.79 apollon153 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e2_1026_000.smt2 false 27.20 8.48 apollon023 vmt-chc-benchmarks/lustre/car_5_e3_11_e5_24_000.smt2 false 238.53 190.80 apollon132 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e2_3395_000.smt2 true 13.48 3.56 apollon081 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e1_3755_000.smt2 unknown 1498.61 1437.59 apollon113 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e2_1492_000.smt2 unknown 1318.45 1266.76 apollon103 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e2_615_000.smt2 false 13.71 3.69 apollon155 vmt-chc-benchmarks/lustre/MESI_i4_e7_1017_e6_1132_000.smt2 TIMEOUT 1800.57 1731.01 apollon089 vmt-chc-benchmarks/lustre/car_4_e8_118_000.smt2 true 122.74 86.84 apollon089 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e7_3447_000.smt2 false 16.08 4.12 apollon065 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e2_2251_000.smt2 unknown 1383.32 1324.69 apollon030 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e1_1489_000.smt2 true 393.63 351.61 apollon093 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e2_2755_000.smt2 unknown 1304.33 1249.85 apollon139 vmt-chc-benchmarks/lustre/fast_1_e8_747_000.smt2 true 13.56 3.47 apollon116 vmt-chc-benchmarks/lustre/car_4_e3_57_e4_1047_000.smt2 true 25.54 7.50 apollon090 vmt-chc-benchmarks/lustre/DRAGON_10_000.smt2 unknown 1698.25 1637.74 apollon038 vmt-chc-benchmarks/lustre/rtp_2_000.smt2 true 46.26 18.05 apollon140 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e3_522_000.smt2 true 35.18 12.67 apollon142 vmt-chc-benchmarks/lustre/durationThm_3_e2_148_000.smt2 true 22.17 6.48 apollon052 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_000.smt2 false 15.70 4.08 apollon095 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_000.smt2 unknown 1261.82 1219.33 apollon014 vmt-chc-benchmarks/lustre/ticket3i_all_e3_557_e7_3464_000.smt2 true 380.75 326.43 apollon091 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e7_998_000.smt2 false 57.15 27.13 apollon153 vmt-chc-benchmarks/lustre/peterson_2_000.smt2 true 126.11 88.08 apollon134 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_1315_000.smt2 false 75.77 42.84 apollon168 vmt-chc-benchmarks/lustre/car_3_e2_695_000.smt2 true 12.65 3.56 apollon066 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e3_1915_000.smt2 unknown 792.31 744.31 apollon035 vmt-chc-benchmarks/lustre/car_2_e7_1027_e7_359_000.smt2 true 546.19 480.56 apollon112 vmt-chc-benchmarks/lustre/DRAGON_1_000.smt2 unknown 991.04 935.90 apollon133 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e3_4574_000.smt2 false 32.79 9.42 apollon097 vmt-chc-benchmarks/lustre/metros_5_000.smt2 TIMEOUT 1801.03 1754.33 apollon039 vmt-chc-benchmarks/lustre/ILLINOIS_a1_000.smt2 unknown 1250.88 1200.95 apollon074 vmt-chc-benchmarks/lustre/ILLINOIS_4_e7_2651_e7_2847_000.smt2 true 369.29 326.71 apollon048 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e3_422_000.smt2 unknown 1032.82 979.70 apollon021 vmt-chc-benchmarks/lustre/DRAGON_10_e7_3861_e7_2180_000.smt2 false 15.82 4.04 apollon024 vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997_000.smt2 true 1182.10 1124.06 apollon031 vmt-chc-benchmarks/lustre/metros_3_e4_987_e3_291_000.smt2 TIMEOUT 1800.93 1748.88 apollon024 vmt-chc-benchmarks/lustre/DRAGON_8_e3_786_000.smt2 unknown 811.45 762.36 apollon012 vmt-chc-benchmarks/lustre/peterson_all_000.smt2 TIMEOUT 1801.20 1733.68 apollon090 vmt-chc-benchmarks/lustre/ticket3i_5_e7_3307_000.smt2 true 50.07 19.46 apollon021 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_000.smt2 TIMEOUT 1801.24 1742.35 apollon068 vmt-chc-benchmarks/lustre/DRAGON_all_000.smt2 unknown 578.53 524.87 apollon117 vmt-chc-benchmarks/lustre/DRAGON_9_000.smt2 unknown 543.81 491.16 apollon105 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e1_1486_000.smt2 false 70.18 41.96 apollon128 vmt-chc-benchmarks/lustre/swimmingpool_9_000.smt2 false 762.02 686.99 apollon033 vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e2_3135_000.smt2 unknown 537.58 481.31 apollon027 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e7_341_000.smt2 false 97.94 55.17 apollon100 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_000.smt2 unknown 627.85 568.31 apollon067 vmt-chc-benchmarks/lustre/MESI_3_000.smt2 unknown 1113.31 1047.41 apollon001 vmt-chc-benchmarks/lustre/hysteresis_all_000.smt2 true 49.24 21.18 apollon153 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e2_158_000.smt2 unknown 529.58 473.86 apollon153 vmt-chc-benchmarks/lustre/rtp_vt_000.smt2 unknown 935.17 879.86 apollon090 vmt-chc-benchmarks/lustre/MESI_4_e7_1140_e7_433_000.smt2 unknown 1775.29 1713.34 apollon153 vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e7_1864_000.smt2 false 21.03 5.33 apollon120 vmt-chc-benchmarks/lustre/MOESI_2_e2_155_000.smt2 true 13.26 3.51 apollon117 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e3_511_000.smt2 TIMEOUT 1800.70 1552.06 apollon135 vmt-chc-benchmarks/lustre/speed2_e8_449_000.smt2 true 34.05 12.14 apollon024 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e1_6205_000.smt2 unknown 583.82 529.10 apollon030 vmt-chc-benchmarks/lustre/FIREFLY_8_000.smt2 true 390.83 349.84 apollon003 vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e4_4421_000.smt2 unknown 389.24 348.74 apollon049 vmt-chc-benchmarks/lustre/MOESI_2_e8_101_000.smt2 true 12.68 3.41 apollon098 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e6_2476_000.smt2 unknown 814.43 762.95 apollon148 vmt-chc-benchmarks/lustre/FIREFLY_10_e7_919_e2_3192_000.smt2 unknown 887.09 847.09 apollon004 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e4_165_000.smt2 true 23.13 6.75 apollon023 vmt-chc-benchmarks/lustre/ticket3i_7_e7_3176_000.smt2 true 268.19 219.40 apollon059 vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5322_000.smt2 false 18.92 4.74 apollon034 vmt-chc-benchmarks/lustre/MESI_i4_e6_2175_000.smt2 TIMEOUT 1800.31 1734.05 apollon006 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e6_2281_000.smt2 unknown 1567.80 1498.55 apollon138 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e7_3738_000.smt2 false 15.40 4.03 apollon164 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e3_2055_000.smt2 false 90.60 56.47 apollon032 vmt-chc-benchmarks/lustre/DRAGON_10_e1_998_000.smt2 unknown 825.53 780.21 apollon116 vmt-chc-benchmarks/lustre/FIREFLY_2_e2_3244_e3_1305_000.smt2 false 77.40 47.95 apollon042 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e2_2673_000.smt2 unknown 1507.64 1452.18 apollon142 vmt-chc-benchmarks/lustre/ILLINOIS_5_000.smt2 unknown 569.84 521.92 apollon078 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e1_556_000.smt2 TIMEOUT 1800.84 1750.36 apollon117 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e1_1128_000.smt2 false 14.05 3.86 apollon128 vmt-chc-benchmarks/lustre/speed_e7_207_e8_507_000.smt2 true 12.06 3.26 apollon038 vmt-chc-benchmarks/lustre/DRAGON_all_e7_4065_000.smt2 false 17.73 4.69 apollon092 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e7_1173_000.smt2 false 15.10 3.93 apollon003 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e4_232_000.smt2 TIMEOUT 1800.85 1751.34 apollon129 vmt-chc-benchmarks/lustre/MESI_i1_e4_1986_000.smt2 false 14.32 3.78 apollon053 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e1_768_000.smt2 unknown 941.57 883.54 apollon114 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e7_3594_000.smt2 true 186.32 151.09 apollon009 vmt-chc-benchmarks/lustre/SYNAPSE_5_000.smt2 TIMEOUT 1800.54 1728.26 apollon051 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e7_3681_000.smt2 true 177.39 139.41 apollon003 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e5_3248_000.smt2 unknown 1372.23 1311.00 apollon142 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e5_260_000.smt2 true 30.69 12.62 apollon129 vmt-chc-benchmarks/lustre/metros_1_e1_846_e2_1394_000.smt2 true 103.60 67.03 apollon090 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e3_2660_000.smt2 false 72.56 41.25 apollon089 vmt-chc-benchmarks/lustre/car_6_e3_294_e3_47_000.smt2 false 1517.37 1454.13 apollon137 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e7_2326_000.smt2 false 30.71 8.20 apollon120 vmt-chc-benchmarks/lustre/DRAGON_all2_e8_5504_e7_579_000.smt2 false 19.61 4.84 apollon046 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_000.smt2 unknown 1472.04 1413.88 apollon165 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e2_1352_000.smt2 unknown 774.54 724.97 apollon100 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e6_1459_000.smt2 TIMEOUT 1800.50 1727.60 apollon006 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e5_3642_000.smt2 unknown 734.22 673.41 apollon012 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e8_320_000.smt2 true 350.31 308.19 apollon079 vmt-chc-benchmarks/lustre/peterson_3_000.smt2 TIMEOUT 1800.55 1729.71 apollon111 vmt-chc-benchmarks/lustre/FIREFLY_rt_000.smt2 TIMEOUT 1800.83 1724.28 apollon126 vmt-chc-benchmarks/lustre/FIREFLY_luke_5_000.smt2 unknown 1630.80 1563.62 apollon094 vmt-chc-benchmarks/lustre/FIREFLY_5_000.smt2 true 280.84 238.05 apollon078 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e2_2392_000.smt2 unknown 1338.71 1280.87 apollon131 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e2_1923_000.smt2 unknown 1375.45 1317.79 apollon104 vmt-chc-benchmarks/lustre/car_all_e3_1068_000.smt2 false 13.59 3.68 apollon092 vmt-chc-benchmarks/lustre/MOESI_2_e3_1523_000.smt2 true 13.41 3.53 apollon018 vmt-chc-benchmarks/lustre/ticket3i_all_000.smt2 unknown 1143.95 1076.73 apollon033 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e8_1334_000.smt2 true 13.86 3.67 apollon164 vmt-chc-benchmarks/lustre/DRAGON_13_e3_1418_e3_2761_000.smt2 unknown 1673.37 1611.86 apollon096 vmt-chc-benchmarks/lustre/ticket3i_2_000.smt2 true 117.84 83.36 apollon077 vmt-chc-benchmarks/lustre/fast_1_000.smt2 true 14.35 3.82 apollon140 vmt-chc-benchmarks/lustre/MESI_1_e2_162_e7_1545_000.smt2 unknown 1485.69 1427.51 apollon079 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e6_2061_000.smt2 unknown 581.21 527.63 apollon015 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_000.smt2 true 424.42 380.83 apollon089 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e3_1549_000.smt2 false 82.26 49.32 apollon049 vmt-chc-benchmarks/lustre/_6counters_e3_140_e8_149_000.smt2 true 21.09 6.27 apollon001 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e7_3042_e3_1213_000.smt2 TIMEOUT 1800.60 1725.97 apollon126 vmt-chc-benchmarks/lustre/speed2_000.smt2 true 44.35 18.86 apollon101 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_000.smt2 TIMEOUT 1800.41 1741.08 apollon042 vmt-chc-benchmarks/lustre/car_all_e2_142_e7_209_000.smt2 TIMEOUT 1800.17 1730.70 apollon154 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e1_1852_000.smt2 false 14.64 3.85 apollon049 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e1_2375_000.smt2 false 790.05 749.26 apollon030 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e1_3182_000.smt2 true 13.44 3.52 apollon007 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e7_1262_000.smt2 TIMEOUT 1800.19 1735.09 apollon101 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e4_958_000.smt2 false 13.22 3.60 apollon131 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_000.smt2 false 91.67 57.78 apollon090 vmt-chc-benchmarks/lustre/_6counters_000.smt2 false 130.19 90.65 apollon009 vmt-chc-benchmarks/lustre/cd_000.smt2 true 1474.74 1404.73 apollon121 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e1_154_000.smt2 false 16.38 4.22 apollon164 vmt-chc-benchmarks/lustre/DRAGON_8_e3_786_e7_4541_000.smt2 TIMEOUT 1800.36 1731.17 apollon156 vmt-chc-benchmarks/lustre/DRAGON_11_e2_1678_e1_3565_000.smt2 unknown 852.21 798.22 apollon024 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e1_946_000.smt2 true 13.98 3.86 apollon014 vmt-chc-benchmarks/lustre/DRAGON_3_000.smt2 unknown 533.05 477.16 apollon026 vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e7_3516_000.smt2 true 314.39 267.66 apollon043 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_000.smt2 false 29.34 8.29 apollon139 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e3_2294_000.smt2 false 54.79 27.33 apollon053 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e7_193_000.smt2 false 14.08 3.67 apollon089 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e2_617_000.smt2 true 278.07 231.56 apollon122 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_000.smt2 true 185.09 145.70 apollon014 vmt-chc-benchmarks/lustre/MOESI_2_e7_2910_e7_1804_000.smt2 false 14.11 3.66 apollon010 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e2_138_000.smt2 unknown 1640.32 1574.23 apollon152 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_000.smt2 true 24.38 7.28 apollon095 vmt-chc-benchmarks/lustre/Gas_000.smt2 TIMEOUT 1800.66 1715.51 apollon032 vmt-chc-benchmarks/lustre/SYNAPSE_1_000.smt2 true 214.32 175.30 apollon164 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e8_1167_000.smt2 true 13.80 3.66 apollon163 vmt-chc-benchmarks/lustre/rtp_1_000.smt2 true 46.82 17.95 apollon104 vmt-chc-benchmarks/lustre/metros_2_e2_704_e1_389_000.smt2 TIMEOUT 1800.78 1756.49 apollon048 vmt-chc-benchmarks/lustre/metros_2_e2_704_e3_76_000.smt2 TIMEOUT 1800.95 1758.79 apollon094 vmt-chc-benchmarks/lustre/fast_2_000.smt2 true 65.09 37.42 apollon124 vmt-chc-benchmarks/lustre/DRAGON_2_000.smt2 true 14.00 3.66 apollon021 vmt-chc-benchmarks/lustre/ex3_e8_381_e8_477_000.smt2 true 66.21 38.77 apollon012 vmt-chc-benchmarks/lustre/car_4_e3_57_e6_784_000.smt2 true 29.27 10.15 apollon161 vmt-chc-benchmarks/lustre/DRAGON_all2_e2_2073_e8_3691_000.smt2 false 19.60 4.91 apollon140 vmt-chc-benchmarks/lustre/metros_3_e4_987_e2_80_000.smt2 TIMEOUT 1800.89 1749.20 apollon103 vmt-chc-benchmarks/lustre/metros_4_e5_1150_000.smt2 TIMEOUT 1800.26 1742.06 apollon037 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e8_1916_000.smt2 true 257.00 216.10 apollon094 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e5_2046_000.smt2 unknown 558.73 502.37 apollon027 vmt-chc-benchmarks/lustre/hysteresis_2_000.smt2 true 45.28 20.86 apollon150 vmt-chc-benchmarks/lustre/car_3_e7_626_e1_305_000.smt2 false 19.42 5.18 apollon014 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e2_1255_000.smt2 false 16.38 4.20 apollon095 vmt-chc-benchmarks/lustre/ticket3i_all_e2_1117_e7_553_000.smt2 true 251.32 204.26 apollon117 vmt-chc-benchmarks/lustre/durationThm_2_e1_118_000.smt2 true 76.42 43.02 apollon019 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e3_2970_000.smt2 TIMEOUT 1801.24 1740.39 apollon163 vmt-chc-benchmarks/lustre/car_4_e7_592_000.smt2 true 55.40 27.90 apollon028 vmt-chc-benchmarks/lustre/FIREFLY_2_e3_151_e3_1540_000.smt2 false 79.98 47.79 apollon021 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e3_1543_000.smt2 unknown 677.60 620.02 apollon038 vmt-chc-benchmarks/lustre/ex8_e7_74_e7_740_000.smt2 false 12.05 3.36 apollon092 vmt-chc-benchmarks/lustre/car_2_e8_491_e7_826_000.smt2 TIMEOUT 1801.09 1733.83 apollon041 vmt-chc-benchmarks/lustre/swimmingpool_1_e7_1621_000.smt2 false 194.19 150.73 apollon150 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e2_1058_000.smt2 true 561.82 514.41 apollon094 vmt-chc-benchmarks/lustre/car_all_e2_142_e8_194_000.smt2 TIMEOUT 1800.25 1737.73 apollon107 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e7_523_000.smt2 false 16.25 4.08 apollon028 vmt-chc-benchmarks/lustre/metros_2_e2_704_000.smt2 TIMEOUT 1800.76 1756.74 apollon151 vmt-chc-benchmarks/lustre/DRAGON_1_e2_1997_e7_3613_e2_3409_000.smt2 true 90.90 53.58 apollon098 vmt-chc-benchmarks/lustre/ticket3i_7_e2_2724_e7_524_000.smt2 true 1020.60 957.12 apollon065 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e8_1581_000.smt2 true 96.75 65.57 apollon122 vmt-chc-benchmarks/lustre/DRAGON_14_e1_2392_000.smt2 unknown 553.07 502.76 apollon133 vmt-chc-benchmarks/lustre/swimmingpool_4_000.smt2 false 45.75 19.64 apollon059 vmt-chc-benchmarks/lustre/durationThm_3_e1_36_e7_432_000.smt2 false 29.27 9.48 apollon016 vmt-chc-benchmarks/lustre/metros_1_e8_725_e3_556_000.smt2 true 16.53 4.65 apollon078 vmt-chc-benchmarks/lustre/MESI_all_000.smt2 true 1044.07 991.27 apollon157 vmt-chc-benchmarks/lustre/DRAGON_8_000.smt2 unknown 1537.96 1473.29 apollon044 vmt-chc-benchmarks/lustre/car_5_e3_11_000.smt2 false 157.90 116.86 apollon118 vmt-chc-benchmarks/lustre/metros_1_000.smt2 true 113.08 77.00 apollon120 vmt-chc-benchmarks/lustre/car_6_e1_152_e1_391_000.smt2 TIMEOUT 1800.92 1739.85 apollon121 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e5_1637_000.smt2 false 73.22 43.75 apollon070 vmt-chc-benchmarks/lustre/metros_1_e2_1102_000.smt2 true 98.66 62.13 apollon021 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_e8_1713_000.smt2 false 107.62 67.23 apollon060 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e3_2657_000.smt2 false 26.46 7.04 apollon059 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_all_000.smt2 true 72.04 40.89 apollon082 vmt-chc-benchmarks/lustre/DRAGON_8_e2_3896_e3_3125_000.smt2 unknown 1504.34 1453.76 apollon074 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e4_578_000.smt2 true 13.28 3.45 apollon161 vmt-chc-benchmarks/lustre/car_all_e8_856_000.smt2 TIMEOUT 1801.05 1743.25 apollon141 vmt-chc-benchmarks/lustre/DRAGON_14_e3_5120_000.smt2 unknown 1526.57 1466.43 apollon151 vmt-chc-benchmarks/lustre/SYNAPSE_6_000.smt2 TIMEOUT 1800.46 1732.51 apollon147 vmt-chc-benchmarks/lustre/DRAGON_5_e1_1835_000.smt2 unknown 928.11 876.52 apollon006 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e7_2614_000.smt2 false 15.74 4.18 apollon058 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_000.smt2 false 75.26 44.19 apollon101 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e7_1163_000.smt2 true 59.37 28.52 apollon003 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e5_846_000.smt2 TIMEOUT 1800.97 1753.25 apollon104 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e1_2678_000.smt2 true 269.09 229.08 apollon050 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_144_000.smt2 false 71.72 41.93 apollon038 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e3_135_000.smt2 false 37.50 14.14 apollon091 vmt-chc-benchmarks/lustre/MOESI_2_e1_1121_000.smt2 true 13.59 3.66 apollon128 vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e7_872_000.smt2 false 15.98 4.04 apollon147 vmt-chc-benchmarks/lustre/metros_1_e1_846_e3_1060_000.smt2 true 117.07 81.17 apollon067 vmt-chc-benchmarks/lustre/car_all_000.smt2 true 327.97 278.72 apollon081 vmt-chc-benchmarks/lustre/durationThm_2_e1_301_e7_64_000.smt2 false 13.34 3.47 apollon166 vmt-chc-benchmarks/lustre/DRAGON_3_e2_5343_e1_988_000.smt2 unknown 528.29 473.63 apollon128 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e7_1059_e8_1111_000.smt2 unknown 1257.06 1216.96 apollon096 vmt-chc-benchmarks/lustre/speed2_e8_449_e7_353_000.smt2 true 39.27 16.40 apollon157 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e7_1026_000.smt2 true 204.05 164.67 apollon038 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_000.smt2 false 15.76 4.13 apollon056 vmt-chc-benchmarks/lustre/durationThm_3_e1_36_000.smt2 false 19.64 5.31 apollon075 vmt-chc-benchmarks/lustre/DRAGON_11_e3_382_e1_505_000.smt2 unknown 389.29 348.48 apollon058 vmt-chc-benchmarks/lustre/ILLINOIS_all_e3_2354_e6_993_000.smt2 unknown 785.48 741.15 apollon160 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e8_3171_000.smt2 true 13.90 3.66 apollon035 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e8_1896_000.smt2 false 15.19 3.98 apollon149 vmt-chc-benchmarks/lustre/car_all_e3_1068_e3_163_000.smt2 false 13.71 3.69 apollon077 vmt-chc-benchmarks/lustre/metros_4_e1_917_000.smt2 TIMEOUT 1800.95 1756.68 apollon106 vmt-chc-benchmarks/lustre/ticket3i_6_e7_1096_e7_2688_000.smt2 true 71.68 36.87 apollon068 vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e3_1744_000.smt2 unknown 896.54 846.76 apollon164 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e3_1601_000.smt2 false 15.48 4.13 apollon140 vmt-chc-benchmarks/lustre/DRAGON_10_e2_2785_e7_1466_000.smt2 false 15.83 4.11 apollon145 vmt-chc-benchmarks/lustre/swimmingpool_1_000.smt2 TIMEOUT 1800.39 1733.88 apollon130 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e7_1440_000.smt2 TIMEOUT 1801.02 1750.45 apollon086 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e2_753_000.smt2 false 14.94 4.14 apollon093 vmt-chc-benchmarks/lustre/car_4_e3_57_e7_350_000.smt2 false 12.69 3.42 apollon001 vmt-chc-benchmarks/lustre/ticket3i_4_e7_1775_e7_3320_000.smt2 true 52.49 20.21 apollon050 vmt-chc-benchmarks/lustre/MESI_3_e3_2584_000.smt2 TIMEOUT 1800.44 1726.81 apollon012 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e2_3308_000.smt2 unknown 637.85 582.96 apollon157 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e1_1759_000.smt2 unknown 566.79 515.53 apollon160 vmt-chc-benchmarks/lustre/metros_1_e1_846_e8_1253_000.smt2 true 16.18 4.52 apollon157 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e1_667_000.smt2 false 13.82 3.81 apollon051 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e1_2924_000.smt2 unknown 1384.06 1325.49 apollon126 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e5_1637_000.smt2 false 13.65 3.69 apollon122 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e3_1180_000.smt2 true 1069.76 1015.45 apollon053 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e3_2012_000.smt2 unknown 852.42 797.76 apollon126 vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1653_000.smt2 false 15.20 3.99 apollon111 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_000.smt2 false 14.87 3.89 apollon146 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_1444_e7_638_000.smt2 unknown 912.97 856.50 apollon034 vmt-chc-benchmarks/lustre/rtp_all_e7_2500_000.smt2 unknown 546.23 491.87 apollon126 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e3_1839_000.smt2 false 74.23 44.53 apollon091 vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e2_936_000.smt2 unknown 938.99 876.48 apollon155 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e1_1455_000.smt2 unknown 907.91 852.95 apollon159 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e1_1292_000.smt2 TIMEOUT 1800.83 1729.89 apollon097 vmt-chc-benchmarks/lustre/car_all_e3_1068_e4_275_000.smt2 TIMEOUT 1800.58 1722.62 apollon048 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e3_979_000.smt2 false 15.74 4.06 apollon133 vmt-chc-benchmarks/lustre/durationThm_1_e7_217_e7_31_000.smt2 false 13.14 3.51 apollon089 vmt-chc-benchmarks/lustre/DRAGON_10_e3_144_e6_4484_000.smt2 unknown 1675.74 1623.74 apollon119 vmt-chc-benchmarks/lustre/DRAGON_11_e1_1117_e7_4950_000.smt2 false 15.59 4.07 apollon026 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e2_5340_000.smt2 false 15.23 4.01 apollon005 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e1_3277_000.smt2 false 75.62 46.65 apollon126 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e3_5316_000.smt2 true 661.68 611.70 apollon073 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e2_1145_000.smt2 true 129.85 90.29 apollon057 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2_e7_1068_e8_1019_000.smt2 unknown 1144.38 1094.21 apollon007 vmt-chc-benchmarks/lustre/_6counters_e8_371_e7_304_000.smt2 false 29.76 9.66 apollon046 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e3_5972_000.smt2 true 14.71 3.94 apollon099 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e2_5844_000.smt2 unknown 1365.76 1295.49 apollon011 vmt-chc-benchmarks/lustre/ILLINOIS_2_000.smt2 true 14.09 3.66 apollon045 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e3_2640_000.smt2 unknown 1429.46 1389.52 apollon089 vmt-chc-benchmarks/lustre/rtp_6_000.smt2 true 649.59 595.70 apollon048 vmt-chc-benchmarks/lustre/DRAGON_11_e2_5396_e3_282_000.smt2 unknown 476.96 436.35 apollon093 vmt-chc-benchmarks/lustre/car_6_e1_152_000.smt2 TIMEOUT 1801.09 1739.91 apollon017 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_000.smt2 false 91.55 59.29 apollon026 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e2_1375_e1_418_000.smt2 unknown 1452.43 1394.75 apollon011 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e7_685_000.smt2 false 15.96 4.20 apollon053 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_3191_e7_2146_000.smt2 false 14.55 3.82 apollon157 vmt-chc-benchmarks/lustre/ex8_e7_55_000.smt2 false 12.96 3.61 apollon091 vmt-chc-benchmarks/lustre/SYNAPSE_6_e7_938_e2_1012_000.smt2 TIMEOUT 1800.49 1729.47 apollon008 vmt-chc-benchmarks/lustre/car_5_e2_405_e8_1055_000.smt2 false 225.29 180.51 apollon041 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e4_34_000.smt2 false 14.36 3.76 apollon092 vmt-chc-benchmarks/lustre/MESI_i4_e1_1023_e8_2498_000.smt2 false 317.18 272.39 apollon139 vmt-chc-benchmarks/lustre/DRAGON_3_e3_3846_000.smt2 unknown 639.83 585.30 apollon042 vmt-chc-benchmarks/lustre/DRAGON_11_000.smt2 unknown 858.93 800.77 apollon002 vmt-chc-benchmarks/lustre/MOESI_all_000.smt2 true 504.89 461.62 apollon119 vmt-chc-benchmarks/lustre/car_1_e7_184_e3_299_000.smt2 true 27.96 8.96 apollon050 vmt-chc-benchmarks/lustre/DRAGON_10_e1_3587_e3_2749_000.smt2 unknown 922.89 872.05 apollon049 vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e7_4699_000.smt2 false 19.54 5.01 apollon035 vmt-chc-benchmarks/lustre/ex3_000.smt2 true 45.53 19.38 apollon021 vmt-chc-benchmarks/lustre/car_1_000.smt2 true 28.56 8.82 apollon033 vmt-chc-benchmarks/lustre/car_3_e7_626_000.smt2 true 13.18 3.56 apollon090 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e3_389_000.smt2 false 82.12 51.69 apollon067 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e8_3031_000.smt2 unknown 549.05 495.43 apollon145 vmt-chc-benchmarks/lustre/car_all_e2_108_000.smt2 TIMEOUT 1800.56 1721.47 apollon134 vmt-chc-benchmarks/lustre/traffic_e7_46_e8_16_000.smt2 true 254.49 212.83 apollon019 vmt-chc-benchmarks/lustre/peterson_vt_000.smt2 false 541.14 486.55 apollon077 vmt-chc-benchmarks/lustre/metros_4_000.smt2 TIMEOUT 1800.80 1760.12 apollon166 vmt-chc-benchmarks/lustre/SYNAPSE_123_000.smt2 TIMEOUT 1801.01 1737.06 apollon033 vmt-chc-benchmarks/lustre/peterson_4_000.smt2 true 880.24 823.71 apollon020 vmt-chc-benchmarks/lustre/DRAGON_3_e7_3211_000.smt2 false 16.87 4.32 apollon055 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e4_2415_000.smt2 false 93.19 60.42 apollon168 vmt-chc-benchmarks/lustre/ticket3i_7_000.smt2 TIMEOUT 1800.43 1730.30 apollon035 vmt-chc-benchmarks/lustre/DRAGON_10_e3_3429_000.smt2 unknown 458.49 412.66 apollon046 vmt-chc-benchmarks/lustre/car_all_e3_1068_e6_790_000.smt2 true 323.90 276.45 apollon023 vmt-chc-benchmarks/lustre/ticket3i_1_e7_1669_000.smt2 true 442.32 396.40 apollon026 vmt-chc-benchmarks/lustre/car_all_e3_1068_e2_13_000.smt2 false 14.26 3.71 apollon130 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e3_495_000.smt2 false 42.73 16.71 apollon059 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e1_2319_000.smt2 false 13.91 3.77 apollon040 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e5_84_000.smt2 false 110.56 75.45 apollon104 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e6_500_000.smt2 false 14.57 3.84 apollon106 vmt-chc-benchmarks/lustre/MESI_i4_000.smt2 false 103.15 71.39 apollon163 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_000.smt2 false 78.49 46.93 apollon001 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e7_1882_000.smt2 false 14.43 3.91 apollon008 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e2_1053_000.smt2 false 14.48 4.02 apollon145 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e7_616_000.smt2 false 14.05 3.77 apollon003 vmt-chc-benchmarks/lustre/DRAGON_2_e1_2316_000.smt2 true 14.26 3.72 apollon061 vmt-chc-benchmarks/lustre/ex3_e7_590_e7_590_000.smt2 true 43.29 19.41 apollon143 vmt-chc-benchmarks/lustre/ex8_e8_220_e7_249_000.smt2 false 12.20 3.31 apollon053 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_2_000.smt2 true 38.31 15.48 apollon167 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e8_5719_000.smt2 unknown 1090.18 1027.99 apollon011 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e6_113_000.smt2 true 445.81 404.69 apollon099 vmt-chc-benchmarks/lustre/rtp_10_e7_106_e7_2564_000.smt2 true 72.95 37.48 apollon015 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e8_3915_000.smt2 unknown 1424.77 1375.90 apollon032 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_856_000.smt2 TIMEOUT 1800.43 1726.14 apollon146 vmt-chc-benchmarks/lustre/SYNAPSE_i1_000.smt2 false 13.58 3.77 apollon157 vmt-chc-benchmarks/lustre/rtp_all_000.smt2 unknown 533.58 488.19 apollon162 vmt-chc-benchmarks/lustre/ticket3i_6_000.smt2 true 61.27 29.40 apollon164 vmt-chc-benchmarks/lustre/swimmingpool_6_000.smt2 false 111.67 70.09 apollon054 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e7_1062_000.smt2 TIMEOUT 1800.29 1736.43 apollon166 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2884_e3_1882_000.smt2 true 209.71 172.46 apollon028 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e3_4298_000.smt2 false 230.87 190.34 apollon096 vmt-chc-benchmarks/lustre/fast_2_e8_460_e8_1920_000.smt2 true 60.91 32.69 apollon005 vmt-chc-benchmarks/lustre/swimmingpool_7_000.smt2 false 233.35 179.96 apollon081 vmt-chc-benchmarks/lustre/SYNAPSE_123_e2_1350_e8_1354_000.smt2 false 15.08 4.20 apollon090 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e4_147_000.smt2 false 75.98 46.25 apollon012 vmt-chc-benchmarks/lustre/_6counters_e8_371_e1_448_000.smt2 true 30.55 10.10 apollon006 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e3_829_000.smt2 false 15.88 4.10 apollon026 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e3_2697_000.smt2 false 73.55 45.24 apollon030 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e7_2499_000.smt2 false 32.88 9.48 apollon069 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e2_2545_000.smt2 false 12.71 3.45 apollon162 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e1_1201_000.smt2 false 93.64 61.52 apollon162 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e6_1826_000.smt2 TIMEOUT 1800.47 1731.57 apollon080 vmt-chc-benchmarks/lustre/car_5_e3_11_e1_429_000.smt2 false 387.69 334.45 apollon024 vmt-chc-benchmarks/lustre/car_6_e2_893_000.smt2 false 259.98 210.99 apollon149 vmt-chc-benchmarks/lustre/MOESI_1_e3_1884_e7_1875_000.smt2 true 85.77 51.76 apollon056 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e3_1753_000.smt2 true 544.67 506.13 apollon006 vmt-chc-benchmarks/lustre/FIREFLY_10_000.smt2 true 332.87 291.11 apollon092 vmt-chc-benchmarks/lustre/metros_2_e1_1116_000.smt2 TIMEOUT 1801.03 1746.71 apollon040 vmt-chc-benchmarks/lustre/rtp_3_000.smt2 true 391.76 344.02 apollon120 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e7_1847_000.smt2 false 14.01 3.74 apollon090 vmt-chc-benchmarks/lustre/DRAGON_6_e7_5046_e7_3623_000.smt2 true 95.62 57.76 apollon057 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_e3_1472_000.smt2 false 39.70 15.03 apollon086 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e2_1483_000.smt2 unknown 856.22 801.52 apollon138 vmt-chc-benchmarks/lustre/metros_4_e2_968_e6_236_000.smt2 TIMEOUT 1800.93 1756.31 apollon099 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_811_e1_823_000.smt2 false 27.65 9.00 apollon004 vmt-chc-benchmarks/lustre/car_3_e1_586_000.smt2 false 21.20 5.64 apollon156 vmt-chc-benchmarks/lustre/ticket3i_7_e8_2126_e7_78_000.smt2 TIMEOUT 1800.62 1724.05 apollon049 vmt-chc-benchmarks/lustre/FIREFLY_11_e1_3457_000.smt2 unknown 778.31 726.84 apollon133 vmt-chc-benchmarks/lustre/ex3_e8_381_e7_224_000.smt2 true 41.02 17.12 apollon013 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e8_941_000.smt2 TIMEOUT 1800.27 1737.82 apollon024 vmt-chc-benchmarks/lustre/fast_1_e8_747_e8_1041_000.smt2 true 13.12 3.52 apollon068 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e1_6030_000.smt2 TIMEOUT 1800.48 1733.09 apollon118 vmt-chc-benchmarks/lustre/car_3_e8_33_e1_856_000.smt2 false 19.70 5.33 apollon085 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e8_1177_000.smt2 true 12.91 3.39 apollon146 vmt-chc-benchmarks/lustre/FIREFLY_5_e2_2229_000.smt2 true 252.28 214.47 apollon111 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e3_2021_000.smt2 false 59.70 30.59 apollon128 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e8_2325_000.smt2 false 14.41 3.91 apollon156 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_000.smt2 true 12.56 3.40 apollon153 vmt-chc-benchmarks/lustre/two_counters_e2_3_000.smt2 false 17.48 4.95 apollon059 vmt-chc-benchmarks/lustre/MESI_i1_e2_2656_000.smt2 false 13.64 3.68 apollon133 vmt-chc-benchmarks/lustre/car_6_e2_589_e3_349_000.smt2 TIMEOUT 1800.82 1752.24 apollon147 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e5_124_000.smt2 true 23.82 7.10 apollon154 vmt-chc-benchmarks/lustre/MESI_i1_000.smt2 false 13.69 3.69 apollon058 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e1_2644_000.smt2 true 14.71 3.84 apollon025 vmt-chc-benchmarks/lustre/ILLINOIS_4_000.smt2 unknown 1590.19 1529.64 apollon012 vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_1041_000.smt2 false 34.81 13.61 apollon026 vmt-chc-benchmarks/lustre/metros_2_e2_704_e7_810_000.smt2 TIMEOUT 1800.73 1761.58 apollon036 vmt-chc-benchmarks/lustre/durationThm_2_e2_206_e7_33_000.smt2 true 34.46 13.98 apollon115 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e3_2698_000.smt2 false 15.37 4.05 apollon116 vmt-chc-benchmarks/lustre/durationThm_3_e3_207_000.smt2 true 30.89 12.35 apollon067 vmt-chc-benchmarks/lustre/readwrit_000.smt2 true 49.25 18.58 apollon121 vmt-chc-benchmarks/lustre/FIREFLY_u1_e2_3403_e2_957_000.smt2 unknown 816.87 768.08 apollon167 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_000.smt2 unknown 1412.86 1338.47 apollon154 vmt-chc-benchmarks/lustre/swimmingpool_4_e7_2197_000.smt2 false 37.58 12.86 apollon089 vmt-chc-benchmarks/lustre/_6countern_000.smt2 false 10.19 2.94 apollon100 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_000.smt2 true 12.79 3.39 apollon147 vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606_e7_4891_000.smt2 false 172.73 133.42 apollon063 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e2_1853_000.smt2 true 14.10 3.66 apollon136 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e1_1979_000.smt2 false 732.81 683.76 apollon139 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e3_2607_000.smt2 TIMEOUT 1800.23 1735.25 apollon122 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e4_3719_000.smt2 unknown 761.19 699.99 apollon021 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e2_1767_000.smt2 false 95.20 63.21 apollon109 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e2_1815_000.smt2 false 14.68 3.87 apollon094 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e6_167_000.smt2 true 476.43 436.53 apollon044 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e3_961_000.smt2 true 105.57 68.06 apollon114 vmt-chc-benchmarks/lustre/SYNAPSE_all_000.smt2 true 115.81 80.97 apollon038 vmt-chc-benchmarks/lustre/traffic_e7_348_000.smt2 false 11.77 3.44 apollon017 vmt-chc-benchmarks/lustre/MESI_1_000.smt2 true 261.55 220.24 apollon106 vmt-chc-benchmarks/lustre/car_4_e7_592_e7_265_000.smt2 true 41.40 16.47 apollon103 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_000.smt2 unknown 945.92 890.10 apollon137 vmt-chc-benchmarks/lustre/car_6_e3_294_e1_956_000.smt2 false 180.53 136.04 apollon114 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e3_640_000.smt2 true 35.76 13.18 apollon038 vmt-chc-benchmarks/lustre/ILLINOIS_all_000.smt2 unknown 783.84 735.41 apollon123 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e1_5832_000.smt2 false 30.48 8.38 apollon121 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_000.smt2 unknown 1344.31 1284.18 apollon053 vmt-chc-benchmarks/lustre/durationThm_3_e3_442_e7_394_000.smt2 true 56.98 29.61 apollon162 vmt-chc-benchmarks/lustre/metros_1_e1_846_e1_1317_000.smt2 true 149.34 112.61 apollon062 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_3758_000.smt2 false 14.43 3.88 apollon133 vmt-chc-benchmarks/lustre/FIREFLY_2_e7_1776_e2_3202_000.smt2 false 15.82 4.10 apollon021 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_e1_1303_000.smt2 unknown 1426.78 1376.70 apollon003 vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302_000.smt2 false 39.52 16.60 apollon063 vmt-chc-benchmarks/lustre/car_5_e2_405_e7_1028_000.smt2 false 290.06 239.22 apollon019 vmt-chc-benchmarks/lustre/DRAGON_5_e2_3018_e7_2443_000.smt2 false 29.18 8.19 apollon037 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e8_2560_000.smt2 true 141.55 106.34 apollon014 vmt-chc-benchmarks/lustre/DRAGON_all2_000.smt2 TIMEOUT 1800.24 1726.20 apollon154 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e7_1597_000.smt2 false 14.04 3.75 apollon099 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e1_1145_000.smt2 unknown 1107.41 1044.22 apollon057 vmt-chc-benchmarks/lustre/fast_2_e7_2526_e7_2736_000.smt2 false 15.59 3.92 apollon135 vmt-chc-benchmarks/lustre/ex8_e8_220_000.smt2 false 12.54 3.48 apollon099 vmt-chc-benchmarks/lustre/FIREFLY_all_000.smt2 unknown 927.27 874.25 apollon167 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e1_3123_000.smt2 false 91.72 61.46 apollon058 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1711_e7_1962_000.smt2 false 15.37 4.23 apollon041 vmt-chc-benchmarks/lustre/fast_1_e7_1035_000.smt2 false 15.00 3.91 apollon041 vmt-chc-benchmarks/lustre/durationThm_1_e2_3_000.smt2 true 25.71 7.51 apollon128 vmt-chc-benchmarks/lustre/FIREFLY_8_e2_1692_000.smt2 TIMEOUT 1801.04 1754.88 apollon005 vmt-chc-benchmarks/lustre/Gas_e7_435_e8_532_000.smt2 TIMEOUT 1800.48 1720.83 apollon040 vmt-chc-benchmarks/lustre/cd_e7_621_e7_669_000.smt2 false 56.09 26.29 apollon124 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e4_1791_000.smt2 TIMEOUT 1800.29 1733.08 apollon088 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_974_000.smt2 true 136.55 102.31 apollon167 vmt-chc-benchmarks/lustre/car_4_e8_118_e7_178_000.smt2 true 47.38 20.98 apollon160 vmt-chc-benchmarks/lustre/rtp_7_000.smt2 true 319.49 271.55 apollon028 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e8_1769_000.smt2 true 13.96 3.87 apollon059 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e2_2893_000.smt2 true 13.26 3.51 apollon043 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_1_000.smt2 true 36.36 13.36 apollon001 vmt-chc-benchmarks/lustre/durationThm_3_e2_63_e7_21_000.smt2 true 39.47 18.46 apollon160 vmt-chc-benchmarks/lustre/two_counters_e1_268_000.smt2 false 12.12 3.26 apollon046 vmt-chc-benchmarks/lustre/ticket3i_1_000.smt2 unknown 1538.65 1479.41 apollon044 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e7_1607_000.smt2 false 17.22 4.42 apollon128 vmt-chc-benchmarks/lustre/swimmingpool_2_000.smt2 false 14.97 3.92 apollon021 vmt-chc-benchmarks/lustre/car_3_e8_33_000.smt2 true 93.27 60.05 apollon046 vmt-chc-benchmarks/lustre/car_6_000.smt2 TIMEOUT 1800.94 1745.91 apollon089 vmt-chc-benchmarks/lustre/speed_e7_207_000.smt2 true 12.06 3.31 apollon153 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e7_3528_000.smt2 false 252.93 212.81 apollon060 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e7_2291_000.smt2 false 20.09 5.36 apollon082 vmt-chc-benchmarks/lustre/rtp_10_000.smt2 true 447.03 397.22 apollon032 vmt-chc-benchmarks/lustre/metros_4_e2_968_e2_1166_000.smt2 true 32.22 11.24 apollon128 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e2_1561_000.smt2 false 15.06 3.99 apollon082 vmt-chc-benchmarks/lustre/metros_4_e2_968_e4_801_000.smt2 TIMEOUT 1800.12 1747.54 apollon149 vmt-chc-benchmarks/lustre/ILLINOIS_3_000.smt2 unknown 815.50 759.69 apollon161 vmt-chc-benchmarks/lustre/MESI_i1_e4_1986_e1_1519_000.smt2 false 45.04 20.66 apollon077 vmt-chc-benchmarks/lustre/DRAGON_3_e3_5422_e1_2288_000.smt2 unknown 565.18 507.79 apollon140 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e3_271_000.smt2 false 41.01 16.63 apollon005 vmt-chc-benchmarks/lustre/ex3_e7_590_000.smt2 true 39.77 15.54 apollon017 vmt-chc-benchmarks/lustre/DRAGON_4_e2_2799_000.smt2 unknown 732.38 673.83 apollon113 vmt-chc-benchmarks/lustre/durationThm_1_000.smt2 true 483.46 443.70 apollon166 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e3_3628_000.smt2 unknown 831.37 781.04 apollon053 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2329_e7_3856_000.smt2 false 30.78 8.77 apollon128 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e1_667_000.smt2 false 91.42 57.87 apollon100 vmt-chc-benchmarks/lustre/ticket3i_all_e8_505_e7_2450_000.smt2 true 289.04 236.72 apollon122 vmt-chc-benchmarks/lustre/fast_2_e8_460_000.smt2 true 83.13 52.99 apollon023 vmt-chc-benchmarks/lustre/rtp_8_000.smt2 true 212.55 166.43 apollon066 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e5_1826_000.smt2 true 13.60 3.53 apollon090 vmt-chc-benchmarks/lustre/car_2_000.smt2 true 287.33 235.97 apollon157 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e3_3946_000.smt2 false 91.60 58.33 apollon140 vmt-chc-benchmarks/lustre/car_4_e8_118_e3_514_000.smt2 false 13.18 3.55 apollon052 vmt-chc-benchmarks/lustre/durationThm_2_e7_145_e7_154_000.smt2 false 13.55 3.74 apollon028 vmt-chc-benchmarks/lustre/durationThm_2_e7_145_000.smt2 false 13.48 3.64 apollon150 vmt-chc-benchmarks/lustre/car_4_e3_57_e5_999_000.smt2 false 12.95 3.68 apollon081 vmt-chc-benchmarks/lustre/car_all_e7_188_e7_743_000.smt2 TIMEOUT 1800.99 1737.09 apollon095 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_vt_e3_507_000.smt2 TIMEOUT 1800.39 1739.61 apollon065 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e6_1336_000.smt2 true 116.02 83.15 apollon116 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e4_897_000.smt2 false 729.72 679.68 apollon058 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_000.smt2 false 90.71 58.58 apollon028 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_2_000.smt2 unknown 1142.17 1086.77 apollon016 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_3233_e7_906_000.smt2 false 16.79 4.36 apollon086 vmt-chc-benchmarks/lustre/metros_3_000.smt2 TIMEOUT 1800.78 1759.37 apollon136 vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907_000.smt2 TIMEOUT 1800.87 1745.70 apollon071 vmt-chc-benchmarks/lustre/SYNAPSE_6_e3_1666_e5_1558_000.smt2 TIMEOUT 1800.27 1735.92 apollon053 vmt-chc-benchmarks/lustre/car_3_000.smt2 true 12.65 3.34 apollon129 vmt-chc-benchmarks/lustre/car_5_e7_244_000.smt2 TIMEOUT 1801.00 1744.63 apollon155 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e1_1675_000.smt2 false 13.49 3.75 apollon146 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e7_1043_000.smt2 true 13.17 3.50 apollon021 vmt-chc-benchmarks/lustre/FIREFLY_luke_2_e7_1826_e8_126_000.smt2 unknown 1467.76 1414.08 apollon099 vmt-chc-benchmarks/lustre/MOESI_2_000.smt2 true 12.97 3.46 apollon142 vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e8_2138_000.smt2 true 13.11 3.41 apollon067 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e7_619_000.smt2 false 14.87 4.01 apollon136 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e2_562_000.smt2 false 15.96 4.19 apollon130 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1303_000.smt2 false 13.74 3.81 apollon019 vmt-chc-benchmarks/lustre/rtp_5_000.smt2 true 229.21 186.05 apollon082 vmt-chc-benchmarks/lustre/SYNAPSE_5_e1_1375_000.smt2 false 28.03 9.04 apollon156 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e7_1817_000.smt2 false 16.26 4.20 apollon119 vmt-chc-benchmarks/lustre/DRAGON_8_e7_3752_000.smt2 TIMEOUT 1800.43 1727.97 apollon028 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e5_4006_000.smt2 false 13.70 3.61 apollon168 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_748_000.smt2 TIMEOUT 1800.90 1746.03 apollon164 vmt-chc-benchmarks/lustre/DRAGON_4_e7_2077_000.smt2 false 32.74 9.62 apollon091 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e3_3117_000.smt2 false 17.83 4.53 apollon126 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e5_1536_000.smt2 unknown 602.45 547.88 apollon027 vmt-chc-benchmarks/lustre/SYNAPSE_2_000.smt2 true 13.29 3.54 apollon019 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e4_294_000.smt2 true 24.67 7.27 apollon018 vmt-chc-benchmarks/lustre/DRAGON_12_e7_4611_e8_5145_000.smt2 TIMEOUT 1800.45 1734.24 apollon055 vmt-chc-benchmarks/lustre/ILLINOIS_5_e7_692_e7_2865_000.smt2 true 86.81 52.74 apollon153 vmt-chc-benchmarks/lustre/DRAGON_all_e2_1514_000.smt2 unknown 647.91 595.36 apollon112 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e8_5861_000.smt2 false 19.10 4.83 apollon021 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1864_e7_251_000.smt2 false 37.55 13.89 apollon037 vmt-chc-benchmarks/lustre/FIREFLY_11_000.smt2 unknown 1426.03 1363.45 apollon003 vmt-chc-benchmarks/lustre/SYNAPSE_5_e7_1138_e8_809_000.smt2 TIMEOUT 1800.53 1729.16 apollon023 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e1_1139_e1_1565_000.smt2 false 76.63 45.24 apollon045 vmt-chc-benchmarks/lustre/ticket3i_4_000.smt2 true 247.52 202.48 apollon056 vmt-chc-benchmarks/lustre/SYNAPSE_2_e7_790_e8_1344_000.smt2 true 11.88 3.34 apollon147 vmt-chc-benchmarks/lustre/durationThm_3_e7_334_e7_118_000.smt2 false 11.45 3.10 apollon061 vmt-chc-benchmarks/lustre/MESI_3_e1_2517_e8_2163_000.smt2 TIMEOUT 1800.49 1729.56 apollon146 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_000.smt2 false 13.10 3.58 apollon001 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e1_5434_000.smt2 true 220.93 181.57 apollon063 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e4_1717_000.smt2 false 13.44 3.61 apollon028 vmt-chc-benchmarks/lustre/swimmingpool_5_000.smt2 false 68.96 35.76 apollon144 vmt-chc-benchmarks/lustre/peterson_1_000.smt2 true 343.90 300.26 apollon005 vmt-chc-benchmarks/lustre/FIREFLY_9_e7_170_e3_3647_000.smt2 unknown 1120.30 1066.36 apollon088 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e3_977_000.smt2 false 13.91 3.65 apollon001 vmt-chc-benchmarks/lustre/car_5_e3_11_e7_693_000.smt2 false 140.18 99.57 apollon113 vmt-chc-benchmarks/lustre/hysteresis_3_000.smt2 true 50.42 25.25 apollon035 vmt-chc-benchmarks/lustre/MESI_i3_000.smt2 false 14.40 3.79 apollon166 vmt-chc-benchmarks/lustre/SYNAPSE_all_e7_907_e7_1363_000.smt2 TIMEOUT 1801.28 1735.68 apollon069 vmt-chc-benchmarks/lustre/DRAGON_7_e2_2872_e7_1264_000.smt2 TIMEOUT 1800.54 1723.92 apollon100 vmt-chc-benchmarks/lustre/FIREFLY_luke_rt_e2_3460_e2_2670_000.smt2 false 75.16 45.56 apollon024 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e3_1216_000.smt2 false 33.88 11.66 apollon035 vmt-chc-benchmarks/lustre/SYNAPSE_6_e2_1439_e1_954_000.smt2 TIMEOUT 1800.35 1733.16 apollon128 vmt-chc-benchmarks/lustre/metros_4_e2_968_e7_860_000.smt2 TIMEOUT 1800.83 1753.80 apollon108 vmt-chc-benchmarks/lustre/car_4_e3_556_000.smt2 false 13.44 3.65 apollon140 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e1_317_000.smt2 true 118.46 83.40 apollon068 vmt-chc-benchmarks/lustre/rtp_5_e7_3972_000.smt2 true 62.13 28.87 apollon157 vmt-chc-benchmarks/lustre/metros_4_e2_968_e3_931_000.smt2 true 33.46 12.27 apollon063 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e2_454_000.smt2 true 24.54 7.14 apollon007 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e2_2131_000.smt2 false 74.67 46.08 apollon044 vmt-chc-benchmarks/lustre/FIREFLY_a3_000.smt2 unknown 1322.35 1260.63 apollon162 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e6_2707_000.smt2 true 13.85 3.49 apollon166 vmt-chc-benchmarks/lustre/car_2_e7_1027_e1_1047_000.smt2 TIMEOUT 1800.87 1746.05 apollon019 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_1192_000.smt2 false 79.72 46.94 apollon152 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_1713_000.smt2 unknown 1551.46 1480.83 apollon065 vmt-chc-benchmarks/lustre/DRAGON_all2_e8_4626_000.smt2 false 19.59 5.05 apollon122 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e1_1331_000.smt2 false 13.03 3.71 apollon013 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e1_268_e7_501_000.smt2 true 84.27 48.89 apollon021 vmt-chc-benchmarks/lustre/DRAGON_5_e3_1503_e7_1879_000.smt2 false 32.17 8.53 apollon167 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e2_1098_000.smt2 false 13.59 3.73 apollon058 vmt-chc-benchmarks/lustre/MESI_4_000.smt2 unknown 910.94 856.32 apollon070 vmt-chc-benchmarks/lustre/ticket3i_5_000.smt2 true 85.18 51.41 apollon162 vmt-chc-benchmarks/lustre/DRAGON_4_e3_4133_000.smt2 unknown 565.68 515.29 apollon038 vmt-chc-benchmarks/lustre/MESI_i3_e1_2143_000.smt2 false 85.57 55.65 apollon025 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e1_1270_000.smt2 false 14.79 4.22 apollon022 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e7_410_000.smt2 true 34.72 14.78 apollon017 vmt-chc-benchmarks/lustre/fast_2_e7_1871_000.smt2 false 15.41 4.08 apollon041 vmt-chc-benchmarks/lustre/metros_3_e3_1117_000.smt2 TIMEOUT 1800.89 1755.52 apollon117 vmt-chc-benchmarks/lustre/metros_1_e7_1255_e7_12_000.smt2 true 61.66 29.32 apollon128 vmt-chc-benchmarks/lustre/car_all_e8_856_e3_180_000.smt2 false 13.50 3.77 apollon094 vmt-chc-benchmarks/lustre/DRAGON_5_e7_2017_e8_4841_000.smt2 unknown 502.11 454.54 apollon020 vmt-chc-benchmarks/lustre/car_4_000.smt2 true 29.55 10.24 apollon066 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e6_1569_000.smt2 unknown 936.25 885.40 apollon007 vmt-chc-benchmarks/lustre/speed_e8_136_000.smt2 true 12.31 3.42 apollon090 vmt-chc-benchmarks/lustre/MESI_i4_e4_1689_000.smt2 false 334.58 291.91 apollon120 vmt-chc-benchmarks/lustre/ILLINOIS_1_000.smt2 unknown 592.09 541.15 apollon120 vmt-chc-benchmarks/lustre/ILLINOIS_r4a_000.smt2 unknown 1546.08 1466.85 apollon018 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e5_2554_000.smt2 false 15.34 4.00 apollon111 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e1_3235_000.smt2 unknown 1337.11 1269.69 apollon002 vmt-chc-benchmarks/lustre/FIREFLY_3_000.smt2 unknown 1344.39 1296.07 apollon142 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e7_572_000.smt2 true 80.27 49.91 apollon164 vmt-chc-benchmarks/lustre/FIREFLY_all_e7_1909_000.smt2 false 17.18 4.35 apollon120 vmt-chc-benchmarks/lustre/DRAGON_4_000.smt2 unknown 1428.26 1380.91 apollon153 vmt-chc-benchmarks/lustre/durationThm_2_e2_206_000.smt2 true 25.00 6.96 apollon165 vmt-chc-benchmarks/lustre/ticket3i_7_e3_59_e7_2122_000.smt2 TIMEOUT 1800.37 1730.39 apollon018 vmt-chc-benchmarks/lustre/DRAGON_4_e1_4312_000.smt2 unknown 824.81 767.79 apollon016 vmt-chc-benchmarks/lustre/speed2_e7_223_e7_213_000.smt2 true 40.85 18.10 apollon014 vmt-chc-benchmarks/lustre/car_3_e8_33_e7_220_000.smt2 true 66.61 34.15 apollon090 vmt-chc-benchmarks/lustre/cd_e7_621_e8_714_000.smt2 true 1465.31 1394.02 apollon158 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_e7_4732_000.smt2 false 16.32 4.24 apollon164 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e1_2383_000.smt2 false 14.59 4.00 apollon120 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_000.smt2 unknown 614.40 558.58 apollon139 vmt-chc-benchmarks/lustre/metros_2_000.smt2 TIMEOUT 1800.93 1746.33 apollon055 vmt-chc-benchmarks/lustre/durationThm_2_000.smt2 true 181.25 142.85 apollon109 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e2_3220_000.smt2 unknown 932.90 876.97 apollon036 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMMER_luke_1_000.smt2 false 14.03 3.72 apollon120 vmt-chc-benchmarks/lustre/FIREFLY_3_e2_2236_e1_2305_000.smt2 unknown 1343.12 1292.82 apollon164 vmt-chc-benchmarks/lustre/SYNAPSE_6_e8_1147_e2_1326_000.smt2 TIMEOUT 1800.36 1731.79 apollon032 vmt-chc-benchmarks/lustre/DRAGON_14_e3_1259_e1_5798_000.smt2 unknown 486.18 437.38 apollon163 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e7_358_000.smt2 true 61.73 35.93 apollon052 vmt-chc-benchmarks/lustre/DRAGON_12_e2_1618_000.smt2 unknown 1381.12 1324.26 apollon093 vmt-chc-benchmarks/lustre/durationThm_1_e2_3_e7_336_000.smt2 true 49.57 25.05 apollon092 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e1_1510_000.smt2 false 13.63 3.68 apollon144 vmt-chc-benchmarks/lustre/SYNAPSE_4_000.smt2 true 98.06 64.56 apollon069 vmt-chc-benchmarks/lustre/DRAGON_10_e2_402_000.smt2 unknown 1111.64 1061.13 apollon123 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e1_5887_000.smt2 unknown 458.97 415.64 apollon157 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e7_2194_000.smt2 false 56.11 29.43 apollon163 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_e1_1130_000.smt2 false 14.57 3.98 apollon136 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_e7_1119_000.smt2 false 14.65 3.81 apollon048 vmt-chc-benchmarks/lustre/FIREFLY_all_e2_2924_e7_3371_000.smt2 false 16.63 4.14 apollon168 vmt-chc-benchmarks/lustre/MOESI_all_e3_2032_e3_2788_000.smt2 false 57.36 27.95 apollon143 vmt-chc-benchmarks/lustre/car_all_e1_388_000.smt2 false 31.26 9.49 apollon021 vmt-chc-benchmarks/lustre/car_3_e8_33_e2_1010_000.smt2 true 33.65 11.61 apollon046 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_000.smt2 TIMEOUT 1800.72 1676.65 apollon039 vmt-chc-benchmarks/lustre/speed_e7_207_e7_538_000.smt2 true 11.76 3.24 apollon001 vmt-chc-benchmarks/lustre/car_all_e3_1068_e5_882_000.smt2 false 14.04 3.77 apollon038 vmt-chc-benchmarks/lustre/MESI_i1_e3_188_000.smt2 false 13.39 3.66 apollon114 vmt-chc-benchmarks/lustre/car_all_e1_618_e3_303_000.smt2 false 29.85 9.51 apollon122 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e6_128_000.smt2 true 175.73 140.02 apollon018 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e2_3049_e2_698_000.smt2 false 80.20 48.44 apollon158 vmt-chc-benchmarks/lustre/MESI_2_000.smt2 true 235.79 197.94 apollon073 vmt-chc-benchmarks/lustre/metros_2_e2_704_e2_13_000.smt2 true 66.43 34.80 apollon035 vmt-chc-benchmarks/lustre/car_all_e3_1068_e1_178_000.smt2 false 13.26 3.67 apollon075 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e1_1318_000.smt2 TIMEOUT 1800.31 1732.62 apollon066 vmt-chc-benchmarks/lustre/metros_1_e7_606_000.smt2 true 56.43 25.31 apollon106 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e7_529_000.smt2 TIMEOUT 1800.72 1761.59 apollon145 vmt-chc-benchmarks/lustre/durationThm_3_000.smt2 true 445.15 403.40 apollon167 vmt-chc-benchmarks/lustre/car_5_e2_405_e3_473_000.smt2 false 160.15 120.76 apollon059 vmt-chc-benchmarks/lustre/ex8_000.smt2 false 12.83 3.44 apollon162 vmt-chc-benchmarks/lustre/car_6_e2_589_e2_506_000.smt2 false 219.92 174.67 apollon028 vmt-chc-benchmarks/lustre/traffic_e7_46_e7_171_000.smt2 false 10.10 2.98 apollon012 vmt-chc-benchmarks/lustre/DRAGON_1_e3_11891_e7_4569_e4_4881_000.smt2 true 117.79 80.50 apollon005 vmt-chc-benchmarks/lustre/SYNAPSE_3_e8_1329_e2_236_000.smt2 false 14.27 4.11 apollon006 vmt-chc-benchmarks/lustre/DRAGON_1_e1_3184_000.smt2 true 370.11 325.86 apollon051 vmt-chc-benchmarks/lustre/DRAGON_12_000.smt2 unknown 1787.73 1722.74 apollon101 vmt-chc-benchmarks/lustre/metros_2_e1_1116_e3_287_000.smt2 TIMEOUT 1801.00 1756.79 apollon120 vmt-chc-benchmarks/lustre/two_counters_e7_222_000.smt2 false 13.41 3.48 apollon086 vmt-chc-benchmarks/lustre/two_counters_e3_325_000.smt2 false 18.28 5.03 apollon053 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_e2_3580_000.smt2 true 13.91 3.64 apollon021 vmt-chc-benchmarks/lustre/speed_e8_649_e7_709_000.smt2 true 12.33 3.33 apollon016 vmt-chc-benchmarks/lustre/SYNAPSE_123_e3_302_e1_1141_000.smt2 false 42.05 17.48 apollon090 vmt-chc-benchmarks/lustre/hysteresis_1_000.smt2 true 12.46 3.41 apollon112 vmt-chc-benchmarks/lustre/DRAGON_all2_e1_2636_e8_5957_000.smt2 false 21.05 5.42 apollon168 vmt-chc-benchmarks/lustre/metros_1_e1_846_e7_397_000.smt2 true 54.78 24.33 apollon118 vmt-chc-benchmarks/lustre/ticket3i_7_e1_2192_e1_1852_000.smt2 TIMEOUT 1800.68 1714.98 apollon020 vmt-chc-benchmarks/lustre/MOESI_2_e8_926_e7_961_000.smt2 false 14.63 3.97 apollon030 vmt-chc-benchmarks/lustre/metros_2_e3_112_000.smt2 TIMEOUT 1800.95 1746.82 apollon060 vmt-chc-benchmarks/lustre/SYNAPSE_2_e8_1118_e2_237_000.smt2 false 13.63 3.65 apollon035 vmt-chc-benchmarks/lustre/rtp_9_000.smt2 true 142.31 104.06 apollon123 vmt-chc-benchmarks/lustre/DRAGON_all_e1_4022_e2_267_000.smt2 unknown 581.40 529.90 apollon063 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e4_164_000.smt2 TIMEOUT 1801.11 1746.66 apollon081 vmt-chc-benchmarks/lustre/DRAGON_2_e2_3183_000.smt2 true 14.11 3.65 apollon002 vmt-chc-benchmarks/lustre/FIREFLY_6_e3_686_e6_2964_000.smt2 unknown 1373.47 1322.26 apollon033 vmt-chc-benchmarks/lustre/ticket3i_3_e8_1703_e7_3491_000.smt2 false 15.69 4.17 apollon109 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e1_725_000.smt2 false 75.30 45.20 apollon166 vmt-chc-benchmarks/lustre/durationThm_1_e3_173_000.smt2 true 23.82 7.64 apollon089 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_e1_3998_000.smt2 false 285.60 245.38 apollon099 vmt-chc-benchmarks/lustre/FIREFLY_u1_e7_3318_000.smt2 false 25.35 6.52 apollon143 vmt-chc-benchmarks/lustre/SYNAPSE_3_e7_425_000.smt2 TIMEOUT 1800.37 1733.59 apollon156 vmt-chc-benchmarks/lustre/ILLINOIS_2_e2_2367_e7_2728_000.smt2 false 14.59 3.90 apollon013 vmt-chc-benchmarks/lustre/two_counters_000.smt2 true 67.32 35.28 apollon010 vmt-chc-benchmarks/lustre/DRAGON_all2_e7_5406_e7_6697_000.smt2 false 19.09 4.91 apollon113 vmt-chc-benchmarks/lustre/SYNAPSE_all_e8_251_000.smt2 true 530.52 483.52 apollon050 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e3_2931_000.smt2 false 14.51 3.83 apollon031 vmt-chc-benchmarks/lustre/rtp_4_000.smt2 TIMEOUT 1800.21 1731.32 apollon114 vmt-chc-benchmarks/lustre/FIREFLY_luke_3_000.smt2 unknown 1522.97 1465.52 apollon073 vmt-chc-benchmarks/lustre/durationThm_2_e3_329_e4_1_000.smt2 true 22.96 6.82 apollon063 vmt-chc-benchmarks/lustre/durationThm_3_e7_201_000.smt2 false 39.76 17.92 apollon109 vmt-chc-benchmarks/lustre/SYNAPSE_3_e1_1416_e3_1191_000.smt2 false 13.84 3.74 apollon091 vmt-chc-benchmarks/lustre/swimmingpool_8_000.smt2 false 508.47 454.54 apollon124 vmt-chc-benchmarks/lustre/metros_4_e2_968_e5_991_000.smt2 TIMEOUT 1801.07 1751.12 apollon077 vmt-chc-benchmarks/lustre/SYNAPSE_4_e8_420_e8_1525_000.smt2 true 95.24 63.72 apollon014 vmt-chc-benchmarks/lustre/DRAGON_14_000.smt2 unknown 1091.23 1028.20 apollon161 vmt-chc-benchmarks/lustre/speed2_e8_449_e8_517_000.smt2 true 67.76 39.98 apollon100 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e3_941_000.smt2 false 73.23 43.73 apollon152 vmt-chc-benchmarks/lustre/car_5_000.smt2 TIMEOUT 1801.10 1734.85 apollon150 vmt-chc-benchmarks/lustre/metros_1_e8_1567_000.smt2 true 15.54 4.26 apollon115 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e1_2667_000.smt2 false 13.83 3.74 apollon058 vmt-chc-benchmarks/lustre/DRAGON_1_e1_14612_e2_2653_e7_4370_000.smt2 true 85.33 49.79 apollon063 vmt-chc-benchmarks/lustre/SYNAPSE_3_000.smt2 true 100.64 68.49 apollon010 vmt-chc-benchmarks/lustre/durationThm_1_e7_12_000.smt2 false 25.38 8.22 apollon128 vmt-chc-benchmarks/lustre/DRAGON_11_e1_2450_e3_2330_000.smt2 unknown 1117.01 1054.77 apollon013 vmt-chc-benchmarks/lustre/speed2_e7_223_000.smt2 true 38.90 15.01 apollon028 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e1_541_000.smt2 false 16.69 4.24 apollon042 vmt-chc-benchmarks/lustre/FIREFLY_6_e2_3302_000.smt2 unknown 1604.58 1543.25 apollon004 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e7_1665_000.smt2 false 15.90 4.19 apollon086 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e2_943_000.smt2 true 93.51 60.24 apollon037 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_000.smt2 TIMEOUT 1800.35 1732.75 apollon026 vmt-chc-benchmarks/lustre/car_all_e8_856_e1_217_000.smt2 false 24.66 6.86 apollon163 vmt-chc-benchmarks/lustre/ILLINOIS_3_e3_2581_000.smt2 false 15.98 4.04 apollon045 vmt-chc-benchmarks/lustre/peterson_1_e7_4234_000.smt2 true 108.20 67.32 apollon081 vmt-chc-benchmarks/lustre/DRAGON_all_e3_4821_e2_1089_000.smt2 unknown 603.25 548.68 apollon090 vmt-chc-benchmarks/lustre/DRAGON_5_000.smt2 unknown 513.26 464.67 apollon030 vmt-chc-benchmarks/lustre/FIREFLY_1_000.smt2 true 14.08 3.52 apollon136 vmt-chc-benchmarks/lustre/ticket3i_all_e7_1837_000.smt2 true 121.65 79.85 apollon046 vmt-chc-benchmarks/lustre/SYNAPSE_3_e3_518_e8_922_000.smt2 false 37.72 14.50 apollon096 vmt-chc-benchmarks/lustre/fast_1_e7_2044_e8_1396_000.smt2 true 13.39 3.63 apollon122 vmt-chc-benchmarks/lustre/ex3_e8_120_000.smt2 true 34.73 12.51 apollon015 vmt-chc-benchmarks/lustre/car_5_e7_244_e1_823_000.smt2 TIMEOUT 1800.82 1749.71 apollon064 vmt-chc-benchmarks/lustre/DRAGON_6_000.smt2 true 706.48 657.19 apollon031 vmt-chc-benchmarks/lustre/DRAGON_7_000.smt2 TIMEOUT 1800.67 1728.65 apollon068 vmt-chc-benchmarks/lustre/FIREFLY_2_e1_3099_e2_846_000.smt2 unknown 906.49 852.00 apollon160 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e2_5774_000.smt2 unknown 736.05 677.97 apollon001 vmt-chc-benchmarks/lustre/car_5_e2_405_e2_1083_000.smt2 false 160.82 118.81 apollon150 vmt-chc-benchmarks/lustre/FIREFLY_2_000.smt2 unknown 897.56 845.42 apollon021 vmt-chc-benchmarks/lustre/swimmingpool_6_e7_10_000.smt2 false 109.99 70.01 apollon158 vmt-chc-benchmarks/lustre/MESI_i4_e4_1689_e8_290_000.smt2 false 315.18 272.18 apollon166 vmt-chc-benchmarks/lustre/DRAGON_14_e7_3162_000.smt2 false 190.96 153.52 apollon146 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e3_1928_000.smt2 false 96.07 62.51 apollon128 vmt-chc-benchmarks/lustre/FIREFLY_all_e3_1600_e2_676_000.smt2 false 106.54 72.73 apollon093 vmt-chc-benchmarks/lustre/FIREFLY_a3_e1_195_000.smt2 false 95.79 62.38 apollon036 vmt-chc-benchmarks/lustre/swimmingpool_3_000.smt2 false 24.65 6.15 apollon074 vmt-chc-benchmarks/lustre/MOESI_1_000.smt2 true 101.80 66.23 apollon001 vmt-chc-benchmarks/lustre/MOESI_2_e7_2607_000.smt2 false 14.51 3.73 apollon030 vmt-chc-benchmarks/lustre/MESI_i1_e2_1758_e8_12_000.smt2 false 14.57 3.82 apollon074 vmt-chc-benchmarks/lustre/metros_1_e7_1255_e8_598_000.smt2 true 115.14 76.38 apollon138 vmt-chc-benchmarks/lustre/MESI_i3_e1_447_e5_2444_000.smt2 false 14.73 3.77 apollon011 vmt-chc-benchmarks/lustre/metros_4_e2_968_e1_956_000.smt2 TIMEOUT 1800.97 1757.20 apollon109 vmt-chc-benchmarks/lustre/FIREFLY_luke_1a_e2_284_e3_3091_000.smt2 unknown 1364.77 1306.81 apollon138 vmt-chc-benchmarks/lustre/DRAGON_13_e7_2336_e8_1940_000.smt2 TIMEOUT 1800.51 1734.24 apollon002 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_000.smt2 false 15.45 3.98 apollon035 vmt-chc-benchmarks/lustre/ticket3i_3_000.smt2 true 252.18 211.38 apollon043 vmt-chc-benchmarks/lustre/FIREFLY_rt_e3_1770_e2_637_000.smt2 TIMEOUT 1800.91 1723.41 apollon054 vmt-chc-benchmarks/lustre/FIREFLY_5_e1_2552_e7_1169_000.smt2 true 104.54 69.03 apollon138 vmt-chc-benchmarks/lustre/durationThm_1_e1_197_e7_289_000.smt2 false 12.15 3.37 apollon151 vmt-chc-benchmarks/lustre/FIREFLY_luke_3_e1_2217_e3_1200_000.smt2 unknown 1677.07 1621.87 apollon107 vmt-chc-benchmarks/lustre/FIREFLY_11_e3_2076_e1_1270_000.smt2 unknown 1264.38 1203.95 apollon004 vmt-chc-benchmarks/lustre/metros_1_e2_1102_e8_311_000.smt2 true 15.90 4.29 apollon103 vmt-chc-benchmarks/lustre/SYNAPSE_2_e1_1239_e2_74_000.smt2 false 13.83 3.66 apollon109 vmt-chc-benchmarks/lustre/MESI_i2_000.smt2 false 24.51 6.56 apollon168 vmt-chc-benchmarks/lustre/twisted_counters_000.smt2 true 201.02 156.32 apollon035 vmt-chc-benchmarks/lustre/metros_4_e2_532_000.smt2 TIMEOUT 1800.86 1750.62 apollon103 vmt-chc-benchmarks/lustre/DRAGON_12_e1_4640_e7_128_000.smt2 false 16.87 4.43 apollon124 vmt-chc-benchmarks/lustre/FIREFLY_all_e1_1207_e7_156_000.smt2 false 16.97 4.42 apollon092 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e6_1315_000.smt2 TIMEOUT 1800.78 1757.17 apollon037 vmt-chc-benchmarks/lustre/FIREFLY_7_000.smt2 unknown 1416.10 1362.74 apollon059 vmt-chc-benchmarks/lustre/DRAGON_13_000.smt2 TIMEOUT 1800.37 1736.90 apollon055 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e2_1317_000.smt2 true 34.24 11.87 apollon026 vmt-chc-benchmarks/lustre/SYNAPSE_all_e3_1750_000.smt2 false 41.07 16.03 apollon135 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e2_2689_000.smt2 unknown 1386.23 1324.77 apollon002 vmt-chc-benchmarks/lustre/DRAGON_2_e7_25_e7_4469_000.smt2 false 15.26 3.96 apollon052 vmt-chc-benchmarks/lustre/FIREFLY_a3_e3_314_e2_2812_000.smt2 TIMEOUT 1800.34 1737.50 apollon125 vmt-chc-benchmarks/lustre/MESI_3_e2_819_e4_1595_000.smt2 unknown 1108.91 1039.92 apollon040 vmt-chc-benchmarks/lustre/fast_1_e7_2044_e7_1287_000.smt2 false 13.51 3.48 apollon016 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e7_3568_000.smt2 false 15.34 4.10 apollon122 vmt-chc-benchmarks/lustre/ticket3i_3_e7_1312_e7_1495_000.smt2 false 16.22 4.43 apollon141 vmt-chc-benchmarks/lustre/MESI_3_e2_1872_000.smt2 false 16.33 4.24 apollon163 vmt-chc-benchmarks/lustre/DRAGON_14_e2_3606_000.smt2 unknown 816.54 767.57 apollon066 vmt-chc-benchmarks/lustre/FIREFLY_a3_e2_2086_e3_2542_000.smt2 TIMEOUT 1800.54 1729.05 apollon150 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e2_2228_000.smt2 false 13.87 3.65 apollon113 vmt-chc-benchmarks/lustre/DRAGON_3_e1_4783_e7_4070_000.smt2 false 16.08 4.19 apollon041 vmt-chc-benchmarks/lustre/DRAGON_all2_e3_4612_e1_6463_000.smt2 unknown 762.40 704.48 apollon111 vmt-chc-benchmarks/lustre/metros_3_e4_987_e1_1115_000.smt2 TIMEOUT 1800.84 1759.98 apollon045 vmt-chc-benchmarks/lustre/FIREFLY_9_000.smt2 true 662.00 615.39 apollon146 vmt-chc-benchmarks/lustre/durationThm_1_e3_389_e5_5_000.smt2 true 24.46 7.94 apollon086 vmt-chc-benchmarks/lustre/durationThm_1_e1_197_000.smt2 false 12.30 3.36 apollon036 vmt-chc-benchmarks/lustre/car_all_e8_856_e7_578_000.smt2 true 469.49 416.50 apollon095 vmt-chc-benchmarks/lustre/MOESI_2_e2_1599_e3_1658_000.smt2 false 53.82 26.23 apollon157 vmt-chc-benchmarks/lustre/DRAGON_4_e3_1540_e1_5048_000.smt2 unknown 637.67 588.60 apollon111 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e7_2574_000.smt2 false 14.48 3.77 apollon001 vmt-chc-benchmarks/lustre/ticket3i_all_e1_2706_e7_1776_000.smt2 true 502.38 449.04 apollon141 vmt-chc-benchmarks/lustre/SYNAPSE_123_e8_953_e7_1465_000.smt2 TIMEOUT 1801.18 1739.53 apollon098 vmt-chc-benchmarks/lustre/fast_1_e8_747_e7_692_000.smt2 false 14.21 3.79 apollon089 vmt-chc-benchmarks/lustre/FIREFLY_luke_1b_e3_671_e6_1974_000.smt2 true 14.07 3.78 apollon042 vmt-chc-benchmarks/lustre/DRAGON_9_e7_1843_e7_2225_000.smt2 true 523.10 472.40 apollon164 vmt-chc-benchmarks/lustre/SYNAPSE_2_e3_216_000.smt2 false 32.96 11.44 apollon161 vmt-chc-benchmarks/lustre/ILLINOIS_2_e3_1554_e6_2223_000.smt2 true 13.18 3.53 apollon143 vmt-chc-benchmarks/lustre/FIREFLY_1_e1_1092_000.smt2 false 71.63 41.19 apollon065 vmt-chc-benchmarks/lustre/metros_5_e4_1208_e1_337_000.smt2 TIMEOUT 1800.92 1754.23 apollon135 vmt-chc-benchmarks/lustre/metros_4_e3_1025_000.smt2 TIMEOUT 1800.88 1756.21 apollon127 vmt-chc-benchmarks/lustre/MOESI_2_e3_929_e2_2421_000.smt2 false 14.48 3.85 apollon136 vmt-chc-benchmarks/lustre/FIREFLY_6_000.smt2 unknown 1355.08 1300.04 apollon054 vmt-chc-benchmarks/lustre/MOESI_1_e2_982_e7_492_000.smt2 true 70.34 39.70 apollon061 vmt-chc-benchmarks/lustre/DRAGON_all_e2_6104_e7_5856_000.smt2 false 17.21 4.43 apollon056 vmt-chc-benchmarks/lustre/SYNAPSE_123_e7_837_e2_1394_000.smt2 false 14.39 3.84 apollon104 vmt-chc-benchmarks/lustre/metros_4_e3_1091_e1_1044_000.smt2 TIMEOUT 1800.78 1757.67 apollon141 vmt-chc-benchmarks/lustre/_6counters_e8_371_e2_80_000.smt2 true 12.73 3.42 apollon053 vmt-chc-benchmarks/lustre/SYNAPSE_5_e2_1525_000.smt2 unknown 1309.04 1244.32 apollon105 vmt-chc-benchmarks/lustre/ILLINOIS_2_e1_834_e1_1895_000.smt2 false 14.78 3.94 apollon098 vmt-chc-benchmarks/lustre/metros_3_e3_1275_e1_1350_000.smt2 TIMEOUT 1800.94 1743.95 apollon161 vmt-chc-benchmarks/lustre/PRODUCER_CONSUMER_3_000.smt2 true 13.21 3.57 apollon112 vmt-chc-benchmarks/lustre/FIREFLY_u1_000.smt2 unknown 1370.94 1314.59 apollon060 vmt-chc-benchmarks/lustre/metros_4_e1_821_e5_911_000.smt2 TIMEOUT 1800.79 1759.86 apollon129 vmt-chc-benchmarks/lustre/MOESI_2_e1_1753_e7_1626_000.smt2 false 14.52 3.92 apollon109 vmt-chc-benchmarks/lustre/FIREFLY_4_e3_3511_e4_1464_000.smt2 false 787.91 745.35 apollon145 vmt-chc-benchmarks/lustre/fast_2_e8_460_e7_43_000.smt2 false 15.35 3.97 apollon141 vmt-chc-benchmarks/lustre/MESI_all_e4_1147_e7_497_000.smt2 TIMEOUT 1800.22 1739.71 apollon066 vmt-chc-benchmarks/lustre/MESI_i1_e3_2145_e5_2391_000.smt2 false 13.80 3.73 apollon075 vmt-chc-benchmarks/lustre/cd_e7_621_000.smt2 false 69.02 36.92 apollon128 vmt-chc-benchmarks/conc/fib_bench_safe_v3_000.smt2 unknown 1275.34 1216.24 apollon060 vmt-chc-benchmarks/conc/szymanski_safe_000.smt2 TIMEOUT 1800.98 1711.60 apollon151 vmt-chc-benchmarks/conc/fib_bench_safe_v2_000.smt2 TIMEOUT 1801.01 1745.57 apollon063 vmt-chc-benchmarks/conc/stateful01_safe_v1_000.smt2 TIMEOUT 1800.20 1702.34 apollon027 vmt-chc-benchmarks/conc/fib_bench_safe_v1_000.smt2 TIMEOUT 1800.98 1749.11 apollon157 vmt-chc-benchmarks/conc/lamport_safe_000.smt2 TIMEOUT 1800.52 1644.30 apollon168 vmt-chc-benchmarks/ctigar/simple_if.c_000.smt2 TIMEOUT 1800.26 1684.94 apollon054 vmt-chc-benchmarks/ctigar/gulwani_cegar2.c_000.smt2 TIMEOUT 1800.96 1662.94 apollon132 vmt-chc-benchmarks/ctigar/bkley.c_000.smt2 TIMEOUT 1801.00 1665.71 apollon121 vmt-chc-benchmarks/ctigar/xyz2.c_000.smt2 TIMEOUT 1800.33 1654.64 apollon136 vmt-chc-benchmarks/ctigar/NetBSD_loop_int.c_000.smt2 TIMEOUT 1800.58 1642.60 apollon080 vmt-chc-benchmarks/ctigar/sendmail-close-angle.c_000.smt2 TIMEOUT 1800.29 1650.85 apollon145 vmt-chc-benchmarks/ctigar/nest-if5.c_000.smt2 TIMEOUT 1800.60 1677.24 apollon095 vmt-chc-benchmarks/ctigar/svd-some-loop.c_000.smt2 TIMEOUT 1800.78 1640.84 apollon013 vmt-chc-benchmarks/ctigar/nest-if3.c_000.smt2 TIMEOUT 1801.01 1666.67 apollon143 vmt-chc-benchmarks/ctigar/lifo.c_000.smt2 TIMEOUT 1800.78 1678.12 apollon133 vmt-chc-benchmarks/ctigar/nested4.c_000.smt2 TIMEOUT 1800.59 1670.99 apollon123 vmt-chc-benchmarks/ctigar/NetBSD_loop.c_000.smt2 TIMEOUT 1800.33 1652.03 apollon112 vmt-chc-benchmarks/ctigar/nest-len.c_000.smt2 TIMEOUT 1800.48 1636.22 apollon022 vmt-chc-benchmarks/ctigar/ken-imp.c_000.smt2 true 807.23 729.73 apollon074 vmt-chc-benchmarks/ctigar/dillig01.c_000.smt2 TIMEOUT 1800.22 1652.21 apollon070 vmt-chc-benchmarks/ctigar/nested.c_000.smt2 TIMEOUT 1801.03 1669.53 apollon097 vmt-chc-benchmarks/ctigar/dillig28.c_000.smt2 TIMEOUT 1801.18 1663.01 apollon139 vmt-chc-benchmarks/ctigar/barbr.c_000.smt2 TIMEOUT 1800.81 1606.99 apollon001 vmt-chc-benchmarks/ctigar/xy0.c_000.smt2 TIMEOUT 1800.96 1658.67 apollon109 vmt-chc-benchmarks/ctigar/bound.c_000.smt2 TIMEOUT 1800.26 1657.77 apollon041 vmt-chc-benchmarks/ctigar/swim1.c_000.smt2 TIMEOUT 1800.36 1648.15 apollon149 vmt-chc-benchmarks/ctigar/dillig03.c_000.smt2 TIMEOUT 1801.02 1666.03 apollon028 vmt-chc-benchmarks/ctigar/dillig37.c_000.smt2 TIMEOUT 1800.58 1673.24 apollon162 vmt-chc-benchmarks/ctigar/svd4.c_000.smt2 TIMEOUT 1800.57 1654.73 apollon061 vmt-chc-benchmarks/ctigar/apache-get-tag.c_000.smt2 TIMEOUT 1801.58 1655.27 apollon099 vmt-chc-benchmarks/ctigar/pldi08.c_000.smt2 TIMEOUT 1800.71 1643.28 apollon062 vmt-chc-benchmarks/ctigar/nested1.c_000.smt2 true 981.77 890.41 apollon002 vmt-chc-benchmarks/ctigar/nested5.c_000.smt2 TIMEOUT 1800.86 1640.56 apollon082 vmt-chc-benchmarks/ctigar/seq.c_000.smt2 TIMEOUT 1800.86 1681.96 apollon020 vmt-chc-benchmarks/ctigar/NetBSD_g_Ctoc.c_000.smt2 TIMEOUT 1800.77 1634.76 apollon031 vmt-chc-benchmarks/ctigar/seq-sim.c_000.smt2 TIMEOUT 1800.27 1688.56 apollon125 vmt-chc-benchmarks/ctigar/up3.c_000.smt2 TIMEOUT 1800.63 1676.28 apollon052 vmt-chc-benchmarks/ctigar/xy4.c_000.smt2 TIMEOUT 1801.01 1658.77 apollon108 vmt-chc-benchmarks/ctigar/bind_expands_vars2.c_000.smt2 true 975.90 890.05 apollon070 vmt-chc-benchmarks/ctigar/cars.c_000.smt2 TIMEOUT 1800.34 1644.24 apollon074 vmt-chc-benchmarks/ctigar/dillig32.c_000.smt2 TIMEOUT 1800.24 1639.23 apollon118 vmt-chc-benchmarks/ctigar/dillig05.c_000.smt2 TIMEOUT 1800.82 1674.75 apollon052 vmt-chc-benchmarks/ctigar/dillig19.c_000.smt2 TIMEOUT 1801.12 1656.30 apollon123 vmt-chc-benchmarks/ctigar/nested9.c_000.smt2 TIMEOUT 1800.29 1658.34 apollon009 vmt-chc-benchmarks/ctigar/ex1.c_000.smt2 TIMEOUT 1801.03 1660.71 apollon140 vmt-chc-benchmarks/ctigar/dillig07.c_000.smt2 TIMEOUT 1801.06 1673.28 apollon101 vmt-chc-benchmarks/ctigar/xy10.c_000.smt2 true 574.84 504.89 apollon150 vmt-chc-benchmarks/ctigar/gulv_simp.c_000.smt2 TIMEOUT 1800.29 1661.52 apollon021 vmt-chc-benchmarks/ctigar/ex2.c_000.smt2 TIMEOUT 1801.18 1679.87 apollon141 vmt-chc-benchmarks/ctigar/seesaw.c_000.smt2 TIMEOUT 1800.23 1654.86 apollon062 vmt-chc-benchmarks/ctigar/nest-if4.c_000.smt2 TIMEOUT 1801.03 1669.86 apollon100 vmt-chc-benchmarks/ctigar/svd2.c_000.smt2 TIMEOUT 1800.48 1646.42 apollon086 vmt-chc-benchmarks/ctigar/seq4.c_000.smt2 TIMEOUT 1800.60 1685.63 apollon026 vmt-chc-benchmarks/ctigar/efm.c_000.smt2 TIMEOUT 1800.39 1658.63 apollon030 vmt-chc-benchmarks/ctigar/dillig25.c_000.smt2 TIMEOUT 1800.83 1671.94 apollon164 vmt-chc-benchmarks/ctigar/xyz.c_000.smt2 TIMEOUT 1800.86 1641.95 apollon113 vmt-chc-benchmarks/ctigar/nested6.c_000.smt2 TIMEOUT 1800.18 1656.45 apollon056 vmt-chc-benchmarks/ctigar/nest-if.c_000.smt2 TIMEOUT 1800.54 1644.34 apollon095 vmt-chc-benchmarks/ctigar/nested2.c_000.smt2 true 1000.87 908.12 apollon144 vmt-chc-benchmarks/ctigar/NetBSD_glob3_iny.c_000.smt2 TIMEOUT 1800.55 1642.55 apollon090 vmt-chc-benchmarks/ctigar/dillig33.c_000.smt2 TIMEOUT 1800.98 1664.06 apollon092 vmt-chc-benchmarks/ctigar/sendmail-mime-fromqp.c_000.smt2 TIMEOUT 1800.54 1676.76 apollon165 vmt-chc-benchmarks/ctigar/seq2.c_000.smt2 TIMEOUT 1801.15 1685.75 apollon046 vmt-chc-benchmarks/ctigar/hsortprime.c_000.smt2 TIMEOUT 1800.35 1692.02 apollon094 vmt-chc-benchmarks/ctigar/nest-if7.c_000.smt2 TIMEOUT 1800.88 1650.55 apollon079 vmt-chc-benchmarks/ctigar/lifnatprime.c_000.smt2 TIMEOUT 1800.87 1666.19 apollon109 vmt-chc-benchmarks/ctigar/MADWiFi-encode_ie_ok.c_000.smt2 TIMEOUT 1800.26 1657.26 apollon116 vmt-chc-benchmarks/ctigar/seq-proc.c_000.smt2 TIMEOUT 1800.51 1685.10 apollon014 vmt-chc-benchmarks/ctigar/dillig17.c_000.smt2 TIMEOUT 1800.19 1653.37 apollon037 vmt-chc-benchmarks/ctigar/up-nd.c_000.smt2 TIMEOUT 1800.63 1677.41 apollon061 vmt-chc-benchmarks/ctigar/hsort.c_000.smt2 TIMEOUT 1800.49 1682.61 apollon168 vmt-chc-benchmarks/ctigar/up.c_000.smt2 TIMEOUT 1800.83 1667.93 apollon042 vmt-chc-benchmarks/ctigar/fig2.c_000.smt2 TIMEOUT 1800.33 1683.60 apollon067 vmt-chc-benchmarks/ctigar/nest-if1.c_000.smt2 TIMEOUT 1800.87 1673.29 apollon105 vmt-chc-benchmarks/ctigar/string_concat-noarr.c_000.smt2 TIMEOUT 1800.68 1677.88 apollon046 vmt-chc-benchmarks/ctigar/nested3.c_000.smt2 true 1482.27 1371.55 apollon058 vmt-chc-benchmarks/ctigar/fragtest_simple.c_000.smt2 TIMEOUT 1800.45 1692.59 apollon013 vmt-chc-benchmarks/ctigar/up2.c_000.smt2 TIMEOUT 1800.61 1675.66 apollon078 vmt-chc-benchmarks/ctigar/nest-if2.c_000.smt2 TIMEOUT 1801.03 1676.58 apollon159 vmt-chc-benchmarks/ctigar/gulv.c_000.smt2 TIMEOUT 1800.62 1680.97 apollon122 vmt-chc-benchmarks/ctigar/nest-if6.c_000.smt2 TIMEOUT 1800.74 1680.56 apollon016 vmt-chc-benchmarks/ctigar/rajamani_1.c_000.smt2 TIMEOUT 1800.87 1678.41 apollon088 vmt-chc-benchmarks/ctigar/nest-if8.c_000.smt2 TIMEOUT 1800.57 1677.46 apollon131 vmt-chc-benchmarks/ctigar/seq-z3.c_000.smt2 TIMEOUT 1800.97 1688.54 apollon168 vmt-chc-benchmarks/ctigar/gulwani_fig1a.c_000.smt2 TIMEOUT 1800.46 1650.29 apollon035 vmt-chc-benchmarks/ctigar/pldi082_unbounded.c_000.smt2 TIMEOUT 1800.80 1640.45 apollon115 vmt-chc-benchmarks/ctigar/svd.c_000.smt2 TIMEOUT 1800.61 1651.39 apollon023 vmt-chc-benchmarks/ctigar/fig1a.c_000.smt2 TIMEOUT 1800.50 1653.78 apollon071 vmt-chc-benchmarks/ctigar/large_const.c_000.smt2 TIMEOUT 1800.50 1640.79 apollon133 vmt-chc-benchmarks/ctigar/up-nested.c_000.smt2 true 747.78 663.87 apollon004 vmt-chc-benchmarks/ctigar/bk-nat.c_000.smt2 TIMEOUT 1800.92 1671.00 apollon081 vmt-chc-benchmarks/ctigar/swim.c_000.smt2 TIMEOUT 1800.63 1630.71 apollon050 vmt-chc-benchmarks/ctigar/gulwani_cegar1.c_000.smt2 TIMEOUT 1800.23 1654.89 apollon104 vmt-chc-benchmarks/ctigar/id_build.c_000.smt2 TIMEOUT 1800.69 1638.07 apollon008 vmt-chc-benchmarks/ctigar/up4.c_000.smt2 TIMEOUT 1800.75 1674.79 apollon115 vmt-chc-benchmarks/ctigar/mergesort.c_000.smt2 TIMEOUT 1801.10 1679.82 apollon045 vmt-chc-benchmarks/ctigar/dillig12.c_000.smt2 TIMEOUT 1800.97 1680.65 apollon016 vmt-chc-benchmarks/ctigar/svd3.c_000.smt2 TIMEOUT 1800.95 1682.96 apollon028 vmt-chc-benchmarks/ctigar/dillig20.c_000.smt2 TIMEOUT 1800.58 1687.02 apollon111 vmt-chc-benchmarks/ctigar/simple_nest.c_000.smt2 TIMEOUT 1800.21 1652.96 apollon034 vmt-chc-benchmarks/ctigar/dillig15.c_000.smt2 TIMEOUT 1801.05 1667.18 apollon163 vmt-chc-benchmarks/ctigar/svd1.c_000.smt2 TIMEOUT 1800.42 1649.62 apollon103 vmt-chc-benchmarks/ctigar/sendmail-mime7to8_arr_three_chars_no_test_ok.c_000.smt2 TIMEOUT 1800.53 1651.45 apollon001 vmt-chc-benchmarks/ctigar/nested7.c_000.smt2 TIMEOUT 1800.54 1688.24 apollon015 vmt-chc-benchmarks/ctigar/split.c_000.smt2 TIMEOUT 1800.83 1638.30 apollon122 vmt-chc-benchmarks/ctigar/seq3.c_000.smt2 TIMEOUT 1801.08 1697.24 apollon149 vmt-chc-benchmarks/ctigar/up5.c_000.smt2 TIMEOUT 1800.58 1672.80 apollon166 vmt-chc-benchmarks/ctigar/seq-len.c_000.smt2 TIMEOUT 1800.68 1691.00 apollon022 vmt-chc-benchmarks/ctigar/lifnat.c_000.smt2 TIMEOUT 1800.66 1667.20 apollon010 vmt-chc-benchmarks/ctigar/down.c_000.smt2 TIMEOUT 1800.66 1679.11 apollon152 vmt-chc-benchmarks/ctigar/barbrprime.c_000.smt2 TIMEOUT 1800.46 1637.23 apollon120 vmt-chc-benchmarks/ctigar/simple.c_000.smt2 true 399.94 339.85 apollon065 vmt-chc-benchmarks/ctigar/substring1.c_000.smt2 TIMEOUT 1800.46 1648.50 apollon146 vmt-chc-benchmarks/ctigar/apache-escape-absolute.c_000.smt2 TIMEOUT 1800.23 1659.31 apollon049 vmt-chc-benchmarks/ctigar/nested8.c_000.smt2 TIMEOUT 1800.38 1663.74 apollon144 extra-small-lia/s_multipl_08_000.smt2 TIMEOUT 1801.53 1550.57 apollon082 extra-small-lia/s_multipl_13_000.smt2 TIMEOUT 1800.17 1703.93 apollon070 extra-small-lia/menlo_park_term_simpl_2_000.smt2 true 28.52 10.85 apollon017 extra-small-lia/s_multipl_23_000.smt2 TIMEOUT 1801.18 1579.92 apollon100 extra-small-lia/s_mutants_23_000.smt2 TIMEOUT 1802.91 1287.31 apollon096 extra-small-lia/s_multipl_11_000.smt2 TIMEOUT 1800.56 1466.68 apollon056 extra-small-lia/s_multipl_07_000.smt2 TIMEOUT 1800.29 1479.82 apollon137 extra-small-lia/three_dots_moving_2_000.smt2 true 23.58 7.23 apollon155 extra-small-lia/s_multipl_09_000.smt2 TIMEOUT 1800.59 1535.19 apollon035 extra-small-lia/s_multipl_22_000.smt2 TIMEOUT 1800.59 1650.30 apollon129 extra-small-lia/yz_plus_minus_1_000.smt2 true 21.50 7.08 apollon042 extra-small-lia/dtuc_000.smt2 TIMEOUT 1800.45 1508.00 apollon019 extra-small-lia/bouncy_three_counters_merged_000.smt2 TIMEOUT 1800.86 1747.89 apollon156 extra-small-lia/s_mutants_06_m_000.smt2 TIMEOUT 1800.20 1602.26 apollon050 extra-small-lia/s_multipl_17_000.smt2 true 151.58 102.24 apollon045 extra-small-lia/phases_m_000.smt2 true 25.68 8.29 apollon134 extra-small-lia/bouncy_symmetry_000.smt2 TIMEOUT 1800.77 1455.91 apollon046 extra-small-lia/s_disj_ite_06_000.smt2 TIMEOUT 1801.63 1485.20 apollon073 extra-small-lia/bouncy_one_counter_000.smt2 TIMEOUT 1800.39 1515.81 apollon056 extra-small-lia/s_mutants_21_000.smt2 TIMEOUT 1801.27 1743.09 apollon041 extra-small-lia/gj2007_m_2_000.smt2 TIMEOUT 1803.08 1484.00 apollon119 extra-small-lia/dillig05_m_000.smt2 TIMEOUT 1800.96 1748.90 apollon157 extra-small-lia/s_multipl_12_000.smt2 TIMEOUT 1800.23 1540.04 apollon108 extra-small-lia/yz_plus_minus_2_000.smt2 true 31.64 12.17 apollon010 extra-small-lia/dillig22_m_000.smt2 true 21.85 6.19 apollon021 extra-small-lia/const_mod_2_000.smt2 TIMEOUT 1801.32 1508.09 apollon155 extra-small-lia/dillig12_m_000.smt2 OUT OF MEMORY 1481.64 890.96 apollon005 extra-small-lia/s_mutants_02_000.smt2 true 21.35 6.41 apollon051 extra-small-lia/count_by_2_000.smt2 TIMEOUT 1801.11 1575.04 apollon063 extra-small-lia/s_multipl_24_000.smt2 TIMEOUT 1800.26 1626.49 apollon167 extra-small-lia/dillig21_m_000.smt2 TIMEOUT 1800.98 1748.46 apollon093 extra-small-lia/s_multipl_16_000.smt2 TIMEOUT 1800.11 1744.70 apollon112 extra-small-lia/s_disj_ite_05_000.smt2 TIMEOUT 1800.28 1509.29 apollon075 extra-small-lia/const_mod_3_000.smt2 TIMEOUT 1800.78 1661.72 apollon128 extra-small-lia/s_mutants_17_000.smt2 TIMEOUT 1800.43 1553.29 apollon063 extra-small-lia/s_multipl_15_000.smt2 TIMEOUT 1800.53 1728.78 apollon043 extra-small-lia/count_by_2_m_nest_000.smt2 TIMEOUT 1800.36 1686.38 apollon098 extra-small-lia/gj2007_m_1_000.smt2 TIMEOUT 1802.71 1393.02 apollon005 extra-small-lia/s_mutants_22_000.smt2 TIMEOUT 1801.00 1758.75 apollon119 extra-small-lia/const_mod_1_000.smt2 TIMEOUT 1801.12 1518.06 apollon085 extra-small-lia/s_mutants_20_000.smt2 TIMEOUT 1801.07 1531.97 apollon167 extra-small-lia/half_true_modif_m_000.smt2 true 34.12 13.08 apollon016 extra-small-lia/s_multipl_10_000.smt2 TIMEOUT 1800.33 1522.26 apollon116 extra-small-lia/s_mutants_16_000.smt2 TIMEOUT 1800.77 1582.98 apollon057 extra-small-lia/s_multipl_14_000.smt2 TIMEOUT 1800.28 1719.71 apollon088 extra-small-lia/dillig02_m_000.smt2 true 45.68 19.79 apollon150 extra-small-lia/s_mutants_05_000.smt2 TIMEOUT 1801.55 1518.63 apollon131 extra-small-lia/gj2007_m_3_000.smt2 TIMEOUT 1800.82 1541.84 apollon093 extra-small-lia/dillig03_m_000.smt2 true 22.79 7.16 apollon101 extra-small-lia/s_multipl_18_000.smt2 TIMEOUT 1800.40 1775.05 apollon073 extra-small-lia/dillig32_000.smt2 TIMEOUT 1800.53 1563.42 apollon009 extra-small-lia/bouncy_two_counters_merged_000.smt2 TIMEOUT 1800.38 1742.54 apollon069 extra-small-lia/bouncy_two_counters_equality_000.smt2 TIMEOUT 1801.06 1518.84 apollon118 extra-small-lia/s_mutants_16_m_000.smt2 TIMEOUT 1800.84 1482.38 apollon025 extra-small-lia/s_multipl_25_000.smt2 TIMEOUT 1802.51 1688.85 apollon132 hcai-bench/svcomp/O3/O3_gcd02_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.67 2.50 apollon123 hcai-bench/svcomp/O3/O3_sum03_true-unreach-call_false-termination_000.smt2 unknown 9.62 2.41 apollon031 hcai-bench/svcomp/O3/O3_MultCommutative_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.66 2.53 apollon074 hcai-bench/svcomp/O3/O3_sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination_000.smt2 false 26.68 8.19 apollon116 hcai-bench/svcomp/O3/O3_trex03_false-unreach-call_true-termination_000.smt2 false 12.90 3.50 apollon149 hcai-bench/svcomp/O3/O3_gcd01_true-unreach-call_true-no-overflow_true-termination_000.smt2 true 24.91 6.44 apollon001 hcai-bench/svcomp/O3/O3_terminator_03_false-unreach-call_true-termination_000.smt2 false 11.44 3.24 apollon012 hcai-bench/svcomp/O3/O3_trex04_true-unreach-call_false-termination_000.smt2 true 12.05 3.27 apollon023 hcai-bench/svcomp/O3/O3_Addition03_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.84 2.62 apollon156 hcai-bench/svcomp/O3/O3_terminator_02_true-unreach-call_true-termination_000.smt2 true 11.89 3.28 apollon133 hcai-bench/svcomp/O3/O3_id_o3_false-unreach-call_000.smt2 false 16.16 4.49 apollon012 hcai-bench/svcomp/O3/O3_EvenOdd03_false-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.74 2.46 apollon135 hcai-bench/svcomp/O3/O3_BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.93 2.53 apollon128 hcai-bench/svcomp/O3/O3_sum_non_false-unreach-call_true-termination_000.smt2 false 11.87 3.34 apollon082 hcai-bench/svcomp/O3/O3_nec11_false-unreach-call_false-termination_000.smt2 false 9.98 2.86 apollon153 hcai-bench/svcomp/O3/O3_trex01_false-unreach-call_true-termination_000.smt2 false 10.57 3.10 apollon139 hcai-bench/svcomp/O3/O3_afterrec_2calls_false-unreach-call_true-termination_000.smt2 false 10.41 3.03 apollon091 hcai-bench/svcomp/O3/O3_EvenOdd01_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.43 2.48 apollon095 hcai-bench/svcomp/O3/O3_nec20_false-unreach-call_true-termination_000.smt2 false 10.55 3.03 apollon137 hcai-bench/svcomp/O3/O3_id_o20_false-unreach-call_000.smt2 false 585.83 504.31 apollon091 hcai-bench/svcomp/O3/O3_Addition03_false-no-overflow_000.smt2 TIMEOUT 1801.03 1698.02 apollon025 hcai-bench/svcomp/O3/O3_Addition01_true-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 9.56 2.40 apollon133 hcai-bench/svcomp/O3/O3_sum_non_eq_true-unreach-call_000.smt2 true 14.26 3.92 apollon027 hcai-bench/svcomp/O3/O3_Addition02WithOverflowBug_false-no-overflow_000.smt2 false 11.97 3.31 apollon116 hcai-bench/svcomp/O3/O3_sum_non_eq_false-unreach-call_000.smt2 false 10.48 3.06 apollon031 hcai-bench/svcomp/O3/O3_trex01_true-unreach-call_true-termination_000.smt2 true 13.61 3.66 apollon014 hcai-bench/svcomp/O3/O3_terminator_02_false-unreach-call_true-termination_000.smt2 unknown 9.40 2.43 apollon158 hcai-bench/svcomp/O3/O3_EvenOdd03WithOverflowBug_false-no-overflow_000.smt2 false 11.00 3.15 apollon073 hcai-bench/svcomp/O3/O3_sum01_true-unreach-call_true-termination_000.smt2 unknown 10.20 2.66 apollon067 hcai-bench/svcomp/O3/O3_array_false-unreach-call_true-termination_000.smt2 false 10.40 3.14 apollon092 hcai-bench/svcomp/O3/O3_terminator_01_false-unreach-call_true-termination_000.smt2 false 11.25 3.11 apollon108 hcai-bench/svcomp/O3/O3_for_bounded_loop1_false-unreach-call_true-termination_000.smt2 false 12.39 3.34 apollon142 hcai-bench/svcomp/O3/O3_afterrec_true-unreach-call_true-termination_000.smt2 true 12.12 3.32 apollon126 hcai-bench/svcomp/O3/O3_for_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 10.39 2.96 apollon037 hcai-bench/svcomp/O3/O3_sum01_false-unreach-call_true-termination_000.smt2 false 112.96 74.54 apollon021 hcai-bench/svcomp/O3/O3_id_o200_false-unreach-call_000.smt2 TIMEOUT 1800.38 1484.19 apollon085 hcai-bench/svcomp/O3/O3_trex03_true-unreach-call_true-termination_000.smt2 unknown 9.32 2.45 apollon001 hcai-bench/svcomp/O3/O3_count_up_down_true-unreach-call_true-termination_000.smt2 true 18.71 5.12 apollon119 hcai-bench/svcomp/O3/O3_for_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 11.41 3.16 apollon093 hcai-bench/svcomp/O3/O3_sum01_bug02_false-unreach-call_true-termination_000.smt2 false 47.05 21.76 apollon145 hcai-bench/svcomp/O3/O3_afterrec_false-unreach-call_true-termination_000.smt2 false 13.00 3.37 apollon090 hcai-bench/svcomp/O3/O3_count_up_down_false-unreach-call_true-termination_000.smt2 false 10.93 3.10 apollon001 hcai-bench/svcomp/O3/O3_sum03_false-unreach-call_true-termination_000.smt2 false 98.55 61.68 apollon004 hcai-bench/svcomp/O3/O3_terminator_03_true-unreach-call_true-termination_000.smt2 true 11.26 3.16 apollon150 hcai-bench/svcomp/O3/O3_Addition02_false-unreach-call_true-no-overflow_true-termination_000.smt2 unknown 10.06 2.65 apollon062 hcai-bench/svcomp/O3/O3_sum_non_true-unreach-call_true-termination_000.smt2 true 20.10 5.49 apollon010 hcai-bench/svcomp/O3/O3_afterrec_2calls_true-unreach-call_true-termination_000.smt2 true 12.18 3.42 apollon001 hcai-bench/svcomp/O3/O3_n.c11_true-unreach-call_false-termination_000.smt2 true 30.35 10.82 apollon063 hcai-bench/svcomp/O3/O3_id_o1000_false-unreach-call_000.smt2 TIMEOUT 1800.43 1528.46 apollon144 hcai-bench/svcomp/O3/O3_id_o10_false-unreach-call_000.smt2 false 62.59 34.73 apollon025 hcai-bench/svcomp/O3/O3_id_o100_false-unreach-call_000.smt2 TIMEOUT 1800.79 1540.38 apollon125 hcai-bench/svcomp/O0/O0_sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination_000.smt2 false 28.15 9.14 apollon085 hcai-bench/svcomp/O0/O0_fibo_2calls_4_false-unreach-call_true-termination_000.smt2 false 10.68 3.38 apollon008 hcai-bench/svcomp/O0/O0_trex03_false-unreach-call_true-termination_000.smt2 false 11.39 3.22 apollon077 hcai-bench/svcomp/O0/O0_terminator_03_false-unreach-call_true-termination_000.smt2 unknown 10.20 2.58 apollon123 hcai-bench/svcomp/O0/O0_fibo_2calls_10_false-unreach-call_000.smt2 false 10.72 3.14 apollon052 hcai-bench/svcomp/O0/O0_terminator_02_true-unreach-call_true-termination_000.smt2 true 11.14 3.08 apollon166 hcai-bench/svcomp/O0/O0_fibo_2calls_8_false-unreach-call_000.smt2 false 11.73 3.15 apollon140 hcai-bench/svcomp/O0/O0_while_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 11.14 3.13 apollon099 hcai-bench/svcomp/O0/O0_id2_b3_o2_false-unreach-call_000.smt2 false 11.62 3.14 apollon013 hcai-bench/svcomp/O0/O0_EvenOdd03_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 10.87 3.13 apollon099 hcai-bench/svcomp/O0/O0_nec11_false-unreach-call_false-termination_000.smt2 false 10.49 3.07 apollon153 hcai-bench/svcomp/O0/O0_trex01_false-unreach-call_true-termination_000.smt2 false 10.91 3.10 apollon010 hcai-bench/svcomp/O0/O0_nec20_false-unreach-call_true-termination_000.smt2 false 12.81 3.31 apollon070 hcai-bench/svcomp/O0/O0_fibo_2calls_5_false-unreach-call_true-termination_000.smt2 false 10.99 3.11 apollon023 hcai-bench/svcomp/O0/O0_id2_i5_o5_false-unreach-call_true-termination_000.smt2 false 10.92 3.25 apollon140 hcai-bench/svcomp/O0/O0_trex01_true-unreach-call_true-termination_000.smt2 true 13.73 3.71 apollon140 hcai-bench/svcomp/O0/O0_terminator_02_false-unreach-call_true-termination_000.smt2 false 11.77 3.40 apollon149 hcai-bench/svcomp/O0/O0_EvenOdd03WithOverflowBug_false-no-overflow_000.smt2 false 10.55 3.01 apollon057 hcai-bench/svcomp/O0/O0_sum01_true-unreach-call_true-termination_000.smt2 unknown 9.10 2.41 apollon038 hcai-bench/svcomp/O0/O0_fibo_2calls_15_false-unreach-call_000.smt2 false 10.24 2.92 apollon071 hcai-bench/svcomp/O0/O0_terminator_01_false-unreach-call_true-termination_000.smt2 unknown 10.08 2.59 apollon005 hcai-bench/svcomp/O0/O0_fibo_2calls_25_false-unreach-call_000.smt2 false 10.01 2.94 apollon010 hcai-bench/svcomp/O0/O0_sum04_false-unreach-call_true-termination_000.smt2 false 49.02 23.35 apollon117 hcai-bench/svcomp/O0/O0_for_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 11.06 2.97 apollon034 hcai-bench/svcomp/O0/O0_sum01_false-unreach-call_true-termination_000.smt2 OUT OF MEMORY 854.41 417.05 apollon163 hcai-bench/svcomp/O0/O0_trex03_true-unreach-call_true-termination_000.smt2 true 11.90 3.11 apollon100 hcai-bench/svcomp/O0/O0_count_up_down_true-unreach-call_true-termination_000.smt2 true 25.18 7.96 apollon101 hcai-bench/svcomp/O0/O0_fibo_2calls_2_false-unreach-call_true-termination_000.smt2 false 10.87 3.04 apollon099 hcai-bench/svcomp/O0/O0_for_infinite_loop_2_true-unreach-call_false-termination_000.smt2 true 11.46 3.11 apollon167 hcai-bench/svcomp/O0/O0_sum01_bug02_false-unreach-call_true-termination_000.smt2 false 60.09 30.65 apollon131 hcai-bench/svcomp/O0/O0_count_up_down_false-unreach-call_true-termination_000.smt2 false 11.58 3.12 apollon146 hcai-bench/svcomp/O0/O0_terminator_03_true-unreach-call_true-termination_000.smt2 true 11.59 3.12 apollon013 hcai-bench/svcomp/O0/O0_fibo_2calls_6_false-unreach-call_true-termination_000.smt2 false 10.64 2.98 apollon106 hcai-bench/svcomp/O0/O0_while_infinite_loop_1_true-unreach-call_false-termination_000.smt2 true 10.48 2.94 apollon100 hcai-bench/svcomp/O0/O0_n.c11_true-unreach-call_false-termination_000.smt2 true 30.35 10.18 apollon065 hcai-bench/svcomp/O0/O0_fibo_2calls_20_false-unreach-call_000.smt2 false 10.40 3.00 apollon128 hcai-bench/arrays_orig/array_fill1_abstracted_000.smt2 true 24.34 8.21 apollon123 hcai-bench/arrays_orig/array_fill2_abstracted_000.smt2 TIMEOUT 1800.86 1708.43 apollon124 hcai-bench/arrays_orig/array_fill1_even_odd_abstracted_000.smt2 true 32.56 11.73 apollon114 rust-horn/bmc-2-test-bmc-2-unsafe_000.smt2 false 14.34 3.96 apollon124 rust-horn/simple-1-01_unsat_000.smt2 true 18.42 5.39 apollon026 rust-horn/bmc-2-test-bmc-2-safe_000.smt2 true 18.36 4.89 apollon129 rust-horn/bmc-1-test-bmc-1-safe_000.smt2 true 103.76 57.04 apollon048 rust-horn/bmc-5-test-bmc-diamond-2-safe_000.smt2 true 38.17 12.86 apollon075 rust-horn/bmc-3-test-bmc-3-safe_000.smt2 true 25.35 7.11 apollon032 rust-horn/simple-5-hhk2008_000.smt2 true 26.30 8.41 apollon136 rust-horn/simple-4-06_loop_unsat_000.smt2 TIMEOUT 1800.99 1661.85 apollon092 rust-horn/bmc-3-test-bmc-3-unsafe_000.smt2 false 23.87 6.81 apollon005 rust-horn/bmc-1-test-bmc-1-unsafe_000.smt2 false 78.64 38.66 apollon158 rust-horn/bmc-5-test-bmc-diamond-2-unsafe_000.smt2 false 11.68 3.29 apollon004 eldarica-misc/BV/qarmc/rsolv_000.smt2 TIMEOUT 1800.63 1640.25 apollon135 eldarica-misc/BV/qarmc/qrsolv_000.smt2 TIMEOUT 1800.55 1636.22 apollon144 eldarica-misc/LIA/llreve/barthe2_safe.c-1_000.smt2 false 12.15 3.41 apollon066 eldarica-misc/LIA/llreve/cube_square_unsafe.c-1_000.smt2 false 36.94 15.70 apollon164 eldarica-misc/LIA/llreve/break_single_merged_safe.c-1_000.smt2 true 201.94 144.61 apollon034 eldarica-misc/LIA/llreve/loop_safe.c-1_000.smt2 false 11.74 3.26 apollon103 eldarica-misc/LIA/llreve/digits10_inl_merged_safe.c-1_000.smt2 TIMEOUT 1800.92 1743.43 apollon057 eldarica-misc/LIA/llreve/nested-while_unsafe.c-1_000.smt2 false 12.61 3.33 apollon140 eldarica-misc/LIA/llreve/barthe_unsafe.c-1_000.smt2 false 12.18 3.47 apollon089 eldarica-misc/LIA/llreve/03_while_unsafe.c-1_000.smt2 false 18.11 5.47 apollon134 eldarica-misc/LIA/llreve/fib_merged_safe.c-1_000.smt2 true 17.71 5.11 apollon141 eldarica-misc/LIA/llreve/loop_unswitching_merged_safe.c-1_000.smt2 TIMEOUT 1800.15 1542.59 apollon113 eldarica-misc/LIA/llreve/barthe_safe.c-1_000.smt2 false 12.58 3.47 apollon049 eldarica-misc/LIA/llreve/break_single_safe.c-1_000.smt2 false 12.82 3.53 apollon145 eldarica-misc/LIA/llreve/loop5_unsafe.c-1_000.smt2 false 13.20 3.70 apollon092 eldarica-misc/LIA/llreve/upcount_merged_safe.c-1_000.smt2 TIMEOUT 1800.68 1659.17 apollon162 eldarica-misc/LIA/llreve/fib_safe.c-1_000.smt2 false 12.47 3.46 apollon024 eldarica-misc/LIA/llreve/while-if_safe.c-1_000.smt2 false 13.29 3.74 apollon116 eldarica-misc/LIA/llreve/square_twice_safe.c-1_000.smt2 TIMEOUT 1800.86 1506.18 apollon017 eldarica-misc/LIA/llreve/barthe_merged_unsafe.c-1_000.smt2 false 53.14 25.36 apollon028 eldarica-misc/LIA/llreve/loop_merged_safe.c-1_000.smt2 TIMEOUT 1800.25 1522.12 apollon058 eldarica-misc/LIA/llreve/loop3_safe.c-1_000.smt2 false 10.66 3.20 apollon033 eldarica-misc/LIA/llreve/loop_unswitching_safe.c-1_000.smt2 false 12.44 3.65 apollon034 eldarica-misc/LIA/llreve/simple-loop_merged_safe.c-1_000.smt2 true 124.03 86.08 apollon148 eldarica-misc/LIA/llreve/break_merged_safe.c-1_000.smt2 true 302.99 237.07 apollon053 eldarica-misc/LIA/llreve/barthe2-big2_safe.c-1_000.smt2 false 18.99 5.33 apollon031 eldarica-misc/LIA/llreve/nested-while_merged_unsafe.c-1_000.smt2 false 15.04 3.88 apollon109 eldarica-misc/LIA/llreve/square_twice_merged_safe.c-1_000.smt2 true 22.69 6.26 apollon146 eldarica-misc/LIA/llreve/nested-while_safe.c-1_000.smt2 TIMEOUT 1800.27 1576.19 apollon015 eldarica-misc/LIA/llreve/barthe_merged_safe.c-1_000.smt2 true 34.21 12.73 apollon071 eldarica-misc/LIA/llreve/barthe2-big_safe.c-1_000.smt2 false 18.34 5.18 apollon120 eldarica-misc/LIA/llreve/break_safe.c-1_000.smt2 true 332.79 264.85 apollon128 eldarica-misc/LIA/llreve/loop2_merged_safe.c-1_000.smt2 TIMEOUT 1800.45 1553.39 apollon059 eldarica-misc/LIA/llreve/nested-while_merged_safe.c-1_000.smt2 true 35.71 12.14 apollon143 eldarica-misc/LIA/llreve/barthe2_merged_safe.c-1_000.smt2 true 21.51 6.05 apollon090 eldarica-misc/LIA/llreve/digits10_inl_safe.c-1_000.smt2 false 16.41 4.27 apollon164 eldarica-misc/LIA/llreve/barthe2-big2_merged_safe.c-1_000.smt2 true 35.96 13.55 apollon003 eldarica-misc/LIA/llreve/while_after_while_if_merged_safe.c-1_000.smt2 TIMEOUT 1800.73 1578.04 apollon124 eldarica-misc/LIA/llreve/bug15_safe.c-1_000.smt2 true 24.26 7.55 apollon089 eldarica-misc/LIA/llreve/loop3_merged_safe.c-1_000.smt2 TIMEOUT 1800.51 1536.23 apollon079 eldarica-misc/LIA/llreve/while_after_while_if_safe.c-1_000.smt2 false 12.95 3.60 apollon003 eldarica-misc/LIA/llreve/square_twice_safe_weaved.c-1_000.smt2 TIMEOUT 1800.83 1561.71 apollon014 eldarica-misc/LIA/llreve/loop5_merged_unsafe.c-1_000.smt2 false 12.35 3.61 apollon092 eldarica-misc/LIA/llreve/simple-loop_safe.c-1_000.smt2 false 10.70 3.13 apollon082 eldarica-misc/LIA/llreve/upcount_safe.c-1_000.smt2 TIMEOUT 1800.41 1532.50 apollon021 eldarica-misc/LIA/reve/014c-horn_000.smt2 false 85.57 53.43 apollon023 eldarica-misc/LIA/reve/026-horn_000.smt2 true 18.45 5.78 apollon001 eldarica-misc/LIA/reve/007-horn_000.smt2 true 20.32 6.52 apollon001 eldarica-misc/LIA/reve/019b-horn_000.smt2 TIMEOUT 1800.62 1679.89 apollon115 eldarica-misc/LIA/reve/016b-horn_000.smt2 true 22.68 7.44 apollon130 eldarica-misc/LIA/reve/010b-horn_000.smt2 true 30.70 10.44 apollon163 eldarica-misc/LIA/reve/013-horn_000.smt2 TIMEOUT 1800.72 1767.15 apollon086 eldarica-misc/LIA/reve/003c-horn_000.smt2 false 158.75 114.40 apollon157 eldarica-misc/LIA/reve/007b-horn_000.smt2 true 20.63 6.40 apollon005 eldarica-misc/LIA/reve/024b-horn_000.smt2 true 27.95 10.65 apollon040 eldarica-misc/LIA/reve/011c-horn_000.smt2 false 12.40 3.40 apollon054 eldarica-misc/LIA/reve/003b-horn_000.smt2 true 40.94 16.33 apollon160 eldarica-misc/LIA/reve/014-horn_000.smt2 true 36.21 16.12 apollon101 eldarica-misc/LIA/reve/020b-horn_000.smt2 TIMEOUT 1800.20 1626.19 apollon127 eldarica-misc/LIA/reve/015-horn_000.smt2 true 34.31 13.11 apollon140 eldarica-misc/LIA/reve/020-horn_000.smt2 TIMEOUT 1800.41 1676.38 apollon098 eldarica-misc/LIA/reve/010-horn_000.smt2 true 26.02 9.12 apollon063 eldarica-misc/LIA/reve/008b-horn_000.smt2 TIMEOUT 1800.27 1607.55 apollon117 eldarica-misc/LIA/reve/008-horn_000.smt2 TIMEOUT 1800.41 1605.06 apollon003 eldarica-misc/LIA/reve/011-horn_000.smt2 true 29.45 9.59 apollon042 eldarica-misc/LIA/reve/002c-horn_000.smt2 false 14.74 4.12 apollon149 eldarica-misc/LIA/reve/027b-horn_000.smt2 true 18.27 5.31 apollon144 eldarica-misc/LIA/reve/025b-horn_000.smt2 TIMEOUT 1800.45 1631.16 apollon051 eldarica-misc/LIA/reve/002d-horn_000.smt2 false 15.06 4.37 apollon097 eldarica-misc/LIA/reve/012d-horn_000.smt2 false 11.97 3.16 apollon148 eldarica-misc/LIA/reve/019-horn_000.smt2 TIMEOUT 1800.89 1663.14 apollon159 eldarica-misc/LIA/reve/015b-horn_000.smt2 true 33.01 12.39 apollon157 eldarica-misc/LIA/reve/009-horn_000.smt2 true 67.07 24.67 apollon161 eldarica-misc/LIA/reve/012b-horn_000.smt2 TIMEOUT 1800.26 1586.57 apollon034 eldarica-misc/LIA/reve/026b-horn_000.smt2 true 20.51 6.33 apollon059 eldarica-misc/LIA/reve/014d-horn_000.smt2 false 88.00 55.79 apollon150 eldarica-misc/LIA/reve/016-horn_000.smt2 true 22.26 6.98 apollon157 eldarica-misc/LIA/reve/004b-horn_000.smt2 true 44.35 19.25 apollon063 eldarica-misc/LIA/reve/003d-horn_000.smt2 false 75.60 39.60 apollon057 eldarica-misc/LIA/reve/018-horn_000.smt2 true 31.87 12.92 apollon077 eldarica-misc/LIA/reve/020c-horn_000.smt2 false 15.19 4.29 apollon032 eldarica-misc/LIA/reve/017b-horn_000.smt2 true 24.77 8.49 apollon147 eldarica-misc/LIA/reve/023b-horn_000.smt2 true 21.91 7.67 apollon157 eldarica-misc/LIA/reve/012c-horn_000.smt2 false 12.35 3.33 apollon021 eldarica-misc/LIA/reve/025c-horn_000.smt2 false 237.11 183.68 apollon043 eldarica-misc/LIA/reve/025d-horn_000.smt2 false 235.96 182.27 apollon007 eldarica-misc/LIA/reve/004-horn_000.smt2 true 39.21 16.28 apollon024 eldarica-misc/LIA/reve/020d-horn_000.smt2 false 12.18 3.46 apollon004 eldarica-misc/LIA/reve/011b-horn_000.smt2 true 30.21 9.85 apollon092 eldarica-misc/LIA/reve/002b-horn_000.smt2 true 21.88 5.85 apollon097 eldarica-misc/LIA/reve/024-horn_000.smt2 true 27.19 9.92 apollon035 eldarica-misc/LIA/reve/012-horn_000.smt2 TIMEOUT 1800.74 1554.55 apollon091 eldarica-misc/LIA/reve/023-horn_000.smt2 true 32.29 13.55 apollon024 eldarica-misc/LIA/reve/027-horn_000.smt2 true 15.96 4.49 apollon034 eldarica-misc/LIA/reve/018b-horn_000.smt2 true 33.43 13.68 apollon089 eldarica-misc/LIA/reve/017-horn_000.smt2 true 22.61 7.86 apollon143 eldarica-misc/LIA/reve/013b-horn_000.smt2 TIMEOUT 1800.68 1768.20 apollon134 eldarica-misc/LIA/reve/011d-horn_000.smt2 false 11.84 3.30 apollon075 eldarica-misc/LIA/reve/002-horn_000.smt2 true 23.68 6.20 apollon108 eldarica-misc/LIA/reve/025-horn_000.smt2 TIMEOUT 1800.58 1642.57 apollon106 eldarica-misc/LIA/reve/009b-horn_000.smt2 true 77.19 38.51 apollon013 eldarica-misc/LIA/reve/003-horn_000.smt2 true 44.99 21.81 apollon129 eldarica-misc/LIA/reve/014b-horn_000.smt2 true 35.64 15.55 apollon131 eldarica-misc/LIA/HOLA/17.c_000.smt2 true 906.32 788.49 apollon133 eldarica-misc/LIA/HOLA/27.c_000.smt2 true 219.67 176.63 apollon061 eldarica-misc/LIA/HOLA/18.c_000.smt2 TIMEOUT 1801.36 1469.64 apollon091 eldarica-misc/LIA/HOLA/34.c_000.smt2 TIMEOUT 1801.25 1448.64 apollon018 eldarica-misc/LIA/HOLA/41.c_000.smt2 true 912.25 822.39 apollon143 eldarica-misc/LIA/HOLA/21.c_000.smt2 true 383.86 326.98 apollon150 eldarica-misc/LIA/HOLA/06.c_000.smt2 true 43.42 11.46 apollon128 eldarica-misc/LIA/HOLA/09.c_000.smt2 true 38.16 10.52 apollon164 eldarica-misc/LIA/HOLA/05.c_000.smt2 true 21.91 5.70 apollon003 eldarica-misc/LIA/HOLA/10.c_000.smt2 true 38.90 10.45 apollon032 eldarica-misc/LIA/HOLA/33.c_000.smt2 true 35.02 9.34 apollon111 eldarica-misc/LIA/HOLA/43.c_000.smt2 true 21.09 5.40 apollon099 eldarica-misc/LIA/HOLA/35.c_000.smt2 true 17.54 4.69 apollon146 eldarica-misc/LIA/HOLA/44.c_000.smt2 true 143.51 103.65 apollon031 eldarica-misc/LIA/HOLA/13.c_000.smt2 true 26.74 6.88 apollon078 eldarica-misc/LIA/HOLA/22.c_000.smt2 true 27.85 7.13 apollon011 eldarica-misc/LIA/HOLA/37.c_000.smt2 true 32.88 10.25 apollon042 eldarica-misc/LIA/HOLA/42.c_000.smt2 true 57.59 17.11 apollon090 eldarica-misc/LIA/HOLA/02.c_000.smt2 true 24.83 6.38 apollon016 eldarica-misc/LIA/HOLA/46.c_000.smt2 true 33.39 8.84 apollon119 eldarica-misc/LIA/HOLA/07.c_000.smt2 TIMEOUT 1800.39 1567.56 apollon155 eldarica-misc/LIA/HOLA/31.c_000.smt2 true 1166.10 1032.01 apollon143 eldarica-misc/LIA/HOLA/32.c_000.smt2 TIMEOUT 1800.31 1506.42 apollon081 eldarica-misc/LIA/HOLA/25.c_000.smt2 true 34.09 8.78 apollon142 eldarica-misc/LIA/HOLA/19.c_000.smt2 true 1411.27 1204.92 apollon131 eldarica-misc/LIA/HOLA/14.c_000.smt2 TIMEOUT 1800.48 1522.60 apollon148 eldarica-misc/LIA/HOLA/30.c_000.smt2 true 99.66 71.70 apollon073 eldarica-misc/LIA/HOLA/12.c_000.smt2 TIMEOUT 1801.14 1453.51 apollon097 eldarica-misc/LIA/HOLA/08.c_000.smt2 true 36.41 9.65 apollon120 eldarica-misc/LIA/HOLA/24.c_000.smt2 true 351.94 300.96 apollon045 eldarica-misc/LIA/HOLA/26.c_000.smt2 true 45.45 12.95 apollon052 eldarica-misc/LIA/HOLA/20.c_000.smt2 true 209.82 139.01 apollon163 eldarica-misc/LIA/HOLA/01.c_000.smt2 true 17.01 4.24 apollon166 eldarica-misc/LIA/HOLA/04.c_000.smt2 true 14.80 3.95 apollon043 eldarica-misc/LIA/HOLA/16.c_000.smt2 true 839.37 767.29 apollon002 eldarica-misc/LIA/HOLA/28.c_000.smt2 true 34.46 9.41 apollon131 eldarica-misc/LIA/HOLA/11.c_000.smt2 TIMEOUT 1800.34 1505.01 apollon159 eldarica-misc/LIA/HOLA/36.c_000.smt2 true 68.62 29.19 apollon126 eldarica-misc/LIA/HOLA/38.c_000.smt2 true 1569.78 1288.98 apollon078 eldarica-misc/LIA/HOLA/39.c_000.smt2 true 157.45 123.02 apollon055 eldarica-misc/LIA/HOLA/45.c_000.smt2 true 50.53 15.36 apollon035 eldarica-misc/LIA/HOLA/40.c_000.smt2 true 26.08 6.60 apollon119 eldarica-misc/LIA/HOLA/23.c_000.smt2 true 84.03 55.55 apollon134 eldarica-misc/LIA/HOLA/03.c_000.smt2 true 390.34 332.69 apollon026 eldarica-misc/LIA/HOLA/15.c_000.smt2 true 587.25 534.62 apollon062 eldarica-misc/LIA/HOLA/29.c_000.smt2 true 34.11 9.30 apollon030 llreve-bench/smt2/loop__nested-while_000.smt2 true 29.40 10.67 apollon153 llreve-bench/smt2/loop__fib_000.smt2 true 27.86 10.34 apollon053 llreve-bench/smt2/loop__loop_000.smt2 true 19.93 5.85 apollon008 llreve-bench/smt2/loop__digits10_inl_000.smt2 true 58.34 22.62 apollon063 llreve-bench/smt2/loop__barthe2-big_000.smt2 true 96.61 59.59 apollon140 llreve-bench/smt2/loop__upcount_000.smt2 true 25.57 8.95 apollon057 llreve-bench/smt2/loop__break_000.smt2 true 281.77 219.78 apollon051 llreve-bench/smt2/loop__while-if_000.smt2 true 20.10 5.71 apollon070 llreve-bench/smt2/faulty__barthe!_000.smt2 OUT OF MEMORY 1032.95 560.70 apollon160 llreve-bench/smt2/loop__loop3_000.smt2 true 35.46 14.51 apollon119 llreve-bench/smt2/loop__barthe2_000.smt2 true 35.25 14.59 apollon066 llreve-bench/smt2/loop__loop_unswitching_000.smt2 true 22.49 6.43 apollon146 llreve-bench/smt2/loop__break_single_000.smt2 true 384.02 311.14 apollon111 llreve-bench/smt2/loop__barthe2-big2_000.smt2 TIMEOUT 1800.74 1516.13 apollon052 llreve-bench/smt2/loop__barthe_000.smt2 true 35.15 14.16 apollon161 llreve-bench/smt2/loop__barthe2-big3_000.smt2 TIMEOUT 1801.59 1610.65 apollon067 llreve-bench/smt2/loop__loop2_000.smt2 true 24.76 8.35 apollon120 llreve-bench/smt2/loop__simple-loop_000.smt2 true 28.51 10.92 apollon038 llreve-bench/smt2/faulty__nested-while!_000.smt2 false 14.16 3.97 apollon010 llreve-bench/smt2/loop__bug15_000.smt2 true 15.34 4.40 apollon165 llreve-bench/smt2/loop__while_after_while_if_000.smt2 true 32.78 9.96 apollon119 llreve-bench/smt2/faulty__loop5!_000.smt2 false 14.82 4.58 apollon024 hopv/lia/mochi/intro2_000.smt2 true 11.99 3.32 apollon005 hopv/lia/mochi/neg1_000.smt2 false 11.40 3.35 apollon163 hopv/lia/mochi/sum4_000.smt2 true 24.75 9.50 apollon099 hopv/lia/mochi/sum_000.smt2 true 15.91 4.74 apollon091 hopv/lia/mochi/exception_000.smt2 true 11.59 3.13 apollon117 hopv/lia/mochi/fxx_000.smt2 true 11.58 3.18 apollon136 hopv/lia/mochi/enc-zip3_000.smt2 true 11.94 3.37 apollon013 hopv/lia/mochi/array_init_000.smt2 true 65.85 37.43 apollon057 hopv/lia/mochi/map_000.smt2 true 12.66 3.42 apollon094 hopv/lia/mochi/mult_000.smt2 true 17.41 5.24 apollon067 hopv/lia/mochi/intro3_000.smt2 true 11.74 3.27 apollon034 hopv/lia/mochi/sum2_000.smt2 true 17.71 5.41 apollon146 hopv/lia/mochi/intro1_000.smt2 true 11.65 3.16 apollon106 hopv/lia/mochi/exc-simple_000.smt2 true 11.86 3.30 apollon092 hopv/lia/mochi/sum3_000.smt2 true 22.65 7.55 apollon131 hopv/lia/mochi/enc-rev_accum_000.smt2 true 12.65 3.53 apollon136 hopv/lia/fpice/inductive6_000.smt2 true 12.62 3.27 apollon116 hopv/lia/fpice/inductive2_000.smt2 true 11.79 3.22 apollon037 hopv/lia/fpice/inductive5_000.smt2 true 12.47 3.37 apollon063 hopv/lia/fpice/inductive4_000.smt2 true 20.27 6.30 apollon028 hopv/lia/fpice/inductive6-3_000.smt2 true 12.66 3.64 apollon122 hopv/lia/fpice/inductive6-2_000.smt2 true 12.17 3.47 apollon009 hopv/lia/fpice/inductive3_000.smt2 true 11.28 3.15 apollon078 hopv/lia/termination/Ackermann03_000.smt2 true 13.57 3.53 apollon074 hopv/lia/termination/alias_partial00_000.smt2 true 12.43 3.47 apollon002 hopv/lia/termination/append01_000.smt2 true 12.87 3.37 apollon010 hopv/lia/termination/CE-0CFA02_000.smt2 true 12.43 3.41 apollon081 hopv/lia/termination/McCarthy9101_000.smt2 true 11.26 3.14 apollon044 hopv/lia/termination/Ackermann00_000.smt2 true 12.00 3.27 apollon024 hopv/lia/termination/binomial01_000.smt2 true 11.69 3.21 apollon164 hopv/lia/termination/CE-1CFA07_000.smt2 false 14.19 3.90 apollon153 hopv/lia/termination/Fibonacci00_000.smt2 true 11.07 3.17 apollon007 hopv/lia/termination/Ackermann01_000.smt2 true 12.54 3.31 apollon136 hopv/lia/termination/alias_partial01_000.smt2 true 11.97 3.42 apollon104 hopv/lia/termination/CE-1CFA01_000.smt2 true 13.63 3.65 apollon139 hopv/lia/termination/CE-1CFA05_000.smt2 true 12.11 3.29 apollon088 hopv/lia/termination/zip01_000.smt2 true 11.88 3.21 apollon111 hopv/lia/termination/McCarthy9100_000.smt2 true 12.49 3.47 apollon168 hopv/lia/termination/binomial00_000.smt2 true 11.64 3.30 apollon160 hopv/lia/termination/CE-1CFA02_000.smt2 true 13.46 3.79 apollon026 hopv/lia/termination/append00_000.smt2 true 11.33 3.12 apollon052 hopv/lia/termination/CE-0CFA05_000.smt2 true 11.92 3.25 apollon067 hopv/lia/termination/alias_partial02_000.smt2 true 11.36 3.23 apollon044 hopv/lia/termination/CE-1CFA09_000.smt2 false 13.46 3.61 apollon149 hopv/lia/termination/CE-1CFA00_000.smt2 true 13.06 3.53 apollon058 hopv/lia/termination/binomial03_000.smt2 true 13.32 3.73 apollon042 hopv/lia/termination/zip00_000.smt2 true 11.38 3.32 apollon059 hopv/lia/termination/CE-0CFA01_000.smt2 true 12.18 3.33 apollon048 hopv/lia/termination/Fibonacci01_000.smt2 true 11.22 3.12 apollon116 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 34478.47 - Statistics: 1312 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 507