| Name | total_time | result | nb_conflicting_instances | nb_instances | nb_instances_generated | tune_TPTP | nb_atomes | nb_axiomes | nb_functions | nb_instances_EnumTrig | nb_predicates |
| A | B | A | B | A | B | A | B | A | B | A | B | A | B | A | B | A | B | A | B | A | B |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_16_59_36_821_1042798.smt_in.smt | 13.04 | Failed | 0 | --- | 280 | --- | 19646 | --- | 19646 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_00_48_745_1118986.smt_in.smt | 23.01 | 20.17 | 0 | 0 | 9906 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 203 | - | 9321 | - | 47 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_01_08_726_1143110.smt_in.smt | 5.81 | 33.20 | 0 | 0 | 1546 | 0 | 91696 | - | 91696 | - | False | False | - | 0 | - | 0 | - | 157 | - | 135741 | - | 76 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_54_02_380_1100754.smt_in.smt | 18.15 | 19.73 | 0 | 0 | 4067 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 48 | - | 19949 | - | 13 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_52_14_452_1224847.smt_in.smt | 12.06 | Failed | 0 | --- | 16 | --- | 6120 | --- | 6120 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_53_20_399_1283372.smt_in.smt | 48.01 | 17.75 | 0 | 0 | 5931 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 243 | - | 1128 | - | 26 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_53_32_659_1294866.smt_in.smt | Failed | 78.39 | --- | 0 | --- | 1292 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 345 | --- | 8976 | --- | 50 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_57_47_544_1522663.smt_in.smt | Failed | 59.97 | --- | 0 | --- | 663 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 282 | --- | 3042 | --- | 33 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_58_32_674_1564116.smt_in.smt | 67.43 | 10.58 | 0 | 0 | 16279 | 7433 | 10469 | - | 10469 | - | False | False | - | 0 | - | 0 | - | 275 | - | 9776 | - | 24 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_59_00_183_1587972.smt_in.smt | 54.69 | Failed | 0 | --- | 2253 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_59_13_567_1599577.smt_in.smt | Failed | 13.35 | --- | 0 | --- | 1415 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 55 | --- | 3346 | --- | 12 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_59_15_790_1602027.smt_in.smt | Failed | 60.50 | --- | 0 | --- | 60 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 48 | --- | 6354 | --- | 2 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_59_18_190_1604119.smt_in.smt | 6.54 | 2.03 | 0 | 0 | 508 | 1818 | 2439 | - | 2439 | - | False | False | - | 0 | - | 0 | - | 37 | - | 3174 | - | 5 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_00_37_157_1687977.smt_in.smt | 8.57 | 9.69 | 0 | 0 | 1436 | 2405 | 5198 | - | 5198 | - | False | False | - | 0 | - | 0 | - | 34 | - | 5694 | - | 2 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_01_46_784_1775261.smt_in.smt | 10.38 | 17.46 | 0 | 0 | 1502 | 0 | 7570 | - | 7570 | - | False | False | - | 0 | - | 0 | - | 34 | - | 1183 | - | 4 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_02_25_050_1825682.smt_in.smt | 24.01 | 0.32 | 0 | 0 | 660 | 335 | 3494 | - | 3494 | - | False | False | - | 0 | - | 0 | - | 184 | - | 4996 | - | 27 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_03_54_879_1945626.smt_in.smt | Failed | 67.77 | --- | 0 | --- | 1725 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 460 | --- | 8094 | --- | 76 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_04_59_011_2033102.smt_in.smt | 0.15 | 12.04 | 0 | 0 | 1250 | 1254 | 784 | - | 784 | - | False | False | - | 0 | - | 0 | - | 66 | - | 1745 | - | 13 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_05_19_848_2061247.smt_in.smt | Failed | 17.58 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 115 | --- | 3311 | --- | 23 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_05_418_2123237.smt_in.smt | 8.26 | 7.22 | 0 | 0 | 3503 | 3431 | 34774 | - | 34774 | - | False | False | - | 0 | - | 0 | - | 202 | - | 30043 | - | 33 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_06_616_2124803.smt_in.smt | 2.20 | 1.08 | 0 | 0 | 1828 | 1024 | 8282 | - | 8282 | - | False | False | - | 0 | - | 0 | - | 252 | - | 8429 | - | 17 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_07_59_177_2281818.smt_in.smt | 6.02 | 2.73 | 0 | 0 | 413 | 7276 | 395 | - | 395 | - | False | False | - | 0 | - | 0 | - | 48 | - | 58644 | - | 11 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_31_428_2323975.smt_in.smt | 12.37 | 2.41 | 0 | 0 | 4882 | 2983 | 3628 | - | 3628 | - | False | False | - | 0 | - | 0 | - | 260 | - | 34567 | - | 44 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_56_712_2358941.smt_in.smt | 0.05 | 1.36 | 0 | 0 | 153 | 8743 | 255 | - | 255 | - | False | False | - | 0 | - | 0 | - | 81 | - | 3574 | - | 14 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_13_445_2380690.smt_in.smt | 0.99 | 6.16 | 0 | 0 | 1443 | 1046 | 2511 | - | 2511 | - | False | False | - | 0 | - | 0 | - | 55 | - | 1190 | - | 7 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_36_627_2410223.smt_in.smt | Failed | 0.64 | --- | 0 | --- | 1721 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 103 | --- | 3763 | --- | 10 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_39_927_2413855.smt_in.smt | Failed | 0.03 | --- | 0 | --- | 73 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 107 | --- | 325 | --- | 11 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_40_942_2415054.smt_in.smt | 8.58 | 2.82 | 0 | 0 | 3178 | 4075 | 1175 | - | 1175 | - | False | False | - | 0 | - | 0 | - | 186 | - | 3615 | - | 20 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_11_59_809_2597576.smt_in.smt | 0.83 | 2.35 | 0 | 0 | 1569 | 1509 | 4890 | - | 4890 | - | False | False | - | 0 | - | 0 | - | 134 | - | 5909 | - | 20 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_12_07_787_2606794.smt_in.smt | Failed | 70.08 | --- | 0 | --- | 31 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 178 | --- | 1606 | --- | 21 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_12_13_235_2613566.smt_in.smt | 0.46 | 16.79 | 0 | 0 | 711 | 26 | 3250 | - | 3250 | - | False | False | - | 0 | - | 0 | - | 240 | - | 301812 | - | 27 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_13_08_073_2669733.smt_in.smt | 19.92 | 45.28 | 0 | 0 | 8062 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 99 | - | 22169 | - | 9 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_13_18_342_2675446.smt_in.smt | 26.05 | 7.73 | 0 | 0 | 3903 | 4643 | 64503 | - | 64503 | - | False | False | - | 0 | - | 0 | - | 176 | - | 49167 | - | 21 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_15_23_177_2735750.smt_in.smt | Failed | 68.52 | --- | 0 | --- | 257 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 438 | --- | 2563 | --- | 15 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_16_15_318_2761376.smt_in.smt | Failed | 70.87 | --- | 0 | --- | 1177 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 272 | --- | 2737 | --- | 19 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_16_33_756_2771052.smt_in.smt | Failed | 54.04 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 355 | --- | 3916 | --- | 31 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_16_52_894_2781064.smt_in.smt | Failed | 41.45 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 298 | --- | 49756 | --- | 17 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_16_57_662_2783690.smt_in.smt | 12.86 | 2.21 | 0 | 0 | 1073 | 116 | 2570 | - | 2570 | - | False | False | - | 0 | - | 0 | - | 57 | - | 28199 | - | 9 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_17_17_579_2794980.smt_in.smt | Failed | 71.90 | --- | 0 | --- | 74 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 148 | --- | 2118 | --- | 26 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_20_10_746_2912462.smt_in.smt | 7.55 | 0.24 | 0 | 0 | 1319 | 107 | 3157 | - | 3157 | - | False | False | - | 0 | - | 0 | - | 603 | - | 2007 | - | 114 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_24_21_581_1195722.smt_in.smt | Failed | 70.92 | --- | 0 | --- | 473 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 231 | --- | 4181 | --- | 3 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_24_38_065_1210148.smt_in.smt | 0.57 | 59.87 | 0 | 0 | 393 | 463 | 11681 | - | 11681 | - | False | False | - | 0 | - | 0 | - | 127 | - | 3159 | - | 7 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_24_44_326_1214655.smt_in.smt | Failed | 67.95 | --- | 0 | --- | 436 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 92 | --- | 9100 | --- | 7 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_25_01_009_1227491.smt_in.smt | Failed | 70.05 | --- | 0 | --- | 132 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 91 | --- | 2630 | --- | 9 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_25_33_589_1256369.smt_in.smt | Failed | 7.09 | --- | 0 | --- | 658 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 84 | --- | 8535 | --- | 7 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_47_01_275_1024212.smt_in.smt | 6.77 | 0.23 | 0 | 0 | 128 | 23 | 747 | - | 747 | - | False | False | - | 0 | - | 0 | - | 63 | - | 3569 | - | 6 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_48_08_223_1094233.smt_in.smt | Failed | 0.28 | --- | 0 | --- | 204 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 53 | --- | 7662 | --- | 11 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_48_57_762_1151579.smt_in.smt | 157.76 | Failed | 0 | --- | 8346 | --- | 399497 | --- | 399497 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_49_36_551_1195387.smt_in.smt | Failed | 105.36 | --- | 0 | --- | 10168 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 33 | --- | 7344 | --- | 5 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_25_866_1249226.smt_in.smt | 36.70 | 80.56 | 0 | 0 | 277 | 1038 | 6185 | - | 6185 | - | False | False | - | 0 | - | 0 | - | 37 | - | 3030 | - | 5 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_28_337_1251891.smt_in.smt | 11.72 | 6.70 | 0 | 0 | 231 | 155 | 6278 | - | 6278 | - | False | False | - | 0 | - | 0 | - | 37 | - | 5903 | - | 5 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_29_433_1253212.smt_in.smt | 2.47 | 0.51 | 0 | 0 | 812 | 1000 | 2865 | - | 2865 | - | False | False | - | 0 | - | 0 | - | 37 | - | 2960 | - | 5 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_31_780_1255844.smt_in.smt | 6.80 | 0.91 | 0 | 0 | 112 | 655 | 541 | - | 541 | - | False | False | - | 0 | - | 0 | - | 37 | - | 2907 | - | 5 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_32_881_1257158.smt_in.smt | Failed | 24.35 | --- | 0 | --- | 162 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 37 | --- | 5853 | --- | 5 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_34_053_1258476.smt_in.smt | 6.12 | 0.56 | 0 | 0 | 99 | 610 | 541 | - | 541 | - | False | False | - | 0 | - | 0 | - | 37 | - | 3116 | - | 5 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_35_287_1259792.smt_in.smt | 9.13 | 4.21 | 0 | 0 | 303 | 6603 | 632 | - | 632 | - | False | False | - | 0 | - | 0 | - | 41 | - | 4944 | - | 6 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_51_04_264_1288669.smt_in.smt | 2.17 | 0.51 | 0 | 0 | 394 | 413 | 36799 | - | 36799 | - | False | False | - | 0 | - | 0 | - | 43 | - | 708 | - | 5 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_52_37_157_1096137.smt_in.smt | 10.08 | 9.00 | 0 | 0 | 2560 | 1893 | 71759 | - | 71759 | - | False | False | - | 0 | - | 0 | - | 98 | - | 67931 | - | 16 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_56_02_190_1306654.smt_in.smt | Failed | 72.14 | --- | 0 | --- | 273 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 107 | --- | 2572 | --- | 16 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/lmirror/x2015_09_10_16_47_27_202_1060941.smt_in.smt | 0.62 | 1.63 | 0 | 0 | 3481 | 13467 | 1803 | - | 1803 | - | False | False | - | 0 | - | 0 | - | 73 | - | 2165 | - | 23 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/lmirror/x2015_09_10_16_47_53_032_1080926.smt_in.smt | 42.28 | 54.70 | 0 | 0 | 10662 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 87 | - | 15759 | - | 11 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_21_859_1047027.smt_in.smt | 42.40 | Failed | 0 | --- | 11169 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_27_953_1053427.smt_in.smt | 48.85 | 72.60 | 0 | 0 | 18311 | 982 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 27 | - | 2402 | - | 7 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_35_860_1061626.smt_in.smt | Failed | 68.22 | --- | 0 | --- | 7945 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 73 | --- | 5156 | --- | 13 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_45_306_1071226.smt_in.smt | Failed | 20.38 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 52 | --- | 32651 | --- | 12 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_49_549_1075143.smt_in.smt | 20.79 | Failed | 0 | --- | 22966 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_05_403_1090809.smt_in.smt | 3.85 | 12.24 | 0 | 0 | 9343 | 9444 | 2683 | - | 2683 | - | False | False | - | 0 | - | 0 | - | 50 | - | 8955 | - | 11 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_06_657_1092232.smt_in.smt | 0.94 | 12.21 | 0 | 0 | 12046 | 19701 | 3329 | - | 3329 | - | False | False | - | 0 | - | 0 | - | 50 | - | 12037 | - | 11 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_10_471_1096340.smt_in.smt | 6.08 | 0.12 | 0 | 0 | 3364 | 3404 | 1632 | - | 1632 | - | False | False | - | 0 | - | 0 | - | 50 | - | 2609 | - | 12 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_17_134_1103487.smt_in.smt | 42.98 | 17.69 | 0 | 0 | 8528 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 115 | - | 4691 | - | 6 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_19_835_1106629.smt_in.smt | 20.10 | Failed | 0 | --- | 8638 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/splay_tree_analysis/x2015_09_10_16_56_43_125_1088600.smt_in.smt | 17.83 | 0.88 | 0 | 0 | 1216 | 2185 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 60 | - | 3520 | - | 13 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/splay_tree_analysis/x2015_09_10_16_56_58_793_1101312.smt_in.smt | 18.70 | 0.87 | 0 | 0 | 5695 | 2106 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 60 | - | 3521 | - | 13 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/splay_tree_analysis/x2015_09_10_16_57_37_881_1135655.smt_in.smt | 8.63 | 7.29 | 0 | 0 | 4324 | 3789 | 15621 | - | 15621 | - | False | False | - | 0 | - | 0 | - | 61 | - | 15700 | - | 15 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/splay_tree_analysis/x2015_09_10_16_57_58_490_1153963.smt_in.smt | Failed | 67.51 | --- | 0 | --- | 1470 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 222 | --- | 10415 | --- | 44 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_16_57_07_380_1125440.smt_in.smt | Failed | 7.87 | --- | 0 | --- | 55852 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 424 | --- | 7211 | --- | 28 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_16_58_06_000_1185720.smt_in.smt | 43.37 | 2.49 | 0 | 0 | 25688 | 36669 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 443 | - | 50479 | - | 35 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_26_576_1126948.smt_in.smt | Failed | 48.02 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 157 | --- | 8607 | --- | 15 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_41_175_1143317.smt_in.smt | Failed | 69.93 | --- | 0 | --- | 12265 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 268 | --- | 9256 | --- | 16 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_50_13_449_1239443.smt_in.smt | Failed | 71.17 | --- | 0 | --- | 154 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 320 | --- | 449 | --- | 20 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_50_45_459_1267903.smt_in.smt | 69.61 | 58.55 | 0 | 0 | 936 | 0 | 8569 | - | 8569 | - | False | False | - | 0 | - | 0 | - | 130 | - | 7480 | - | 15 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_41_298_1381766.smt_in.smt | 20.48 | 17.41 | 0 | 0 | 5855 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 104 | - | 3092 | - | 19 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_00_915_1400456.smt_in.smt | 0.10 | 12.59 | 0 | 0 | 302 | 3236 | 1791 | - | 1791 | - | False | False | - | 0 | - | 0 | - | 60 | - | 7114 | - | 17 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_24_819_1422372.smt_in.smt | 3.19 | 0.27 | 0 | 0 | 745 | 59 | 5885 | - | 5885 | - | False | False | - | 0 | - | 0 | - | 127 | - | 6467 | - | 41 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_32_753_1428683.smt_in.smt | 1.43 | 2.47 | 0 | 0 | 183 | 246 | 7261 | - | 7261 | - | False | False | - | 0 | - | 0 | - | 225 | - | 7160 | - | 15 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_54_292_1447222.smt_in.smt | Failed | 176.88 | --- | 0 | --- | 2568 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 126 | --- | 43417 | --- | 41 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_54_35_070_1483055.smt_in.smt | 0.03 | 1.11 | 0 | 0 | 84 | 867 | 297 | - | 297 | - | False | False | - | 0 | - | 0 | - | 90 | - | 6932 | - | 18 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_54_46_764_1495036.smt_in.smt | Failed | 66.59 | --- | 0 | --- | 445 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 80 | --- | 5063 | --- | 18 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_54_52_250_1500077.smt_in.smt | Failed | 64.95 | --- | 0 | --- | 250 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 88 | --- | 2540 | --- | 19 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_55_28_099_1538228.smt_in.smt | 14.17 | 12.70 | 0 | 0 | 11997 | 13031 | 6679 | - | 6679 | - | False | False | - | 0 | - | 0 | - | 178 | - | 6659 | - | 23 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_55_47_947_1561198.smt_in.smt | 85.98 | 60.64 | 0 | 0 | 6084 | 943 | 18492 | - | 18492 | - | False | False | - | 0 | - | 0 | - | 119 | - | 8032 | - | 19 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_55_57_668_1572990.smt_in.smt | 78.03 | 60.56 | 0 | 0 | 2986 | 1149 | 18716 | - | 18716 | - | False | False | - | 0 | - | 0 | - | 119 | - | 8592 | - | 19 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/koenig/x2015_09_10_16_44_59_827_1001521.smt_in.smt | 53.21 | 46.47 | 0 | 0 | 7499 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 222 | - | 7554 | - | 24 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/parallel/x2015_09_10_16_56_42_740_1008448.smt_in.smt | Failed | 59.25 | --- | 0 | --- | 690 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 128 | --- | 2616 | --- | 18 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/process/x2015_09_10_16_46_02_139_1005854.smt_in.smt | Failed | 19.67 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 270 | --- | 8270 | --- | 40 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_49_41_465_976477.smt_in.smt | Failed | 59.97 | --- | 0 | --- | 262 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 267 | --- | 2194 | --- | 37 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_12_254_1089084.smt_in.smt | Failed | 61.75 | --- | 0 | --- | 263 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 77 | --- | 2118 | --- | 27 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_20_074_1190967.smt_in.smt | Failed | 59.37 | --- | 0 | --- | 1059 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 40 | --- | 1781 | --- | 9 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_21_307_1193317.smt_in.smt | Failed | 60.36 | --- | 0 | --- | 1010 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 99 | --- | 2534 | --- | 13 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_22_464_1195276.smt_in.smt | Failed | 59.78 | --- | 0 | --- | 353 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 104 | --- | 2248 | --- | 10 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_24_906_1200108.smt_in.smt | Failed | 66.65 | --- | 0 | --- | 5691 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 85 | --- | 5574 | --- | 11 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_43_723_1232893.smt_in.smt | 29.65 | 27.08 | 0 | 0 | 0 | 0 | 4950 | - | 4950 | - | False | False | - | 0 | - | 0 | - | 183 | - | 5071 | - | 23 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_56_15_003_1646310.smt_in.smt | 43.12 | 6.43 | 0 | 0 | 12 | 2239 | 13313 | - | 13313 | - | False | False | - | 0 | - | 0 | - | 115 | - | 7099 | - | 8 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_58_51_174_1854278.smt_in.smt | Failed | 66.30 | --- | 0 | --- | 2044 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 115 | --- | 5267 | --- | 18 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_59_01_851_1869755.smt_in.smt | Failed | 66.53 | --- | 0 | --- | 639 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 141 | --- | 4301 | --- | 32 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_46_45_961_984148.smt_in.smt | 4.48 | 2.13 | 0 | 0 | 61710 | 67413 | 11082 | - | 11082 | - | False | False | - | 0 | - | 0 | - | 111 | - | 6458 | - | 11 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_47_17_962_1024580.smt_in.smt | Failed | 59.04 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 181 | --- | 2350 | --- | 12 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_47_36_735_1042956.smt_in.smt | 10.40 | 5.79 | 0 | 0 | 4379 | 15272 | 16789 | - | 16789 | - | False | False | - | 0 | - | 0 | - | 171 | - | 62611 | - | 15 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_48_34_475_1105236.smt_in.smt | 19.48 | Failed | 0 | --- | 6717 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_49_00_946_1137050.smt_in.smt | 11.98 | Failed | 0 | --- | 20 | --- | 707 | --- | 707 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/stern_brocot_tree/x2015_09_10_16_52_43_811_1130425.smt_in.smt | Failed | 60.19 | --- | 0 | --- | 284 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 765 | --- | 2681 | --- | 14 |
| UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/stern_brocot_tree/x2015_09_10_16_52_45_613_1132283.smt_in.smt | Failed | 63.63 | --- | 0 | --- | 349 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 492 | --- | 2513 | --- | 14 |
| UF-2019/grasshopper/instantiated/dl_copy_loop_invariant_36_3.smt | 32.69 | 5.78 | 0 | 0 | 0 | 961 | 45263 | - | 45263 | - | False | False | - | 0 | - | 0 | - | 55 | - | 49492 | - | 9 |
| UF-2019/grasshopper/instantiated/dl_remove_postcondition_of_dl_remove_50_4.smt | 1.68 | 0.61 | 0 | 0 | 652 | 385 | 14732 | - | 14732 | - | False | False | - | 0 | - | 0 | - | 50 | - | 5805 | - | 11 |
| UF-2019/grasshopper/instantiated/union_postcondition_of_union_42_1.smt | 29.02 | 3.84 | 0 | 0 | 1901 | 957 | 9382 | - | 9382 | - | False | False | - | 0 | - | 0 | - | 77 | - | 50144 | - | 10 |
| UF-2019/grasshopper/uninstantiated/copy_loop_invariant_24_3.smt | 21.33 | 11.07 | 0 | 0 | 8935 | 442 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 48 | - | 12501 | - | 3 |
| UF-2019/grasshopper/uninstantiated/dl_concat_postcondition_of_dl_concat_25_4.smt | 24.44 | 47.99 | 0 | 0 | 262 | 0 | 6704 | - | 6704 | - | False | False | - | 0 | - | 0 | - | 43 | - | 1969 | - | 6 |
| UF-2019/grasshopper/uninstantiated/dl_copy_loop_invariant_36_3.smt | 11.90 | 63.91 | 0 | 0 | 835 | 653 | 21572 | - | 21572 | - | False | False | - | 0 | - | 0 | - | 102 | - | 1960 | - | 9 |
| UF-2019/grasshopper/uninstantiated/dl_copy_postcondition_of_dl_copy_37_1.smt | 2.26 | 0.25 | 0 | 0 | 153 | 41 | 3077 | - | 3077 | - | False | False | - | 0 | - | 0 | - | 91 | - | 1772 | - | 17 |
| UF-2019/grasshopper/uninstantiated/dl_insert_loop_invariant_30_5.smt | 55.98 | 21.53 | 0 | 0 | 7380 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 36 | - | 10369 | - | 9 |
| UF-2019/grasshopper/uninstantiated/dl_insert_postcondition_of_dl_insert_39_4.smt | 29.52 | 32.04 | 0 | 0 | 735 | 0 | 91716 | - | 91716 | - | False | False | - | 0 | - | 0 | - | 116 | - | 41719 | - | 11 |
| UF-2019/grasshopper/uninstantiated/dl_remove_loop_invariant_35_5.smt | 56.05 | 22.19 | 0 | 0 | 7380 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 36 | - | 10369 | - | 9 |
| UF-2019/grasshopper/uninstantiated/dl_traverse_loop_invariant_23_3.smt | 20.13 | 19.01 | 0 | 0 | 6937 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 36 | - | 3587 | - | 7 |
| UF-2019/grasshopper/uninstantiated/filter_postcondition_of_filter_36_1.smt | 8.34 | 5.01 | 0 | 0 | 761 | 97 | 8576 | - | 8576 | - | False | False | - | 0 | - | 0 | - | 54 | - | 11869 | - | 7 |
| UF-2019/grasshopper/uninstantiated/find_last_postcondition_of_find_last_18_4.smt | 3.20 | 6.00 | 0 | 0 | 142 | 44 | 2821 | - | 2821 | - | False | False | - | 0 | - | 0 | - | 38 | - | 256 | - | 4 |
| UF-2019/grasshopper/uninstantiated/find_postcondition_of_find_24_1.smt | 4.51 | 0.68 | 0 | 0 | 435 | 174 | 4744 | - | 4744 | - | False | False | - | 0 | - | 0 | - | 61 | - | 1694 | - | 8 |
| UF-2019/grasshopper/uninstantiated/rec_concat_postcondition_of_rec_concat_31_1.smt | 0.45 | 1.55 | 0 | 0 | 146 | 331 | 1722 | - | 1722 | - | False | False | - | 0 | - | 0 | - | 39 | - | 4382 | - | 4 |
| UF-2019/grasshopper/uninstantiated/rec_copy_loop_postcondition_of_rec_copy_loop_45_4.smt | Failed | 61.25 | --- | 0 | --- | 427 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 58 | --- | 1691 | --- | 7 |
| UF-2019/grasshopper/uninstantiated/rec_copy_loop_precondition_of_rec_copy_loop_45_11.smt | 8.95 | 7.01 | 0 | 0 | 640 | 280 | 20759 | - | 20759 | - | False | False | - | 0 | - | 0 | - | 36 | - | 7714 | - | 3 |
| UF-2019/grasshopper/uninstantiated/rec_dispose_postcondition_of_rec_dispose_17_19.smt | 6.01 | 3.38 | 0 | 0 | 5 | 50 | 134 | - | 134 | - | False | False | - | 0 | - | 0 | - | 30 | - | 1631 | - | 4 |
| UF-2019/grasshopper/uninstantiated/rec_filter_postcondition_of_rec_filter_24_4.smt | 3.52 | 2.46 | 0 | 0 | 275 | 175 | 5954 | - | 5954 | - | False | False | - | 0 | - | 0 | - | 37 | - | 6541 | - | 8 |
| UF-2019/grasshopper/uninstantiated/rec_insert_postcondition_of_rec_insert_25_6.smt | 5.21 | 6.24 | 0 | 0 | 495 | 184 | 6480 | - | 6480 | - | False | False | - | 0 | - | 0 | - | 46 | - | 4995 | - | 8 |
| UF-2019/grasshopper/uninstantiated/rec_remove_postcondition_of_rec_remove_20_4.smt | 0.27 | 5.09 | 0 | 0 | 24 | 56 | 1471 | - | 1471 | - | False | False | - | 0 | - | 0 | - | 23 | - | 3238 | - | 4 |
| UF-2019/grasshopper/uninstantiated/rec_remove_postcondition_of_rec_remove_26_4.smt | 1.46 | 6.10 | 0 | 0 | 256 | 79 | 5116 | - | 5116 | - | False | False | - | 0 | - | 0 | - | 38 | - | 2008 | - | 8 |
| UF-2019/grasshopper/uninstantiated/rec_reverse_loop_precondition_of_rec_reverse_loop_21_11.smt | 36.04 | 6.36 | 0 | 0 | 107 | 168 | 1232 | - | 1232 | - | False | False | - | 0 | - | 0 | - | 31 | - | 2686 | - | 3 |
| UF-2019/grasshopper/uninstantiated/reverse_loop_invariant_25_3.smt | 25.16 | 36.57 | 0 | 0 | 181 | 376 | 27849 | - | 27849 | - | False | False | - | 0 | - | 0 | - | 36 | - | 7285 | - | 3 |
| UF-2019/sledgehammer/Arrow_Order/smtlib.604218.smt | 7.39 | Failed | 0 | --- | 1603 | --- | 8390 | --- | 8390 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/smtlib.612164.smt | 7.32 | Failed | 0 | --- | 1402 | --- | 7858 | --- | 7858 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/smtlib.651469.smt | 0.13 | 59.19 | 0 | 0 | 69 | 2598 | 797 | - | 797 | - | False | False | - | 0 | - | 0 | - | 206 | - | 2861 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/smtlib.657312.smt | 0.53 | 60.36 | 0 | 0 | 380 | 1949 | 3868 | - | 3868 | - | False | False | - | 0 | - | 0 | - | 201 | - | 2710 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/smtlib.683901.smt | 0.41 | 3.82 | 0 | 0 | 45 | 2254 | 1395 | - | 1395 | - | False | False | - | 0 | - | 0 | - | 761 | - | 10636 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.560933.smt | 3.51 | Failed | 0 | --- | 13717 | --- | 6148 | --- | 6148 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.561879.smt | 6.30 | Failed | 0 | --- | 19299 | --- | 4753 | --- | 4753 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.566535.smt | 6.25 | Failed | 0 | --- | 441 | --- | 2183 | --- | 2183 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.588295.smt | 4.70 | Failed | 0 | --- | 3266 | --- | 9114 | --- | 9114 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.594788.smt | Failed | 66.64 | --- | 0 | --- | 1109 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 202 | --- | 2683 | --- | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.598789.smt | 7.44 | 67.20 | 0 | 0 | 606 | 1316 | 6219 | - | 6219 | - | False | False | - | 0 | - | 0 | - | 203 | - | 3046 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.603560.smt | 7.92 | Failed | 0 | --- | 1917 | --- | 8358 | --- | 8358 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.611966.smt | 8.78 | Failed | 0 | --- | 2874 | --- | 8093 | --- | 8093 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.624562.smt | 9.36 | Failed | 0 | --- | 1980 | --- | 55784 | --- | 55784 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.625476.smt | 7.81 | Failed | 0 | --- | 805 | --- | 32238 | --- | 32238 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.625947.smt | 10.63 | Failed | 0 | --- | 1334 | --- | 16087 | --- | 16087 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.630087.smt | 21.07 | 10.20 | 0 | 0 | 70 | 1084 | 162186 | - | 162186 | - | False | False | - | 0 | - | 0 | - | 65 | - | 29208 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.633075.smt | 0.79 | 2.41 | 0 | 0 | 634 | 903 | 4134 | - | 4134 | - | False | False | - | 0 | - | 0 | - | 318 | - | 4110 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.649769.smt | 0.59 | 65.56 | 0 | 0 | 269 | 501 | 4182 | - | 4182 | - | False | False | - | 0 | - | 0 | - | 185 | - | 3223 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.655306.smt | 3.72 | 65.21 | 0 | 0 | 786 | 532 | 12977 | - | 12977 | - | False | False | - | 0 | - | 0 | - | 186 | - | 3640 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.671771.smt | 0.27 | 8.58 | 0 | 0 | 129 | 406 | 2195 | - | 2195 | - | False | False | - | 0 | - | 0 | - | 840 | - | 4004 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.677211.smt | 0.26 | 2.57 | 0 | 0 | 90 | 518 | 1513 | - | 1513 | - | False | False | - | 0 | - | 0 | - | 762 | - | 10891 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.687700.smt | 0.29 | 2.40 | 0 | 0 | 232 | 112 | 2292 | - | 2292 | - | False | False | - | 0 | - | 0 | - | 762 | - | 20114 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.690998.smt | 0.32 | 4.64 | 0 | 0 | 37 | 509 | 1296 | - | 1296 | - | False | False | - | 0 | - | 0 | - | 598 | - | 7377 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.716715.smt | 0.54 | 22.22 | 0 | 0 | 22 | 0 | 4154 | - | 4154 | - | False | False | - | 0 | - | 0 | - | 277 | - | 7650 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.734845.smt | 0.67 | 8.40 | 0 | 0 | 57 | 65 | 6167 | - | 6167 | - | False | False | - | 0 | - | 0 | - | 244 | - | 18715 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.777334.smt | 6.37 | Failed | 0 | --- | 739 | --- | 3162 | --- | 3162 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.781938.smt | 0.40 | Failed | 0 | --- | 89 | --- | 1725 | --- | 1725 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.786124.smt | 0.44 | 1.57 | 0 | 0 | 77 | 105 | 1811 | - | 1811 | - | False | False | - | 0 | - | 0 | - | 204 | - | 19318 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.795613.smt | 0.37 | 1.72 | 0 | 0 | 61 | 39 | 1948 | - | 1948 | - | False | False | - | 0 | - | 0 | - | 452 | - | 13079 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.798976.smt | 0.26 | Failed | 0 | --- | 133 | --- | 1354 | --- | 1354 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.799790.smt | 0.30 | Failed | 0 | --- | 47 | --- | 880 | --- | 880 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.803684.smt | 0.71 | Failed | 0 | --- | 1334 | --- | 5278 | --- | 5278 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.806754.smt | 0.90 | 62.46 | 0 | 0 | 623 | 489 | 3874 | - | 3874 | - | False | False | - | 0 | - | 0 | - | 950 | - | 4975 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.810032.smt | 0.84 | Failed | 0 | --- | 674 | --- | 4737 | --- | 4737 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Arrow_Order/uf.810908.smt | 4.41 | 106.95 | 0 | 0 | 791 | 17451 | 34031 | - | 34031 | - | False | False | - | 0 | - | 0 | - | 392 | - | 34091 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.830954.smt | 0.59 | 3.05 | 0 | 0 | 2 | 4 | 3296 | - | 3296 | - | False | False | - | 0 | - | 0 | - | 1132 | - | 9790 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.850780.smt | 0.66 | 41.22 | 0 | 0 | 2505 | 0 | 5105 | - | 5105 | - | False | False | - | 0 | - | 0 | - | 455 | - | 2880 | - | 0 |
| UF-2019/sledgehammer/Arrow_Order/uf.851581.smt | 0.54 | 19.22 | 0 | 0 | 149 | 0 | 3311 | - | 3311 | - | False | False | - | 0 | - | 0 | - | 710 | - | 10977 | - | 0 |
| UF-2019/sledgehammer/FFT/uf.588197.smt | 16.52 | 0.55 | 0 | 0 | 4 | 12 | 90049 | - | 90049 | - | False | False | - | 0 | - | 0 | - | 42 | - | 10600 | - | 0 |
| UF-2019/sledgehammer/FFT/uf.609404.smt | 1.90 | 16.89 | 0 | 0 | 230 | 26 | 3940 | - | 3940 | - | False | False | - | 0 | - | 0 | - | 37 | - | 287946 | - | 0 |
| UF-2019/sledgehammer/FFT/uf.637730.smt | 109.70 | Failed | 0 | --- | 513 | --- | 157643 | --- | 157643 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/FFT/uf.754405.smt | Failed | 71.89 | --- | 0 | --- | 144 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 85 | --- | 3274 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.698861.smt | Failed | 66.03 | --- | 0 | --- | 1173 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 11 | --- | 1502 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.731390.smt | 61.39 | 36.07 | 0 | 0 | 2777 | 2682 | 18917 | - | 18917 | - | False | False | - | 0 | - | 0 | - | 15 | - | 13896 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.731542.smt | 6.20 | 41.88 | 0 | 0 | 258 | 0 | 2711 | - | 2711 | - | False | False | - | 0 | - | 0 | - | 15 | - | 5136 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.954680.smt | 20.21 | 43.12 | 0 | 0 | 6245 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 16 | - | 2179 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.954931.smt | 43.88 | 6.67 | 0 | 0 | 2022 | 308 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 14 | - | 2112 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.968857.smt | 10.73 | 44.55 | 0 | 0 | 694 | 0 | 3705 | - | 3705 | - | False | False | - | 0 | - | 0 | - | 17 | - | 3850 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1001455.smt | 104.65 | Failed | 0 | --- | 2787 | --- | 23293 | --- | 23293 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1011281.smt | Failed | 67.01 | --- | 0 | --- | 929 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 174 | --- | 9255 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1049866.smt | Failed | 58.88 | --- | 0 | --- | 1 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 120 | --- | 113 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1122777.smt | 3.39 | 1.72 | 0 | 0 | 146 | 121 | 52575 | - | 52575 | - | False | False | - | 0 | - | 0 | - | 125 | - | 2523 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1162357.smt | 10.22 | 16.44 | 0 | 0 | 7542 | 10 | 1227 | - | 1227 | - | False | False | - | 0 | - | 0 | - | 160 | - | 331597 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1184362.smt | Failed | 121.38 | --- | 0 | --- | 228 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 50 | --- | 149502 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1198781.smt | 135.55 | Failed | 0 | --- | 951 | --- | 97015 | --- | 97015 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1217270.smt | 29.68 | 97.06 | 0 | 0 | 179 | 48 | 846 | - | 846 | - | False | False | - | 0 | - | 0 | - | 74 | - | 2645 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1369778.smt | Failed | 64.06 | --- | 0 | --- | 59 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 187 | --- | 2241 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1377600.smt | 2.69 | 1.60 | 0 | 0 | 4115 | 3551 | 12666 | - | 12666 | - | False | False | - | 0 | - | 0 | - | 154 | - | 13121 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1401973.smt | Failed | 62.34 | --- | 0 | --- | 40 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 170 | --- | 4341 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1403147.smt | Failed | 63.28 | --- | 0 | --- | 34 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 174 | --- | 2081 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1403329.smt | 41.21 | 54.97 | 0 | 0 | 192 | 145 | 735 | - | 735 | - | False | False | - | 0 | - | 0 | - | 183 | - | 6172 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1418084.smt | 0.43 | 12.84 | 0 | 0 | 239 | 1132 | 9230 | - | 9230 | - | False | False | - | 0 | - | 0 | - | 139 | - | 3725 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.590503.smt | 2.03 | 6.93 | 0 | 0 | 177 | 106 | 1718 | - | 1718 | - | False | False | - | 0 | - | 0 | - | 60 | - | 6832 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.596367.smt | 7.06 | 0.56 | 0 | 0 | 66 | 85 | 1894 | - | 1894 | - | False | False | - | 0 | - | 0 | - | 35 | - | 16233 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.610218.smt | 11.76 | 8.68 | 0 | 0 | 109 | 414 | 50005 | - | 50005 | - | False | False | - | 0 | - | 0 | - | 35 | - | 12431 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.628009.smt | 0.22 | 5.96 | 0 | 0 | 0 | 0 | 8504 | - | 8504 | - | False | False | - | 0 | - | 0 | - | 90 | - | 768 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.688460.smt | 134.75 | Failed | 0 | --- | 31291 | --- | 48330 | --- | 48330 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.717973.smt | 0.94 | 6.14 | 0 | 0 | 441 | 1034 | 23119 | - | 23119 | - | False | False | - | 0 | - | 0 | - | 11 | - | 10303 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.718080.smt | 0.06 | 1.26 | 0 | 0 | 19 | 71 | 2312 | - | 2312 | - | False | False | - | 0 | - | 0 | - | 11 | - | 14914 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.722947.smt | 4.20 | 6.29 | 0 | 0 | 1370 | 15 | 17955 | - | 17955 | - | False | False | - | 0 | - | 0 | - | 54 | - | 1726 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.806960.smt | 19.21 | 28.70 | 0 | 0 | 9727 | 2843 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 52 | - | 18748 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.819830.smt | 21.31 | 19.28 | 0 | 0 | 14577 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 52 | - | 11852 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.878946.smt | Failed | 59.47 | --- | 0 | --- | 426 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 104 | --- | 1200 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.881705.smt | 177.15 | 59.46 | 0 | 0 | 23992 | 185 | 102688 | - | 102688 | - | False | False | - | 0 | - | 0 | - | 104 | - | 1107 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.898786.smt | Failed | 57.37 | --- | 0 | --- | 111 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 95 | --- | 2757 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.899099.smt | Failed | 57.76 | --- | 0 | --- | 154 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 83 | --- | 3814 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.899205.smt | Failed | 62.85 | --- | 0 | --- | 19 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 82 | --- | 583 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.905022.smt | 3.58 | 1.21 | 0 | 0 | 5005 | 4606 | 18485 | - | 18485 | - | False | False | - | 0 | - | 0 | - | 120 | - | 18370 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.911050.smt | Failed | 61.66 | --- | 0 | --- | 85 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 46 | --- | 2026 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.922317.smt | 9.08 | 0.67 | 0 | 0 | 304 | 82 | 6076 | - | 6076 | - | False | False | - | 0 | - | 0 | - | 68 | - | 22980 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.925743.smt | Failed | 158.74 | --- | 0 | --- | 383 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 28 | --- | 585302 | --- | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.928051.smt | 11.26 | 1.36 | 0 | 0 | 1879 | 1007 | 3159 | - | 3159 | - | False | False | - | 0 | - | 0 | - | 53 | - | 27091 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.929052.smt | 2.66 | 8.63 | 0 | 0 | 9105 | 3987 | 5967 | - | 5967 | - | False | False | - | 0 | - | 0 | - | 14 | - | 3205 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.952589.smt | 10.97 | Failed | 0 | --- | 12319 | --- | 24957 | --- | 24957 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.991083.smt | 1.34 | 7.17 | 0 | 0 | 187 | 101 | 3217 | - | 3217 | - | False | False | - | 0 | - | 0 | - | 37 | - | 2110 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.997114.smt | 122.20 | Failed | 0 | --- | 2506 | --- | 143566 | --- | 143566 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.997892.smt | 113.61 | 76.72 | 0 | 0 | 152 | 113 | 71283 | - | 71283 | - | False | False | - | 0 | - | 0 | - | 93 | - | 1097 | - | 0 |
| UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.998261.smt | 28.72 | 20.84 | 0 | 0 | 486 | 0 | 12970 | - | 12970 | - | False | False | - | 0 | - | 0 | - | 124 | - | 22206 | - | 0 |
| UF-2019/sledgehammer/Hoare/smtlib.1199350.smt | 1.10 | 11.63 | 0 | 0 | 172 | 24 | 1933 | - | 1933 | - | False | False | - | 0 | - | 0 | - | 19 | - | 174 | - | 0 |
| UF-2019/sledgehammer/Hoare/smtlib.897191.smt | Failed | 64.24 | --- | 0 | --- | 252 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 15 | --- | 877 | --- | 0 |
| UF-2019/sledgehammer/Hoare/smtlib.902943.smt | Failed | 63.96 | --- | 0 | --- | 210 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 17 | --- | 879 | --- | 0 |
| UF-2019/sledgehammer/Hoare/smtlib.908703.smt | Failed | 74.15 | --- | 0 | --- | 732 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 20 | --- | 887 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.1020194.smt | 18.24 | 20.20 | 0 | 0 | 2484 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 232 | - | 21523 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.1023256.smt | 0.10 | 5.09 | 0 | 0 | 216 | 332 | 155 | - | 155 | - | False | False | - | 0 | - | 0 | - | 232 | - | 57463 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.1155352.smt | Failed | 65.65 | --- | 0 | --- | 106 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 38 | --- | 6775 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.1161312.smt | 9.26 | 63.81 | 0 | 0 | 123 | 88 | 49125 | - | 49125 | - | False | False | - | 0 | - | 0 | - | 176 | - | 3046 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.1197748.smt | Failed | 60.61 | --- | 0 | --- | 190 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 154 | --- | 2019 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.582225.smt | Failed | 59.68 | --- | 0 | --- | 203 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 25 | --- | 426 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.584821.smt | Failed | 80.36 | --- | 0 | --- | 333 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 108 | --- | 5696 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.633269.smt | 19.10 | 60.33 | 0 | 0 | 5645 | 357 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 267 | - | 4020 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.644962.smt | 21.97 | 95.85 | 0 | 0 | 6257 | 328 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 82 | - | 9490 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.694570.smt | 2.32 | 0.92 | 0 | 0 | 11639 | 5838 | 3110 | - | 3110 | - | False | False | - | 0 | - | 0 | - | 68 | - | 3065 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.760033.smt | Failed | 66.87 | --- | 0 | --- | 6 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 42 | --- | 1345 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.760436.smt | Failed | 66.60 | --- | 0 | --- | 5 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 36 | --- | 835 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.780041.smt | 5.93 | 7.70 | 0 | 0 | 287 | 53 | 9604 | - | 9604 | - | False | False | - | 0 | - | 0 | - | 127 | - | 60874 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.780666.smt | 0.18 | 6.07 | 0 | 0 | 26 | 8 | 1989 | - | 1989 | - | False | False | - | 0 | - | 0 | - | 90 | - | 4746 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.783555.smt | Failed | 30.58 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 237 | --- | 25532 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.784610.smt | 4.83 | 6.25 | 0 | 0 | 400 | 34 | 69893 | - | 69893 | - | False | False | - | 0 | - | 0 | - | 127 | - | 10374 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.785231.smt | 0.11 | 4.23 | 0 | 0 | 2 | 363 | 2433 | - | 2433 | - | False | False | - | 0 | - | 0 | - | 90 | - | 77362 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.787767.smt | Failed | 30.08 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 237 | --- | 25897 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.788822.smt | 0.21 | 6.22 | 0 | 0 | 12 | 35 | 5608 | - | 5608 | - | False | False | - | 0 | - | 0 | - | 127 | - | 10123 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.789443.smt | 0.12 | 4.35 | 0 | 0 | 1 | 356 | 2398 | - | 2398 | - | False | False | - | 0 | - | 0 | - | 90 | - | 85137 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.791978.smt | Failed | 46.62 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 237 | --- | 56210 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.822446.smt | Failed | 63.69 | --- | 0 | --- | 3672 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 59 | --- | 6555 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.826965.smt | Failed | 19.16 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 86 | --- | 7803 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.828081.smt | 1.56 | 17.86 | 0 | 0 | 94 | 0 | 26459 | - | 26459 | - | False | False | - | 0 | - | 0 | - | 60 | - | 325 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.833267.smt | Failed | 65.48 | --- | 0 | --- | 403 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 54 | --- | 3413 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.833850.smt | Failed | 59.35 | --- | 0 | --- | 238 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 34 | --- | 1315 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.848693.smt | Failed | 63.96 | --- | 0 | --- | 147 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 161 | --- | 2566 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.850362.smt | 18.84 | 20.56 | 0 | 0 | 2320 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 54 | - | 4593 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.853034.smt | Failed | 66.53 | --- | 0 | --- | 117 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 304 | --- | 2490 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.870874.smt | Failed | 64.35 | --- | 0 | --- | 193 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 28 | --- | 1145 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.876575.smt | Failed | 63.67 | --- | 0 | --- | 205 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 30 | --- | 957 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.882286.smt | Failed | 65.82 | --- | 0 | --- | 134 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 33 | --- | 887 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.887079.smt | 62.82 | 66.46 | 0 | 0 | 283 | 51 | 1234 | - | 1234 | - | False | False | - | 0 | - | 0 | - | 42 | - | 1076 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.905274.smt | Failed | 68.94 | --- | 0 | --- | 579 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 46 | --- | 6073 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.911985.smt | Failed | 54.91 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 249 | --- | 1639 | --- | 0 |
| UF-2019/sledgehammer/Hoare/uf.912956.smt | 56.50 | 16.90 | 0 | 0 | 3136 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 131 | - | 955 | - | 0 |
| UF-2019/sledgehammer/Hoare/uf.918827.smt | 17.59 | Failed | 0 | --- | 2926 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/Hoare/uf.981279.smt | Failed | 62.10 | --- | 0 | --- | 508 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 190 | --- | 3744 | --- | 0 |
| UF-2019/sledgehammer/NS_Shared/smtlib.678332.smt | 5.92 | 1.76 | 0 | 0 | 10 | 5 | 70 | - | 70 | - | False | False | - | 0 | - | 0 | - | 43 | - | 951 | - | 0 |
| UF-2019/sledgehammer/NS_Shared/uf.677305.smt | 45.14 | Failed | 0 | --- | 2892 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/NS_Shared/uf.720452.smt | Failed | 102.47 | --- | 0 | --- | 32 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 351 | --- | 582 | --- | 0 |
| UF-2019/sledgehammer/NS_Shared/uf.731015.smt | Failed | 102.58 | --- | 0 | --- | 42 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 351 | --- | 483 | --- | 0 |
| UF-2019/sledgehammer/NS_Shared/uf.758187.smt | Failed | 44.48 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 336 | --- | 6171 | --- | 0 |
| UF-2019/sledgehammer/NS_Shared/uf.866499.smt | 53.30 | 43.53 | 0 | 0 | 9611 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 362 | - | 4119 | - | 0 |
| UF-2019/sledgehammer/QEpres/uf.588241.smt | Failed | 65.27 | --- | 0 | --- | 58 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 22 | --- | 850 | --- | 0 |
| UF-2019/sledgehammer/QEpres/uf.702497.smt | Failed | 65.26 | --- | 0 | --- | 2395 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 240 | --- | 4118 | --- | 0 |
| UF-2019/sledgehammer/QEpres/uf.702865.smt | Failed | 65.18 | --- | 0 | --- | 8288 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 123 | --- | 8976 | --- | 0 |
| UF-2019/sledgehammer/QEpres/uf.726682.smt | 1.69 | 0.62 | 0 | 0 | 26812 | 7617 | 3338 | - | 3338 | - | False | False | - | 0 | - | 0 | - | 214 | - | 3304 | - | 0 |
| UF-2019/sledgehammer/QEpres/uf.801237.smt | 21.16 | Failed | 0 | --- | 30739 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/QEpres/uf.802064.smt | 6.05 | Failed | 0 | --- | 15 | --- | 2130 | --- | 2130 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/QEpres/uf.832491.smt | 147.92 | Failed | 0 | --- | 83 | --- | 1384 | --- | 1384 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/StrongNorm/uf.828954.smt | 20.51 | Failed | 0 | --- | 10985 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TwoSquares/uf.658718.smt | 0.20 | 6.90 | 0 | 0 | 38 | 3198 | 2197 | - | 2197 | - | False | False | - | 0 | - | 0 | - | 55 | - | 1023 | - | 0 |
| UF-2019/sledgehammer/TwoSquares/uf.706629.smt | 103.66 | 0.24 | 0 | 0 | 15306 | 77 | 232115 | - | 232115 | - | False | False | - | 0 | - | 0 | - | 65 | - | 5934 | - | 0 |
| UF-2019/sledgehammer/TwoSquares/uf.727709.smt | 41.41 | Failed | 0 | --- | 83 | --- | 26159 | --- | 26159 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TwoSquares/uf.729554.smt | 42.46 | Failed | 0 | --- | 1566 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TwoSquares/uf.733266.smt | 3.06 | 27.37 | 0 | 0 | 272 | 81 | 2404 | - | 2404 | - | False | False | - | 0 | - | 0 | - | 46 | - | 931 | - | 0 |
| UF-2019/sledgehammer/TwoSquares/uf.742354.smt | 72.55 | Failed | 0 | --- | 186 | --- | 3465 | --- | 3465 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TwoSquares/uf.751588.smt | 70.48 | 78.22 | 0 | 0 | 265 | 2970 | 4681 | - | 4681 | - | False | False | - | 0 | - | 0 | - | 65 | - | 2204 | - | 0 |
| UF-2019/sledgehammer/TwoSquares/uf.821725.smt | 0.22 | 1.56 | 0 | 0 | 185 | 1400 | 7684 | - | 7684 | - | False | False | - | 0 | - | 0 | - | 31 | - | 7800 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/smtlib.1003247.smt | 101.29 | 18.51 | 0 | 0 | 3527 | 0 | 30300 | - | 30300 | - | False | False | - | 0 | - | 0 | - | 161 | - | 3403 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/smtlib.1067769.smt | 0.63 | 16.81 | 0 | 0 | 389 | 0 | 2472 | - | 2472 | - | False | False | - | 0 | - | 0 | - | 158 | - | 1558 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/smtlib.1112475.smt | 18.81 | 56.26 | 0 | 0 | 3584 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 172 | - | 3543 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/smtlib.1170061.smt | 57.82 | 19.03 | 0 | 0 | 6433 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 251 | - | 5118 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/smtlib.1189027.smt | 9.32 | 65.65 | 0 | 0 | 3971 | 1321 | 2164 | - | 2164 | - | False | False | - | 0 | - | 0 | - | 283 | - | 3924 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/smtlib.1189806.smt | Failed | 61.30 | --- | 0 | --- | 3414 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 162 | --- | 2722 | --- | 0 |
| UF-2019/sledgehammer/TypeSafe/smtlib.1242068.smt | 2.87 | 1.25 | 0 | 0 | 982 | 131 | 4091 | - | 4091 | - | False | False | - | 0 | - | 0 | - | 310 | - | 3796 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/smtlib.1266492.smt | Failed | 120.82 | --- | 0 | --- | 1002 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 291 | --- | 4825 | --- | 0 |
| UF-2019/sledgehammer/TypeSafe/smtlib.624769.smt | 6.05 | 126.35 | 0 | 0 | 41 | 10 | 473 | - | 473 | - | False | False | - | 0 | - | 0 | - | 293 | - | 122 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/smtlib.987942.smt | Failed | 22.77 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 270 | --- | 4240 | --- | 0 |
| UF-2019/sledgehammer/TypeSafe/smtlib.989687.smt | 52.91 | 17.27 | 0 | 0 | 3218 | 0 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 212 | - | 3489 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/uf.1068513.smt | 6.02 | 41.77 | 0 | 0 | 24 | 0 | 229 | - | 229 | - | False | False | - | 0 | - | 0 | - | 241 | - | 210 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/uf.1112452.smt | Failed | 69.30 | --- | 0 | --- | 569 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 262 | --- | 4646 | --- | 0 |
| UF-2019/sledgehammer/TypeSafe/uf.1190212.smt | 6.11 | Failed | 0 | --- | 167 | --- | 796 | --- | 796 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.1191566.smt | 8.87 | 65.64 | 0 | 0 | 5192 | 1358 | 2360 | - | 2360 | - | False | False | - | 0 | - | 0 | - | 284 | - | 4271 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/uf.1192738.smt | Failed | 60.82 | --- | 0 | --- | 4118 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 57 | --- | 2126 | --- | 0 |
| UF-2019/sledgehammer/TypeSafe/uf.1399899.smt | 46.22 | Failed | 0 | --- | 16789 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.1400893.smt | 43.03 | Failed | 0 | --- | 9047 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.1416124.smt | Failed | 23.04 | --- | 0 | --- | 0 | --- | - | --- | - | --- | False | --- | 0 | --- | 0 | --- | 240 | --- | 6699 | --- | 0 |
| UF-2019/sledgehammer/TypeSafe/uf.1447859.smt | 22.67 | 62.39 | 0 | 0 | 15336 | 41 | 0 | - | 0 | - | False | False | - | 0 | - | 0 | - | 264 | - | 1223 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/uf.723945.smt | 2.84 | 1.65 | 0 | 0 | 49 | 52 | 279 | - | 279 | - | False | False | - | 0 | - | 0 | - | 370 | - | 281 | - | 0 |
| UF-2019/sledgehammer/TypeSafe/uf.738007.smt | 42.15 | Failed | 0 | --- | 1018 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.739032.smt | 3.25 | Failed | 0 | --- | 7692 | --- | 15281 | --- | 15281 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.742711.smt | 42.16 | Failed | 0 | --- | 1207 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.743745.smt | 18.14 | Failed | 0 | --- | 3215 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.747383.smt | 19.67 | Failed | 0 | --- | 2643 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.748408.smt | 5.84 | Failed | 0 | --- | 11408 | --- | 22618 | --- | 22618 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.778823.smt | 46.00 | Failed | 0 | --- | 8919 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.779839.smt | 3.11 | Failed | 0 | --- | 9358 | --- | 17751 | --- | 17751 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.783531.smt | 19.87 | Failed | 0 | --- | 4451 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.784556.smt | 3.72 | Failed | 0 | --- | 12804 | --- | 20227 | --- | 20227 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.788377.smt | 21.07 | Failed | 0 | --- | 2995 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.793278.smt | 20.44 | Failed | 0 | --- | 3289 | --- | 0 | --- | 0 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.794285.smt | 3.04 | Failed | 0 | --- | 10235 | --- | 18703 | --- | 18703 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
| UF-2019/sledgehammer/TypeSafe/uf.794756.smt | 3.96 | Failed | 0 | --- | 1963 | --- | 11128 | --- | 11128 | --- | False | --- | - | --- | - | --- | - | --- | - | --- | - | --- |
