Legend


A, UF_2019--180-veriT-portofolio

Description

Date20191220133444
CommentSMTLIB data-extraxtion
Typeperf

Information

Executableml
CPU limit180s
Number of files7572
Hardwaregrvingt
Benchmarks type['UF-2019']
Options

B, SMTCOMP-120_new_scheduler

Description

Date20200511182138
CommentSMTLIB data-extraxtion
Typeperf

Information

Executablenew
CPU limit120s
Number of files7572
Hardwaregrvingt
Benchmarks type['UF-2019']
Options


Summary


Total number of benchmarks7572
Successful benchmarksAB
Number of success in min timeout32282929
Exclusive success in min timeout28614
between 0 and 20 sec31512605
between 20 and 40 sec3479
between 40 and 60 sec3090
between 60 and 80 sec735
between 80 and 100 sec169
between 100 and 120 sec551
Number of success outside min timeout626
Number of unknown332233
Number of failures40064384
Cummulative time533325356
Cummulative time with penalty15691731696836

Comparison graphs






Unsound results


Namestatus Astatus B

Comparison table


Nametotal_timeresultnb_conflicting_instancesnb_instancesnb_instances_generatedtune_TPTPnb_atomesnb_axiomesnb_functionsnb_instances_EnumTrignb_predicates
ABABABABABABABABABABAB
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_16_59_36_821_1042798.smt_in.smt13.04Failed0 --- 280 --- 19646 --- 19646 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_16_59_44_027_1051487.smt_in.smt0.3198.280066995392 - 5392 - FalseFalse - 0 - 0 - 228 - 69459 - 38
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_16_59_45_321_1052943.smt_in.smt0.27Failed0 --- 258 --- 2447 --- 2447 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_00_12_337_1079814.smt_in.smt22.68Failed0 --- 3 --- 37 --- 37 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_00_13_568_1081124.smt_in.smt0.13Failed0realloc9line2307 - 2307 - Falsesrc/symbolic/DAG-prop.c - error - on - 183 - in - file
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_00_16_023_1083819.smt_in.smt0.056.6000101192 - 92 - FalseFalse - 0 - 0 - 165 - 119 - 60
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_00_30_240_1098389.smt_in.smt0.29Failed0 --- 13 --- 2917 --- 2917 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_00_45_190_1114779.smt_in.smt0.071.50005396751 - 751 - FalseFalse - 0 - 0 - 209 - 6340 - 50
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_00_47_618_1117611.smt_in.smt0.0917.040010143036 - 3036 - FalseFalse - 0 - 0 - 148 - 52877 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_00_48_745_1118986.smt_in.smt23.01Failed0 --- 9906 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_00_59_244_1131248.smt_in.smt0.2039.210019169431640 - 1640 - FalseFalse - 0 - 0 - 207 - 42732 - 49
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_01_00_441_1132634.smt_in.smt0.369.8800224573014 - 3014 - FalseFalse - 0 - 0 - 258 - 233 - 53
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_01_06_485_1140381.smt_in.smt0.101.360022221372 - 1372 - FalseFalse - 0 - 0 - 155 - 11306 - 53
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_01_08_726_1143110.smt_in.smt5.81Failed0 --- 1546 --- 91696 --- 91696 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/abstract_completeness/x2015_09_10_17_01_16_545_1153269.smt_in.smt6.9182.38001405185746188 - 6188 - FalseFalse - 0 - 0 - 171 - 5813 - 14
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_52_18_634_983654.smt_in.smt0.4657.96001548200975078 - 5078 - FalseFalse - 0 - 0 - 23 - 83779 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_52_59_148_1026367.smt_in.smt18.09Failed0 --- 38 --- 11317 --- 11317 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_53_27_031_1060561.smt_in.smt0.026.8900101636 - 36 - FalseFalse - 0 - 0 - 42 - 36 - 19
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_53_30_176_1063054.smt_in.smt0.0682.6600155237663 - 663 - FalseFalse - 0 - 0 - 45 - 1267 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_53_33_615_1067061.smt_in.smt0.0416.5400445964 - 64 - FalseFalse - 0 - 0 - 42 - 91 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_53_34_666_1068406.smt_in.smt0.0291.3100121218 - 18 - FalseFalse - 0 - 0 - 42 - 18 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_53_42_012_1077544.smt_in.smt0.0691.7300175247671 - 671 - FalseFalse - 0 - 0 - 45 - 1278 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_53_45_406_1081561.smt_in.smt0.0217.2600435767 - 67 - FalseFalse - 0 - 0 - 42 - 93 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_53_46_420_1082910.smt_in.smt0.0391.3000152146 - 46 - FalseFalse - 0 - 0 - 42 - 46 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_53_56_537_1094926.smt_in.smt0.0491.6500162247 - 47 - FalseFalse - 0 - 0 - 44 - 49 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_53_57_657_1096344.smt_in.smt0.0291.6000182451 - 51 - FalseFalse - 0 - 0 - 44 - 53 - 17
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_54_02_380_1100754.smt_in.smt18.15Failed0 --- 4067 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/bindag/x2015_09_10_16_54_03_490_1102288.smt_in.smt0.032.27006683250 - 250 - FalseFalse - 0 - 0 - 192 - 476 - 36
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_50_34_165_1137873.smt_in.smt41.90Failed0 --- 539 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_50_38_040_1140952.smt_in.smt0.1910.63001892062526 - 2526 - FalseFalse - 0 - 0 - 267 - 39103 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_50_49_885_1151299.smt_in.smt0.054.78003495110 - 110 - FalseFalse - 0 - 0 - 80 - 118 - 13
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_51_15_097_1174472.smt_in.smt0.031.24003101076 - 1076 - FalseFalse - 0 - 0 - 66 - 2710 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_52_14_452_1224847.smt_in.smt12.06Failed0 --- 16 --- 6120 --- 6120 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_52_30_775_1238922.smt_in.smt0.127.88005731354834 - 834 - FalseFalse - 0 - 0 - 84 - 3845 - 23
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_52_41_472_1249093.smt_in.smt1.05Failed0 --- 295 --- 3180 --- 3180 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_52_49_766_1255952.smt_in.smt0.072.9800488091419 - 1419 - FalseFalse - 0 - 0 - 221 - 3254 - 34
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_52_51_426_1257492.smt_in.smt0.041.190097296407 - 407 - FalseFalse - 0 - 0 - 72 - 642 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_53_20_399_1283372.smt_in.smt48.0167.8600593117130 - 0 - FalseFalse - 0 - 0 - 243 - 1072521 - 26
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_54_50_805_1369669.smt_in.smt0.071.100066205417 - 417 - FalseFalse - 0 - 0 - 99 - 740 - 19
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_55_03_120_1380907.smt_in.smt12.08105.770089022491790 - 1790 - FalseFalse - 0 - 0 - 149 - 1789 - 15
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_55_04_682_1382208.smt_in.smt0.036.74003429 - 29 - FalseFalse - 0 - 0 - 243 - 29 - 54
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_55_46_451_1419549.smt_in.smt0.026.81003375 - 75 - FalseFalse - 0 - 0 - 106 - 82 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_55_52_570_1424587.smt_in.smt0.035.78006695 - 95 - FalseFalse - 0 - 0 - 110 - 97 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_55_54_021_1425888.smt_in.smt0.0318.30004741258 - 258 - FalseFalse - 0 - 0 - 112 - 359 - 8
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_56_13_740_1441286.smt_in.smt0.061.170002428 - 428 - FalseFalse - 0 - 0 - 233 - 730 - 33
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_56_34_673_1457384.smt_in.smt0.108.3300230351949 - 949 - FalseFalse - 0 - 0 - 83 - 2978 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_56_36_133_1458623.smt_in.smt0.0659.98002698591163 - 1163 - FalseFalse - 0 - 0 - 84 - 5258 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_56_42_362_1463066.smt_in.smt6.6575.2500861614216023 - 16023 - FalseFalse - 0 - 0 - 109 - 866697 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_57_07_437_1483766.smt_in.smt0.203.26001195783131 - 3131 - FalseFalse - 0 - 0 - 60 - 261 - 14
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_57_09_318_1484990.smt_in.smt0.232.89001078883038 - 3038 - FalseFalse - 0 - 0 - 60 - 221 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_57_31_030_1508489.smt_in.smt0.24Failed0 --- 194 --- 718 --- 718 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_58_32_674_1564116.smt_in.smt67.43Failed0 --- 16279 --- 10469 --- 10469 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_59_00_183_1587972.smt_in.smt54.69Failed0 --- 2253 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_59_13_567_1599577.smt_in.smtFailed93.41 --- 0 --- 1776 --- - --- - --- False --- 0 --- 0 --- 55 --- 3343 --- 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_59_18_190_1604119.smt_in.smt6.54Failed0 --- 508 --- 2439 --- 2439 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_16_59_42_548_1627248.smt_in.smt1.29Failed0 --- 4824 --- 14345 --- 14345 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_00_19_711_1666582.smt_in.smt0.042.640010854364 - 364 - FalseFalse - 0 - 0 - 60 - 212 - 5
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_00_35_032_1685300.smt_in.smt0.2533.210017575825 - 5825 - FalseFalse - 0 - 0 - 38 - 682760 - 2
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_00_37_157_1687977.smt_in.smt8.57Failed0 --- 1436 --- 5198 --- 5198 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_00_40_413_1691852.smt_in.smt0.041.8800134669898 - 898 - FalseFalse - 0 - 0 - 31 - 1551 - 5
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_00_58_419_1713760.smt_in.smt0.051.64005611605 - 605 - FalseFalse - 0 - 0 - 62 - 98 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_01_19_215_1737741.smt_in.smt0.087.5600275158752 - 752 - FalseFalse - 0 - 0 - 160 - 1861 - 17
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_01_21_331_1740010.smt_in.smt0.051.18001029970 - 970 - FalseFalse - 0 - 0 - 265 - 1786 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_01_35_424_1759422.smt_in.smt5.94Failed0 --- 90 --- 366 --- 366 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_01_46_784_1775261.smt_in.smt10.38144.070015022417570 - 7570 - FalseFalse - 0 - 0 - 34 - 2170648 - 4
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_01_48_754_1777922.smt_in.smt0.224.9200283568301002 - 1002 - FalseFalse - 0 - 0 - 121 - 2607 - 48
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_01_50_588_1780794.smt_in.smt0.026.080000128 - 128 - FalseFalse - 0 - 0 - 32 - 150 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_01_54_431_1785741.smt_in.smt0.024.470000257 - 257 - FalseFalse - 0 - 0 - 27 - 408 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_02_16_806_1815507.smt_in.smt1.494.190023012710271 - 10271 - FalseFalse - 0 - 0 - 76 - 1681 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_02_25_050_1825682.smt_in.smt24.01Failed0 --- 660 --- 3494 --- 3494 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_02_30_799_1833174.smt_in.smt0.031.0900344673 - 73 - FalseFalse - 0 - 0 - 34 - 73 - 8
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_02_34_752_1838901.smt_in.smt0.0514.5200143182629 - 629 - FalseFalse - 0 - 0 - 159 - 1899 - 39
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_02_42_122_1847996.smt_in.smt0.107.06005984465 - 465 - FalseFalse - 0 - 0 - 225 - 628 - 45
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_03_06_412_1880255.smt_in.smt13.1063.440015219912846 - 12846 - FalseFalse - 0 - 0 - 222 - 14854 - 33
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_03_08_413_1883335.smt_in.smt0.0491.88008845 - 45 - FalseFalse - 0 - 0 - 212 - 49 - 29
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_03_09_362_1884641.smt_in.smt0.0791.38001316617 - 617 - FalseFalse - 0 - 0 - 185 - 2407 - 28
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_03_11_470_1887543.smt_in.smt0.0492.62008846 - 46 - FalseFalse - 0 - 0 - 217 - 50 - 30
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_03_12_518_1888854.smt_in.smt0.0591.44001215478 - 478 - FalseFalse - 0 - 0 - 176 - 1975 - 30
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_03_29_766_1912243.smt_in.smt0.072.290078124382 - 382 - FalseFalse - 0 - 0 - 203 - 594 - 19
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_03_31_934_1914818.smt_in.smt0.026.2000110 - 0 - FalseFalse - 0 - 0 - 196 - 0 - 25
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_03_40_184_1924575.smt_in.smt0.025.0100770 - 0 - FalseFalse - 0 - 0 - 203 - 0 - 14
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_04_56_835_2030500.smt_in.smt6.17Failed0 --- 85 --- 4342 --- 4342 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_04_59_011_2033102.smt_in.smt0.15104.230012501639784 - 784 - FalseFalse - 0 - 0 - 66 - 1744 - 13
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_05_02_976_2038607.smt_in.smt0.111.130034561177 - 1177 - FalseFalse - 0 - 0 - 52 - 4227 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_05_20_926_2062656.smt_in.smt0.55Failed0 --- 2038 --- 3684 --- 3684 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_05_29_213_2072936.smt_in.smt0.0289.18004770 - 70 - FalseFalse - 0 - 0 - 93 - 74 - 24
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_05_418_2123237.smt_in.smt8.26Failed0 --- 3503 --- 34774 --- 34774 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_06_616_2124803.smt_in.smt2.20Failed0 --- 1828 --- 8282 --- 8282 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_13_204_2133943.smt_in.smt0.173.0600911845982 - 5982 - FalseFalse - 0 - 0 - 261 - 2084 - 20
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_18_989_2141881.smt_in.smt0.047.49001439227 - 227 - FalseFalse - 0 - 0 - 410 - 407 - 79
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_24_920_2150886.smt_in.smt0.026.010061491 - 91 - FalseFalse - 0 - 0 - 52 - 115 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_25_868_2152353.smt_in.smt0.047.12002024109 - 109 - FalseFalse - 0 - 0 - 52 - 145 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_26_810_2153821.smt_in.smt0.036.31005096 - 96 - FalseFalse - 0 - 0 - 52 - 149 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_28_724_2156767.smt_in.smt0.026.0300330 - 0 - FalseFalse - 0 - 0 - 53 - 0 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_39_803_2173302.smt_in.smt0.129.6000568711937 - 1937 - FalseFalse - 0 - 0 - 176 - 9755 - 8
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_06_52_198_2189947.smt_in.smt0.061.070036381049 - 1049 - FalseFalse - 0 - 0 - 88 - 4340 - 23
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_07_16_199_2223965.smt_in.smt0.025.8000880 - 0 - FalseFalse - 0 - 0 - 68 - 0 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_07_17_183_2225111.smt_in.smt0.0322.1500813771 - 771 - FalseFalse - 0 - 0 - 65 - 6313 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_07_18_148_2226456.smt_in.smt0.026.1000660 - 0 - FalseFalse - 0 - 0 - 66 - 0 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_07_20_083_2228915.smt_in.smt0.036.410011278 - 78 - FalseFalse - 0 - 0 - 74 - 97 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_07_30_063_2241699.smt_in.smt0.046.14003314 - 14 - FalseFalse - 0 - 0 - 65 - 14 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_07_31_666_2243198.smt_in.smt0.056.28006454115 - 115 - FalseFalse - 0 - 0 - 77 - 137 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_07_59_177_2281818.smt_in.smt6.02Failed0 --- 413 --- 395 --- 395 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_01_058_2284541.smt_in.smt0.021.6600757792 - 92 - FalseFalse - 0 - 0 - 60 - 106 - 17
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_05_127_2290633.smt_in.smt0.53Failed0 --- 2703 --- 2235 --- 2235 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_17_482_2306913.smt_in.smt0.0379.16004552100 - 100 - FalseFalse - 0 - 0 - 74 - 100 - 29
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_18_609_2308344.smt_in.smt0.86Failed0 --- 4050 --- 2285 --- 2285 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_19_850_2309724.smt_in.smt0.5567.03003276313161641 - 1641 - FalseFalse - 0 - 0 - 210 - 6478 - 32
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_31_428_2323975.smt_in.smt12.3742.6500488231323628 - 3628 - FalseFalse - 0 - 0 - 260 - 3475 - 44
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_35_894_2329624.smt_in.smt5.14Failed0 --- 3608 --- 28362 --- 28362 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_50_746_2350536.smt_in.smt0.037.09001919422 - 422 - FalseFalse - 0 - 0 - 73 - 710 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_54_784_2356108.smt_in.smt0.0550.2300254249415 - 415 - FalseFalse - 0 - 0 - 70 - 659 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_56_712_2358941.smt_in.smt0.05Failed0 --- 153 --- 255 --- 255 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_57_646_2360383.smt_in.smt0.0549.3500181242456 - 456 - FalseFalse - 0 - 0 - 74 - 742 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_08_58_628_2361775.smt_in.smt0.075.7800150241467 - 467 - FalseFalse - 0 - 0 - 74 - 802 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_02_023_2365793.smt_in.smt0.105.4200226319524 - 524 - FalseFalse - 0 - 0 - 78 - 1046 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_12_441_2379422.smt_in.smt0.071.120091199384 - 384 - FalseFalse - 0 - 0 - 87 - 570 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_13_445_2380690.smt_in.smt0.99Failed0 --- 1443 --- 2511 --- 2511 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_14_493_2381989.smt_in.smt0.071.4500170190260 - 260 - FalseFalse - 0 - 0 - 56 - 437 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_15_515_2383244.smt_in.smt0.0642.6700140192235 - 235 - FalseFalse - 0 - 0 - 92 - 426 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_22_855_2392381.smt_in.smt0.52Failed0realloc222line15059 - 15059 - Falsesrc/symbolic/DAG-symb.c - error - on - 172 - in - file
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_25_816_2396104.smt_in.smt0.036.2100440 - 0 - FalseFalse - 0 - 0 - 46 - 0 - 5
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_30_806_2402828.smt_in.smt0.032.19003862228 - 228 - FalseFalse - 0 - 0 - 114 - 303 - 19
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_34_687_2407816.smt_in.smt0.041.150089115263 - 263 - FalseFalse - 0 - 0 - 100 - 358 - 15
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_39_927_2413855.smt_in.smtFailed7.34 --- 0 --- 109 --- - --- - --- False --- 0 --- 0 --- 107 --- 489 --- 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_40_942_2415054.smt_in.smt8.58Failed0 --- 3178 --- 1175 --- 1175 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_09_42_195_2416479.smt_in.smt0.026.750051359 - 59 - FalseFalse - 0 - 0 - 190 - 67 - 20
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_10_29_368_2478995.smt_in.smt1.05Failed0 --- 322 --- 5448 --- 5448 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_10_35_879_2486994.smt_in.smt0.3229.35001004201721 - 1721 - FalseFalse - 0 - 0 - 157 - 10631 - 21
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_10_47_003_2500061.smt_in.smt0.153.6100109395364287 - 4287 - FalseFalse - 0 - 0 - 43 - 16387 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_10_53_514_2507431.smt_in.smt0.5011.4100225752982182 - 2182 - FalseFalse - 0 - 0 - 144 - 16967 - 15
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_11_49_189_2583556.smt_in.smt0.026.7300110 - 0 - FalseFalse - 0 - 0 - 106 - 0 - 19
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_11_51_397_2586526.smt_in.smt0.181.8900281353897 - 3897 - FalseFalse - 0 - 0 - 122 - 376 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_11_58_710_2596181.smt_in.smt0.051.6000205272478 - 478 - FalseFalse - 0 - 0 - 129 - 732 - 20
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_11_59_809_2597576.smt_in.smt0.83Failed0 --- 1569 --- 4890 --- 4890 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_12_07_787_2606794.smt_in.smtFailed113.75 --- 0 --- 29 --- - --- - --- False --- 0 --- 0 --- 178 --- 156694 --- 21
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_12_13_235_2613566.smt_in.smt0.46110.8300711713250 - 3250 - FalseFalse - 0 - 0 - 240 - 301781 - 27
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_12_14_212_2615086.smt_in.smt0.1192.800014321697 - 1697 - FalseFalse - 0 - 0 - 216 - 12554 - 36
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_12_25_432_2628683.smt_in.smt0.094.2900169309412 - 412 - FalseFalse - 0 - 0 - 125 - 162388 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_12_30_781_2634553.smt_in.smt0.0392.41006624 - 24 - FalseFalse - 0 - 0 - 115 - 24 - 20
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_12_36_889_2641279.smt_in.smt0.5060.23001147105183204 - 3204 - FalseFalse - 0 - 0 - 110 - 36781 - 17
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_12_41_774_2645943.smt_in.smt0.33Failed0 --- 3692 --- 3146 --- 3146 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_12_56_506_2661581.smt_in.smt7.18Failed0 --- 1309 --- 7590 --- 7590 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_13_08_073_2669733.smt_in.smt19.92Failed0 --- 8062 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_13_10_188_2670744.smt_in.smt0.0342.340085146248 - 248 - FalseFalse - 0 - 0 - 49 - 311 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_13_13_863_2673059.smt_in.smt0.031.16001502382 - 382 - FalseFalse - 0 - 0 - 61 - 967 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_13_18_342_2675446.smt_in.smt26.05Failed0 --- 3903 --- 64503 --- 64503 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_13_29_532_2679601.smt_in.smt0.4558.1800162207414844 - 14844 - FalseFalse - 0 - 0 - 145 - 3516399 - 14
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_13_44_128_2684743.smt_in.smt0.061.200099806 - 806 - FalseFalse - 0 - 0 - 135 - 3121 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_13_57_839_2689902.smt_in.smt0.1519.2400455336848 - 6848 - FalseFalse - 0 - 0 - 88 - 511995 - 14
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_14_00_443_2690933.smt_in.smt6.51Failed0 --- 1757 --- 16796 --- 16796 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_14_03_296_2691941.smt_in.smt1.90Failed0 --- 3179 --- 10097 --- 10097 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_14_11_100_2695278.smt_in.smt0.066.5800430878 - 878 - FalseFalse - 0 - 0 - 67 - 86 - 13
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_14_24_936_2702570.smt_in.smt0.0392.29001127 - 27 - FalseFalse - 0 - 0 - 108 - 33 - 20
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_14_33_263_2707193.smt_in.smt6.72Failed0 --- 1648 --- 2116 --- 2116 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_14_46_811_2714538.smt_in.smt0.08107.23002563781436 - 1436 - FalseFalse - 0 - 0 - 107 - 10703 - 20
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_14_54_625_2718968.smt_in.smt0.103.260029243966 - 3966 - FalseFalse - 0 - 0 - 113 - 70884 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_16_03_091_2754904.smt_in.smt0.071.810029681766 - 1766 - FalseFalse - 0 - 0 - 238 - 6983 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_16_57_662_2783690.smt_in.smt12.86109.8500107313412570 - 2570 - FalseFalse - 0 - 0 - 57 - 2518 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_17_17_579_2794980.smt_in.smtFailed179.81 --- 0 --- 146 --- - --- - --- False --- 0 --- 0 --- 148 --- 1282129 --- 26
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_17_19_820_2796447.smt_in.smt11.88107.48004895081888 - 1888 - FalseFalse - 0 - 0 - 101 - 1888 - 21
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_18_19_592_2832898.smt_in.smt0.027.23006973131 - 131 - FalseFalse - 0 - 0 - 96 - 131 - 15
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_19_29_515_2879365.smt_in.smt0.0341.760066128 - 128 - FalseFalse - 0 - 0 - 303 - 184 - 54
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_20_08_750_2910785.smt_in.smt0.0892.420040791316 - 1316 - FalseFalse - 0 - 0 - 355 - 7228 - 70
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_20_10_746_2912462.smt_in.smt7.5539.41001319503157 - 3157 - FalseFalse - 0 - 0 - 603 - 1234 - 114
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list/x2015_09_10_17_20_27_625_2925274.smt_in.smt0.0916.07003324771048 - 1048 - FalseFalse - 0 - 0 - 210 - 3695 - 71
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_list_prefix/x2015_09_10_16_47_39_816_1078251.smt_in.smt0.041.8000294561256 - 256 - FalseFalse - 0 - 0 - 73 - 396 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_23_54_435_1172788.smt_in.smt0.0990.370025100861 - 861 - FalseFalse - 0 - 0 - 618 - 1959 - 75
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_24_38_065_1210148.smt_in.smt0.57Failed0 --- 393 --- 11681 --- 11681 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_24_49_045_1218186.smt_in.smt9.62Failed0 --- 998 --- 9002 --- 9002 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_24_50_756_1219360.smt_in.smt6.27Failed0 --- 419 --- 3585 --- 3585 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_25_07_788_1233185.smt_in.smt0.098.6500791874294 - 4294 - FalseFalse - 0 - 0 - 44 - 21619 - 5
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_25_15_014_1239247.smt_in.smt0.0842.31002853901849 - 1849 - FalseFalse - 0 - 0 - 39 - 31627 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/coinductive_stream/x2015_09_10_17_25_25_720_1248637.smt_in.smt0.3015.79001065442926653 - 6653 - FalseFalse - 0 - 0 - 50 - 125804 - 8
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/hamming_stream/x2015_09_10_16_50_21_531_1176400.smt_in.smt0.41Failed0 --- 98 --- 9172 --- 9172 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_47_01_275_1024212.smt_in.smt6.7716.490012813747 - 747 - FalseFalse - 0 - 0 - 63 - 787 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_48_57_762_1151579.smt_in.smt157.76Failed0 --- 8346 --- 399497 --- 399497 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_49_36_551_1195387.smt_in.smtFailed122.76 --- 0 --- 58 --- - --- - --- False --- 0 --- 0 --- 33 --- 904552 --- 5
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_49_43_143_1203228.smt_in.smt0.125.09003118151114 - 1114 - FalseFalse - 0 - 0 - 33 - 3896 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_49_47_015_1207389.smt_in.smt0.3742.120019191844 - 1844 - FalseFalse - 0 - 0 - 43 - 732939 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_49_48_147_1208818.smt_in.smt0.1511.130034461466 - 1466 - FalseFalse - 0 - 0 - 35 - 154545 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_49_49_184_1210232.smt_in.smt0.088.720034461497 - 1497 - FalseFalse - 0 - 0 - 35 - 154513 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_23_148_1246213.smt_in.smt0.143.2700343471640 - 1640 - FalseFalse - 0 - 0 - 150 - 10416 - 26
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_25_866_1249226.smt_in.smt36.70Failed0 --- 277 --- 6185 --- 6185 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_28_337_1251891.smt_in.smt11.72Failed0 --- 231 --- 6278 --- 6278 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_29_433_1253212.smt_in.smt2.47Failed0 --- 812 --- 2865 --- 2865 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_30_559_1254530.smt_in.smt0.135.440049842688 - 2688 - FalseFalse - 0 - 0 - 37 - 175443 - 5
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_31_780_1255844.smt_in.smt6.80Failed0 --- 112 --- 541 --- 541 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_34_053_1258476.smt_in.smt6.12Failed0 --- 99 --- 541 --- 541 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_35_287_1259792.smt_in.smt9.13Failed0 --- 303 --- 632 --- 632 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_37_949_1262506.smt_in.smt6.64Failed0 --- 205 --- 576 --- 576 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_39_184_1263967.smt_in.smt0.69Failed0 --- 383 --- 2532 --- 2532 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_50_44_227_1269493.smt_in.smt0.0366.590072141217 - 217 - FalseFalse - 0 - 0 - 35 - 253 - 5
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_51_04_264_1288669.smt_in.smt2.177.010039494936799 - 36799 - FalseFalse - 0 - 0 - 43 - 10291 - 5
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_51_05_392_1289907.smt_in.smt1.91Failed0 --- 246 --- 26772 --- 26772 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/huffman/x2015_09_10_16_51_25_123_1312756.smt_in.smt0.057.1900414057 - 57 - FalseFalse - 0 - 0 - 89 - 57 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_52_37_157_1096137.smt_in.smt10.08Failed0 --- 2560 --- 71759 --- 71759 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_53_34_246_1135963.smt_in.smt0.031.06003087377 - 377 - FalseFalse - 0 - 0 - 199 - 644 - 42
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_53_40_078_1139396.smt_in.smt0.121.890084116465 - 465 - FalseFalse - 0 - 0 - 204 - 849 - 50
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_53_58_003_1151952.smt_in.smt12.0579.7200238206783 - 783 - FalseFalse - 0 - 0 - 102 - 783 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_54_07_911_1157742.smt_in.smt0.052.050053176559 - 559 - FalseFalse - 0 - 0 - 201 - 2329 - 42
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_54_14_385_1161261.smt_in.smt0.082.460077220622 - 622 - FalseFalse - 0 - 0 - 201 - 3229 - 41
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_54_21_948_1165843.smt_in.smt0.073.500068254629 - 629 - FalseFalse - 0 - 0 - 211 - 3533 - 46
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_54_25_871_1168153.smt_in.smt0.041.0700110 - 0 - FalseFalse - 0 - 0 - 193 - 0 - 46
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_54_27_765_1169307.smt_in.smt0.021.1100440 - 0 - FalseFalse - 0 - 0 - 162 - 0 - 32
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_54_35_050_1173874.smt_in.smt0.061.720056195439 - 439 - FalseFalse - 0 - 0 - 188 - 1047 - 46
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_54_40_761_1177285.smt_in.smt0.132.330072380514 - 514 - FalseFalse - 0 - 0 - 196 - 1151 - 39
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_54_42_518_1178382.smt_in.smt0.072.150052300527 - 527 - FalseFalse - 0 - 0 - 198 - 1260 - 40
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/koenigslemma/x2015_09_10_16_54_44_404_1179486.smt_in.smt0.072.540053309572 - 572 - FalseFalse - 0 - 0 - 178 - 1447 - 42
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_51_02_914_1096885.smt_in.smt1.21Failed0 --- 948 --- 2308 --- 2308 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_51_05_022_1098347.smt_in.smt6.90Failed0 --- 659 --- 10906 --- 10906 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_51_12_133_1103802.smt_in.smt0.026.2400110 - 0 - FalseFalse - 0 - 0 - 101 - 0 - 32
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_54_13_613_1232440.smt_in.smt0.026.28000065 - 65 - FalseFalse - 0 - 0 - 118 - 66 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_55_37_832_1288612.smt_in.smt0.0323.490025550 - 550 - FalseFalse - 0 - 0 - 99 - 891 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_55_40_923_1291238.smt_in.smt0.1394.570034882379 - 2379 - FalseFalse - 0 - 0 - 108 - 10549 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_55_44_058_1293777.smt_in.smt0.0343.850025549 - 549 - FalseFalse - 0 - 0 - 99 - 900 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_55_53_306_1301485.smt_in.smt0.0971.160022722752 - 2752 - FalseFalse - 0 - 0 - 103 - 18589 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_56_15_259_1316304.smt_in.smt0.086.730010311033 - 1033 - FalseFalse - 0 - 0 - 135 - 2661 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_56_16_809_1317542.smt_in.smt0.026.31001525135 - 135 - FalseFalse - 0 - 0 - 108 - 167 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/llist2/x2015_09_10_16_56_21_464_1321054.smt_in.smt0.046.4300220 - 0 - FalseFalse - 0 - 0 - 143 - 0 - 17
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/lmirror/x2015_09_10_16_47_27_202_1060941.smt_in.smt0.625.090034811151803 - 1803 - FalseFalse - 0 - 0 - 73 - 219 - 23
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/lmirror/x2015_09_10_16_47_33_847_1066598.smt_in.smt0.072.38002112992708 - 2708 - FalseFalse - 0 - 0 - 138 - 43424 - 27
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/lmirror/x2015_09_10_16_47_53_032_1080926.smt_in.smt42.28Failed0 --- 10662 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/lmirror/x2015_09_10_16_47_54_822_1082204.smt_in.smt2.6518.0400494214147049 - 47049 - FalseFalse - 0 - 0 - 87 - 21783 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_14_168_1038546.smt_in.smt0.057.47006174108 - 108 - FalseFalse - 0 - 0 - 80 - 159 - 19
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_21_859_1047027.smt_in.smt42.40Failed0 --- 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.smt48.85Failed0 --- 18311 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_31_916_1057663.smt_in.smt0.027.0000312786 - 86 - FalseFalse - 0 - 0 - 124 - 124 - 26
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_41_101_1067273.smt_in.smt0.235.7800901736991 - 6991 - FalseFalse - 0 - 0 - 28 - 88550 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_45_306_1071226.smt_in.smtFailed149.59 --- 0 --- 7750 --- - --- - --- False --- 0 --- 0 --- 52 --- 1587785 --- 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_49_549_1075143.smt_in.smt20.79Failed0 --- 22966 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_53_630_1079697.smt_in.smt1.5677.72008341424330 - 4330 - FalseFalse - 0 - 0 - 68 - 798016 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_47_58_485_1083888.smt_in.smt0.27Failed0 --- 45 --- 6559 --- 6559 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_02_634_1088060.smt_in.smt0.065.8400467377226 - 226 - FalseFalse - 0 - 0 - 50 - 263 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_05_403_1090809.smt_in.smt3.85Failed0 --- 9343 --- 2683 --- 2683 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_06_657_1092232.smt_in.smt0.9442.600012046244533329 - 3329 - FalseFalse - 0 - 0 - 50 - 11902 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_10_471_1096340.smt_in.smt6.0814.580033643611632 - 1632 - FalseFalse - 0 - 0 - 50 - 7288 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_11_685_1097766.smt_in.smt0.032.690055273 - 273 - FalseFalse - 0 - 0 - 48 - 366 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_15_705_1102008.smt_in.smt0.046.7200222831 - 31 - FalseFalse - 0 - 0 - 148 - 31 - 7
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_17_134_1103487.smt_in.smt42.98Failed0 --- 8528 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/sorted_list_operations/x2015_09_10_16_48_19_835_1106629.smt_in.smt20.10Failed0 --- 8638 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/splay_tree_analysis/x2015_09_10_16_56_25_496_1075993.smt_in.smt0.97Failed0 --- 2186 --- 3533 --- 3533 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/splay_tree_analysis/x2015_09_10_16_56_43_125_1088600.smt_in.smt17.83Failed0 --- 1216 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/splay_tree_analysis/x2015_09_10_16_56_58_793_1101312.smt_in.smt18.70Failed0 --- 5695 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/splay_tree_analysis/x2015_09_10_16_57_14_654_1114024.smt_in.smt0.96Failed0 --- 2110 --- 3610 --- 3610 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/splay_tree_analysis/x2015_09_10_16_57_37_881_1135655.smt_in.smt8.63Failed0 --- 4324 --- 15621 --- 15621 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/splay_tree_analysis/x2015_09_10_16_58_56_468_1208059.smt_in.smt6.83Failed0 --- 1023 --- 25150 --- 25150 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_16_57_09_206_1127107.smt_in.smt0.5032.7300177394690516189 - 6189 - FalseFalse - 0 - 0 - 386 - 23386 - 31
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_16_58_04_182_1183954.smt_in.smt0.179.180081939077877 - 877 - FalseFalse - 0 - 0 - 406 - 3214 - 19
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_16_58_06_000_1185720.smt_in.smt43.37Failed0 --- 25688 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_16_58_08_423_1187560.smt_in.smt0.60108.0000285210938011480 - 11480 - FalseFalse - 0 - 0 - 375 - 359052 - 38
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_16_58_10_071_1189416.smt_in.smt0.081.390028263573 - 573 - FalseFalse - 0 - 0 - 389 - 1142 - 20
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_16_58_11_815_1191075.smt_in.smt0.121.410040375656 - 656 - FalseFalse - 0 - 0 - 416 - 1515 - 34
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_16_58_13_570_1192872.smt_in.smt0.2911.610071436565907 - 907 - FalseFalse - 0 - 0 - 353 - 2530 - 19
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_16_58_37_089_1219410.smt_in.smt0.86100.8700382525034413101 - 13101 - FalseFalse - 0 - 0 - 546 - 751796 - 60
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_17_00_26_190_1349370.smt_in.smt0.102.1500144326513 - 513 - FalseFalse - 0 - 0 - 137 - 1095 - 21
UF-2019/20170428-Barrett/cdt-cade2015/nada/afp/tllist/x2015_09_10_17_00_34_020_1359223.smt_in.smt0.081.310065991664 - 1664 - FalseFalse - 0 - 0 - 238 - 6194 - 33
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_46_34_256_1005613.smt_in.smt0.037.6400172269 - 69 - FalseFalse - 0 - 0 - 62 - 69 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_46_35_498_1006967.smt_in.smt0.0211.700000164 - 164 - FalseFalse - 0 - 0 - 111 - 184 - 29
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_46_36_825_1008341.smt_in.smt0.0621.58003540204 - 204 - FalseFalse - 0 - 0 - 66 - 255 - 23
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_46_42_870_1015118.smt_in.smt0.1641.040017216688 - 6688 - FalseFalse - 0 - 0 - 77 - 666932 - 30
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_46_45_255_1017693.smt_in.smt0.0464.25004863207 - 207 - FalseFalse - 0 - 0 - 78 - 255 - 23
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_46_46_462_1019088.smt_in.smt0.0958.32006259241 - 241 - FalseFalse - 0 - 0 - 66 - 360 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_46_56_416_1030016.smt_in.smt0.026.0300110 - 0 - FalseFalse - 0 - 0 - 104 - 0 - 28
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_47_18_053_1054317.smt_in.smt0.1921.7600212181302 - 1302 - FalseFalse - 0 - 0 - 35 - 66 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_47_34_876_1072686.smt_in.smt0.021.130000119 - 119 - FalseFalse - 0 - 0 - 89 - 123 - 23
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_47_38_328_1076694.smt_in.smt0.0410.46007718501 - 501 - FalseFalse - 0 - 0 - 33 - 54 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_47_49_798_1088965.smt_in.smt0.025.9500110 - 0 - FalseFalse - 0 - 0 - 88 - 0 - 26
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_47_53_703_1093055.smt_in.smt0.036.0500110 - 0 - FalseFalse - 0 - 0 - 88 - 0 - 26
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_00_192_1099574.smt_in.smt0.0390.74002431177 - 177 - FalseFalse - 0 - 0 - 95 - 246 - 40
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_10_045_1109980.smt_in.smt0.082.96003891205 - 205 - FalseFalse - 0 - 0 - 272 - 385 - 29
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_15_193_1114912.smt_in.smt0.034.410000251 - 251 - FalseFalse - 0 - 0 - 103 - 331 - 34
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_20_206_1120494.smt_in.smt0.0310.310000154 - 154 - FalseFalse - 0 - 0 - 112 - 189 - 36
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_28_665_1128556.smt_in.smt0.2722.110046262373171 - 3171 - FalseFalse - 0 - 0 - 158 - 144415 - 15
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_29_875_1130152.smt_in.smt0.036.1800110 - 0 - FalseFalse - 0 - 0 - 72 - 0 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_34_473_1135517.smt_in.smt0.032.980000198 - 198 - FalseFalse - 0 - 0 - 97 - 247 - 36
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_37_874_1139227.smt_in.smt0.047.350000119 - 119 - FalseFalse - 0 - 0 - 92 - 157 - 39
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_43_434_1146247.smt_in.smt0.0548.670035184865 - 865 - FalseFalse - 0 - 0 - 130 - 77036 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_48_44_767_1147663.smt_in.smt0.046.270045580715 - 715 - FalseFalse - 0 - 0 - 131 - 75585 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_50_05_528_1232398.smt_in.smt0.031.960000203 - 203 - FalseFalse - 0 - 0 - 132 - 528 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_50_19_352_1244939.smt_in.smt0.2415.130031785711 - 5711 - FalseFalse - 0 - 0 - 170 - 52834 - 14
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_50_20_945_1246268.smt_in.smt0.071.230014332239 - 2239 - FalseFalse - 0 - 0 - 152 - 17918 - 25
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_50_39_374_1262459.smt_in.smt0.051.190000366 - 366 - FalseFalse - 0 - 0 - 167 - 523 - 13
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_50_40_913_1263787.smt_in.smt0.061.600000370 - 370 - FalseFalse - 0 - 0 - 167 - 523 - 13
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_50_42_458_1265084.smt_in.smt0.025.9500110 - 0 - FalseFalse - 0 - 0 - 88 - 0 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_50_45_459_1267903.smt_in.smt69.61Failed0 --- 936 --- 8569 --- 8569 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_05_944_1285661.smt_in.smt0.031.120000294 - 294 - FalseFalse - 0 - 0 - 122 - 354 - 15
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_08_680_1288435.smt_in.smt0.1574.19004053100 - 100 - FalseFalse - 0 - 0 - 132 - 143 - 27
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_13_804_1292964.smt_in.smt0.1412.14004352121 - 121 - FalseFalse - 0 - 0 - 190 - 186 - 51
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_15_497_1294308.smt_in.smt0.106.93003385 - 85 - FalseFalse - 0 - 0 - 191 - 92 - 51
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_18_065_1295649.smt_in.smt0.071.1100283170 - 70 - FalseFalse - 0 - 0 - 191 - 86 - 51
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_21_241_1298530.smt_in.smt0.1912.4000216941758 - 758 - FalseFalse - 0 - 0 - 111 - 2957 - 30
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_35_041_1311327.smt_in.smt0.061.1300110 - 0 - FalseFalse - 0 - 0 - 227 - 0 - 31
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_38_140_1314156.smt_in.smt11.94106.500040403325 - 3325 - FalseFalse - 0 - 0 - 366 - 3325 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_47_804_1324224.smt_in.smt0.0439.7700101023 - 23 - FalseFalse - 0 - 0 - 218 - 23 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_49_125_1325670.smt_in.smt0.0443.0900101023 - 23 - FalseFalse - 0 - 0 - 218 - 23 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_50_460_1327126.smt_in.smt0.0340.0100101029 - 29 - FalseFalse - 0 - 0 - 218 - 29 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_54_184_1331618.smt_in.smt0.051.3100626234 - 34 - FalseFalse - 0 - 0 - 161 - 34 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_55_429_1333005.smt_in.smt0.368.150023282769787 - 787 - FalseFalse - 0 - 0 - 110 - 2322 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_51_56_744_1334450.smt_in.smt0.052.1200696945 - 45 - FalseFalse - 0 - 0 - 163 - 47 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_04_277_1342945.smt_in.smt0.084.980034283138208 - 208 - FalseFalse - 0 - 0 - 144 - 285 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_15_309_1355206.smt_in.smt0.036.400022131 - 131 - FalseFalse - 0 - 0 - 65 - 142 - 13
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_21_813_1361774.smt_in.smt0.057.23007181158 - 158 - FalseFalse - 0 - 0 - 78 - 170 - 23
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_41_298_1381766.smt_in.smt20.48Failed0malloc5855line0 - 0 - Falsesrc/congruence/congruence.c - error - on - 314 - in - file
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_45_320_1385843.smt_in.smt0.026.3200110 - 0 - FalseFalse - 0 - 0 - 151 - 0 - 21
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_48_322_1388593.smt_in.smt1.0715.9700979455177 - 5177 - FalseFalse - 0 - 0 - 144 - 81345 - 23
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_49_838_1389939.smt_in.smt1.0616.42001094544982 - 4982 - FalseFalse - 0 - 0 - 145 - 80809 - 24
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_51_234_1391295.smt_in.smt0.031.170000237 - 237 - FalseFalse - 0 - 0 - 126 - 379 - 27
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_54_095_1394031.smt_in.smt0.061.400028432108 - 2108 - FalseFalse - 0 - 0 - 107 - 8388 - 23
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_55_311_1395287.smt_in.smt0.0291.67003422123 - 123 - FalseFalse - 0 - 0 - 109 - 127 - 23
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_52_59_501_1399156.smt_in.smt0.026.0000120 - 0 - FalseFalse - 0 - 0 - 83 - 0 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_00_915_1400456.smt_in.smt0.10120.380030237471791 - 1791 - FalseFalse - 0 - 0 - 60 - 7952 - 17
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_02_307_1401889.smt_in.smt0.0493.0400901271658 - 658 - FalseFalse - 0 - 0 - 60 - 1450 - 17
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_03_911_1403335.smt_in.smt0.1018.450040551732 - 1732 - FalseFalse - 0 - 0 - 61 - 6187 - 17
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_24_819_1422372.smt_in.smt3.1960.6000745745885 - 5885 - FalseFalse - 0 - 0 - 127 - 550 - 41
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_32_753_1428683.smt_in.smt1.43115.0300183377261 - 7261 - FalseFalse - 0 - 0 - 225 - 704334 - 15
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_35_799_1431419.smt_in.smt11.98102.82007898 - 98 - FalseFalse - 0 - 0 - 183 - 98 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_37_371_1432776.smt_in.smt11.98104.11007898 - 98 - FalseFalse - 0 - 0 - 183 - 98 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_52_984_1446042.smt_in.smt1.74102.8900694662753 - 2753 - FalseFalse - 0 - 0 - 124 - 40992 - 41
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_53_57_216_1449723.smt_in.smt0.081.2400717102 - 102 - FalseFalse - 0 - 0 - 317 - 133 - 49
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_54_05_648_1456120.smt_in.smt1.33Failed0 --- 225 --- 6380 --- 6380 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_54_08_465_1458493.smt_in.smt0.1653.140059823217 - 3217 - FalseFalse - 0 - 0 - 129 - 26925 - 41
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_54_25_859_1474084.smt_in.smt0.121.990066862329 - 2329 - FalseFalse - 0 - 0 - 98 - 10437 - 19
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_54_30_976_1479219.smt_in.smt0.051.180062102284 - 284 - FalseFalse - 0 - 0 - 113 - 406 - 25
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_54_35_070_1483055.smt_in.smt0.0314.91008487297 - 297 - FalseFalse - 0 - 0 - 90 - 471 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_55_28_099_1538228.smt_in.smt14.17128.910011997136996679 - 6679 - FalseFalse - 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.smt85.98Failed0 --- 6084 --- 18492 --- 18492 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/gram_lang/x2015_09_10_16_55_57_668_1572990.smt_in.smt78.03Failed0 --- 2986 --- 18716 --- 18716 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/koenig/x2015_09_10_16_44_59_827_1001521.smt_in.smt53.21Failed0 --- 7499 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/parallel/x2015_09_10_16_56_58_822_1029157.smt_in.smt0.047.0100220 - 0 - FalseFalse - 0 - 0 - 287 - 0 - 34
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/parallel/x2015_09_10_16_57_04_767_1036573.smt_in.smt0.031.060030712 - 712 - FalseFalse - 0 - 0 - 203 - 3141 - 20
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/parallel/x2015_09_10_16_57_14_271_1048482.smt_in.smt0.037.0100110 - 0 - FalseFalse - 0 - 0 - 288 - 0 - 34
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/process/x2015_09_10_16_46_07_287_1016331.smt_in.smt0.121.3200243141 - 41 - FalseFalse - 0 - 0 - 437 - 41 - 48
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/process/x2015_09_10_16_46_08_426_1018495.smt_in.smt0.091.2000110 - 0 - FalseFalse - 0 - 0 - 567 - 0 - 59
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/process/x2015_09_10_16_46_11_013_1022972.smt_in.smt0.091.0900440 - 0 - FalseFalse - 0 - 0 - 567 - 0 - 59
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/process/x2015_09_10_16_46_12_422_1025197.smt_in.smt0.051.110010160 - 0 - FalseFalse - 0 - 0 - 391 - 0 - 30
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/process/x2015_09_10_16_46_18_557_1034243.smt_in.smt0.111.14002280 - 80 - FalseFalse - 0 - 0 - 617 - 84 - 53
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/process/x2015_09_10_16_46_21_490_1038737.smt_in.smt0.131.190016205 - 205 - FalseFalse - 0 - 0 - 720 - 245 - 74
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/process/x2015_09_10_16_46_26_992_1047954.smt_in.smt0.1119.02001311423940 - 3940 - FalseFalse - 0 - 0 - 158 - 103461 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/process/x2015_09_10_16_46_31_107_1053871.smt_in.smt0.102.2300156182961 - 961 - FalseFalse - 0 - 0 - 187 - 1960 - 23
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_49_44_044_979300.smt_in.smt0.057.0800330 - 0 - FalseFalse - 0 - 0 - 131 - 0 - 39
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_50_06_007_1009103.smt_in.smt6.08Failed0 --- 60 --- 804 --- 804 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_50_31_561_1040763.smt_in.smt0.061.630083319401 - 401 - FalseFalse - 0 - 0 - 107 - 701 - 13
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_50_45_795_1057377.smt_in.smt0.9518.1300455496732 - 732 - FalseFalse - 0 - 0 - 107 - 5169 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_07_242_1082365.smt_in.smt0.046.04000028 - 28 - FalseFalse - 0 - 0 - 126 - 35 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_09_645_1085729.smt_in.smt1.46119.89003971066532574 - 32574 - FalseFalse - 0 - 0 - 78 - 9751 - 14
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_10_892_1087099.smt_in.smt0.186.3900941105248 - 5248 - FalseFalse - 0 - 0 - 212 - 353 - 33
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_37_386_1130312.smt_in.smt0.035.8500110 - 0 - FalseFalse - 0 - 0 - 139 - 0 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_38_691_1131917.smt_in.smt0.193.73001879701292 - 1292 - FalseFalse - 0 - 0 - 94 - 3376 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_41_245_1135981.smt_in.smt0.046.3200110 - 0 - FalseFalse - 0 - 0 - 122 - 0 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_42_659_1137578.smt_in.smt0.274.62002819961541 - 1541 - FalseFalse - 0 - 0 - 93 - 5197 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_45_173_1141642.smt_in.smt0.056.3900110 - 0 - FalseFalse - 0 - 0 - 129 - 0 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_46_487_1143235.smt_in.smt0.193.75001968391339 - 1339 - FalseFalse - 0 - 0 - 93 - 3570 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_49_698_1147328.smt_in.smt0.046.2500110 - 0 - FalseFalse - 0 - 0 - 150 - 0 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_50_993_1148913.smt_in.smt0.031.82002051188 - 188 - FalseFalse - 0 - 0 - 150 - 273 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_52_291_1150505.smt_in.smt0.046.3000110 - 0 - FalseFalse - 0 - 0 - 139 - 0 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_53_569_1152110.smt_in.smt0.365.250029011611800 - 1800 - FalseFalse - 0 - 0 - 96 - 6487 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_56_136_1156189.smt_in.smt0.026.3800110 - 0 - FalseFalse - 0 - 0 - 139 - 0 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_51_57_838_1157794.smt_in.smt0.244.03003098561333 - 1333 - FalseFalse - 0 - 0 - 94 - 3938 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_00_477_1161857.smt_in.smt0.026.3700110 - 0 - FalseFalse - 0 - 0 - 122 - 0 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_01_979_1163454.smt_in.smt0.224.160024510051381 - 1381 - FalseFalse - 0 - 0 - 93 - 3949 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_03_445_1165936.smt_in.smt0.041.5100424130 - 130 - FalseFalse - 0 - 0 - 128 - 197 - 17
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_04_709_1167517.smt_in.smt0.046.3100110 - 0 - FalseFalse - 0 - 0 - 129 - 0 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_05_928_1169110.smt_in.smt0.203.32002267011352 - 1352 - FalseFalse - 0 - 0 - 93 - 4041 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_08_426_1173203.smt_in.smt0.056.4000110 - 0 - FalseFalse - 0 - 0 - 139 - 0 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_09_697_1174808.smt_in.smt0.041.76002250189 - 189 - FalseFalse - 0 - 0 - 150 - 271 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_10_943_1176400.smt_in.smt0.036.4000110 - 0 - FalseFalse - 0 - 0 - 148 - 0 - 17
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_12_178_1177983.smt_in.smt0.245.420027411771725 - 1725 - FalseFalse - 0 - 0 - 96 - 5836 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_16_446_1184031.smt_in.smt0.1222.690014711031016 - 1016 - FalseFalse - 0 - 0 - 479 - 11523 - 45
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_18_956_1188633.smt_in.smt0.028.280037146120 - 120 - FalseFalse - 0 - 0 - 165 - 155 - 30
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_52_43_723_1232893.smt_in.smt29.65Failed0 --- 0 --- 4950 --- 4950 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_53_03_719_1270642.smt_in.smt0.046.3700110 - 0 - FalseFalse - 0 - 0 - 125 - 0 - 16
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_53_05_982_1273519.smt_in.smt0.066.610040129 - 129 - FalseFalse - 0 - 0 - 130 - 183 - 21
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_53_18_369_1299679.smt_in.smt0.056.2500110 - 0 - FalseFalse - 0 - 0 - 135 - 0 - 19
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_53_20_414_1302696.smt_in.smt0.066.720060142 - 142 - FalseFalse - 0 - 0 - 132 - 224 - 19
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_53_48_623_1355897.smt_in.smt0.056.4000880 - 0 - FalseFalse - 0 - 0 - 207 - 0 - 21
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_53_50_004_1358844.smt_in.smt0.012.7400550 - 0 - FalseFalse - 0 - 0 - 105 - 0 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_53_52_735_1364650.smt_in.smt0.101.8400761895 - 1895 - FalseFalse - 0 - 0 - 203 - 10389 - 28
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_53_55_577_1370574.smt_in.smt0.043.7100550 - 0 - FalseFalse - 0 - 0 - 104 - 0 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_53_58_173_1376311.smt_in.smt0.043.6600550 - 0 - FalseFalse - 0 - 0 - 104 - 0 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_53_59_750_1379092.smt_in.smt7.40Failed0 --- 732 --- 14674 --- 14674 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_54_01_448_1382077.smt_in.smt0.043.7900880 - 0 - FalseFalse - 0 - 0 - 221 - 0 - 27
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_54_02_881_1385065.smt_in.smt0.043.1000550 - 0 - FalseFalse - 0 - 0 - 104 - 0 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_54_08_850_1396728.smt_in.smt0.032.7200550 - 0 - FalseFalse - 0 - 0 - 103 - 0 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_54_10_276_1399580.smt_in.smt0.051.100066144 - 144 - FalseFalse - 0 - 0 - 218 - 326 - 27
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_54_13_050_1405601.smt_in.smt0.042.5900550 - 0 - FalseFalse - 0 - 0 - 103 - 0 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_25_762_1547770.smt_in.smt0.035.6900110 - 0 - FalseFalse - 0 - 0 - 58 - 0 - 8
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_28_882_1553449.smt_in.smt0.081.23003839694 - 694 - FalseFalse - 0 - 0 - 206 - 2690 - 41
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_31_573_1558777.smt_in.smt0.026.1600110 - 0 - FalseFalse - 0 - 0 - 57 - 0 - 8
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_35_556_1567050.smt_in.smt0.101.83006161960 - 960 - FalseFalse - 0 - 0 - 218 - 8433 - 38
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_38_083_1572378.smt_in.smt0.026.2600110 - 0 - FalseFalse - 0 - 0 - 65 - 0 - 8
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_39_686_1575418.smt_in.smt0.061.37006462872 - 872 - FalseFalse - 0 - 0 - 218 - 5382 - 38
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_47_234_1592128.smt_in.smt0.026.3100110 - 0 - FalseFalse - 0 - 0 - 58 - 0 - 8
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_50_395_1597807.smt_in.smt0.071.18003839742 - 742 - FalseFalse - 0 - 0 - 206 - 2731 - 41
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_52_933_1603135.smt_in.smt0.036.3300110 - 0 - FalseFalse - 0 - 0 - 57 - 0 - 8
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_55_586_1608808.smt_in.smt0.072.01006161995 - 995 - FalseFalse - 0 - 0 - 218 - 8514 - 38
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_58_108_1614136.smt_in.smt0.026.3000110 - 0 - FalseFalse - 0 - 0 - 65 - 0 - 8
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_55_59_779_1617176.smt_in.smt0.101.43006062864 - 864 - FalseFalse - 0 - 0 - 218 - 5488 - 38
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_56_13_665_1644290.smt_in.smt0.0648.490033488 - 488 - FalseFalse - 0 - 0 - 84 - 1128 - 15
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_56_15_003_1646310.smt_in.smt43.12Failed0 --- 12 --- 13313 --- 13313 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_58_37_686_1835503.smt_in.smt0.026.31003027124 - 124 - FalseFalse - 0 - 0 - 206 - 142 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_58_38_657_1836790.smt_in.smt0.036.24003240164 - 164 - FalseFalse - 0 - 0 - 181 - 199 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_58_39_598_1838151.smt_in.smt0.035.44003691177 - 177 - FalseFalse - 0 - 0 - 210 - 246 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_58_40_545_1839381.smt_in.smt0.036.60005498213 - 213 - FalseFalse - 0 - 0 - 205 - 250 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_58_52_202_1855782.smt_in.smt0.1480.79001882353913411 - 3411 - FalseFalse - 0 - 0 - 111 - 130140 - 24
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_59_02_895_1871234.smt_in.smt0.061.7900701122025 - 2025 - FalseFalse - 0 - 0 - 112 - 37879 - 30
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_59_13_755_1886211.smt_in.smt0.262.2100159628242117 - 2117 - FalseFalse - 0 - 0 - 120 - 6151 - 21
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_16_59_55_994_1952730.smt_in.smt0.4651.38002614169890 - 9890 - FalseFalse - 0 - 0 - 143 - 3797 - 22
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/rbt_impl/x2015_09_10_17_00_01_701_1957246.smt_in.smt0.026.21000017 - 17 - FalseFalse - 0 - 0 - 256 - 19 - 33
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_46_45_961_984148.smt_in.smt4.4828.370061710136211082 - 11082 - FalseFalse - 0 - 0 - 111 - 527 - 11
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_47_36_735_1042956.smt_in.smt10.40Failed0 --- 4379 --- 16789 --- 16789 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_47_59_819_1065637.smt_in.smt0.122.1400341611594 - 1594 - FalseFalse - 0 - 0 - 87 - 93 - 13
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_48_11_099_1079309.smt_in.smt0.026.8600155670 - 70 - FalseFalse - 0 - 0 - 74 - 83 - 3
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_48_34_475_1105236.smt_in.smt19.48Failed0 --- 6717 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_48_46_982_1120899.smt_in.smt29.76Failed0 --- 0 --- 166 --- 166 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_48_52_240_1126440.smt_in.smt0.041.200057125230 - 230 - FalseFalse - 0 - 0 - 135 - 261 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream/x2015_09_10_16_49_00_946_1137050.smt_in.smt11.98Failed0 --- 20 --- 707 --- 707 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/distro/stream_processor/x2015_09_10_16_45_53_226_997806.smt_in.smt0.1057.890014833641870 - 1870 - FalseFalse - 0 - 0 - 184 - 34208 - 69
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/bird_tree/x2015_09_10_16_54_27_614_1007348.smt_in.smt58.71Failed0 --- 0 --- 7741 --- 7741 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/bird_tree/x2015_09_10_16_54_39_034_1019201.smt_in.smt0.4342.810019321352 - 1352 - FalseFalse - 0 - 0 - 427 - 2670 - 12
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/bird_tree/x2015_09_10_16_54_54_804_1037844.smt_in.smt0.027.2200110 - 0 - FalseFalse - 0 - 0 - 336 - 0 - 18
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/bird_tree/x2015_09_10_16_55_00_922_1043783.smt_in.smt6.35Failed0 --- 5 --- 7454 --- 7454 --- False --- - --- - --- - --- - --- - ---
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/cotree/x2015_09_10_16_50_33_618_1062619.smt_in.smt5.9918.85001610973 - 973 - FalseFalse - 0 - 0 - 616 - 125255 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/cotree/x2015_09_10_16_50_34_899_1064156.smt_in.smt6.0328.67001610975 - 975 - FalseFalse - 0 - 0 - 616 - 125886 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/cotree/x2015_09_10_16_50_38_757_1068919.smt_in.smt0.094.980000954 - 954 - FalseFalse - 0 - 0 - 489 - 22451 - 8
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/cotree/x2015_09_10_16_50_46_835_1079005.smt_in.smt0.1149.9700121020 - 1020 - FalseFalse - 0 - 0 - 366 - 271 - 9
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/cotree/x2015_09_10_16_51_02_510_1099298.smt_in.smt0.1770.6900111746 - 746 - FalseFalse - 0 - 0 - 524 - 1096 - 10
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/stern_brocot_tree/x2015_09_10_16_51_07_904_1043217.smt_in.smt0.5524.780072041761089 - 1089 - FalseFalse - 0 - 0 - 24 - 3195 - 1
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/stern_brocot_tree/x2015_09_10_16_51_44_982_1071529.smt_in.smt11.9782.9200451542571 - 571 - FalseFalse - 0 - 0 - 146 - 571 - 6
UF-2019/20170428-Barrett/cdt-cade2015/nada/gandl/stern_brocot_tree/x2015_09_10_16_51_58_511_1082828.smt_in.smt0.7692.090082520508 - 20508 - FalseFalse - 0 - 0 - 457 - 90624 - 9
UF-2019/grasshopper/instantiated/concat_postcondition_of_concat_24_4.smt0.163.1100112872706 - 2706 - FalseFalse - 0 - 0 - 38 - 7630 - 4
UF-2019/grasshopper/instantiated/copy_loop_invariant_24_3.smt0.2321.47001871142465 - 2465 - FalseFalse - 0 - 0 - 43 - 7345 - 3
UF-2019/grasshopper/instantiated/copy_postcondition_of_copy_25_2.smt0.041.12004294430 - 430 - FalseFalse - 0 - 0 - 41 - 4337 - 7
UF-2019/grasshopper/instantiated/dl_concat_postcondition_of_dl_concat_25_4.smt0.358.5800116544572 - 4572 - FalseFalse - 0 - 0 - 30 - 8181 - 6
UF-2019/grasshopper/instantiated/dl_copy_loop_invariant_36_3.smt32.69117.45000118145263 - 45263 - FalseFalse - 0 - 0 - 55 - 54294 - 9
UF-2019/grasshopper/instantiated/dl_copy_postcondition_of_dl_copy_37_1.smt0.081.5600621432384 - 2384 - FalseFalse - 0 - 0 - 49 - 2221 - 17
UF-2019/grasshopper/instantiated/dl_filter_loop_invariant_40_3.smt0.4825.59002012332890 - 2890 - FalseFalse - 0 - 0 - 43 - 3892 - 10
UF-2019/grasshopper/instantiated/dl_insert_check_heap_access_32_4.smt0.051.530093701270 - 1270 - FalseFalse - 0 - 0 - 42 - 301 - 10
UF-2019/grasshopper/instantiated/dl_insert_check_heap_access_34_6.smt0.111.6700751771429 - 1429 - FalseFalse - 0 - 0 - 43 - 3411 - 10
UF-2019/grasshopper/instantiated/dl_insert_check_heap_access_38_4.smt0.131.69001542671251 - 1251 - FalseFalse - 0 - 0 - 45 - 4450 - 10
UF-2019/grasshopper/instantiated/dl_insert_loop_invariant_30_5.smt0.1912.44001312724894 - 4894 - FalseFalse - 0 - 0 - 35 - 5795 - 9
UF-2019/grasshopper/instantiated/dl_insert_postcondition_of_dl_insert_39_4.smt1.7550.860010106817307 - 7307 - FalseFalse - 0 - 0 - 52 - 27991 - 11
UF-2019/grasshopper/instantiated/dl_remove_check_heap_access_45_6.smt0.142.92001723451617 - 1617 - FalseFalse - 0 - 0 - 40 - 5178 - 10
UF-2019/grasshopper/instantiated/dl_remove_loop_invariant_35_5.smt0.1958.51001691895555 - 5555 - FalseFalse - 0 - 0 - 35 - 5784 - 9
UF-2019/grasshopper/instantiated/dl_remove_postcondition_of_dl_remove_50_4.smt1.6843.050065266314732 - 14732 - FalseFalse - 0 - 0 - 50 - 29081 - 11
UF-2019/grasshopper/instantiated/dl_reverse_loop_invariant_28_3.smt0.3222.42002921483857 - 3857 - FalseFalse - 0 - 0 - 39 - 5998 - 7
UF-2019/grasshopper/instantiated/dl_traverse_loop_invariant_23_3.smt0.0757.95001451651827 - 1827 - FalseFalse - 0 - 0 - 35 - 8113 - 7
UF-2019/grasshopper/instantiated/filter_loop_invariant_35_3.smt0.094.880059771911 - 1911 - FalseFalse - 0 - 0 - 49 - 4304 - 6
UF-2019/grasshopper/instantiated/filter_postcondition_of_filter_36_1.smt0.282.3300182765617 - 5617 - FalseFalse - 0 - 0 - 45 - 2120 - 7
UF-2019/grasshopper/instantiated/find_last_postcondition_of_find_last_18_4.smt0.051.1900541202114 - 2114 - FalseFalse - 0 - 0 - 34 - 1308 - 4
UF-2019/grasshopper/instantiated/find_postcondition_of_find_24_1.smt0.275.17003516392019 - 2019 - FalseFalse - 0 - 0 - 50 - 17376 - 8
UF-2019/grasshopper/instantiated/insert_postcondition_of_insert_27_4.smt0.8816.36002053894928 - 4928 - FalseFalse - 0 - 0 - 40 - 7940 - 5
UF-2019/grasshopper/instantiated/rec_concat_postcondition_of_rec_concat_31_1.smt0.202.2900105651580 - 1580 - FalseFalse - 0 - 0 - 34 - 2400 - 4
UF-2019/grasshopper/instantiated/rec_copy_loop_postcondition_of_rec_copy_loop_45_4.smt1.5375.230063852911032 - 11032 - FalseFalse - 0 - 0 - 44 - 41529 - 7
UF-2019/grasshopper/instantiated/rec_copy_loop_precondition_of_rec_copy_loop_45_11.smt0.112.55005566997 - 997 - FalseFalse - 0 - 0 - 31 - 3017 - 3
UF-2019/grasshopper/instantiated/rec_filter_postcondition_of_rec_filter_20_4.smt0.214.98002253484383 - 4383 - FalseFalse - 0 - 0 - 30 - 6231 - 8
UF-2019/grasshopper/instantiated/rec_filter_postcondition_of_rec_filter_24_4.smt0.262.10001992234996 - 4996 - FalseFalse - 0 - 0 - 30 - 6691 - 8
UF-2019/grasshopper/instantiated/rec_insert_check_heap_access_24_6.smt0.061.59005777769 - 769 - FalseFalse - 0 - 0 - 30 - 1833 - 8
UF-2019/grasshopper/instantiated/rec_insert_postcondition_of_rec_insert_25_6.smt0.747.00001982826082 - 6082 - FalseFalse - 0 - 0 - 36 - 5652 - 8
UF-2019/grasshopper/instantiated/rec_remove_postcondition_of_rec_remove_26_4.smt0.324.94001952533181 - 3181 - FalseFalse - 0 - 0 - 30 - 4975 - 8
UF-2019/grasshopper/instantiated/rec_reverse_acc_postcondition_of_rec_reverse_acc_19_4.smt0.6632.95003703366389 - 6389 - FalseFalse - 0 - 0 - 34 - 21183 - 7
UF-2019/grasshopper/instantiated/rec_reverse_acc_precondition_of_rec_reverse_acc_19_11.smt0.081.26006647468 - 468 - FalseFalse - 0 - 0 - 26 - 921 - 3
UF-2019/grasshopper/instantiated/rec_reverse_loop_postcondition_of_rec_reverse_loop_21_4.smt0.4441.37002311845513 - 5513 - FalseFalse - 0 - 0 - 35 - 10153 - 7
UF-2019/grasshopper/instantiated/rec_reverse_loop_precondition_of_rec_reverse_loop_21_11.smt0.081.27005948396 - 396 - FalseFalse - 0 - 0 - 27 - 918 - 3
UF-2019/grasshopper/instantiated/remove_check_free_31_6.smt0.121.22001251721439 - 1439 - FalseFalse - 0 - 0 - 32 - 2140 - 5
UF-2019/grasshopper/instantiated/remove_postcondition_of_remove_33_4.smt0.414.01002713924878 - 4878 - FalseFalse - 0 - 0 - 38 - 2776 - 5
UF-2019/grasshopper/instantiated/reverse_loop_invariant_25_3.smt0.071.25002736482 - 482 - FalseFalse - 0 - 0 - 32 - 919 - 3
UF-2019/grasshopper/instantiated/split_loop_invariant_81_3.smt0.087.5300234611741 - 1741 - FalseFalse - 0 - 0 - 34 - 5010 - 3
UF-2019/grasshopper/instantiated/union_postcondition_of_union_42_1.smt29.0261.5100190124089382 - 9382 - FalseFalse - 0 - 0 - 77 - 99855 - 10
UF-2019/grasshopper/instantiated/union_precondition_of_find_38_7.smt0.427.31001403298342 - 8342 - FalseFalse - 0 - 0 - 52 - 17443 - 7
UF-2019/grasshopper/uninstantiated/concat_check_heap_access_23_4.smt0.021.62009204274 - 274 - FalseFalse - 0 - 0 - 38 - 983 - 4
UF-2019/grasshopper/uninstantiated/concat_invariant_18_4.smt0.007.1000565180 - 180 - FalseFalse - 0 - 0 - 26 - 3935 - 3
UF-2019/grasshopper/uninstantiated/concat_loop_invariant_22_5.smt1.17102.260014315472971 - 2971 - FalseFalse - 0 - 0 - 29 - 19153 - 3
UF-2019/grasshopper/uninstantiated/concat_postcondition_of_concat_14_4.smt0.012.2900448150 - 150 - FalseFalse - 0 - 0 - 23 - 1417 - 3
UF-2019/grasshopper/uninstantiated/concat_postcondition_of_concat_24_4.smt1.09Failed0 --- 230 --- 5920 --- 5920 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/copy_invariant_16_2.smt0.0174.9800861180 - 180 - FalseFalse - 0 - 0 - 25 - 9884 - 3
UF-2019/grasshopper/uninstantiated/copy_loop_check_heap_access_23_4.smt0.041.9500165424 - 424 - FalseFalse - 0 - 0 - 38 - 1206 - 3
UF-2019/grasshopper/uninstantiated/copy_loop_invariant_24_3.smt21.33Failed0 --- 8935 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/copy_postcondition_of_copy_25_2.smt4.44Failed0 --- 153 --- 5106 --- 5106 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/create_postcondition_of_create_50_4.smt0.09Failed0 --- 30 --- 287 --- 287 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dispose_loop_invariant_20_3.smt0.062.23002362623 - 623 - FalseFalse - 0 - 0 - 26 - 1195 - 3
UF-2019/grasshopper/uninstantiated/dl_concat_check_heap_access_24_4.smt0.031.140016152355 - 355 - FalseFalse - 0 - 0 - 26 - 1254 - 5
UF-2019/grasshopper/uninstantiated/dl_concat_postcondition_of_dl_concat_19_4.smt0.1014.5200131151117 - 1117 - FalseFalse - 0 - 0 - 28 - 4315 - 6
UF-2019/grasshopper/uninstantiated/dl_concat_postcondition_of_dl_concat_21_4.smt0.2718.0500561811220 - 1220 - FalseFalse - 0 - 0 - 28 - 3757 - 6
UF-2019/grasshopper/uninstantiated/dl_concat_postcondition_of_dl_concat_25_4.smt24.44Failed0 --- 262 --- 6704 --- 6704 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_copy_loop_check_heap_access_35_4.smt0.072.82004752734 - 734 - FalseFalse - 0 - 0 - 61 - 6849 - 6
UF-2019/grasshopper/uninstantiated/dl_copy_loop_invariant_36_3.smt11.90Failed0 --- 835 --- 21572 --- 21572 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_copy_postcondition_of_dl_copy_37_1.smt2.26Failed0 --- 153 --- 3077 --- 3077 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_dispose_loop_invariant_23_3.smt0.9739.90001242282810 - 2810 - FalseFalse - 0 - 0 - 30 - 2454 - 5
UF-2019/grasshopper/uninstantiated/dl_filter_loop_check_free_36_6.smt0.063.27006144655 - 655 - FalseFalse - 0 - 0 - 44 - 119 - 8
UF-2019/grasshopper/uninstantiated/dl_filter_loop_invariant_40_3.smt5.74Failed0 --- 827 --- 14614 --- 14614 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_filter_postcondition_of_dl_filter_41_1.smt6.27Failed0 --- 174 --- 2056 --- 2056 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_insert_check_heap_access_31_4.smt0.2015.440032224936 - 936 - FalseFalse - 0 - 0 - 64 - 3044 - 10
UF-2019/grasshopper/uninstantiated/dl_insert_check_heap_access_32_4.smt0.093.990099297651 - 651 - FalseFalse - 0 - 0 - 71 - 3328 - 10
UF-2019/grasshopper/uninstantiated/dl_insert_check_heap_access_38_4.smt0.3920.26002313003080 - 3080 - FalseFalse - 0 - 0 - 83 - 3218 - 10
UF-2019/grasshopper/uninstantiated/dl_insert_loop_invariant_30_5.smt55.98Failed0 --- 7380 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_insert_postcondition_of_dl_insert_17_4.smt1.55Failed0 --- 79 --- 2256 --- 2256 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_insert_postcondition_of_dl_insert_39_4.smt29.52Failed0 --- 735 --- 91716 --- 91716 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_remove_check_free_49_4.smt0.111.34007867822 - 822 - FalseFalse - 0 - 0 - 77 - 4581 - 10
UF-2019/grasshopper/uninstantiated/dl_remove_loop_invariant_35_5.smt56.05Failed0 --- 7380 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_remove_postcondition_of_dl_remove_19_4.smt0.1549.520044137998 - 998 - FalseFalse - 0 - 0 - 26 - 3053 - 5
UF-2019/grasshopper/uninstantiated/dl_remove_postcondition_of_dl_remove_50_4.smt6.76Failed0 --- 365 --- 3016 --- 3016 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_reverse_loop_check_heap_access_25_4.smt0.021.040014133275 - 275 - FalseFalse - 0 - 0 - 30 - 1010 - 5
UF-2019/grasshopper/uninstantiated/dl_reverse_loop_invariant_28_3.smt6.94Failed0 --- 247 --- 12045 --- 12045 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_reverse_postcondition_of_dl_reverse_29_1.smt0.94127.30001173112575 - 2575 - FalseFalse - 0 - 0 - 71 - 4958 - 14
UF-2019/grasshopper/uninstantiated/dl_traverse_loop_invariant_23_3.smt20.13Failed0 --- 6937 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/dl_traverse_postcondition_of_dl_traverse_24_1.smt0.4013.450083111420 - 1420 - FalseFalse - 0 - 0 - 60 - 6985 - 10
UF-2019/grasshopper/uninstantiated/filter_loop_invariant_35_3.smt1.35Failed0 --- 249 --- 2186 --- 2186 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/filter_postcondition_of_filter_36_1.smt8.34Failed0 --- 761 --- 8576 --- 8576 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/find_check_heap_access_20_4.smt0.052.050030117326 - 326 - FalseFalse - 0 - 0 - 42 - 965 - 7
UF-2019/grasshopper/uninstantiated/find_last_postcondition_of_find_last_18_4.smt3.20Failed0 --- 142 --- 2821 --- 2821 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/find_last_postcondition_of_find_last_20_4.smt1.43Failed0 --- 36 --- 1306 --- 1306 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/find_postcondition_of_find_24_1.smt4.51Failed0 --- 435 --- 4744 --- 4744 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/find_precondition_of_find_19_11.smt0.0113.1500647158 - 158 - FalseFalse - 0 - 0 - 30 - 3792 - 3
UF-2019/grasshopper/uninstantiated/insert_check_heap_access_25_4.smt0.13Failed0 --- 36 --- 836 --- 836 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/insert_check_heap_access_26_4.smt0.062.100056217533 - 533 - FalseFalse - 0 - 0 - 42 - 1177 - 5
UF-2019/grasshopper/uninstantiated/insert_invariant_19_4.smt0.016.6500241166 - 166 - FalseFalse - 0 - 0 - 27 - 3767 - 3
UF-2019/grasshopper/uninstantiated/insert_loop_invariant_24_5.smt1.1995.190011717492947 - 2947 - FalseFalse - 0 - 0 - 29 - 16443 - 5
UF-2019/grasshopper/uninstantiated/insert_postcondition_of_insert_14_4.smt0.15Failed0 --- 17 --- 1197 --- 1197 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/insert_postcondition_of_insert_27_4.smt3.85Failed0 --- 620 --- 5824 --- 5824 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_concat_postcondition_of_rec_concat_31_1.smt0.45Failed0 --- 146 --- 1722 --- 1722 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_copy_loop_check_heap_access_44_4.smt0.031.49001388251 - 251 - FalseFalse - 0 - 0 - 28 - 838 - 3
UF-2019/grasshopper/uninstantiated/rec_copy_loop_postcondition_of_rec_copy_loop_38_4.smt0.20Failed0 --- 38 --- 1286 --- 1286 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_copy_loop_precondition_of_rec_copy_loop_45_11.smt8.95Failed0 --- 640 --- 20759 --- 20759 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_copy_postcondition_of_rec_copy_53_2.smt0.2498.2400432781146 - 1146 - FalseFalse - 0 - 0 - 38 - 94813 - 7
UF-2019/grasshopper/uninstantiated/rec_copy_precondition_of_rec_copy_loop_53_9.smt0.015.5600536137 - 137 - FalseFalse - 0 - 0 - 21 - 3388 - 3
UF-2019/grasshopper/uninstantiated/rec_dispose_postcondition_of_rec_dispose_17_19.smt6.01Failed0 --- 5 --- 134 --- 134 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_dispose_precondition_of_rec_dispose_17_4.smt0.012.0400862171 - 171 - FalseFalse - 0 - 0 - 22 - 1195 - 3
UF-2019/grasshopper/uninstantiated/rec_filter_check_heap_access_19_4.smt0.1112.850033337415 - 415 - FalseFalse - 0 - 0 - 29 - 2564 - 8
UF-2019/grasshopper/uninstantiated/rec_filter_postcondition_of_rec_filter_20_4.smt6.31Failed0 --- 261 --- 2234 --- 2234 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_filter_postcondition_of_rec_filter_24_4.smt3.52Failed0 --- 275 --- 5954 --- 5954 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_filter_precondition_of_rec_filter_24_11.smt0.163.30003462659 - 659 - FalseFalse - 0 - 0 - 22 - 1195 - 4
UF-2019/grasshopper/uninstantiated/rec_insert_check_heap_access_24_6.smt0.049.680027301405 - 405 - FalseFalse - 0 - 0 - 36 - 1422 - 8
UF-2019/grasshopper/uninstantiated/rec_insert_postcondition_of_rec_insert_14_4.smt0.22Failed0 --- 17 --- 1197 --- 1197 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_insert_postcondition_of_rec_insert_19_6.smt6.33Failed0 --- 113 --- 2154 --- 2154 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_insert_postcondition_of_rec_insert_25_6.smt5.21Failed0 --- 495 --- 6480 --- 6480 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_insert_precondition_of_rec_insert_23_12.smt6.0134.23006771125 - 1125 - FalseFalse - 0 - 0 - 27 - 3901 - 4
UF-2019/grasshopper/uninstantiated/rec_remove_check_heap_access_25_4.smt0.1121.210028324421 - 421 - FalseFalse - 0 - 0 - 29 - 2567 - 8
UF-2019/grasshopper/uninstantiated/rec_remove_postcondition_of_rec_remove_20_4.smt0.27Failed0 --- 24 --- 1471 --- 1471 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_remove_postcondition_of_rec_remove_26_4.smt1.46Failed0 --- 256 --- 5116 --- 5116 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_reverse_acc_postcondition_of_rec_reverse_acc_14_4.smt0.012.0400345146 - 146 - FalseFalse - 0 - 0 - 23 - 1417 - 3
UF-2019/grasshopper/uninstantiated/rec_reverse_acc_postcondition_of_rec_reverse_acc_19_4.smt6.57Failed0 --- 361 --- 3541 --- 3541 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_reverse_acc_precondition_of_rec_reverse_acc_19_11.smt6.20Failed0 --- 96 --- 2148 --- 2148 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_reverse_loop_postcondition_of_rec_reverse_loop_15_4.smt0.021.7200552148 - 148 - FalseFalse - 0 - 0 - 23 - 1417 - 3
UF-2019/grasshopper/uninstantiated/rec_reverse_loop_postcondition_of_rec_reverse_loop_21_4.smt6.63Failed0 --- 346 --- 4000 --- 4000 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_reverse_loop_precondition_of_rec_reverse_loop_21_11.smt36.04Failed0 --- 107 --- 1232 --- 1232 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/rec_reverse_postcondition_of_rec_reverse_27_2.smt0.0212.350016165340 - 340 - FalseFalse - 0 - 0 - 33 - 2126 - 7
UF-2019/grasshopper/uninstantiated/rec_reverse_postcondition_of_rec_reverse_29_2.smt0.054.190010169341 - 341 - FalseFalse - 0 - 0 - 33 - 2126 - 7
UF-2019/grasshopper/uninstantiated/rec_reverse_precondition_of_rec_reverse_acc_27_9.smt0.005.7600536137 - 137 - FalseFalse - 0 - 0 - 21 - 3388 - 3
UF-2019/grasshopper/uninstantiated/rec_reverse_precondition_of_rec_reverse_loop_29_9.smt0.014.3300536135 - 135 - FalseFalse - 0 - 0 - 21 - 3388 - 3
UF-2019/grasshopper/uninstantiated/remove_invariant_18_4.smt0.015.7100345153 - 153 - FalseFalse - 0 - 0 - 23 - 3375 - 3
UF-2019/grasshopper/uninstantiated/remove_loop_invariant_25_5.smt1.0851.63001121142920 - 2920 - FalseFalse - 0 - 0 - 29 - 20941 - 5
UF-2019/grasshopper/uninstantiated/remove_postcondition_of_remove_33_4.smt6.44Failed0 --- 265 --- 2447 --- 2447 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/reverse_invariant_16_2.smt0.015.2300631146 - 146 - FalseFalse - 0 - 0 - 23 - 3375 - 3
UF-2019/grasshopper/uninstantiated/reverse_loop_invariant_25_3.smt25.16Failed0 --- 181 --- 27849 --- 27849 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/reverse_postcondition_of_reverse_26_1.smt0.16Failed0 --- 39 --- 1100 --- 1100 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/split_invariant_73_2.smt0.0160.1200351166 - 166 - FalseFalse - 0 - 0 - 26 - 9403 - 3
UF-2019/grasshopper/uninstantiated/split_loop_invariant_81_3.smt6.23Failed0 --- 320 --- 1284 --- 1284 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/traverse1_invariant_15_2.smt0.025.7300342153 - 153 - FalseFalse - 0 - 0 - 22 - 3413 - 3
UF-2019/grasshopper/uninstantiated/traverse1_loop_invariant_20_3.smt1.3578.37001551272855 - 2855 - FalseFalse - 0 - 0 - 27 - 15127 - 3
UF-2019/grasshopper/uninstantiated/traverse2_invariant_30_4.smt0.025.3500445157 - 157 - FalseFalse - 0 - 0 - 22 - 3370 - 3
UF-2019/grasshopper/uninstantiated/traverse2_loop_invariant_35_5.smt0.45114.63009315171015 - 1015 - FalseFalse - 0 - 0 - 27 - 20766 - 3
UF-2019/grasshopper/uninstantiated/union_check_heap_access_40_4.smt0.083.130020244524 - 524 - FalseFalse - 0 - 0 - 69 - 1594 - 10
UF-2019/grasshopper/uninstantiated/union_postcondition_of_union_42_1.smt7.82Failed0 --- 847 --- 6799 --- 6799 --- False --- - --- - --- - --- - --- - ---
UF-2019/grasshopper/uninstantiated/union_precondition_of_find_38_7.smt6.55Failed0 --- 352 --- 3488 --- 3488 --- False --- - --- - --- - --- - --- - ---
UF-2019/misc/set12.smt0.0111.080022226 - 226 - FalseFalse - 0 - 0 - 6 - 5206 - 3
UF-2019/misc/set13.smt0.0010.900022226 - 226 - FalseFalse - 0 - 0 - 6 - 5206 - 3
UF-2019/misc/set17.smt0.018.100000216 - 216 - FalseFalse - 0 - 0 - 6 - 4654 - 3
UF-2019/misc/set6.smt0.018.370043232 - 232 - FalseFalse - 0 - 0 - 6 - 5210 - 3
UF-2019/sledgehammer/Arrow_Order/smtlib.596628.smt0.026.120002140 - 140 - FalseFalse - 0 - 0 - 104 - 359 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.600611.smt0.026.3500292202 - 202 - FalseFalse - 0 - 0 - 104 - 887 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.604218.smt7.39Failed0 --- 1603 --- 8390 --- 8390 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/smtlib.612164.smt7.32Failed0 --- 1402 --- 7858 --- 7858 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/smtlib.635236.smt21.0183.65008313198167532 - 167532 - FalseFalse - 0 - 0 - 66 - 161613 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.651469.smt0.13Failed0 --- 69 --- 797 --- 797 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/smtlib.657312.smt0.53Failed0 --- 380 --- 3868 --- 3868 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/smtlib.657570.smt0.081.48005858261 - 261 - FalseFalse - 0 - 0 - 19 - 261 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.663277.smt0.58Failed0 --- 67 --- 1224 --- 1224 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/smtlib.663965.smt0.514.61000024 - 24 - FalseFalse - 0 - 0 - 3155 - 24 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.667309.smt0.3849.3300010576 - 576 - FalseFalse - 0 - 0 - 579 - 3091 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.667782.smt0.1243.270000170 - 170 - FalseFalse - 0 - 0 - 1085 - 590 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.667974.smt0.1043.67000097 - 97 - FalseFalse - 0 - 0 - 1050 - 323 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.683901.smt0.41Failed0 --- 45 --- 1395 --- 1395 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/smtlib.689971.smt0.2194.5500111897 - 897 - FalseFalse - 0 - 0 - 449 - 20725 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.700430.smt0.474.5300116 - 6 - FalseFalse - 0 - 0 - 3303 - 6 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.703012.smt0.365.09000017 - 17 - FalseFalse - 0 - 0 - 3304 - 18 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.705617.smt0.354.56000019 - 19 - FalseFalse - 0 - 0 - 3304 - 20 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.712064.smt0.0548.540000946 - 946 - FalseFalse - 0 - 0 - 15 - 82 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.718486.smt0.0247.850044897 - 897 - FalseFalse - 0 - 0 - 16 - 72 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.724800.smt0.0348.460044897 - 897 - FalseFalse - 0 - 0 - 16 - 72 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.727701.smt0.0448.070044897 - 897 - FalseFalse - 0 - 0 - 16 - 72 - 0
UF-2019/sledgehammer/Arrow_Order/smtlib.761827.smt0.0449.00001641024 - 1024 - FalseFalse - 0 - 0 - 14 - 16 - 0
UF-2019/sledgehammer/Arrow_Order/uf.554755.smt0.057.2800330 - 0 - FalseFalse - 0 - 0 - 228 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.555531.smt0.027.3300330 - 0 - FalseFalse - 0 - 0 - 145 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.555944.smt0.027.1500330 - 0 - FalseFalse - 0 - 0 - 78 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.557783.smt0.047.4100330 - 0 - FalseFalse - 0 - 0 - 182 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.558544.smt0.027.2700330 - 0 - FalseFalse - 0 - 0 - 145 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.560933.smt3.51Failed0 --- 13717 --- 6148 --- 6148 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.561879.smt6.30Failed0 --- 19299 --- 4753 --- 4753 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.564551.smt0.277.520000127 - 127 - FalseFalse - 0 - 0 - 490 - 140 - 0
UF-2019/sledgehammer/Arrow_Order/uf.566535.smt6.25Failed0 --- 441 --- 2183 --- 2183 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.569117.smt0.0618.8000579314 - 314 - FalseFalse - 0 - 0 - 306 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.574473.smt6.43Failed0 --- 42 --- 11701 --- 11701 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.577560.smt0.081.14002735199 - 199 - FalseFalse - 0 - 0 - 211 - 218 - 0
UF-2019/sledgehammer/Arrow_Order/uf.588295.smt4.70Failed0 --- 3266 --- 9114 --- 9114 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.595937.smt0.036.170002196 - 196 - FalseFalse - 0 - 0 - 104 - 891 - 0
UF-2019/sledgehammer/Arrow_Order/uf.598789.smt7.44Failed0 --- 606 --- 6219 --- 6219 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.599950.smt0.026.3100292202 - 202 - FalseFalse - 0 - 0 - 104 - 697 - 0
UF-2019/sledgehammer/Arrow_Order/uf.603560.smt7.92Failed0 --- 1917 --- 8358 --- 8358 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.607387.smt0.259.29007372873 - 873 - FalseFalse - 0 - 0 - 204 - 1950 - 0
UF-2019/sledgehammer/Arrow_Order/uf.611966.smt8.78Failed0 --- 2874 --- 8093 --- 8093 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.615681.smt0.308.320014621821 - 821 - FalseFalse - 0 - 0 - 249 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.624562.smt9.36Failed0 --- 1980 --- 55784 --- 55784 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.625476.smt7.81Failed0 --- 805 --- 32238 --- 32238 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.625947.smt10.63Failed0 --- 1334 --- 16087 --- 16087 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.629145.smt0.48Failed0 --- 276 --- 2670 --- 2670 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.630087.smt21.0798.93007023748162186 - 162186 - FalseFalse - 0 - 0 - 65 - 271313 - 0
UF-2019/sledgehammer/Arrow_Order/uf.633075.smt0.79Failed0 --- 634 --- 4134 --- 4134 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.633990.smt21.17Failed0 --- 83 --- 167532 --- 167532 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.636833.smt0.356.950046614157 - 4157 - FalseFalse - 0 - 0 - 318 - 232 - 0
UF-2019/sledgehammer/Arrow_Order/uf.640495.smt0.177.49001322126 - 126 - FalseFalse - 0 - 0 - 462 - 149 - 0
UF-2019/sledgehammer/Arrow_Order/uf.644073.smt0.1056.09005050183 - 183 - FalseFalse - 0 - 0 - 318 - 198 - 0
UF-2019/sledgehammer/Arrow_Order/uf.646503.smt0.242.150066628 - 628 - FalseFalse - 0 - 0 - 815 - 1736 - 0
UF-2019/sledgehammer/Arrow_Order/uf.649769.smt0.59Failed0 --- 269 --- 4182 --- 4182 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.652137.smt0.131.7800110 - 0 - FalseFalse - 0 - 0 - 819 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.655306.smt3.72Failed0 --- 786 --- 12977 --- 12977 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.664837.smt0.2855.70003172337 - 2337 - FalseFalse - 0 - 0 - 897 - 30558 - 0
UF-2019/sledgehammer/Arrow_Order/uf.668316.smt0.1894.30006221054 - 1054 - FalseFalse - 0 - 0 - 760 - 8927 - 0
UF-2019/sledgehammer/Arrow_Order/uf.669282.smt0.1292.8900111650 - 650 - FalseFalse - 0 - 0 - 444 - 8247 - 0
UF-2019/sledgehammer/Arrow_Order/uf.671771.smt0.27Failed0 --- 129 --- 2195 --- 2195 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.674009.smt0.3594.20007231255 - 1255 - FalseFalse - 0 - 0 - 760 - 10902 - 0
UF-2019/sledgehammer/Arrow_Order/uf.674949.smt0.1293.5100111746 - 746 - FalseFalse - 0 - 0 - 445 - 9540 - 0
UF-2019/sledgehammer/Arrow_Order/uf.677211.smt0.26Failed0 --- 90 --- 1513 --- 1513 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.679235.smt0.2496.970015393025 - 3025 - FalseFalse - 0 - 0 - 826 - 61430 - 0
UF-2019/sledgehammer/Arrow_Order/uf.680112.smt0.1492.4700111871 - 871 - FalseFalse - 0 - 0 - 448 - 11392 - 0
UF-2019/sledgehammer/Arrow_Order/uf.684805.smt0.218.69003934348 - 348 - FalseFalse - 0 - 0 - 885 - 544 - 0
UF-2019/sledgehammer/Arrow_Order/uf.687700.smt0.29Failed0 --- 232 --- 2292 --- 2292 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.688574.smt0.4993.7000111610 - 610 - FalseFalse - 0 - 0 - 476 - 2247 - 0
UF-2019/sledgehammer/Arrow_Order/uf.690998.smt0.32Failed0 --- 37 --- 1296 --- 1296 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.693804.smt0.2298.6400819148 - 148 - FalseFalse - 0 - 0 - 844 - 199 - 0
UF-2019/sledgehammer/Arrow_Order/uf.696383.smt0.158.0700330 - 0 - FalseFalse - 0 - 0 - 240 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.697323.smt0.067.4500330 - 0 - FalseFalse - 0 - 0 - 169 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.699223.smt0.177.890011221458 - 1458 - FalseFalse - 0 - 0 - 315 - 1032 - 0
UF-2019/sledgehammer/Arrow_Order/uf.701743.smt0.3111.57009301436 - 1436 - FalseFalse - 0 - 0 - 316 - 61046 - 0
UF-2019/sledgehammer/Arrow_Order/uf.704291.smt0.2114.19008361212 - 1212 - FalseFalse - 0 - 0 - 317 - 77215 - 0
UF-2019/sledgehammer/Arrow_Order/uf.706854.smt0.1396.6300225747 - 747 - FalseFalse - 0 - 0 - 267 - 34108 - 0
UF-2019/sledgehammer/Arrow_Order/uf.707751.smt0.17101.0400121925 - 925 - FalseFalse - 0 - 0 - 688 - 33067 - 0
UF-2019/sledgehammer/Arrow_Order/uf.710452.smt0.21103.6100022817 - 817 - FalseFalse - 0 - 0 - 256 - 31560 - 0
UF-2019/sledgehammer/Arrow_Order/uf.710903.smt0.0146.50000059 - 59 - FalseFalse - 0 - 0 - 21 - 151 - 0
UF-2019/sledgehammer/Arrow_Order/uf.713147.smt0.21100.5500121976 - 976 - FalseFalse - 0 - 0 - 267 - 30325 - 0
UF-2019/sledgehammer/Arrow_Order/uf.714038.smt0.26101.23001211495 - 1495 - FalseFalse - 0 - 0 - 696 - 60971 - 0
UF-2019/sledgehammer/Arrow_Order/uf.716715.smt0.54Failed0 --- 22 --- 4154 --- 4154 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.717490.smt0.1251.0900661794 - 1794 - FalseFalse - 0 - 0 - 16 - 144 - 0
UF-2019/sledgehammer/Arrow_Order/uf.720017.smt0.1896.8500121967 - 967 - FalseFalse - 0 - 0 - 278 - 32899 - 0
UF-2019/sledgehammer/Arrow_Order/uf.720901.smt0.23103.47001211359 - 1359 - FalseFalse - 0 - 0 - 697 - 64434 - 0
UF-2019/sledgehammer/Arrow_Order/uf.723373.smt0.22Failed0 --- 33 --- 1025 --- 1025 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.723857.smt0.0548.090044897 - 897 - FalseFalse - 0 - 0 - 16 - 72 - 0
UF-2019/sledgehammer/Arrow_Order/uf.726129.smt0.31Failed0 --- 54 --- 1179 --- 1179 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.726675.smt0.0348.100044897 - 897 - FalseFalse - 0 - 0 - 16 - 72 - 0
UF-2019/sledgehammer/Arrow_Order/uf.730871.smt0.101.520000194 - 194 - FalseFalse - 0 - 0 - 274 - 1024 - 0
UF-2019/sledgehammer/Arrow_Order/uf.732844.smt0.161.530000191 - 191 - FalseFalse - 0 - 0 - 284 - 1027 - 0
UF-2019/sledgehammer/Arrow_Order/uf.734845.smt0.6785.950057206167 - 6167 - FalseFalse - 0 - 0 - 244 - 174782 - 0
UF-2019/sledgehammer/Arrow_Order/uf.739361.smt0.161.380044114 - 114 - FalseFalse - 0 - 0 - 623 - 162 - 0
UF-2019/sledgehammer/Arrow_Order/uf.744690.smt0.76109.700010263040 - 3040 - FalseFalse - 0 - 0 - 519 - 206 - 0
UF-2019/sledgehammer/Arrow_Order/uf.747272.smt0.86109.42009263084 - 3084 - FalseFalse - 0 - 0 - 519 - 206 - 0
UF-2019/sledgehammer/Arrow_Order/uf.751785.smt0.28102.6600061924 - 1924 - FalseFalse - 0 - 0 - 906 - 82301 - 0
UF-2019/sledgehammer/Arrow_Order/uf.756196.smt0.2798.13000281415 - 1415 - FalseFalse - 0 - 0 - 722 - 339 - 0
UF-2019/sledgehammer/Arrow_Order/uf.759525.smt0.2298.62001021187 - 187 - FalseFalse - 0 - 0 - 844 - 327 - 0
UF-2019/sledgehammer/Arrow_Order/uf.762450.smt0.23100.6600617185 - 185 - FalseFalse - 0 - 0 - 844 - 313 - 0
UF-2019/sledgehammer/Arrow_Order/uf.764935.smt0.2199.240027165 - 165 - FalseFalse - 0 - 0 - 714 - 324 - 0
UF-2019/sledgehammer/Arrow_Order/uf.767278.smt0.2297.480049175 - 175 - FalseFalse - 0 - 0 - 714 - 309 - 0
UF-2019/sledgehammer/Arrow_Order/uf.769598.smt0.071.1500000 - 0 - FalseFalse - 0 - 0 - 682 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.774042.smt0.047.5100330 - 0 - FalseFalse - 0 - 0 - 211 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.774798.smt0.037.3600330 - 0 - FalseFalse - 0 - 0 - 148 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.777334.smt6.37Failed0 --- 739 --- 3162 --- 3162 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.779598.smt0.181.9800440 - 0 - FalseFalse - 0 - 0 - 1127 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.781938.smt0.40Failed0 --- 89 --- 1725 --- 1725 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.784249.smt0.261.6800440 - 0 - FalseFalse - 0 - 0 - 989 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.786124.smt0.44Failed0 --- 77 --- 1811 --- 1811 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.792027.smt0.35Failed0 --- 63 --- 1606 --- 1606 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.792988.smt0.26Failed0 --- 22 --- 750 --- 750 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.795613.smt0.37Failed0 --- 61 --- 1948 --- 1948 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.796562.smt0.28Failed0 --- 22 --- 675 --- 675 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.798976.smt0.26Failed0 --- 133 --- 1354 --- 1354 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.799790.smt0.30Failed0 --- 47 --- 880 --- 880 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.803684.smt0.71Failed0 --- 1334 --- 5278 --- 5278 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.806754.smt0.90Failed0 --- 623 --- 3874 --- 3874 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.807644.smt0.56Failed0 --- 8 --- 4848 --- 4848 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.808064.smt0.48Failed0 --- 6 --- 2861 --- 2861 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.810032.smt0.84Failed0 --- 674 --- 4737 --- 4737 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.810908.smt4.41Failed0 --- 791 --- 34031 --- 34031 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.813308.smt0.6118.32006915010759 - 10759 - FalseFalse - 0 - 0 - 163 - 571174 - 0
UF-2019/sledgehammer/Arrow_Order/uf.815502.smt0.152.07003537214 - 214 - FalseFalse - 0 - 0 - 247 - 299 - 0
UF-2019/sledgehammer/Arrow_Order/uf.820514.smt0.108.1200330 - 0 - FalseFalse - 0 - 0 - 211 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.821436.smt0.097.5300330 - 0 - FalseFalse - 0 - 0 - 114 - 0 - 0
UF-2019/sledgehammer/Arrow_Order/uf.823592.smt1.94Failed0 --- 4432 --- 5448 --- 5448 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.824181.smt0.314.5600339 - 9 - FalseFalse - 0 - 0 - 3361 - 9 - 0
UF-2019/sledgehammer/Arrow_Order/uf.826435.smt0.31116.000081515395 - 5395 - FalseFalse - 0 - 0 - 189 - 1488001 - 0
UF-2019/sledgehammer/Arrow_Order/uf.829633.smt0.3674.59001021114437 - 4437 - FalseFalse - 0 - 0 - 403 - 170798 - 0
UF-2019/sledgehammer/Arrow_Order/uf.830490.smt0.4865.95009161593 - 1593 - FalseFalse - 0 - 0 - 552 - 56292 - 0
UF-2019/sledgehammer/Arrow_Order/uf.830954.smt0.597.7900203296 - 3296 - FalseFalse - 0 - 0 - 1132 - 6001 - 0
UF-2019/sledgehammer/Arrow_Order/uf.836907.smt23.65Failed0 --- 0 --- 1396 --- 1396 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.841909.smt0.37138.94001662036134 - 6134 - FalseFalse - 0 - 0 - 349 - 714605 - 0
UF-2019/sledgehammer/Arrow_Order/uf.842769.smt0.36130.690072934673 - 4673 - FalseFalse - 0 - 0 - 293 - 706448 - 0
UF-2019/sledgehammer/Arrow_Order/uf.844998.smt0.4166.870069626871 - 6871 - FalseFalse - 0 - 0 - 496 - 268029 - 0
UF-2019/sledgehammer/Arrow_Order/uf.845461.smt0.465.770000132 - 132 - FalseFalse - 0 - 0 - 3824 - 135 - 0
UF-2019/sledgehammer/Arrow_Order/uf.850780.smt0.66Failed0 --- 2505 --- 5105 --- 5105 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/uf.851581.smt0.54Failed0 --- 149 --- 3311 --- 3311 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Arrow_Order/z3.725873.smt0.0141.11004419 - 19 - FalseFalse - 0 - 0 - 16 - 72 - 0
UF-2019/sledgehammer/Arrow_Order/z3.726293.smt0.0141.23004420 - 20 - FalseFalse - 0 - 0 - 15 - 36 - 0
UF-2019/sledgehammer/Arrow_Order/z3.726718.smt0.0141.40004420 - 20 - FalseFalse - 0 - 0 - 15 - 36 - 0
UF-2019/sledgehammer/Arrow_Order/z3.727181.smt0.0347.690044420 - 420 - FalseFalse - 0 - 0 - 15 - 36 - 0
UF-2019/sledgehammer/FFT/uf.552859.smt0.031.110000349 - 349 - FalseFalse - 0 - 0 - 46 - 639 - 0
UF-2019/sledgehammer/FFT/uf.572233.smt11.95107.73007786306 - 306 - FalseFalse - 0 - 0 - 57 - 306 - 0
UF-2019/sledgehammer/FFT/uf.573210.smt11.98107.07002934170 - 170 - FalseFalse - 0 - 0 - 34 - 170 - 0
UF-2019/sledgehammer/FFT/uf.573736.smt11.75104.16002328162 - 162 - FalseFalse - 0 - 0 - 34 - 162 - 0
UF-2019/sledgehammer/FFT/uf.587354.smt3.7286.870079023290 - 3290 - FalseFalse - 0 - 0 - 60 - 42466 - 0
UF-2019/sledgehammer/FFT/uf.588197.smt16.5290.61004490049 - 90049 - FalseFalse - 0 - 0 - 42 - 89990 - 0
UF-2019/sledgehammer/FFT/uf.590174.smt9.31189.490025927562363 - 2363 - FalseFalse - 0 - 0 - 79 - 45113 - 0
UF-2019/sledgehammer/FFT/uf.590937.smt0.4882.580053243666 - 3666 - FalseFalse - 0 - 0 - 40 - 5897 - 0
UF-2019/sledgehammer/FFT/uf.600765.smt0.041.2700172199291 - 291 - FalseFalse - 0 - 0 - 30 - 334 - 0
UF-2019/sledgehammer/FFT/uf.608820.smt0.222.270015122484 - 484 - FalseFalse - 0 - 0 - 38 - 1180 - 0
UF-2019/sledgehammer/FFT/uf.609404.smt1.90118.9000230523940 - 3940 - FalseFalse - 0 - 0 - 37 - 286679 - 0
UF-2019/sledgehammer/FFT/uf.612658.smt0.162.61001742476 - 476 - FalseFalse - 0 - 0 - 38 - 1256 - 0
UF-2019/sledgehammer/FFT/uf.621887.smt0.536.19001106864 - 864 - FalseFalse - 0 - 0 - 59 - 1895 - 0
UF-2019/sledgehammer/FFT/uf.622438.smt0.112.94002651345 - 345 - FalseFalse - 0 - 0 - 51 - 738 - 0
UF-2019/sledgehammer/FFT/uf.637730.smt109.70136.0200513391157643 - 157643 - FalseFalse - 0 - 0 - 58 - 902759 - 0
UF-2019/sledgehammer/FFT/uf.642828.smt0.042.010000874 - 874 - FalseFalse - 0 - 0 - 39 - 1844 - 0
UF-2019/sledgehammer/FFT/uf.643487.smt0.2817.71007316496 - 6496 - FalseFalse - 0 - 0 - 33 - 359760 - 0
UF-2019/sledgehammer/FFT/uf.645758.smt0.053.0900820403 - 403 - FalseFalse - 0 - 0 - 33 - 1052 - 0
UF-2019/sledgehammer/FFT/uf.657949.smt0.4110.13001817410527 - 10527 - FalseFalse - 0 - 0 - 83 - 377973 - 0
UF-2019/sledgehammer/FFT/uf.661004.smt0.413.05001063838948 - 8948 - FalseFalse - 0 - 0 - 40 - 862 - 0
UF-2019/sledgehammer/FFT/uf.682952.smt0.3612.26002417311148 - 11148 - FalseFalse - 0 - 0 - 83 - 415868 - 0
UF-2019/sledgehammer/FFT/uf.686001.smt0.171.6000114409652 - 652 - FalseFalse - 0 - 0 - 40 - 888 - 0
UF-2019/sledgehammer/FFT/uf.822041.smt0.0910.7200135225601 - 601 - FalseFalse - 0 - 0 - 44 - 88503 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.634795.smt0.276.5300008511 - 8511 - FalseFalse - 0 - 0 - 90 - 228426 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.731390.smt61.39Failed0 --- 2777 --- 18917 --- 18917 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.731542.smt6.20Failed0 --- 258 --- 2711 --- 2711 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.954198.smt5.4438.25009514556784 - 6784 - FalseFalse - 0 - 0 - 16 - 394226 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.954680.smt20.21Failed0 --- 6245 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.954931.smt43.88Failed0 --- 2022 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/smtlib.968857.smt10.73Failed0 --- 694 --- 3705 --- 3705 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1001455.smt104.65Failed0 --- 2787 --- 23293 --- 23293 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1012908.smt0.056.4300330 - 0 - FalseFalse - 0 - 0 - 166 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1025050.smt0.142.66004495850 - 5850 - FalseFalse - 0 - 0 - 121 - 67832 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1046840.smt0.111.5700123273237 - 237 - FalseFalse - 0 - 0 - 121 - 441 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1049547.smt0.071.600072283403 - 403 - FalseFalse - 0 - 0 - 121 - 806 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1079201.smt0.081.9100002501 - 2501 - FalseFalse - 0 - 0 - 189 - 30499 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1081434.smt0.077.38009986 - 86 - FalseFalse - 0 - 0 - 345 - 87 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1122777.smt3.39Failed0 --- 146 --- 52575 --- 52575 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1123504.smt1.2245.6900435130071 - 30071 - FalseFalse - 0 - 0 - 108 - 13424 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1127358.smt0.057.2300220 - 0 - FalseFalse - 0 - 0 - 114 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1146193.smt0.107.5700710198 - 198 - FalseFalse - 0 - 0 - 102 - 288 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1151210.smt0.056.9700110 - 0 - FalseFalse - 0 - 0 - 101 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1155773.smt0.235.26008301040 - 1040 - FalseFalse - 0 - 0 - 84 - 3012 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1156429.smt0.0749.14008341339 - 1339 - FalseFalse - 0 - 0 - 92 - 5951 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1156536.smt0.0234.660002513 - 513 - FalseFalse - 0 - 0 - 26 - 2684 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1158267.smt0.0153.25001176 - 76 - FalseFalse - 0 - 0 - 26 - 76 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1158451.smt0.0053.62001176 - 76 - FalseFalse - 0 - 0 - 26 - 76 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1160078.smt0.051.170041125439 - 439 - FalseFalse - 0 - 0 - 169 - 753 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1161795.smt0.49Failed0 --- 7 --- 17742 --- 17742 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1162357.smt10.2290.24007542121227 - 1227 - FalseFalse - 0 - 0 - 160 - 333333 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1165463.smt0.141.990054315727 - 727 - FalseFalse - 0 - 0 - 115 - 1541 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1168385.smt31.9479.2100036072067 - 72067 - FalseFalse - 0 - 0 - 41 - 3456 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1170236.smt4.4265.460018430845350 - 45350 - FalseFalse - 0 - 0 - 33 - 1460 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1174584.smt2.37Failed0 --- 466 --- 24213 --- 24213 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1176478.smt0.102.850013810911272 - 1272 - FalseFalse - 0 - 0 - 99 - 2268 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1183270.smt0.091.4000001167 - 1167 - FalseFalse - 0 - 0 - 57 - 3457 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1183996.smt0.424.43009781473 - 473 - FalseFalse - 0 - 0 - 51 - 756 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1186097.smt0.335.7300301731769 - 769 - FalseFalse - 0 - 0 - 53 - 1443 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1187676.smt0.081.130022842 - 842 - FalseFalse - 0 - 0 - 98 - 2980 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1189405.smt6.4389.040013410586747142 - 7142 - FalseFalse - 0 - 0 - 63 - 2510 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1197665.smt0.216.0800845591575 - 1575 - FalseFalse - 0 - 0 - 50 - 2893 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1198393.smt0.101.94001596566 - 566 - FalseFalse - 0 - 0 - 31 - 1139 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1198781.smt135.55Failed0 --- 951 --- 97015 --- 97015 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1217270.smt29.68Failed0 --- 179 --- 846 --- 846 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1219482.smt4.4269.960017602263 - 2263 - FalseFalse - 0 - 0 - 67 - 15663 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1220106.smt0.6730.0400137641759 - 759 - FalseFalse - 0 - 0 - 61 - 3258 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1221629.smt0.112.870013131902 - 1902 - FalseFalse - 0 - 0 - 113 - 26982 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1223053.smt0.162.140013131885 - 1885 - FalseFalse - 0 - 0 - 113 - 26423 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1230811.smt0.101.8400002453 - 2453 - FalseFalse - 0 - 0 - 116 - 17492 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1231971.smt0.091.1100110 - 0 - FalseFalse - 0 - 0 - 104 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1249203.smt0.1191.9200111381 - 1381 - FalseFalse - 0 - 0 - 153 - 13241 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1251907.smt0.041.2700671683 - 683 - FalseFalse - 0 - 0 - 143 - 763 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1264398.smt0.151.5500001427 - 1427 - FalseFalse - 0 - 0 - 100 - 9849 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1281914.smt0.071.690073170438 - 438 - FalseFalse - 0 - 0 - 159 - 722 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1371504.smt0.142.560024704065 - 4065 - FalseFalse - 0 - 0 - 188 - 35981 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1377600.smt2.69Failed0 --- 4115 --- 12666 --- 12666 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1379442.smt0.081.1000183305216 - 216 - FalseFalse - 0 - 0 - 162 - 303 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1380941.smt0.041.27003483194 - 194 - FalseFalse - 0 - 0 - 144 - 247 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1396986.smt0.047.1100110 - 0 - FalseFalse - 0 - 0 - 162 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1402772.smt0.1845.24003136676 - 6676 - FalseFalse - 0 - 0 - 168 - 29894 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1403329.smt41.21Failed0/tmp/GridTPT/560/new:19223535735 - 735 - False--disable-print-success - line - 22: - Killed - $exec - --disable-banner
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1404865.smt0.061.190026929 - 929 - FalseFalse - 0 - 0 - 182 - 4416 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1418084.smt0.43107.220023933819230 - 9230 - FalseFalse - 0 - 0 - 139 - 3724 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1438950.smt0.068.86002626494 - 494 - FalseFalse - 0 - 0 - 93 - 2623 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1451238.smt2.95Failed0 --- 585 --- 42700 --- 42700 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.1458056.smt0.056.9200110 - 0 - FalseFalse - 0 - 0 - 159 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.560771.smt0.051.380099516 - 516 - FalseFalse - 0 - 0 - 47 - 523 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.569910.smt0.051.100022858 - 858 - FalseFalse - 0 - 0 - 44 - 1802 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.571740.smt0.142.73005595312 - 312 - FalseFalse - 0 - 0 - 53 - 751 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.576194.smt0.93Failed0malloc150line15571 - 15571 - Falsesrc/utils/general.c - error - on - 85 - in - file
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.582469.smt0.211.740038234751 - 4751 - FalseFalse - 0 - 0 - 45 - 129 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.584280.smt0.061.8400111248 - 1248 - FalseFalse - 0 - 0 - 65 - 5952 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.590503.smt2.0392.910017731718 - 1718 - FalseFalse - 0 - 0 - 60 - 17470 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.596367.smt7.0623.8900664981894 - 1894 - FalseFalse - 0 - 0 - 35 - 1063 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.604516.smt7.35Failed0 --- 928 --- 61040 --- 61040 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.607706.smt6.00Failed0 --- 22 --- 6201 --- 6201 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.609434.smt0.061.2800001224 - 1224 - FalseFalse - 0 - 0 - 35 - 4535 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.610218.smt11.76Failed0 --- 109 --- 50005 --- 50005 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.615837.smt0.061.200000849 - 849 - FalseFalse - 0 - 0 - 82 - 2731 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.617666.smt0.131.2400001352 - 1352 - FalseFalse - 0 - 0 - 85 - 5219 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.619344.smt1.53135.060073974231446 - 1446 - FalseFalse - 0 - 0 - 41 - 5934 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.620044.smt0.778.6800108113817367 - 17367 - FalseFalse - 0 - 0 - 40 - 1707 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.622124.smt1.0638.140041224481496 - 1496 - FalseFalse - 0 - 0 - 94 - 4288 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.623928.smt0.061.3500001809 - 1809 - FalseFalse - 0 - 0 - 233 - 2784 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.628009.smt0.22Failed0 --- 0 --- 8504 --- 8504 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.688460.smt134.75Failed0 --- 31291 --- 48330 --- 48330 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.690654.smt0.091.1300921462726 - 2726 - FalseFalse - 0 - 0 - 21 - 7925 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.698756.smt0.015.830000139 - 139 - FalseFalse - 0 - 0 - 45 - 146 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.706395.smt0.086.7500816330 - 330 - FalseFalse - 0 - 0 - 65 - 411 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.707029.smt0.046.47001080219 - 219 - FalseFalse - 0 - 0 - 40 - 270 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.714667.smt0.031.1400890 - 0 - FalseFalse - 0 - 0 - 64 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.717973.smt0.9441.7700441211023119 - 23119 - FalseFalse - 0 - 0 - 11 - 116503 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.718080.smt0.0618.78001912312312 - 2312 - FalseFalse - 0 - 0 - 11 - 46186 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.722947.smt4.20Failed0 --- 1370 --- 17955 --- 17955 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.731041.smt0.162.03003332083702 - 702 - FalseFalse - 0 - 0 - 64 - 1294 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.734512.smt0.234.9900670897 - 897 - FalseFalse - 0 - 0 - 54 - 1878 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.750355.smt0.072.28001818665 - 665 - FalseFalse - 0 - 0 - 51 - 1443 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.789115.smt0.072.0200001398 - 1398 - FalseFalse - 0 - 0 - 64 - 14002 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.796946.smt0.036.0900220 - 0 - FalseFalse - 0 - 0 - 78 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.798426.smt0.096.270046217886 - 886 - FalseFalse - 0 - 0 - 56 - 1253 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.800226.smt0.041.340000955 - 955 - FalseFalse - 0 - 0 - 57 - 1519 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.806960.smt19.21Failed0 --- 9727 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.811205.smt0.065.82002667475 - 475 - FalseFalse - 0 - 0 - 99 - 622 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.812887.smt0.041.150000495 - 495 - FalseFalse - 0 - 0 - 106 - 694 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.819830.smt21.31Failed0 --- 14577 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.828004.smt0.032.1400715174 - 174 - FalseFalse - 0 - 0 - 40 - 222 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.846063.smt6.03Failed0 --- 159 --- 2322 --- 2322 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.854071.smt0.071.6900002137 - 2137 - FalseFalse - 0 - 0 - 108 - 9443 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.855978.smt0.152.450041361996 - 996 - FalseFalse - 0 - 0 - 100 - 1514 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.867247.smt3.9432.370053202638 - 2638 - FalseFalse - 0 - 0 - 44 - 20691 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.870785.smt0.041.1300440 - 0 - FalseFalse - 0 - 0 - 39 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.881705.smt177.15Failed0 --- 23992 --- 102688 --- 102688 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.883655.smt0.055.900000247 - 247 - FalseFalse - 0 - 0 - 123 - 315 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.885401.smt0.036.410000254 - 254 - FalseFalse - 0 - 0 - 124 - 314 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.888785.smt0.045.9800220 - 0 - FalseFalse - 0 - 0 - 119 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.889741.smt0.025.9800220 - 0 - FalseFalse - 0 - 0 - 29 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.893131.smt0.026.5800110 - 0 - FalseFalse - 0 - 0 - 126 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.894677.smt0.067.15007401083 - 1083 - FalseFalse - 0 - 0 - 99 - 1715 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.903234.smt0.034.3700340 - 0 - FalseFalse - 0 - 0 - 120 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.905022.smt3.58Failed0 --- 5005 --- 18485 --- 18485 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.905694.smt0.2454.3900142684397239 - 7239 - FalseFalse - 0 - 0 - 93 - 45401 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.916184.smt0.051.1100910481 - 481 - FalseFalse - 0 - 0 - 57 - 640 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.922317.smt9.08Failed0 --- 304 --- 6076 --- 6076 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.924913.smt0.061.2700740383 - 383 - FalseFalse - 0 - 0 - 43 - 444 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.928051.smt11.26Failed0 --- 1879 --- 3159 --- 3159 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.929052.smt2.6662.660091051165967 - 5967 - FalseFalse - 0 - 0 - 14 - 235651 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.942267.smt45.61Failed0 --- 4265 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.952589.smt10.97Failed0 --- 12319 --- 24957 --- 24957 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.954360.smt0.071.280000314 - 314 - FalseFalse - 0 - 0 - 63 - 461 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.957456.smt0.026.3100110 - 0 - FalseFalse - 0 - 0 - 73 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.971236.smt0.101.3600610566 - 566 - FalseFalse - 0 - 0 - 118 - 797 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.974621.smt0.192.900075185524 - 524 - FalseFalse - 0 - 0 - 101 - 958 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.976454.smt0.072.260000871 - 871 - FalseFalse - 0 - 0 - 91 - 2882 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.981902.smt0.066.4400220 - 0 - FalseFalse - 0 - 0 - 91 - 0 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.990309.smt1.3317.540020247725834 - 25834 - FalseFalse - 0 - 0 - 62 - 1275 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.991083.smt1.3481.3700187263217 - 3217 - FalseFalse - 0 - 0 - 37 - 343552 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.993323.smt0.1972.8100820385 - 385 - FalseFalse - 0 - 0 - 83 - 878 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.997114.smt122.20Failed0 --- 2506 --- 143566 --- 143566 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.997892.smt113.61126.65001524971283 - 71283 - FalseFalse - 0 - 0 - 93 - 902820 - 0
UF-2019/sledgehammer/Fundamental_Theorem_Algebra/uf.998261.smt28.72Failed0 --- 486 --- 12970 --- 12970 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/smtlib.1002393.smt0.052.5500192383 - 83 - FalseFalse - 0 - 0 - 116 - 91 - 0
UF-2019/sledgehammer/Hoare/smtlib.1005447.smt0.051.6800162085 - 85 - FalseFalse - 0 - 0 - 117 - 91 - 0
UF-2019/sledgehammer/Hoare/smtlib.1008357.smt0.081.25001924142 - 142 - FalseFalse - 0 - 0 - 102 - 149 - 0
UF-2019/sledgehammer/Hoare/smtlib.1053625.smt0.0649.240011777 - 777 - FalseFalse - 0 - 0 - 26 - 15 - 0
UF-2019/sledgehammer/Hoare/smtlib.1113392.smt0.0456.220021380 - 380 - FalseFalse - 0 - 0 - 24 - 6 - 0
UF-2019/sledgehammer/Hoare/smtlib.1113729.smt0.0034.3300116 - 6 - FalseFalse - 0 - 0 - 24 - 6 - 0
UF-2019/sledgehammer/Hoare/smtlib.1116374.smt0.0256.990011380 - 380 - FalseFalse - 0 - 0 - 25 - 6 - 0
UF-2019/sledgehammer/Hoare/smtlib.1116660.smt0.0049.4600116 - 6 - FalseFalse - 0 - 0 - 24 - 6 - 0
UF-2019/sledgehammer/Hoare/smtlib.1198510.smt0.02109.46001824196 - 196 - FalseFalse - 0 - 0 - 19 - 174 - 0
UF-2019/sledgehammer/Hoare/smtlib.1199350.smt1.10115.5200172241933 - 1933 - FalseFalse - 0 - 0 - 19 - 174 - 0
UF-2019/sledgehammer/Hoare/smtlib.1237786.smt0.0257.270011155 - 155 - FalseFalse - 0 - 0 - 24 - 5 - 0
UF-2019/sledgehammer/Hoare/smtlib.1238071.smt0.0156.130011155 - 155 - FalseFalse - 0 - 0 - 23 - 5 - 0
UF-2019/sledgehammer/Hoare/smtlib.672697.smt0.036.83000069 - 69 - FalseFalse - 0 - 0 - 133 - 77 - 0
UF-2019/sledgehammer/Hoare/smtlib.683503.smt0.106.7900110 - 0 - FalseFalse - 0 - 0 - 119 - 0 - 0
UF-2019/sledgehammer/Hoare/smtlib.685673.smt0.106.7800110 - 0 - FalseFalse - 0 - 0 - 119 - 0 - 0
UF-2019/sledgehammer/Hoare/smtlib.689154.smt0.31114.54003114703386 - 3386 - FalseFalse - 0 - 0 - 12 - 19963 - 0
UF-2019/sledgehammer/Hoare/smtlib.875166.smt0.0194.8800181773 - 73 - FalseFalse - 0 - 0 - 29 - 89 - 0
UF-2019/sledgehammer/Hoare/smtlib.914447.smt5.94Failed0 --- 2 --- 320 --- 320 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/smtlib.954663.smt0.0240.4100122591 - 91 - FalseFalse - 0 - 0 - 53 - 178 - 0
UF-2019/sledgehammer/Hoare/smtlib.998435.smt0.1323.12007102455 - 2455 - FalseFalse - 0 - 0 - 117 - 15624 - 0
UF-2019/sledgehammer/Hoare/uf.1000634.smt0.064.72002951317 - 317 - FalseFalse - 0 - 0 - 190 - 370 - 0
UF-2019/sledgehammer/Hoare/uf.1001519.smt0.035.29002334220 - 220 - FalseFalse - 0 - 0 - 224 - 259 - 0
UF-2019/sledgehammer/Hoare/uf.1020194.smt18.24109.600024849480 - 0 - FalseFalse - 0 - 0 - 232 - 208229 - 0
UF-2019/sledgehammer/Hoare/uf.1020552.smt0.0852.380021750 - 750 - FalseFalse - 0 - 0 - 25 - 14 - 0
UF-2019/sledgehammer/Hoare/uf.1020907.smt0.0356.900011378 - 378 - FalseFalse - 0 - 0 - 18 - 10 - 0
UF-2019/sledgehammer/Hoare/uf.1023256.smt0.1015.6200216219155 - 155 - FalseFalse - 0 - 0 - 232 - 247 - 0
UF-2019/sledgehammer/Hoare/uf.1050636.smt0.057.290044663 - 663 - FalseFalse - 0 - 0 - 170 - 4029 - 0
UF-2019/sledgehammer/Hoare/uf.1052798.smt0.036.6700110 - 0 - FalseFalse - 0 - 0 - 152 - 0 - 0
UF-2019/sledgehammer/Hoare/uf.1077716.smt0.1092.87006972171 - 171 - FalseFalse - 0 - 0 - 207 - 203 - 0
UF-2019/sledgehammer/Hoare/uf.1080568.smt0.1092.3600234237171 - 171 - FalseFalse - 0 - 0 - 208 - 203 - 0
UF-2019/sledgehammer/Hoare/uf.1083442.smt0.071.1600110 - 0 - FalseFalse - 0 - 0 - 223 - 0 - 0
UF-2019/sledgehammer/Hoare/uf.1108769.smt0.107.33003547227 - 227 - FalseFalse - 0 - 0 - 353 - 269 - 0
UF-2019/sledgehammer/Hoare/uf.1111125.smt0.046.7200220 - 0 - FalseFalse - 0 - 0 - 362 - 0 - 0
UF-2019/sledgehammer/Hoare/uf.1113164.smt0.122.66006398263 - 263 - FalseFalse - 0 - 0 - 353 - 310 - 0
UF-2019/sledgehammer/Hoare/uf.1116227.smt0.4423.970058946624 - 6624 - FalseFalse - 0 - 0 - 355 - 675485 - 0
UF-2019/sledgehammer/Hoare/uf.1118955.smt0.1012.04006559273 - 273 - FalseFalse - 0 - 0 - 355 - 361 - 0
UF-2019/sledgehammer/Hoare/uf.1129009.smt0.071.18000083 - 83 - FalseFalse - 0 - 0 - 203 - 90 - 0
UF-2019/sledgehammer/Hoare/uf.1133275.smt0.179.510029352473 - 2473 - FalseFalse - 0 - 0 - 263 - 50503 - 0
UF-2019/sledgehammer/Hoare/uf.1135670.smt0.087.91003528126 - 126 - FalseFalse - 0 - 0 - 246 - 139 - 0
UF-2019/sledgehammer/Hoare/uf.1138014.smt0.115.500017231666 - 1666 - FalseFalse - 0 - 0 - 257 - 17797 - 0
UF-2019/sledgehammer/Hoare/uf.1141474.smt0.172.330038502133 - 2133 - FalseFalse - 0 - 0 - 233 - 19049 - 0
UF-2019/sledgehammer/Hoare/uf.1145799.smt0.061.1100220 - 0 - FalseFalse - 0 - 0 - 215 - 0 - 0
UF-2019/sledgehammer/Hoare/uf.1161312.smt9.26Failed0 --- 123 --- 49125 --- 49125 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.1165760.smt0.101.22001319106 - 106 - FalseFalse - 0 - 0 - 95 - 140 - 0
UF-2019/sledgehammer/Hoare/uf.1168225.smt0.1260.0200873651161 - 1161 - FalseFalse - 0 - 0 - 83 - 5874 - 0
UF-2019/sledgehammer/Hoare/uf.1185112.smt6.02Failed0 --- 1 --- 102 --- 102 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.1185611.smt6.01Failed0 --- 1 --- 40 --- 40 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.1185881.smt5.95Failed0 --- 1 --- 27 --- 27 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.1197748.smtFailed82.34 --- 0 --- 368 --- - --- - --- False --- 0 --- 0 --- 154 --- 171963 --- 0
UF-2019/sledgehammer/Hoare/uf.565227.smt0.081.94001728182 - 182 - FalseFalse - 0 - 0 - 113 - 317 - 0
UF-2019/sledgehammer/Hoare/uf.573650.smt0.1710.850032030981129 - 1129 - FalseFalse - 0 - 0 - 77 - 4005 - 0
UF-2019/sledgehammer/Hoare/uf.575173.smt0.016.9400888 - 8 - FalseFalse - 0 - 0 - 18 - 8 - 0
UF-2019/sledgehammer/Hoare/uf.578545.smt0.037.1400121335 - 35 - FalseFalse - 0 - 0 - 82 - 37 - 0
UF-2019/sledgehammer/Hoare/uf.587490.smt0.032.37001235460 - 460 - FalseFalse - 0 - 0 - 110 - 1267 - 0
UF-2019/sledgehammer/Hoare/uf.591650.smt0.049.15003343111 - 111 - FalseFalse - 0 - 0 - 68 - 123 - 0
UF-2019/sledgehammer/Hoare/uf.595955.smt42.04Failed0 --- 2250 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.598848.smt0.145.8200472271231 - 1231 - FalseFalse - 0 - 0 - 83 - 14903 - 0
UF-2019/sledgehammer/Hoare/uf.601247.smt0.386.03008163792 - 3792 - FalseFalse - 0 - 0 - 93 - 117570 - 0
UF-2019/sledgehammer/Hoare/uf.604281.smt0.258.31008163635 - 3635 - FalseFalse - 0 - 0 - 93 - 57801 - 0
UF-2019/sledgehammer/Hoare/uf.615090.smt0.041.10002640150 - 150 - FalseFalse - 0 - 0 - 185 - 152 - 0
UF-2019/sledgehammer/Hoare/uf.629884.smt6.01Failed0 --- 111 --- 1185 --- 1185 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.633269.smt19.10Failed0 --- 5645 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.634377.smt0.076.27004330260 - 260 - FalseFalse - 0 - 0 - 156 - 658 - 0
UF-2019/sledgehammer/Hoare/uf.636885.smt0.082.570046123 - 123 - FalseFalse - 0 - 0 - 235 - 137 - 0
UF-2019/sledgehammer/Hoare/uf.644962.smt21.97Failed0 --- 6257 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.648032.smt0.4220.1900512201673 - 1673 - FalseFalse - 0 - 0 - 246 - 16147 - 0
UF-2019/sledgehammer/Hoare/uf.657450.smt0.117.050026091 - 91 - FalseFalse - 0 - 0 - 90 - 103 - 0
UF-2019/sledgehammer/Hoare/uf.668005.smt0.086.6000110 - 0 - FalseFalse - 0 - 0 - 110 - 0 - 0
UF-2019/sledgehammer/Hoare/uf.669996.smt0.046.4500110 - 0 - FalseFalse - 0 - 0 - 110 - 0 - 0
UF-2019/sledgehammer/Hoare/uf.673457.smt0.04105.020029202302 - 302 - FalseFalse - 0 - 0 - 17 - 6404 - 0
UF-2019/sledgehammer/Hoare/uf.694570.smt2.3281.800011639213110 - 3110 - FalseFalse - 0 - 0 - 68 - 102 - 0
UF-2019/sledgehammer/Hoare/uf.704279.smt1.33Failed0 --- 111 --- 3961 --- 3961 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.707387.smt0.051.220011155 - 155 - FalseFalse - 0 - 0 - 309 - 220 - 0
UF-2019/sledgehammer/Hoare/uf.775346.smt0.142.22003670607 - 607 - FalseFalse - 0 - 0 - 255 - 1834 - 0
UF-2019/sledgehammer/Hoare/uf.780041.smt5.93Failed0 --- 287 --- 9604 --- 9604 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.780666.smt0.18Failed0 --- 26 --- 1989 --- 1989 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.784610.smt4.83105.990040036369893 - 69893 - FalseFalse - 0 - 0 - 127 - 1680886 - 0
UF-2019/sledgehammer/Hoare/uf.785231.smt0.1187.66002632433 - 2433 - FalseFalse - 0 - 0 - 90 - 548696 - 0
UF-2019/sledgehammer/Hoare/uf.788822.smt0.21121.5400122195608 - 5608 - FalseFalse - 0 - 0 - 127 - 1896666 - 0
UF-2019/sledgehammer/Hoare/uf.789443.smt0.1287.46001672398 - 2398 - FalseFalse - 0 - 0 - 90 - 542096 - 0
UF-2019/sledgehammer/Hoare/uf.793031.smt6.19Failed0 --- 75 --- 7446 --- 7446 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.793650.smt5.98Failed0 --- 0 --- 390 --- 390 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.795622.smt0.1960.770036523011207 - 1207 - FalseFalse - 0 - 0 - 82 - 4158 - 0
UF-2019/sledgehammer/Hoare/uf.809848.smt0.0442.1700041113 - 113 - FalseFalse - 0 - 0 - 59 - 125 - 0
UF-2019/sledgehammer/Hoare/uf.814641.smt0.0686.01000302482 - 82 - FalseFalse - 0 - 0 - 97 - 43648 - 0
UF-2019/sledgehammer/Hoare/uf.815609.smt0.0258.6300017031 - 31 - FalseFalse - 0 - 0 - 49 - 734 - 0
UF-2019/sledgehammer/Hoare/uf.816121.smt0.0134.630001522 - 22 - FalseFalse - 0 - 0 - 27 - 263 - 0
UF-2019/sledgehammer/Hoare/uf.816430.smt0.0131.19000717 - 17 - FalseFalse - 0 - 0 - 23 - 133 - 0
UF-2019/sledgehammer/Hoare/uf.818402.smt0.0859.2100053112 - 112 - FalseFalse - 0 - 0 - 94 - 119 - 0
UF-2019/sledgehammer/Hoare/uf.823377.smt0.0128.07004417 - 17 - FalseFalse - 0 - 0 - 20 - 23 - 0
UF-2019/sledgehammer/Hoare/uf.828081.smt1.56Failed0 --- 94 --- 26459 --- 26459 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.828950.smt0.0128.0000238 - 8 - FalseFalse - 0 - 0 - 20 - 12 - 0
UF-2019/sledgehammer/Hoare/uf.834137.smt0.042.39002038348 - 348 - FalseFalse - 0 - 0 - 23 - 1413 - 0
UF-2019/sledgehammer/Hoare/uf.842927.smt0.05Failed0 --- 16 --- 291 --- 291 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.849868.smt1.56Failed0 --- 452 --- 3581 --- 3581 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.850362.smt18.84Failed0 --- 2320 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.850619.smt0.13111.61001082125820 - 820 - FalseFalse - 0 - 0 - 40 - 10770 - 0
UF-2019/sledgehammer/Hoare/uf.854073.smt0.0194.6600161358 - 58 - FalseFalse - 0 - 0 - 27 - 68 - 0
UF-2019/sledgehammer/Hoare/uf.887079.smt62.82Failed0 --- 283 --- 1234 --- 1234 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.887983.smt6.08Failed0 --- 127 --- 957 --- 957 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.891031.smt0.016.6400220 - 0 - FalseFalse - 0 - 0 - 83 - 0 - 0
UF-2019/sledgehammer/Hoare/uf.912956.smt56.50Failed0 --- 3136 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.915593.smt0.096.94000081 - 81 - FalseFalse - 0 - 0 - 288 - 87 - 0
UF-2019/sledgehammer/Hoare/uf.918827.smt17.59Failed0 --- 2926 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/Hoare/uf.925286.smt1.52112.30001683772180 - 2180 - FalseFalse - 0 - 0 - 239 - 21078 - 0
UF-2019/sledgehammer/Hoare/uf.926283.smt0.1794.5100112156828 - 828 - FalseFalse - 0 - 0 - 131 - 6712 - 0
UF-2019/sledgehammer/Hoare/uf.926761.smt0.0542.30003435229 - 229 - FalseFalse - 0 - 0 - 73 - 422 - 0
UF-2019/sledgehammer/Hoare/uf.937881.smt0.90110.55001423162020 - 2020 - FalseFalse - 0 - 0 - 239 - 17677 - 0
UF-2019/sledgehammer/Hoare/uf.938878.smt0.1593.5500105136737 - 737 - FalseFalse - 0 - 0 - 131 - 5808 - 0
UF-2019/sledgehammer/Hoare/uf.939362.smt0.0542.28003332225 - 225 - FalseFalse - 0 - 0 - 74 - 412 - 0
UF-2019/sledgehammer/Hoare/uf.939629.smt0.0140.19002025100 - 100 - FalseFalse - 0 - 0 - 52 - 178 - 0
UF-2019/sledgehammer/Hoare/uf.956668.smt0.9228.95002721025632 - 5632 - FalseFalse - 0 - 0 - 190 - 14542 - 0
UF-2019/sledgehammer/Hoare/uf.959976.smt0.7012.4500301373655 - 3655 - FalseFalse - 0 - 0 - 215 - 24044 - 0
UF-2019/sledgehammer/Hoare/uf.960879.smt0.083.660021461922 - 1922 - FalseFalse - 0 - 0 - 243 - 7577 - 0
UF-2019/sledgehammer/Hoare/uf.965723.smt0.1713.020019363399 - 3399 - FalseFalse - 0 - 0 - 215 - 28589 - 0
UF-2019/sledgehammer/Hoare/uf.966336.smt0.0125.86001449 - 49 - FalseFalse - 0 - 0 - 40 - 31 - 0
UF-2019/sledgehammer/Hoare/uf.968765.smt0.7223.81004228172988 - 2988 - FalseFalse - 0 - 0 - 102 - 16144 - 0
UF-2019/sledgehammer/Hoare/uf.972601.smt0.052.7100173095 - 95 - FalseFalse - 0 - 0 - 101 - 101 - 0
UF-2019/sledgehammer/Hoare/uf.975532.smt0.072.8200142790 - 90 - FalseFalse - 0 - 0 - 102 - 101 - 0
UF-2019/sledgehammer/Hoare/uf.978569.smt0.041.31002024146 - 146 - FalseFalse - 0 - 0 - 118 - 157 - 0
UF-2019/sledgehammer/Hoare/uf.981279.smtFailed220.99 --- 0 --- 6174 --- - --- - --- False --- 0 --- 0 --- 190 --- 40657 --- 0
UF-2019/sledgehammer/Hoare/uf.984827.smt2.6039.2000806546646 - 6646 - FalseFalse - 0 - 0 - 189 - 261 - 0
UF-2019/sledgehammer/Hoare/uf.988404.smt3.1830.9200960546829 - 6829 - FalseFalse - 0 - 0 - 190 - 261 - 0
UF-2019/sledgehammer/Hoare/uf.992005.smt0.044.21002143275 - 275 - FalseFalse - 0 - 0 - 190 - 299 - 0
UF-2019/sledgehammer/Hoare/uf.994632.smt0.091.37002542304 - 304 - FalseFalse - 0 - 0 - 190 - 359 - 0
UF-2019/sledgehammer/Hoare/uf.997074.smt0.084.14002144275 - 275 - FalseFalse - 0 - 0 - 190 - 299 - 0
UF-2019/sledgehammer/NS_Shared/smtlib.594141.smt0.079.260000301 - 301 - FalseFalse - 0 - 0 - 89 - 618 - 0
UF-2019/sledgehammer/NS_Shared/smtlib.594954.smt0.037.340000245 - 245 - FalseFalse - 0 - 0 - 77 - 470 - 0
UF-2019/sledgehammer/NS_Shared/smtlib.616756.smt0.1011.2700150267 - 267 - FalseFalse - 0 - 0 - 123 - 404 - 0
UF-2019/sledgehammer/NS_Shared/smtlib.620031.smt0.1812.2000550433 - 433 - FalseFalse - 0 - 0 - 111 - 1001 - 0
UF-2019/sledgehammer/NS_Shared/smtlib.637740.smt2.8916.3300262427 - 427 - FalseFalse - 0 - 0 - 184 - 733 - 0
UF-2019/sledgehammer/NS_Shared/smtlib.678332.smt5.9237.560010070 - 70 - FalseFalse - 0 - 0 - 43 - 201239 - 0
UF-2019/sledgehammer/NS_Shared/smtlib.835033.smt0.0140.99006989 - 89 - FalseFalse - 0 - 0 - 71 - 31 - 0
UF-2019/sledgehammer/NS_Shared/smtlib.911357.smt0.6743.850068157 - 157 - FalseFalse - 0 - 0 - 70 - 129 - 0
UF-2019/sledgehammer/NS_Shared/uf.577518.smt0.2579.1200303953 - 3953 - FalseFalse - 0 - 0 - 147 - 167 - 0
UF-2019/sledgehammer/NS_Shared/uf.580209.smt0.2577.7000302540 - 2540 - FalseFalse - 0 - 0 - 146 - 164 - 0
UF-2019/sledgehammer/NS_Shared/uf.585691.smt0.061.060000128 - 128 - FalseFalse - 0 - 0 - 102 - 177 - 0
UF-2019/sledgehammer/NS_Shared/uf.594136.smt0.0511.330000345 - 345 - FalseFalse - 0 - 0 - 105 - 754 - 0
UF-2019/sledgehammer/NS_Shared/uf.594955.smt0.037.340000245 - 245 - FalseFalse - 0 - 0 - 77 - 470 - 0
UF-2019/sledgehammer/NS_Shared/uf.613843.smt14.04101.590000725 - 725 - FalseFalse - 0 - 0 - 301 - 725 - 0
UF-2019/sledgehammer/NS_Shared/uf.616817.smt0.0811.8100150272 - 272 - FalseFalse - 0 - 0 - 125 - 413 - 0
UF-2019/sledgehammer/NS_Shared/uf.620072.smt0.1411.8000430442 - 442 - FalseFalse - 0 - 0 - 113 - 1009 - 0
UF-2019/sledgehammer/NS_Shared/uf.637867.smt2.6115.3400262439 - 439 - FalseFalse - 0 - 0 - 245 - 765 - 0
UF-2019/sledgehammer/NS_Shared/uf.657306.smt6.0530.71001335129 - 129 - FalseFalse - 0 - 0 - 366 - 5132 - 0
UF-2019/sledgehammer/NS_Shared/uf.674464.smt6.0528.6200156117 - 117 - FalseFalse - 0 - 0 - 354 - 12020 - 0
UF-2019/sledgehammer/NS_Shared/uf.677305.smt45.14125.2500289200 - 0 - FalseFalse - 0 - 0 - 358 - 221252 - 0
UF-2019/sledgehammer/NS_Shared/uf.682956.smt5.9629.8000990 - 0 - FalseFalse - 0 - 0 - 358 - 0 - 0
UF-2019/sledgehammer/NS_Shared/uf.685762.smt6.0528.48001411480 - 480 - FalseFalse - 0 - 0 - 281 - 347 - 0
UF-2019/sledgehammer/NS_Shared/uf.705999.smt6.0322.920000113 - 113 - FalseFalse - 0 - 0 - 361 - 6610 - 0
UF-2019/sledgehammer/NS_Shared/uf.708528.smt6.2133.960010831906 - 906 - FalseFalse - 0 - 0 - 361 - 4306 - 0
UF-2019/sledgehammer/NS_Shared/uf.712214.smt6.0837.00004719795 - 795 - FalseFalse - 0 - 0 - 282 - 695 - 0
UF-2019/sledgehammer/NS_Shared/uf.720452.smtFailed120.48 --- 0 --- 62 --- - --- - --- False --- 0 --- 0 --- 351 --- 3316 --- 0
UF-2019/sledgehammer/NS_Shared/uf.731015.smtFailed125.05 --- 0 --- 73 --- - --- - --- False --- 0 --- 0 --- 351 --- 3183 --- 0
UF-2019/sledgehammer/NS_Shared/uf.735533.smt6.0724.650000115 - 115 - FalseFalse - 0 - 0 - 359 - 7600 - 0
UF-2019/sledgehammer/NS_Shared/uf.738125.smt6.2834.370011033956 - 956 - FalseFalse - 0 - 0 - 359 - 4504 - 0
UF-2019/sledgehammer/NS_Shared/uf.755652.smt6.0325.820000121 - 121 - FalseFalse - 0 - 0 - 363 - 10118 - 0
UF-2019/sledgehammer/NS_Shared/uf.758187.smtFailed118.47 --- 0 --- 0 --- - --- - --- False --- 0 --- 0 --- 336 --- 56607 --- 0
UF-2019/sledgehammer/NS_Shared/uf.762198.smt6.12Failed0 --- 38 --- 934 --- 934 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/NS_Shared/uf.832903.smt6.0667.68001099140 - 140 - FalseFalse - 0 - 0 - 242 - 8401 - 0
UF-2019/sledgehammer/NS_Shared/uf.835780.smt6.0427.1400645149 - 149 - FalseFalse - 0 - 0 - 422 - 1460 - 0
UF-2019/sledgehammer/NS_Shared/uf.836509.smt0.0140.280061081 - 81 - FalseFalse - 0 - 0 - 71 - 31 - 0
UF-2019/sledgehammer/NS_Shared/uf.839729.smt6.0230.15003083 - 83 - FalseFalse - 0 - 0 - 299 - 750 - 0
UF-2019/sledgehammer/NS_Shared/uf.843023.smt6.0432.620070109 - 109 - FalseFalse - 0 - 0 - 341 - 4010 - 0
UF-2019/sledgehammer/NS_Shared/uf.845875.smt6.0731.360070109 - 109 - FalseFalse - 0 - 0 - 341 - 4010 - 0
UF-2019/sledgehammer/NS_Shared/uf.848730.smt6.0432.480050109 - 109 - FalseFalse - 0 - 0 - 341 - 4010 - 0
UF-2019/sledgehammer/NS_Shared/uf.851590.smt6.0530.680050109 - 109 - FalseFalse - 0 - 0 - 341 - 4010 - 0
UF-2019/sledgehammer/NS_Shared/uf.854491.smt6.0325.28000092 - 92 - FalseFalse - 0 - 0 - 347 - 1960 - 0
UF-2019/sledgehammer/NS_Shared/uf.861242.smt6.0228.490000156 - 156 - FalseFalse - 0 - 0 - 367 - 17256 - 0
UF-2019/sledgehammer/NS_Shared/uf.863825.smt6.0630.140000200 - 200 - FalseFalse - 0 - 0 - 344 - 76577 - 0
UF-2019/sledgehammer/NS_Shared/uf.866499.smt53.30120.4800961100 - 0 - FalseFalse - 0 - 0 - 362 - 44651 - 0
UF-2019/sledgehammer/NS_Shared/uf.899213.smt6.0425.0000330 - 0 - FalseFalse - 0 - 0 - 194 - 0 - 0
UF-2019/sledgehammer/NS_Shared/uf.908433.smt6.07126.080018101141 - 141 - FalseFalse - 0 - 0 - 291 - 13732 - 0
UF-2019/sledgehammer/NS_Shared/uf.911466.smtFailed154.28 --- 0 --- 46 --- - --- - --- False --- 0 --- 0 --- 369 --- 8924 --- 0
UF-2019/sledgehammer/NS_Shared/uf.912442.smt0.6243.250068155 - 155 - FalseFalse - 0 - 0 - 70 - 129 - 0
UF-2019/sledgehammer/NS_Shared/uf.916087.smt6.0439.110015976 - 76 - FalseFalse - 0 - 0 - 297 - 660 - 0
UF-2019/sledgehammer/QEpres/uf.1052890.smt0.2799.610031338952687 - 2687 - FalseFalse - 0 - 0 - 315 - 17906 - 0
UF-2019/sledgehammer/QEpres/uf.1053819.smt4.79101.57001878150314805 - 14805 - FalseFalse - 0 - 0 - 241 - 6197 - 0
UF-2019/sledgehammer/QEpres/uf.1058756.smt0.23100.210025934872325 - 2325 - FalseFalse - 0 - 0 - 315 - 18405 - 0
UF-2019/sledgehammer/QEpres/uf.1059685.smt5.13101.1400191381715040 - 15040 - FalseFalse - 0 - 0 - 241 - 6196 - 0
UF-2019/sledgehammer/QEpres/uf.601051.smt0.0321.060011513 - 513 - FalseFalse - 0 - 0 - 56 - 1650 - 0
UF-2019/sledgehammer/QEpres/uf.606930.smt0.101.670000626 - 626 - FalseFalse - 0 - 0 - 56 - 9098 - 0
UF-2019/sledgehammer/QEpres/uf.626329.smt0.0525.840011513 - 513 - FalseFalse - 0 - 0 - 56 - 1650 - 0
UF-2019/sledgehammer/QEpres/uf.632181.smt0.051.750000626 - 626 - FalseFalse - 0 - 0 - 56 - 9098 - 0
UF-2019/sledgehammer/QEpres/uf.716503.smt6.7541.10002501866153 - 153 - FalseFalse - 0 - 0 - 168 - 787 - 0
UF-2019/sledgehammer/QEpres/uf.726682.smt1.69108.4300268129645903338 - 3338 - FalseFalse - 0 - 0 - 214 - 30873 - 0
UF-2019/sledgehammer/QEpres/uf.727606.smt0.1338.230026814953291 - 3291 - FalseFalse - 0 - 0 - 98 - 28241 - 0
UF-2019/sledgehammer/QEpres/uf.793317.smt0.031.1400110 - 0 - FalseFalse - 0 - 0 - 268 - 0 - 0
UF-2019/sledgehammer/QEpres/uf.801237.smt21.16Failed0 --- 30739 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/QEpres/uf.802064.smt6.05Failed0 --- 15 --- 2130 --- 2130 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/QEpres/uf.819158.smt0.071.44004457350 - 350 - FalseFalse - 0 - 0 - 326 - 563 - 0
UF-2019/sledgehammer/QEpres/uf.832491.smt147.92Failed0 --- 83 --- 1384 --- 1384 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/QEpres/uf.843328.smt0.101.250000384 - 384 - FalseFalse - 0 - 0 - 422 - 1611 - 0
UF-2019/sledgehammer/QEpres/uf.847076.smt0.071.590000294 - 294 - FalseFalse - 0 - 0 - 332 - 530 - 0
UF-2019/sledgehammer/QEpres/uf.886173.smt0.061.24003540133 - 133 - FalseFalse - 0 - 0 - 339 - 153 - 0
UF-2019/sledgehammer/QEpres/uf.898985.smt0.152.430031261445 - 1445 - FalseFalse - 0 - 0 - 339 - 11145 - 0
UF-2019/sledgehammer/QEpres/uf.947572.smt0.255.21001375922389 - 2389 - FalseFalse - 0 - 0 - 305 - 9425 - 0
UF-2019/sledgehammer/QEpres/uf.948498.smt0.075.230055511970 - 970 - FalseFalse - 0 - 0 - 238 - 3728 - 0
UF-2019/sledgehammer/QEpres/uf.953447.smt0.164.49001403201869 - 1869 - FalseFalse - 0 - 0 - 305 - 7335 - 0
UF-2019/sledgehammer/QEpres/uf.954373.smt0.112.620073250764 - 764 - FalseFalse - 0 - 0 - 238 - 2795 - 0
UF-2019/sledgehammer/StrongNorm/uf.571206.smt0.2119.44001081737543 - 7543 - FalseFalse - 0 - 0 - 60 - 682142 - 0
UF-2019/sledgehammer/StrongNorm/uf.653039.smt0.041.160000116 - 116 - FalseFalse - 0 - 0 - 222 - 148 - 0
UF-2019/sledgehammer/StrongNorm/uf.675860.smt0.141.960042561250 - 1250 - FalseFalse - 0 - 0 - 448 - 6889 - 0
UF-2019/sledgehammer/StrongNorm/uf.680521.smt0.051.11002768101 - 101 - FalseFalse - 0 - 0 - 382 - 125 - 0
UF-2019/sledgehammer/StrongNorm/uf.682694.smt0.062.05003453126 - 126 - FalseFalse - 0 - 0 - 389 - 195 - 0
UF-2019/sledgehammer/StrongNorm/uf.699909.smt0.0884.160000219 - 219 - FalseFalse - 0 - 0 - 392 - 587 - 0
UF-2019/sledgehammer/StrongNorm/uf.700985.smt0.0978.120000182 - 182 - FalseFalse - 0 - 0 - 475 - 514 - 0
UF-2019/sledgehammer/StrongNorm/uf.701476.smt0.0141.80007662 - 62 - FalseFalse - 0 - 0 - 49 - 192 - 0
UF-2019/sledgehammer/StrongNorm/uf.701666.smt0.0056.41003234 - 34 - FalseFalse - 0 - 0 - 43 - 124 - 0
UF-2019/sledgehammer/StrongNorm/uf.708153.smt0.108.480059121245 - 245 - FalseFalse - 0 - 0 - 389 - 739 - 0
UF-2019/sledgehammer/StrongNorm/uf.711834.smt0.056.8200220 - 0 - FalseFalse - 0 - 0 - 401 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.713973.smt0.086.8700110 - 0 - FalseFalse - 0 - 0 - 395 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.715982.smt0.141.5700001223 - 1223 - FalseFalse - 0 - 0 - 171 - 10470 - 0
UF-2019/sledgehammer/StrongNorm/uf.736039.smt0.056.6700110 - 0 - FalseFalse - 0 - 0 - 395 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.740532.smt0.076.6200330 - 0 - FalseFalse - 0 - 0 - 408 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.742608.smt0.091.1200110 - 0 - FalseFalse - 0 - 0 - 416 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.747653.smt0.051.80007445234 - 234 - FalseFalse - 0 - 0 - 347 - 310 - 0
UF-2019/sledgehammer/StrongNorm/uf.751463.smt0.071.420000315 - 315 - FalseFalse - 0 - 0 - 395 - 777 - 0
UF-2019/sledgehammer/StrongNorm/uf.760440.smt0.056.7100110 - 0 - FalseFalse - 0 - 0 - 403 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.762462.smt0.096.8800110 - 0 - FalseFalse - 0 - 0 - 393 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.764542.smt0.076.7300110 - 0 - FalseFalse - 0 - 0 - 403 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.773929.smt0.091.28006988 - 88 - FalseFalse - 0 - 0 - 424 - 101 - 0
UF-2019/sledgehammer/StrongNorm/uf.790816.smt0.066.4600110 - 0 - FalseFalse - 0 - 0 - 374 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.795444.smt0.056.7100330 - 0 - FalseFalse - 0 - 0 - 366 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.815405.smt0.096.3900110 - 0 - FalseFalse - 0 - 0 - 370 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.817528.smt0.086.5600110 - 0 - FalseFalse - 0 - 0 - 352 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.823014.smt0.061.4700927256 - 256 - FalseFalse - 0 - 0 - 479 - 488 - 0
UF-2019/sledgehammer/StrongNorm/uf.824995.smt0.111.33001946279 - 279 - FalseFalse - 0 - 0 - 428 - 517 - 0
UF-2019/sledgehammer/StrongNorm/uf.826990.smt0.086.7500220 - 0 - FalseFalse - 0 - 0 - 500 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.828954.smt20.51Failed0/tmp/GridTPT/711/new:10985236240 - 0 - False--disable-print-success - line - 22: - Killed - $exec - --disable-banner
UF-2019/sledgehammer/StrongNorm/uf.850138.smt0.051.17006676 - 76 - FalseFalse - 0 - 0 - 226 - 88 - 0
UF-2019/sledgehammer/StrongNorm/uf.856175.smt0.076.4700220 - 0 - FalseFalse - 0 - 0 - 226 - 0 - 0
UF-2019/sledgehammer/StrongNorm/uf.862039.smt0.111.290000864 - 864 - FalseFalse - 0 - 0 - 260 - 6917 - 0
UF-2019/sledgehammer/TwoSquares/uf.600443.smt0.081.200000923 - 923 - FalseFalse - 0 - 0 - 28 - 3219 - 0
UF-2019/sledgehammer/TwoSquares/uf.600944.smt0.88Failed0 --- 7 --- 10305 --- 10305 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TwoSquares/uf.602601.smt1.3751.31003351694893 - 893 - FalseFalse - 0 - 0 - 29 - 3191 - 0
UF-2019/sledgehammer/TwoSquares/uf.603183.smt6.5239.43003621471692 - 1692 - FalseFalse - 0 - 0 - 25 - 247090 - 0
UF-2019/sledgehammer/TwoSquares/uf.605094.smt0.061.3400870643 - 643 - FalseFalse - 0 - 0 - 29 - 1013 - 0
UF-2019/sledgehammer/TwoSquares/uf.605677.smt0.9314.6200406456551 - 6551 - FalseFalse - 0 - 0 - 25 - 256546 - 0
UF-2019/sledgehammer/TwoSquares/uf.605976.smt0.9313.410046231546428 - 6428 - FalseFalse - 0 - 0 - 15 - 268670 - 0
UF-2019/sledgehammer/TwoSquares/uf.616068.smt0.2029.4900208816776 - 776 - FalseFalse - 0 - 0 - 33 - 1849 - 0
UF-2019/sledgehammer/TwoSquares/uf.628161.smt0.102.680012363 - 363 - FalseFalse - 0 - 0 - 61 - 557 - 0
UF-2019/sledgehammer/TwoSquares/uf.640720.smt6.12Failed0 --- 0 --- 5697 --- 5697 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TwoSquares/uf.641283.smt0.198.2800236399 - 6399 - FalseFalse - 0 - 0 - 57 - 215859 - 0
UF-2019/sledgehammer/TwoSquares/uf.647461.smt0.061.9600110 - 0 - FalseFalse - 0 - 0 - 63 - 0 - 0
UF-2019/sledgehammer/TwoSquares/uf.650684.smt3.85Failed0 --- 115 --- 54795 --- 54795 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TwoSquares/uf.651233.smt0.2016.53003258194 - 8194 - FalseFalse - 0 - 0 - 31 - 366771 - 0
UF-2019/sledgehammer/TwoSquares/uf.658718.smt0.2019.240038382197 - 2197 - FalseFalse - 0 - 0 - 55 - 28604 - 0
UF-2019/sledgehammer/TwoSquares/uf.660843.smt0.071.760032322108 - 2108 - FalseFalse - 0 - 0 - 40 - 24630 - 0
UF-2019/sledgehammer/TwoSquares/uf.665609.smtFailed128.76 --- 0 --- 35 --- - --- - --- False --- 0 --- 0 --- 31 --- 646692 --- 0
UF-2019/sledgehammer/TwoSquares/uf.674591.smt0.264.14001215471273 - 1273 - FalseFalse - 0 - 0 - 40 - 3223 - 0
UF-2019/sledgehammer/TwoSquares/uf.680734.smt0.023.45007151217 - 1217 - FalseFalse - 0 - 0 - 26 - 13492 - 0
UF-2019/sledgehammer/TwoSquares/uf.683119.smt0.071.500024241663 - 1663 - FalseFalse - 0 - 0 - 57 - 12673 - 0
UF-2019/sledgehammer/TwoSquares/uf.704689.smt0.2223.900084846312 - 6312 - FalseFalse - 0 - 0 - 67 - 446908 - 0
UF-2019/sledgehammer/TwoSquares/uf.705207.smt0.0636.4100001546 - 1546 - FalseFalse - 0 - 0 - 62 - 12042 - 0
UF-2019/sledgehammer/TwoSquares/uf.706629.smt103.66109.08001530677232115 - 232115 - FalseFalse - 0 - 0 - 65 - 366999 - 0
UF-2019/sledgehammer/TwoSquares/uf.713009.smt1.7410.680014401570 - 1570 - FalseFalse - 0 - 0 - 40 - 21945 - 0
UF-2019/sledgehammer/TwoSquares/uf.715087.smtFailed229.03 --- 0 --- 4046 --- - --- - --- False --- 0 --- 0 --- 40 --- 18872 --- 0
UF-2019/sledgehammer/TwoSquares/uf.718634.smt0.141.3400330 - 0 - FalseFalse - 0 - 0 - 40 - 0 - 0
UF-2019/sledgehammer/TwoSquares/uf.719953.smt0.131.2300110 - 0 - FalseFalse - 0 - 0 - 40 - 0 - 0
UF-2019/sledgehammer/TwoSquares/uf.722861.smt0.1815.45001061085103 - 5103 - FalseFalse - 0 - 0 - 64 - 202014 - 0
UF-2019/sledgehammer/TwoSquares/uf.727709.smt41.41Failed0 --- 83 --- 26159 --- 26159 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TwoSquares/uf.729554.smt42.46Failed0 --- 1566 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TwoSquares/uf.731437.smt0.216.640052524225 - 4225 - FalseFalse - 0 - 0 - 61 - 149457 - 0
UF-2019/sledgehammer/TwoSquares/uf.733266.smt3.06Failed0 --- 272 --- 2404 --- 2404 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TwoSquares/uf.733760.smt0.1010.18009394536 - 536 - FalseFalse - 0 - 0 - 34 - 1159 - 0
UF-2019/sledgehammer/TwoSquares/uf.735030.smt0.051.7600001679 - 1679 - FalseFalse - 0 - 0 - 45 - 24831 - 0
UF-2019/sledgehammer/TwoSquares/uf.736481.smt0.081.3400001991 - 1991 - FalseFalse - 0 - 0 - 34 - 16135 - 0
UF-2019/sledgehammer/TwoSquares/uf.742354.smt72.55Failed0malloc186line3465 - 3465 - Falsesrc/instantiation/unify.c - error - on - 357 - in - file
UF-2019/sledgehammer/TwoSquares/uf.749655.smt0.45123.80001781768609 - 8609 - FalseFalse - 0 - 0 - 65 - 881349 - 0
UF-2019/sledgehammer/TwoSquares/uf.751588.smt70.48140.10002651824681 - 4681 - FalseFalse - 0 - 0 - 65 - 978050 - 0
UF-2019/sledgehammer/TwoSquares/uf.756631.smt0.067.35002912910 - 0 - FalseFalse - 0 - 0 - 56 - 0 - 0
UF-2019/sledgehammer/TwoSquares/uf.757144.smt0.057.11002822820 - 0 - FalseFalse - 0 - 0 - 49 - 0 - 0
UF-2019/sledgehammer/TwoSquares/uf.773939.smt1.15Failed0 --- 34 --- 13191 --- 13191 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TwoSquares/uf.775374.smt0.235.630084843846 - 3846 - FalseFalse - 0 - 0 - 60 - 104222 - 0
UF-2019/sledgehammer/TwoSquares/uf.780006.smt0.031.6400110 - 0 - FalseFalse - 0 - 0 - 40 - 0 - 0
UF-2019/sledgehammer/TwoSquares/uf.781811.smt0.071.1700001683 - 1683 - FalseFalse - 0 - 0 - 45 - 5055 - 0
UF-2019/sledgehammer/TwoSquares/uf.798758.smt0.151.8000001919 - 1919 - FalseFalse - 0 - 0 - 58 - 12201 - 0
UF-2019/sledgehammer/TwoSquares/uf.804437.smt0.243.28003065151090 - 1090 - FalseFalse - 0 - 0 - 33 - 1971 - 0
UF-2019/sledgehammer/TwoSquares/uf.811595.smt7.25110.74003921336177 - 6177 - FalseFalse - 0 - 0 - 46 - 1422303 - 0
UF-2019/sledgehammer/TwoSquares/uf.814976.smt7.67Failed0 --- 848 --- 8066 --- 8066 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TwoSquares/uf.818150.smt5.60114.570018255141902 - 41902 - FalseFalse - 0 - 0 - 39 - 3490 - 0
UF-2019/sledgehammer/TwoSquares/uf.821725.smt0.2214.40001853697684 - 7684 - FalseFalse - 0 - 0 - 31 - 64727 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1003247.smt101.29Failed0 --- 3527 --- 30300 --- 30300 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.1008378.smt0.0726.98003845106 - 106 - FalseFalse - 0 - 0 - 226 - 189 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1008947.smt0.0431.1300394188 - 88 - FalseFalse - 0 - 0 - 127 - 154 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1009110.smt0.018.12008830 - 30 - FalseFalse - 0 - 0 - 63 - 38 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1012987.smt0.6217.3700301161499 - 1499 - FalseFalse - 0 - 0 - 357 - 175087 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1024006.smt9.71Failed0 --- 241 --- 7597 --- 7597 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.1062615.smt0.309.3500110 - 0 - FalseFalse - 0 - 0 - 246 - 0 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1067769.smt0.63Failed0 --- 389 --- 2472 --- 2472 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.1078940.smt0.5365.56007211201 - 1201 - FalseFalse - 0 - 0 - 249 - 399 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1093758.smt6.07Failed0 --- 71 --- 216 --- 216 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.1097873.smt0.5398.23001856718 - 718 - FalseFalse - 0 - 0 - 246 - 12491 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1098821.smt0.0054.2400118 - 8 - FalseFalse - 0 - 0 - 24 - 12 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1112475.smt18.81Failed0 --- 3584 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.1114186.smt0.0361.29001911136 - 136 - FalseFalse - 0 - 0 - 35 - 281 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1165906.smt0.9713.50005071 - 71 - FalseFalse - 0 - 0 - 329 - 113 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1170061.smt57.82Failed0 --- 6433 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.1176848.smt0.157.8400160114 - 114 - FalseFalse - 0 - 0 - 362 - 165 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1180361.smt0.5948.8000109264807 - 807 - FalseFalse - 0 - 0 - 367 - 4619 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1189027.smt9.32Failed0 --- 3971 --- 2164 --- 2164 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.1193467.smt0.409.87007012177 - 177 - FalseFalse - 0 - 0 - 289 - 285 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1197299.smt0.3326.37001212161 - 161 - FalseFalse - 0 - 0 - 322 - 267 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1201697.smt0.9710.8000156631706 - 706 - FalseFalse - 0 - 0 - 391 - 5241 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1225759.smt0.374.8400110 - 0 - FalseFalse - 0 - 0 - 364 - 0 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1229166.smt0.4047.43001525112 - 112 - FalseFalse - 0 - 0 - 324 - 164 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1238233.smt0.827.4500110 - 0 - FalseFalse - 0 - 0 - 337 - 0 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1242068.smt2.87Failed0 --- 982 --- 4091 --- 4091 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.1267524.smt0.289.72004031131356 - 1356 - FalseFalse - 0 - 0 - 42 - 94 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1305552.smt6.10Failed0 --- 6 --- 145 --- 145 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.1306826.smt0.006.08000015 - 15 - FalseFalse - 0 - 0 - 48 - 18 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1339511.smt42.01Failed0 --- 237 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.1340607.smt0.0157.23006260 - 60 - FalseFalse - 0 - 0 - 35 - 62 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1412484.smt0.0057.26000036 - 36 - FalseFalse - 0 - 0 - 22 - 284 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1434920.smt1.32Failed0 --- 199 --- 6759 --- 6759 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.1439516.smt0.997.68005935 - 35 - FalseFalse - 0 - 0 - 390 - 45 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1461376.smt1.9112.62004658 - 58 - FalseFalse - 0 - 0 - 294 - 75 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.1496217.smt1.9413.32005963 - 63 - FalseFalse - 0 - 0 - 309 - 90 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.608053.smt6.0443.9400110 - 0 - FalseFalse - 0 - 0 - 392 - 0 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.611434.smt6.0250.9400110 - 0 - FalseFalse - 0 - 0 - 352 - 0 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.624769.smt6.05128.98004112473 - 473 - FalseFalse - 0 - 0 - 293 - 138 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.628981.smt6.04Failed0 --- 6 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.632551.smt6.0432.4000550 - 0 - FalseFalse - 0 - 0 - 194 - 0 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.636448.smt6.0336.1300550 - 0 - FalseFalse - 0 - 0 - 190 - 0 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.655487.smt8.45Failed0 --- 0 --- 182604 --- 182604 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.670591.smt0.0227.260012263 - 263 - FalseFalse - 0 - 0 - 35 - 356 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.723662.smt2.2612.240053182260 - 260 - FalseFalse - 0 - 0 - 372 - 811 - 0
UF-2019/sledgehammer/TypeSafe/smtlib.989687.smt52.91Failed0 --- 3218 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/smtlib.990468.smt0.0250.430065547 - 547 - FalseFalse - 0 - 0 - 26 - 33 - 0
UF-2019/sledgehammer/TypeSafe/uf.1000024.smt0.333.6100110 - 0 - FalseFalse - 0 - 0 - 325 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.1003498.smt0.77Failed0 --- 25 --- 576 --- 576 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.1008626.smt0.7631.1700491202062 - 2062 - FalseFalse - 0 - 0 - 402 - 373 - 0
UF-2019/sledgehammer/TypeSafe/uf.1024320.smt4.20Failed0 --- 8 --- 5225 --- 5225 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.1029517.smt0.63Failed0 --- 27 --- 632 --- 632 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.1048281.smt0.433.40000045 - 45 - FalseFalse - 0 - 0 - 260 - 80 - 0
UF-2019/sledgehammer/TypeSafe/uf.1068513.smt6.02Failed0 --- 24 --- 229 --- 229 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.1072411.smt0.433.7000110 - 0 - FalseFalse - 0 - 0 - 251 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.1075991.smt0.489.470080130 - 130 - FalseFalse - 0 - 0 - 252 - 448 - 0
UF-2019/sledgehammer/TypeSafe/uf.1083624.smt0.101.4400000 - 0 - FalseFalse - 0 - 0 - 348 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.1087133.smt0.5711.4300110 - 0 - FalseFalse - 0 - 0 - 298 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.1090749.smt0.9623.780044832993 - 2993 - FalseFalse - 0 - 0 - 272 - 668 - 0
UF-2019/sledgehammer/TypeSafe/uf.1108046.smt0.443.42000044 - 44 - FalseFalse - 0 - 0 - 258 - 83 - 0
UF-2019/sledgehammer/TypeSafe/uf.1120710.smt0.428.69007076 - 76 - FalseFalse - 0 - 0 - 249 - 174 - 0
UF-2019/sledgehammer/TypeSafe/uf.1124370.smt0.283.1800110 - 0 - FalseFalse - 0 - 0 - 253 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.1127919.smt0.6047.430090133 - 133 - FalseFalse - 0 - 0 - 252 - 367 - 0
UF-2019/sledgehammer/TypeSafe/uf.1131979.smt0.496.0900712133 - 133 - FalseFalse - 0 - 0 - 251 - 362 - 0
UF-2019/sledgehammer/TypeSafe/uf.1140253.smt0.353.4100110 - 0 - FalseFalse - 0 - 0 - 224 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.1143570.smt18.98Failed0 --- 518 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.1176258.smt0.413.7000110 - 0 - FalseFalse - 0 - 0 - 355 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.1187575.smt0.041.1700000 - 0 - FalseFalse - 0 - 0 - 287 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.1190212.smt6.11Failed0 --- 167 --- 796 --- 796 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.1191566.smt8.87Failed0 --- 5192 --- 2360 --- 2360 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.1225076.smt0.4710.310012069 - 69 - FalseFalse - 0 - 0 - 357 - 106 - 0
UF-2019/sledgehammer/TypeSafe/uf.1392725.smt0.4294.34001410110 - 110 - FalseFalse - 0 - 0 - 363 - 235 - 0
UF-2019/sledgehammer/TypeSafe/uf.1399899.smt46.22Failed0 --- 16789 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.1400893.smt43.03Failed0 --- 9047 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.1412239.smt0.342.95005745 - 45 - FalseFalse - 0 - 0 - 174 - 57 - 0
UF-2019/sledgehammer/TypeSafe/uf.1434973.smt1.51Failed0 --- 4 --- 2706 --- 2706 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.1447859.smt22.67Failed0 --- 15336 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.1466245.smt2.1712.35004658 - 58 - FalseFalse - 0 - 0 - 294 - 75 - 0
UF-2019/sledgehammer/TypeSafe/uf.1501031.smt1.9212.61005963 - 63 - FalseFalse - 0 - 0 - 305 - 90 - 0
UF-2019/sledgehammer/TypeSafe/uf.604760.smt6.0348.3200110 - 0 - FalseFalse - 0 - 0 - 341 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.646831.smt6.0355.46005021 - 21 - FalseFalse - 0 - 0 - 495 - 39 - 0
UF-2019/sledgehammer/TypeSafe/uf.723945.smt2.8411.920049165279 - 279 - FalseFalse - 0 - 0 - 370 - 841 - 0
UF-2019/sledgehammer/TypeSafe/uf.738007.smt42.15Failed0 --- 1018 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.739032.smt3.25Failed0 --- 7692 --- 15281 --- 15281 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.742711.smt42.16Failed0 --- 1207 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.743745.smt18.14Failed0 --- 3215 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.747383.smt19.67Failed0 --- 2643 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.748408.smt5.84Failed0 --- 11408 --- 22618 --- 22618 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.778823.smt46.00Failed0 --- 8919 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.779839.smt3.11Failed0 --- 9358 --- 17751 --- 17751 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.783531.smt19.87Failed0 --- 4451 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.784556.smt3.72Failed0 --- 12804 --- 20227 --- 20227 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.788377.smt21.07Failed0 --- 2995 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.793278.smt20.44Failed0 --- 3289 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.794285.smt3.04Failed0 --- 10235 --- 18703 --- 18703 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.794756.smt3.96Failed0 --- 1963 --- 11128 --- 11128 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.826276.smt6.03Failed0 --- 3 --- 41 --- 41 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.847502.smt0.041.1200000 - 0 - FalseFalse - 0 - 0 - 417 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.855809.smt6.04Failed0 --- 1 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.871810.smt6.04Failed0 --- 1 --- 0 --- 0 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.910184.smt0.439.5800110 - 0 - FalseFalse - 0 - 0 - 243 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.913303.smt0.593.47000040 - 40 - FalseFalse - 0 - 0 - 344 - 70 - 0
UF-2019/sledgehammer/TypeSafe/uf.923274.smt0.463.370051053 - 53 - FalseFalse - 0 - 0 - 244 - 94 - 0
UF-2019/sledgehammer/TypeSafe/uf.943930.smt0.359.7900110 - 0 - FalseFalse - 0 - 0 - 241 - 0 - 0
UF-2019/sledgehammer/TypeSafe/uf.947541.smt0.443.96000048 - 48 - FalseFalse - 0 - 0 - 333 - 89 - 0
UF-2019/sledgehammer/TypeSafe/uf.958290.smt0.403.430051158 - 58 - FalseFalse - 0 - 0 - 259 - 113 - 0
UF-2019/sledgehammer/TypeSafe/uf.968744.smt24.18Failed0 --- 1 --- 12119 --- 12119 --- False --- - --- - --- - --- - --- - ---
UF-2019/sledgehammer/TypeSafe/uf.996401.smt1.157.25004846 - 46 - FalseFalse - 0 - 0 - 314 - 81 - 0