problem result overall_time
cut_lemma_01_001.smt2.slack.smt2.1 sat 23.78
cut_lemma_01_001.smt2.slack.smt2.10 sat 1.36
cut_lemma_01_001.smt2.slack.smt2.3 sat 14.57
cut_lemma_01_001.smt2.slack.smt2.6 sat 8.75
cut_lemma_01_001.smt2.slack.smt2.7 sat 9.1
cut_lemma_01_002.smt2.slack.smt2.1 sat 1.86
cut_lemma_01_002.smt2.slack.smt2.7 sat 206.05
cut_lemma_01_002.smt2.slack.smt2.8 sat 513.21
cut_lemma_01_003.smt2.slack.smt2.9 sat 82.17
cut_lemma_01_004.smt2.slack.smt2.1 sat 99.85
cut_lemma_01_004.smt2.slack.smt2.3 sat 0.92
cut_lemma_01_004.smt2.slack.smt2.7 sat 2.5
cut_lemma_01_004.smt2.slack.smt2.8 sat 2.94
cut_lemma_01_004.smt2.slack.smt2.9 sat 32.93
cut_lemma_01_005.smt2.slack.smt2.5 sat 251.09
cut_lemma_01_006.smt2.slack.smt2.10 sat 17.2
cut_lemma_01_006.smt2.slack.smt2.4 sat 0.92
cut_lemma_01_006.smt2.slack.smt2.5 sat 2.4
cut_lemma_01_006.smt2.slack.smt2.6 sat 7.47
cut_lemma_01_006.smt2.slack.smt2.7 sat 115.13
cut_lemma_01_007.smt2.slack.smt2.10 sat 0.15
cut_lemma_01_007.smt2.slack.smt2.3 sat 11.87
cut_lemma_01_010.smt2.slack.smt2.5 sat 1.18
cut_lemma_01_010.smt2.slack.smt2.6 sat 0.16
cut_lemma_01_011.smt2.slack.smt2.2 sat 19.27
cut_lemma_01_011.smt2.slack.smt2.3 sat 151.25
cut_lemma_01_012.smt2.slack.smt2.5 sat 222.26
cut_lemma_01_012.smt2.slack.smt2.7 sat 16.74
cut_lemma_01_012.smt2.slack.smt2.8 sat 0.5
cut_lemma_01_012.smt2.slack.smt2.9 sat 12.69
cut_lemma_01_016.smt2.slack.smt2.6 sat 0.56
cut_lemma_02_001.smt2.slack.smt2.1 sat 14.2
cut_lemma_02_001.smt2.slack.smt2.10 sat 0.17
cut_lemma_02_001.smt2.slack.smt2.2 sat 2.79
cut_lemma_02_001.smt2.slack.smt2.3 sat 5.56
cut_lemma_02_001.smt2.slack.smt2.4 sat 95.22
cut_lemma_02_001.smt2.slack.smt2.6 sat 49.24
cut_lemma_02_001.smt2.slack.smt2.9 sat 1.5
cut_lemma_02_002.smt2.slack.smt2.7 sat 282.52
cut_lemma_02_002.smt2.slack.smt2.8 sat 5.24
cut_lemma_02_003.smt2.slack.smt2.6 sat 0.24
cut_lemma_02_003.smt2.slack.smt2.7 sat 4.23
cut_lemma_02_003.smt2.slack.smt2.9 sat 3.68
cut_lemma_02_004.smt2.slack.smt2.1 sat 34.46
cut_lemma_02_004.smt2.slack.smt2.10 sat 4
cut_lemma_02_004.smt2.slack.smt2.4 sat 1
cut_lemma_02_004.smt2.slack.smt2.6 sat 1.27
cut_lemma_02_005.smt2.slack.smt2.3 sat 87.7
cut_lemma_02_005.smt2.slack.smt2.4 sat 0.86
cut_lemma_02_005.smt2.slack.smt2.5 sat 7.22
cut_lemma_02_005.smt2.slack.smt2.6 sat 3.36
cut_lemma_02_005.smt2.slack.smt2.9 sat 37.02
cut_lemma_02_007.smt2.slack.smt2.1 sat 2.2
cut_lemma_02_007.smt2.slack.smt2.10 sat 10.92
cut_lemma_02_007.smt2.slack.smt2.4 sat 15.31
cut_lemma_02_007.smt2.slack.smt2.5 sat 1.14
cut_lemma_02_008.smt2.slack.smt2.2 sat 1.27
cut_lemma_02_008.smt2.slack.smt2.4 sat 2.73
cut_lemma_02_008.smt2.slack.smt2.7 sat 0.61
cut_lemma_02_009.smt2.slack.smt2.7 sat 0.8
cut_lemma_02_009.smt2.slack.smt2.9 sat 4.46
cut_lemma_02_010.smt2.slack.smt2.2 sat 0.56
cut_lemma_02_010.smt2.slack.smt2.3 sat 2.56
cut_lemma_02_010.smt2.slack.smt2.5 sat 0.21
cut_lemma_02_010.smt2.slack.smt2.6 sat 0.2
cut_lemma_02_010.smt2.slack.smt2.7 sat 5.44
cut_lemma_02_010.smt2.slack.smt2.9 sat 0.5
cut_lemma_02_012.smt2.slack.smt2.1 sat 142.95
cut_lemma_02_012.smt2.slack.smt2.2 sat 1.27
cut_lemma_02_012.smt2.slack.smt2.3 sat 15.61
cut_lemma_02_012.smt2.slack.smt2.6 sat 88.48
cut_lemma_02_012.smt2.slack.smt2.9 sat 4.26
cut_lemma_02_013.smt2.slack.smt2.2 sat 39.07
cut_lemma_02_013.smt2.slack.smt2.6 sat 9.43
cut_lemma_02_014.smt2.slack.smt2.1 sat 0.19
cut_lemma_02_014.smt2.slack.smt2.10 sat 69.86
cut_lemma_02_014.smt2.slack.smt2.2 sat 40.16
cut_lemma_02_014.smt2.slack.smt2.5 sat 0.34
cut_lemma_02_014.smt2.slack.smt2.6 sat 0.38
cut_lemma_02_014.smt2.slack.smt2.7 sat 0.26
cut_lemma_02_014.smt2.slack.smt2.8 sat 0.99
cut_lemma_02_014.smt2.slack.smt2.9 sat 1.26
cut_lemma_02_015.smt2.slack.smt2.2 sat 3.89
cut_lemma_02_016.smt2.slack.smt2.10 sat 6.87
cut_lemma_02_016.smt2.slack.smt2.7 sat 42.87
cut_lemma_02_016.smt2.slack.smt2.8 sat 11.38
cut_lemma_03_004.smt2.slack.smt2.8 sat 22.99
cut_lemma_03_009.smt2.slack.smt2.1 sat 1.19
cut_lemma_03_009.smt2.slack.smt2.10 sat 70.35
cut_lemma_03_009.smt2.slack.smt2.2 sat 77.3
cut_lemma_03_011.smt2.slack.smt2.10 sat 234.06
cut_lemma_03_012.smt2.slack.smt2.4 sat 254.72
cut_lemma_03_013.smt2.slack.smt2.6 sat 373.7
cut_lemma_03_017.smt2.slack.smt2.2 sat 30.37
cut_lemma_03_020.smt2.slack.smt2.2 sat 39.31
cut_lemma_01_001.smt2.slack.smt2.2 unsat 5.39
cut_lemma_01_001.smt2.slack.smt2.4 unsat 190.93
cut_lemma_01_001.smt2.slack.smt2.8 unsat 2.53
cut_lemma_01_001.smt2.slack.smt2.9 unsat 37.57
cut_lemma_01_002.smt2.slack.smt2.10 unsat 4.63
cut_lemma_01_002.smt2.slack.smt2.2 unsat 37.78
cut_lemma_01_002.smt2.slack.smt2.4 unsat 3.78
cut_lemma_01_002.smt2.slack.smt2.5 unsat 2.53
cut_lemma_01_002.smt2.slack.smt2.6 unsat 39.54
cut_lemma_01_002.smt2.slack.smt2.9 unsat 74.89
cut_lemma_01_003.smt2.slack.smt2.1 unsat 69.96
cut_lemma_01_003.smt2.slack.smt2.10 unsat 78.72
cut_lemma_01_003.smt2.slack.smt2.2 unsat 80.89
cut_lemma_01_003.smt2.slack.smt2.3 unsat 2.68
cut_lemma_01_003.smt2.slack.smt2.4 unsat 33.75
cut_lemma_01_003.smt2.slack.smt2.6 unsat 21.45
cut_lemma_01_003.smt2.slack.smt2.7 unsat 188.35
cut_lemma_01_004.smt2.slack.smt2.10 unsat 13.9
cut_lemma_01_004.smt2.slack.smt2.2 unsat 53.47
cut_lemma_01_004.smt2.slack.smt2.4 unsat 28.33
cut_lemma_01_004.smt2.slack.smt2.5 unsat 17.65
cut_lemma_01_004.smt2.slack.smt2.6 unsat 8.26
cut_lemma_01_005.smt2.slack.smt2.1 unsat 2.96
cut_lemma_01_005.smt2.slack.smt2.10 unsat 128.81
cut_lemma_01_005.smt2.slack.smt2.2 unsat 230.15
cut_lemma_01_005.smt2.slack.smt2.3 unsat 5.56
cut_lemma_01_005.smt2.slack.smt2.4 unsat 10.45
cut_lemma_01_005.smt2.slack.smt2.7 unsat 107.64
cut_lemma_01_005.smt2.slack.smt2.9 unsat 181.56
cut_lemma_01_006.smt2.slack.smt2.2 unsat 628.33
cut_lemma_01_006.smt2.slack.smt2.8 unsat 53.85
cut_lemma_01_007.smt2.slack.smt2.1 unsat 1.49
cut_lemma_01_007.smt2.slack.smt2.2 unsat 6.42
cut_lemma_01_007.smt2.slack.smt2.4 unsat 0.41
cut_lemma_01_007.smt2.slack.smt2.5 unsat 2.92
cut_lemma_01_007.smt2.slack.smt2.6 unsat 3.67
cut_lemma_01_007.smt2.slack.smt2.7 unsat 11.24
cut_lemma_01_007.smt2.slack.smt2.8 unsat 1.15
cut_lemma_01_007.smt2.slack.smt2.9 unsat 2.46
cut_lemma_01_008.smt2.slack.smt2.1 unsat 0
cut_lemma_01_008.smt2.slack.smt2.10 unsat 0
cut_lemma_01_008.smt2.slack.smt2.2 unsat 0
cut_lemma_01_008.smt2.slack.smt2.3 unsat 0
cut_lemma_01_008.smt2.slack.smt2.4 unsat 0
cut_lemma_01_008.smt2.slack.smt2.5 unsat 0
cut_lemma_01_008.smt2.slack.smt2.6 unsat 0
cut_lemma_01_008.smt2.slack.smt2.7 unsat 0
cut_lemma_01_008.smt2.slack.smt2.8 unsat 0
cut_lemma_01_008.smt2.slack.smt2.9 unsat 0
cut_lemma_01_009.smt2.slack.smt2.1 unsat 0.54
cut_lemma_01_009.smt2.slack.smt2.10 unsat 5.16
cut_lemma_01_009.smt2.slack.smt2.2 unsat 7.89
cut_lemma_01_009.smt2.slack.smt2.3 unsat 3.21
cut_lemma_01_009.smt2.slack.smt2.4 unsat 0.45
cut_lemma_01_009.smt2.slack.smt2.5 unsat 1.26
cut_lemma_01_009.smt2.slack.smt2.6 unsat 11.64
cut_lemma_01_009.smt2.slack.smt2.7 unsat 4.76
cut_lemma_01_009.smt2.slack.smt2.8 unsat 58.79
cut_lemma_01_009.smt2.slack.smt2.9 unsat 4.43
cut_lemma_01_010.smt2.slack.smt2.1 unsat 0.6
cut_lemma_01_010.smt2.slack.smt2.10 unsat 0.2
cut_lemma_01_010.smt2.slack.smt2.2 unsat 0.37
cut_lemma_01_010.smt2.slack.smt2.3 unsat 18.51
cut_lemma_01_010.smt2.slack.smt2.4 unsat 0.83
cut_lemma_01_010.smt2.slack.smt2.7 unsat 0.82
cut_lemma_01_010.smt2.slack.smt2.8 unsat 0.09
cut_lemma_01_010.smt2.slack.smt2.9 unsat 3.53
cut_lemma_01_011.smt2.slack.smt2.1 unsat 4.91
cut_lemma_01_011.smt2.slack.smt2.10 unsat 3.81
cut_lemma_01_011.smt2.slack.smt2.4 unsat 1.68
cut_lemma_01_011.smt2.slack.smt2.5 unsat 0.66
cut_lemma_01_011.smt2.slack.smt2.6 unsat 64.06
cut_lemma_01_011.smt2.slack.smt2.7 unsat 4.09
cut_lemma_01_011.smt2.slack.smt2.9 unsat 4.43
cut_lemma_01_013.smt2.slack.smt2.1 unsat 1.01
cut_lemma_01_013.smt2.slack.smt2.10 unsat 10.43
cut_lemma_01_013.smt2.slack.smt2.2 unsat 0.85
cut_lemma_01_013.smt2.slack.smt2.3 unsat 2.87
cut_lemma_01_013.smt2.slack.smt2.4 unsat 0.71
cut_lemma_01_013.smt2.slack.smt2.5 unsat 5.57
cut_lemma_01_013.smt2.slack.smt2.6 unsat 1.05
cut_lemma_01_013.smt2.slack.smt2.7 unsat 8.92
cut_lemma_01_013.smt2.slack.smt2.8 unsat 0.35
cut_lemma_01_013.smt2.slack.smt2.9 unsat 0.57
cut_lemma_01_014.smt2.slack.smt2.1 unsat 13.4
cut_lemma_01_014.smt2.slack.smt2.10 unsat 3.32
cut_lemma_01_014.smt2.slack.smt2.2 unsat 46.43
cut_lemma_01_014.smt2.slack.smt2.3 unsat 0.62
cut_lemma_01_014.smt2.slack.smt2.4 unsat 4.39
cut_lemma_01_014.smt2.slack.smt2.5 unsat 0.36
cut_lemma_01_014.smt2.slack.smt2.7 unsat 5.89
cut_lemma_01_014.smt2.slack.smt2.8 unsat 0.42
cut_lemma_01_014.smt2.slack.smt2.9 unsat 10.31
cut_lemma_01_015.smt2.slack.smt2.1 unsat 0
cut_lemma_01_015.smt2.slack.smt2.10 unsat 0
cut_lemma_01_015.smt2.slack.smt2.2 unsat 0
cut_lemma_01_015.smt2.slack.smt2.3 unsat 0
cut_lemma_01_015.smt2.slack.smt2.4 unsat 0
cut_lemma_01_015.smt2.slack.smt2.5 unsat 0
cut_lemma_01_015.smt2.slack.smt2.6 unsat 0
cut_lemma_01_015.smt2.slack.smt2.7 unsat 0
cut_lemma_01_015.smt2.slack.smt2.8 unsat 0
cut_lemma_01_015.smt2.slack.smt2.9 unsat 0
cut_lemma_01_016.smt2.slack.smt2.1 unsat 23.85
cut_lemma_01_016.smt2.slack.smt2.10 unsat 2.7
cut_lemma_01_016.smt2.slack.smt2.2 unsat 3.35
cut_lemma_01_016.smt2.slack.smt2.3 unsat 17.42
cut_lemma_01_016.smt2.slack.smt2.4 unsat 1.72
cut_lemma_01_016.smt2.slack.smt2.5 unsat 0.65
cut_lemma_01_016.smt2.slack.smt2.7 unsat 2.49
cut_lemma_01_016.smt2.slack.smt2.8 unsat 0.67
cut_lemma_01_016.smt2.slack.smt2.9 unsat 7.87
cut_lemma_02_001.smt2.slack.smt2.5 unsat 80.3
cut_lemma_02_001.smt2.slack.smt2.7 unsat 109.43
cut_lemma_02_002.smt2.slack.smt2.1 unsat 1.94
cut_lemma_02_002.smt2.slack.smt2.10 unsat 0.41
cut_lemma_02_002.smt2.slack.smt2.2 unsat 0.45
cut_lemma_02_002.smt2.slack.smt2.3 unsat 2.37
cut_lemma_02_002.smt2.slack.smt2.4 unsat 0.9
cut_lemma_02_002.smt2.slack.smt2.5 unsat 1.62
cut_lemma_02_002.smt2.slack.smt2.6 unsat 0.29
cut_lemma_02_002.smt2.slack.smt2.9 unsat 0.57
cut_lemma_02_003.smt2.slack.smt2.1 unsat 17.76
cut_lemma_02_003.smt2.slack.smt2.10 unsat 6.44
cut_lemma_02_003.smt2.slack.smt2.2 unsat 2.13
cut_lemma_02_003.smt2.slack.smt2.3 unsat 2.97
cut_lemma_02_003.smt2.slack.smt2.4 unsat 3.2
cut_lemma_02_003.smt2.slack.smt2.5 unsat 4.52
cut_lemma_02_003.smt2.slack.smt2.8 unsat 9.81
cut_lemma_02_004.smt2.slack.smt2.2 unsat 3.09
cut_lemma_02_004.smt2.slack.smt2.3 unsat 5.33
cut_lemma_02_004.smt2.slack.smt2.5 unsat 8.02
cut_lemma_02_004.smt2.slack.smt2.7 unsat 12.71
cut_lemma_02_004.smt2.slack.smt2.8 unsat 12.01
cut_lemma_02_004.smt2.slack.smt2.9 unsat 5.91
cut_lemma_02_005.smt2.slack.smt2.1 unsat 3.43
cut_lemma_02_005.smt2.slack.smt2.10 unsat 7.38
cut_lemma_02_005.smt2.slack.smt2.2 unsat 5.64
cut_lemma_02_005.smt2.slack.smt2.7 unsat 6.1
cut_lemma_02_005.smt2.slack.smt2.8 unsat 17.17
cut_lemma_02_006.smt2.slack.smt2.1 unsat 1.07
cut_lemma_02_006.smt2.slack.smt2.10 unsat 0.3
cut_lemma_02_006.smt2.slack.smt2.2 unsat 3.71
cut_lemma_02_006.smt2.slack.smt2.3 unsat 0.68
cut_lemma_02_006.smt2.slack.smt2.4 unsat 0.51
cut_lemma_02_006.smt2.slack.smt2.5 unsat 0.64
cut_lemma_02_006.smt2.slack.smt2.6 unsat 0.45
cut_lemma_02_006.smt2.slack.smt2.7 unsat 0.97
cut_lemma_02_006.smt2.slack.smt2.8 unsat 1.48
cut_lemma_02_006.smt2.slack.smt2.9 unsat 0.33
cut_lemma_02_007.smt2.slack.smt2.2 unsat 1.63
cut_lemma_02_007.smt2.slack.smt2.3 unsat 6.79
cut_lemma_02_007.smt2.slack.smt2.6 unsat 1.71
cut_lemma_02_007.smt2.slack.smt2.7 unsat 4.87
cut_lemma_02_007.smt2.slack.smt2.8 unsat 16.58
cut_lemma_02_007.smt2.slack.smt2.9 unsat 11.3
cut_lemma_02_008.smt2.slack.smt2.1 unsat 1.06
cut_lemma_02_008.smt2.slack.smt2.10 unsat 0.85
cut_lemma_02_008.smt2.slack.smt2.3 unsat 2.89
cut_lemma_02_008.smt2.slack.smt2.5 unsat 1.81
cut_lemma_02_008.smt2.slack.smt2.6 unsat 5.69
cut_lemma_02_008.smt2.slack.smt2.8 unsat 0.94
cut_lemma_02_008.smt2.slack.smt2.9 unsat 1.25
cut_lemma_02_009.smt2.slack.smt2.1 unsat 1.19
cut_lemma_02_009.smt2.slack.smt2.10 unsat 0.31
cut_lemma_02_009.smt2.slack.smt2.2 unsat 0.95
cut_lemma_02_009.smt2.slack.smt2.3 unsat 0.38
cut_lemma_02_009.smt2.slack.smt2.4 unsat 0.33
cut_lemma_02_009.smt2.slack.smt2.5 unsat 0.2
cut_lemma_02_009.smt2.slack.smt2.6 unsat 0.78
cut_lemma_02_009.smt2.slack.smt2.8 unsat 0.45
cut_lemma_02_010.smt2.slack.smt2.1 unsat 3.12
cut_lemma_02_010.smt2.slack.smt2.10 unsat 7.29
cut_lemma_02_010.smt2.slack.smt2.4 unsat 2.17
cut_lemma_02_010.smt2.slack.smt2.8 unsat 0.5
cut_lemma_02_012.smt2.slack.smt2.10 unsat 1.89
cut_lemma_02_012.smt2.slack.smt2.4 unsat 156.01
cut_lemma_02_012.smt2.slack.smt2.5 unsat 18.96
cut_lemma_02_012.smt2.slack.smt2.7 unsat 1.3
cut_lemma_02_012.smt2.slack.smt2.8 unsat 1.42
cut_lemma_02_013.smt2.slack.smt2.1 unsat 1.86
cut_lemma_02_013.smt2.slack.smt2.10 unsat 1.24
cut_lemma_02_013.smt2.slack.smt2.3 unsat 0.82
cut_lemma_02_013.smt2.slack.smt2.4 unsat 0.93
cut_lemma_02_013.smt2.slack.smt2.5 unsat 18.97
cut_lemma_02_013.smt2.slack.smt2.7 unsat 3.95
cut_lemma_02_013.smt2.slack.smt2.8 unsat 1.89
cut_lemma_02_013.smt2.slack.smt2.9 unsat 0.35
cut_lemma_02_015.smt2.slack.smt2.1 unsat 1.03
cut_lemma_02_015.smt2.slack.smt2.10 unsat 0.98
cut_lemma_02_015.smt2.slack.smt2.3 unsat 43.25
cut_lemma_02_015.smt2.slack.smt2.4 unsat 12.6
cut_lemma_02_015.smt2.slack.smt2.5 unsat 1.75
cut_lemma_02_015.smt2.slack.smt2.6 unsat 6.07
cut_lemma_02_015.smt2.slack.smt2.7 unsat 0.91
cut_lemma_02_015.smt2.slack.smt2.8 unsat 56.81
cut_lemma_02_015.smt2.slack.smt2.9 unsat 0.85
cut_lemma_02_016.smt2.slack.smt2.1 unsat 0.71
cut_lemma_02_016.smt2.slack.smt2.2 unsat 2.15
cut_lemma_02_016.smt2.slack.smt2.3 unsat 0.6
cut_lemma_02_016.smt2.slack.smt2.4 unsat 0.08
cut_lemma_02_016.smt2.slack.smt2.5 unsat 4.77
cut_lemma_02_016.smt2.slack.smt2.6 unsat 0.18
cut_lemma_02_016.smt2.slack.smt2.9 unsat 0.31
cut_lemma_03_001.smt2.slack.smt2.1 unsat 21.85
cut_lemma_03_001.smt2.slack.smt2.5 unsat 1.42
cut_lemma_03_001.smt2.slack.smt2.9 unsat 220.14
cut_lemma_03_002.smt2.slack.smt2.10 unsat 18.57
cut_lemma_03_002.smt2.slack.smt2.4 unsat 200.91
cut_lemma_03_002.smt2.slack.smt2.6 unsat 20.62
cut_lemma_03_002.smt2.slack.smt2.7 unsat 41.72
cut_lemma_03_003.smt2.slack.smt2.1 unsat 0.35
cut_lemma_03_003.smt2.slack.smt2.10 unsat 8.2
cut_lemma_03_003.smt2.slack.smt2.2 unsat 1.7
cut_lemma_03_003.smt2.slack.smt2.3 unsat 61.14
cut_lemma_03_003.smt2.slack.smt2.4 unsat 13.15
cut_lemma_03_003.smt2.slack.smt2.5 unsat 60.59
cut_lemma_03_003.smt2.slack.smt2.6 unsat 27.45
cut_lemma_03_003.smt2.slack.smt2.7 unsat 49.75
cut_lemma_03_003.smt2.slack.smt2.8 unsat 12.62
cut_lemma_03_003.smt2.slack.smt2.9 unsat 1.44
cut_lemma_03_004.smt2.slack.smt2.1 unsat 58.59
cut_lemma_03_004.smt2.slack.smt2.2 unsat 37.66
cut_lemma_03_004.smt2.slack.smt2.3 unsat 17.95
cut_lemma_03_004.smt2.slack.smt2.4 unsat 35.48
cut_lemma_03_004.smt2.slack.smt2.5 unsat 2.03
cut_lemma_03_004.smt2.slack.smt2.9 unsat 58.76
cut_lemma_03_005.smt2.slack.smt2.1 unsat 5.17
cut_lemma_03_005.smt2.slack.smt2.4 unsat 32.38
cut_lemma_03_005.smt2.slack.smt2.5 unsat 6.84
cut_lemma_03_005.smt2.slack.smt2.6 unsat 79.24
cut_lemma_03_005.smt2.slack.smt2.8 unsat 2.88
cut_lemma_03_006.smt2.slack.smt2.1 unsat 0
cut_lemma_03_006.smt2.slack.smt2.10 unsat 0
cut_lemma_03_006.smt2.slack.smt2.2 unsat 0
cut_lemma_03_006.smt2.slack.smt2.3 unsat 0
cut_lemma_03_006.smt2.slack.smt2.4 unsat 0
cut_lemma_03_006.smt2.slack.smt2.5 unsat 0
cut_lemma_03_006.smt2.slack.smt2.6 unsat 0
cut_lemma_03_006.smt2.slack.smt2.7 unsat 0
cut_lemma_03_006.smt2.slack.smt2.8 unsat 0
cut_lemma_03_006.smt2.slack.smt2.9 unsat 0.01
cut_lemma_03_007.smt2.slack.smt2.1 unsat 12.72
cut_lemma_03_007.smt2.slack.smt2.10 unsat 0.42
cut_lemma_03_007.smt2.slack.smt2.4 unsat 85.25
cut_lemma_03_007.smt2.slack.smt2.5 unsat 297.29
cut_lemma_03_007.smt2.slack.smt2.7 unsat 13.33
cut_lemma_03_007.smt2.slack.smt2.9 unsat 11.38
cut_lemma_03_008.smt2.slack.smt2.1 unsat 0
cut_lemma_03_008.smt2.slack.smt2.10 unsat 0
cut_lemma_03_008.smt2.slack.smt2.2 unsat 0
cut_lemma_03_008.smt2.slack.smt2.3 unsat 0
cut_lemma_03_008.smt2.slack.smt2.4 unsat 0.01
cut_lemma_03_008.smt2.slack.smt2.5 unsat 0
cut_lemma_03_008.smt2.slack.smt2.6 unsat 0
cut_lemma_03_008.smt2.slack.smt2.7 unsat 0
cut_lemma_03_008.smt2.slack.smt2.8 unsat 0
cut_lemma_03_008.smt2.slack.smt2.9 unsat 0
cut_lemma_03_009.smt2.slack.smt2.6 unsat 13.19
cut_lemma_03_010.smt2.slack.smt2.10 unsat 0.72
cut_lemma_03_010.smt2.slack.smt2.2 unsat 37.19
cut_lemma_03_010.smt2.slack.smt2.3 unsat 5.51
cut_lemma_03_010.smt2.slack.smt2.4 unsat 5.09
cut_lemma_03_010.smt2.slack.smt2.5 unsat 0.1
cut_lemma_03_010.smt2.slack.smt2.6 unsat 65.31
cut_lemma_03_010.smt2.slack.smt2.7 unsat 0.31
cut_lemma_03_010.smt2.slack.smt2.8 unsat 69.52
cut_lemma_03_010.smt2.slack.smt2.9 unsat 5.47
cut_lemma_03_011.smt2.slack.smt2.1 unsat 39.19
cut_lemma_03_011.smt2.slack.smt2.2 unsat 61.59
cut_lemma_03_011.smt2.slack.smt2.3 unsat 35.48
cut_lemma_03_011.smt2.slack.smt2.4 unsat 14.15
cut_lemma_03_011.smt2.slack.smt2.5 unsat 11.37
cut_lemma_03_011.smt2.slack.smt2.6 unsat 7.2
cut_lemma_03_011.smt2.slack.smt2.7 unsat 4.57
cut_lemma_03_011.smt2.slack.smt2.8 unsat 37.42
cut_lemma_03_011.smt2.slack.smt2.9 unsat 105.62
cut_lemma_03_012.smt2.slack.smt2.1 unsat 42.26
cut_lemma_03_012.smt2.slack.smt2.2 unsat 8.86
cut_lemma_03_012.smt2.slack.smt2.3 unsat 20.04
cut_lemma_03_012.smt2.slack.smt2.5 unsat 22.81
cut_lemma_03_012.smt2.slack.smt2.6 unsat 12.73
cut_lemma_03_012.smt2.slack.smt2.7 unsat 11.26
cut_lemma_03_012.smt2.slack.smt2.8 unsat 90.8
cut_lemma_03_012.smt2.slack.smt2.9 unsat 33.13
cut_lemma_03_013.smt2.slack.smt2.8 unsat 215.68
cut_lemma_03_014.smt2.slack.smt2.2 unsat 10.23
cut_lemma_03_014.smt2.slack.smt2.3 unsat 80.89
cut_lemma_03_014.smt2.slack.smt2.7 unsat 56.45
cut_lemma_03_015.smt2.slack.smt2.1 unsat 7.79
cut_lemma_03_015.smt2.slack.smt2.10 unsat 37.85
cut_lemma_03_015.smt2.slack.smt2.2 unsat 305.31
cut_lemma_03_015.smt2.slack.smt2.3 unsat 2.12
cut_lemma_03_015.smt2.slack.smt2.4 unsat 4.62
cut_lemma_03_015.smt2.slack.smt2.5 unsat 2.15
cut_lemma_03_015.smt2.slack.smt2.6 unsat 2.54
cut_lemma_03_015.smt2.slack.smt2.7 unsat 3.48
cut_lemma_03_015.smt2.slack.smt2.8 unsat 27.82
cut_lemma_03_015.smt2.slack.smt2.9 unsat 21.17
cut_lemma_03_016.smt2.slack.smt2.10 unsat 15.52
cut_lemma_03_016.smt2.slack.smt2.3 unsat 170.35
cut_lemma_03_016.smt2.slack.smt2.5 unsat 21.31
cut_lemma_03_017.smt2.slack.smt2.1 unsat 51.81
cut_lemma_03_017.smt2.slack.smt2.3 unsat 6.15
cut_lemma_03_017.smt2.slack.smt2.4 unsat 160.7
cut_lemma_03_017.smt2.slack.smt2.6 unsat 4.55
cut_lemma_03_017.smt2.slack.smt2.7 unsat 7.49
cut_lemma_03_017.smt2.slack.smt2.8 unsat 63.72
cut_lemma_03_018.smt2.slack.smt2.1 unsat 40.68
cut_lemma_03_018.smt2.slack.smt2.10 unsat 26.76
cut_lemma_03_018.smt2.slack.smt2.2 unsat 40.57
cut_lemma_03_018.smt2.slack.smt2.3 unsat 30.47
cut_lemma_03_018.smt2.slack.smt2.6 unsat 2.12
cut_lemma_03_018.smt2.slack.smt2.7 unsat 1.46
cut_lemma_03_018.smt2.slack.smt2.9 unsat 4.5
cut_lemma_03_019.smt2.slack.smt2.1 unsat 3.23
cut_lemma_03_019.smt2.slack.smt2.10 unsat 4.46
cut_lemma_03_019.smt2.slack.smt2.2 unsat 195.07
cut_lemma_03_019.smt2.slack.smt2.3 unsat 4.26
cut_lemma_03_019.smt2.slack.smt2.6 unsat 4.31
cut_lemma_03_019.smt2.slack.smt2.7 unsat 14.97
cut_lemma_03_019.smt2.slack.smt2.8 unsat 246.04
cut_lemma_03_019.smt2.slack.smt2.9 unsat 12.36
cut_lemma_03_020.smt2.slack.smt2.1 unsat 18.78
cut_lemma_03_020.smt2.slack.smt2.10 unsat 12.37
cut_lemma_03_020.smt2.slack.smt2.3 unsat 157.05
cut_lemma_03_020.smt2.slack.smt2.4 unsat 60.77
cut_lemma_03_020.smt2.slack.smt2.5 unsat 96.31
cut_lemma_03_020.smt2.slack.smt2.6 unsat 14.84
cut_lemma_03_020.smt2.slack.smt2.9 unsat 231.94