problem result overall_time
cut_lemma_01_006.smt2.slack.smt2.10 sat 1505.02
cut_lemma_02_005.smt2.slack.smt2.6 sat 496.28
cut_lemma_03_004.smt2.slack.smt2.7 sat 15.32
cut_lemma_03_009.smt2.slack.smt2.10 sat 1397.6
cut_lemma_01_001.smt2.slack.smt2.5 unsat 815.76
cut_lemma_01_001.smt2.slack.smt2.8 unsat 1334.48
cut_lemma_01_002.smt2.slack.smt2.5 unsat 68.92
cut_lemma_01_005.smt2.slack.smt2.1 unsat 25.07
cut_lemma_01_005.smt2.slack.smt2.2 unsat 54.78
cut_lemma_01_005.smt2.slack.smt2.3 unsat 16.58
cut_lemma_01_005.smt2.slack.smt2.4 unsat 3.17
cut_lemma_01_005.smt2.slack.smt2.6 unsat 334.49
cut_lemma_01_005.smt2.slack.smt2.7 unsat 235.2
cut_lemma_01_005.smt2.slack.smt2.9 unsat 4.79
cut_lemma_01_006.smt2.slack.smt2.1 unsat 169.93
cut_lemma_01_006.smt2.slack.smt2.2 unsat 587.09
cut_lemma_01_007.smt2.slack.smt2.1 unsat 516.8
cut_lemma_01_008.smt2.slack.smt2.1 unsat 0.48
cut_lemma_01_008.smt2.slack.smt2.10 unsat 0.53
cut_lemma_01_008.smt2.slack.smt2.2 unsat 0.47
cut_lemma_01_008.smt2.slack.smt2.3 unsat 0.6
cut_lemma_01_008.smt2.slack.smt2.4 unsat 0.49
cut_lemma_01_008.smt2.slack.smt2.5 unsat 0.42
cut_lemma_01_008.smt2.slack.smt2.6 unsat 0.57
cut_lemma_01_008.smt2.slack.smt2.7 unsat 0.49
cut_lemma_01_008.smt2.slack.smt2.8 unsat 0.5
cut_lemma_01_008.smt2.slack.smt2.9 unsat 0.49
cut_lemma_01_009.smt2.slack.smt2.1 unsat 196.82
cut_lemma_01_009.smt2.slack.smt2.4 unsat 1869.47
cut_lemma_01_009.smt2.slack.smt2.5 unsat 2285.77
cut_lemma_01_010.smt2.slack.smt2.10 unsat 184.04
cut_lemma_01_011.smt2.slack.smt2.4 unsat 801.42
cut_lemma_01_011.smt2.slack.smt2.5 unsat 61.43
cut_lemma_01_011.smt2.slack.smt2.7 unsat 2629.57
cut_lemma_01_011.smt2.slack.smt2.9 unsat 947.69
cut_lemma_01_013.smt2.slack.smt2.8 unsat 478.11
cut_lemma_01_014.smt2.slack.smt2.10 unsat 532.48
cut_lemma_01_014.smt2.slack.smt2.3 unsat 28.63
cut_lemma_01_014.smt2.slack.smt2.5 unsat 262.95
cut_lemma_01_014.smt2.slack.smt2.8 unsat 76.01
cut_lemma_01_015.smt2.slack.smt2.1 unsat 0.58
cut_lemma_01_015.smt2.slack.smt2.10 unsat 0.48
cut_lemma_01_015.smt2.slack.smt2.2 unsat 0.46
cut_lemma_01_015.smt2.slack.smt2.3 unsat 0.54
cut_lemma_01_015.smt2.slack.smt2.4 unsat 0.49
cut_lemma_01_015.smt2.slack.smt2.5 unsat 0.49
cut_lemma_01_015.smt2.slack.smt2.6 unsat 0.44
cut_lemma_01_015.smt2.slack.smt2.7 unsat 0.55
cut_lemma_01_015.smt2.slack.smt2.8 unsat 0.46
cut_lemma_01_015.smt2.slack.smt2.9 unsat 0.45
cut_lemma_01_016.smt2.slack.smt2.4 unsat 216.4
cut_lemma_01_016.smt2.slack.smt2.5 unsat 103.88
cut_lemma_02_001.smt2.slack.smt2.5 unsat 26.87
cut_lemma_02_003.smt2.slack.smt2.2 unsat 315.02
cut_lemma_02_003.smt2.slack.smt2.3 unsat 26.11
cut_lemma_02_003.smt2.slack.smt2.4 unsat 66.57
cut_lemma_02_003.smt2.slack.smt2.5 unsat 63.06
cut_lemma_02_004.smt2.slack.smt2.7 unsat 286.89
cut_lemma_02_004.smt2.slack.smt2.8 unsat 706.55
cut_lemma_02_004.smt2.slack.smt2.9 unsat 376.01
cut_lemma_02_005.smt2.slack.smt2.2 unsat 1632.49
cut_lemma_02_006.smt2.slack.smt2.1 unsat 92.99
cut_lemma_02_006.smt2.slack.smt2.5 unsat 640.22
cut_lemma_02_008.smt2.slack.smt2.1 unsat 2459.6
cut_lemma_02_008.smt2.slack.smt2.10 unsat 130.1
cut_lemma_02_008.smt2.slack.smt2.8 unsat 902.34
cut_lemma_02_008.smt2.slack.smt2.9 unsat 614.66
cut_lemma_02_012.smt2.slack.smt2.8 unsat 2200.57
cut_lemma_02_013.smt2.slack.smt2.9 unsat 1264.75
cut_lemma_02_015.smt2.slack.smt2.7 unsat 620.23
cut_lemma_03_003.smt2.slack.smt2.1 unsat 0.8
cut_lemma_03_003.smt2.slack.smt2.10 unsat 1415.98
cut_lemma_03_003.smt2.slack.smt2.2 unsat 71.75
cut_lemma_03_003.smt2.slack.smt2.6 unsat 26.17
cut_lemma_03_003.smt2.slack.smt2.9 unsat 21.29
cut_lemma_03_004.smt2.slack.smt2.2 unsat 9.47
cut_lemma_03_004.smt2.slack.smt2.4 unsat 69.58
cut_lemma_03_004.smt2.slack.smt2.5 unsat 105.47
cut_lemma_03_004.smt2.slack.smt2.9 unsat 220.75
cut_lemma_03_006.smt2.slack.smt2.1 unsat 0.5
cut_lemma_03_006.smt2.slack.smt2.10 unsat 0.5
cut_lemma_03_006.smt2.slack.smt2.2 unsat 0.44
cut_lemma_03_006.smt2.slack.smt2.3 unsat 0.45
cut_lemma_03_006.smt2.slack.smt2.4 unsat 0.6
cut_lemma_03_006.smt2.slack.smt2.5 unsat 0.72
cut_lemma_03_006.smt2.slack.smt2.6 unsat 0.47
cut_lemma_03_006.smt2.slack.smt2.7 unsat 0.48
cut_lemma_03_006.smt2.slack.smt2.8 unsat 0.49
cut_lemma_03_006.smt2.slack.smt2.9 unsat 0.75
cut_lemma_03_007.smt2.slack.smt2.10 unsat 884.07
cut_lemma_03_008.smt2.slack.smt2.1 unsat 0.49
cut_lemma_03_008.smt2.slack.smt2.10 unsat 0.78
cut_lemma_03_008.smt2.slack.smt2.2 unsat 0.65
cut_lemma_03_008.smt2.slack.smt2.3 unsat 0.51
cut_lemma_03_008.smt2.slack.smt2.4 unsat 0.5
cut_lemma_03_008.smt2.slack.smt2.5 unsat 0.45
cut_lemma_03_008.smt2.slack.smt2.6 unsat 0.83
cut_lemma_03_008.smt2.slack.smt2.7 unsat 0.58
cut_lemma_03_008.smt2.slack.smt2.8 unsat 0.48
cut_lemma_03_008.smt2.slack.smt2.9 unsat 0.48
cut_lemma_03_009.smt2.slack.smt2.6 unsat 137.69
cut_lemma_03_009.smt2.slack.smt2.9 unsat 1051.84
cut_lemma_03_010.smt2.slack.smt2.5 unsat 139.48
cut_lemma_03_011.smt2.slack.smt2.1 unsat 514.06
cut_lemma_03_011.smt2.slack.smt2.6 unsat 383.09
cut_lemma_03_015.smt2.slack.smt2.4 unsat 1939.94
cut_lemma_03_015.smt2.slack.smt2.7 unsat 27.69
cut_lemma_03_020.smt2.slack.smt2.1 unsat 136.16
cut_lemma_03_020.smt2.slack.smt2.10 unsat 21.37
cut_lemma_03_020.smt2.slack.smt2.5 unsat 53.36
cut_lemma_03_020.smt2.slack.smt2.6 unsat 263.22