This table shows individual results of the experiments described in Michael Rawson, Christoph Wernhard, Zsolt Zombori and Wolfgang Bibel: Lemmas: Generation, Selection, Application – Results, 2023 (Preprint).
An asterisk (*) indicates that the setup involves lemma application. The suffix indicates the selection method for the lemmas: -LIN* learning with a linear model, -GNN* learning with a GNN model, -LIN-GNN* learning with a combined linear/GNN model, -HEU-X* lemma selection by sorting according to heuristic features.
Problem | Rating | Best Proof | SGCD-1 | SGCD-LIN* | Prover9 | Prover9-LIN* | Vampire | Vampire-LIN* | E | E-LIN* | leanCoP | leanCoP-LIN* | CMProver | CMProver-LIN* | CCS-Vanilla | CCS-Vanilla-LIN* | SGCD-2 | SGCD-GNN* | SGCD-3 | SGCD-GNN-LIN* | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Totals of 312: | 300 | 285 | 286 | 260 | 269 | 263 | 284 | 281 | 286 | 77 | 111 | 104 | 142 | 105 | 145 | 285 | 287 | 285 | 285 | |||||||||||||||
LCL006-1 | 0.00 | 5/7/4 | 0.06 | CCS-Vanilla | 5/7/4 | 0.34 | 5/7/4 | 0.30 | 6/8/4 | 0.71 | 6/8/4 | 0.72 | 1.01 | 0.98 | 0.26 | 0.36 | 1.98 | 2.08 | 6/8/4 | 0.16 | 6/8/4 | 0.40 | 5/7/4 | 0.06 | 5/7/4 | 0.09 | 5/7/4 | 0.14 | 5/7/4 | 0.21 | 5/7/4 | 0.10 | 5/7/4 | 0.23 |
LCL007-1 | 0.00 | 1/1/1 | 0.01 | SGCD-2 | 1/1/1 | 0.01 | 1/1/1 | 0.03 | 1/1/1 | 0.03 | 1/1/1 | 0.03 | 0.39 | 0.37 | 0.31 | 0.21 | 2.26 | 2.39 | 1/1/1 | 0.04 | 1/1/1 | 0.04 | 1/1/1 | 0.08 | 1/1/1 | 0.08 | 1/1/1 | 0.01 | 1/1/1 | 0.01 | 1/1/1 | 0.02 | 1/1/1 | 0.02 |
LCL008-1 | 0.00 | 5/5/5 | 0.02 | SGCD-2 | 5/5/5 | 0.03 | 5/5/5 | 0.04 | 7/21/7 | 0.04 | 7/21/7 | 0.05 | 0.19 | 0.38 | 0.28 | 0.31 | 2.18 | 1.35 | 5/5/5 | 0.22 | 5/5/5 | 0.25 | 5/5/5 | 0.07 | 5/5/5 | 0.08 | 5/5/5 | 0.02 | 9/15/5 | 0.02 | 5/5/5 | 0.04 | 9/15/5 | 0.03 |
LCL009-1 | 0.00 | 7/17/6 | 0.06 | CCS-Vanilla | 8/10/6 | 0.09 | 8/10/6 | 0.36 | 11/33/9 | 0.05 | 11/33/9 | 0.09 | 0.30 | 0.28 | 0.35 | 0.36 | 2.28 | 2.04 | 9/21/5 | 0.24 | 9/21/5 | 0.19 | 7/17/6 | 0.06 | 7/17/6 | 0.11 | 8/10/6 | 0.15 | 8/10/6 | 0.19 | 8/10/6 | 0.13 | 8/10/6 | 0.16 |
LCL010-1 | 0.00 | 5/8/5 | 0.03 | SGCD-1 | 5/8/5 | 0.03 | 5/8/5 | 0.07 | 9/55/8 | 0.07 | 9/55/8 | 0.07 | 0.41 | 0.36 | 0.32 | 0.22 | 2.15 | 1.41 | 6/14/5 | 0.05 | 6/11/5 | 0.06 | 5/8/5 | 0.08 | 5/8/5 | 0.08 | 5/8/5 | 0.05 | 5/8/5 | 0.08 | 5/8/5 | 0.08 | 5/8/5 | 0.04 |
LCL011-1 | 0.00 | 7/16/7 | 0.07 | CCS-Vanilla | 8/11/7 | 0.59 | 8/11/7 | 0.50 | 12/38/9 | 1.44 | 12/38/9 | 1.34 | 0.72 | 0.77 | 0.34 | 0.36 | 2.34 | 1.33 | 9/17/6 | 0.59 | 8/11/7 | 1.08 | 7/16/7 | 0.07 | 7/16/7 | 0.09 | 8/11/7 | 0.25 | 8/11/7 | 0.35 | 8/11/7 | 0.37 | 8/11/7 | 0.41 |
LCL013-1 | 0.00 | 2/2/2 | 0.01 | SGCD-3 | 2/2/2 | 0.01 | 2/2/2 | 0.02 | 2/2/2 | 0.04 | 2/2/2 | 0.05 | 0.37 | 0.28 | 0.24 | 0.21 | 2.06 | 1.47 | 2/2/2 | 0.04 | 2/2/2 | 0.15 | 2/2/2 | 0.05 | 2/2/2 | 0.07 | 2/2/2 | 0.02 | 2/2/2 | 0.03 | 2/2/2 | 0.01 | 2/2/2 | 0.01 |
LCL015-1 | 0.00 | 24/73/19 | 162.96 | SGCD-3 | 24/73/19 | 207.44 | 24/73/19 | 117.37 | 46/6203/23 | 6.21 | 46/6203/23 | 6.85 | 11.53 | 12.07 | 0.33 | 0.31 | 24/73/19 | 169.82 | 24/73/19 | 102.22 | 24/73/19 | 162.96 | 24/73/19 | 109.93 | ||||||||||
LCL022-1 | 0.00 | 8/33/7 | 0.46 | CCS-Vanilla | 10/11/6 | 0.54 | 10/11/6 | 0.60 | 10/41/8 | 0.06 | 10/41/8 | 0.05 | 0.31 | 0.38 | 0.34 | 0.21 | 1.31 | 1.45 | 10/18/5 | 0.35 | 10/18/5 | 0.33 | 8/33/7 | 0.46 | 8/33/7 | 0.46 | 10/11/6 | 0.42 | 10/11/6 | 0.35 | 10/11/6 | 0.42 | 10/11/6 | 0.35 |
LCL023-1 | 0.00 | 7/18/7 | 0.09 | CCS-Vanilla | 8/10/5 | 0.14 | 8/10/5 | 0.08 | 13/40/11 | 0.07 | 13/40/11 | 0.08 | 0.30 | 0.35 | 0.28 | 0.20 | 2.29 | 1.65 | 8/14/5 | 0.28 | 8/14/5 | 0.05 | 7/18/7 | 0.09 | 7/18/7 | 0.09 | 8/10/5 | 0.08 | 8/10/5 | 0.15 | 8/10/5 | 0.07 | 8/10/5 | 0.14 |
LCL025-1 | 0.00 | 6/9/6 | 0.23 | CCS-Vanilla | 7/7/7 | 0.23 | 11/19/5 | 0.15 | 12/21/7 | 0.47 | 12/21/7 | 0.46 | 0.53 | 0.40 | 0.30 | 0.26 | 2.30 | 3.18 | 7/7/7 | 0.92 | 7/7/7 | 0.66 | 6/9/6 | 0.23 | 6/9/6 | 0.23 | 7/7/7 | 0.13 | 7/7/7 | 0.14 | 7/7/7 | 0.16 | 7/7/7 | 0.10 |
LCL025-1-TC | 12/40/11 | 14.25 | SGCD-2 | n 25/128/9 | 13.99 | 12/40/11 | 11.73 | n 23/206/13 | 3.34 | n 23/206/13 | 2.48 | 6.90 | 6.86 | 97.04 | 106.30 | 12/40/11 | 14.25 | 12/40/11 | 7.46 | 12/40/11 | 16.23 | 12/40/11 | 11.36 | |||||||||||
LCL026-1 | 0.00 | 22/29/15 | 2.76 | SGCD-1 | 22/29/15 | 2.76 | 22/29/15 | 1.55 | 32/69/13 | 0.83 | 32/69/13 | 1.08 | 5.69 | 6.15 | 0.89 | 0.57 | 22/29/15 | 3.16 | 22/29/15 | 2.44 | 22/29/15 | 3.42 | 22/29/15 | 2.99 | ||||||||||
LCL026-1-TC | 24/103/13 | 104.49 | SGCD-2 | 24/103/13 | 138.86 | 24/103/13 | 127.23 | n 39/349/15 | 3.40 | n 39/349/15 | 2.92 | 6.19 | 6.34 | 3.11 | 4.30 | 24/103/13 | 104.49 | 24/103/13 | 113.89 | 24/103/13 | 114.84 | 24/103/13 | 104.71 | |||||||||||
LCL027-1 | 0.00 | 3/3/3 | 0.01 | SGCD-1 | 3/3/3 | 0.01 | 3/3/3 | 0.02 | 10/10/6 | 0.04 | 10/10/6 | 0.04 | 0.35 | 0.31 | 0.25 | 0.29 | 2.40 | 2.36 | 3/3/3 | 0.14 | 3/3/3 | 0.24 | 3/3/3 | 0.07 | 3/3/3 | 0.07 | 5/5/3 | 0.03 | 3/3/3 | 0.05 | 3/3/3 | 0.06 | 3/3/3 | 0.03 |
LCL027-1-TC | n 9/21/8 | 17.43 | CCS-Vanilla | 10/16/7 | 0.08 | 10/16/7 | 0.07 | n 14/38/8 | 0.07 | n 14/38/8 | 0.08 | 0.48 | 0.26 | 0.34 | 0.23 | 10/16/7 | 37.58 | 10/16/7 | 15.65 | n 9/21/8 | 17.43 | n 9/21/8 | 17.37 | 10/16/7 | 0.13 | 10/16/7 | 0.14 | 10/16/7 | 0.08 | 10/16/7 | 0.14 | |||
LCL029-1 | 0.00 | 7/14/6 | 10.79 | CCS-Vanilla | 8/8/7 | 1.87 | 8/8/7 | 0.42 | 8/9/6 | 0.09 | 8/9/6 | 0.08 | 0.92 | 0.80 | 0.31 | 0.21 | 6.43 | 8.00 | 8/8/7 | 14.44 | 8/8/7 | 12.72 | 7/14/6 | 10.79 | 7/14/6 | 8.25 | 8/8/7 | 1.29 | 8/8/7 | 0.79 | 8/8/7 | 0.53 | 8/8/7 | 0.70 |
LCL029-1-TC | 17/51/13 | 18.27 | SGCD-2 | n 20/155/10 | 9.22 | n 20/155/10 | 3.71 | n 19/131/13 | 0.16 | n 19/131/13 | 0.11 | 5.13 | 5.20 | 0.29 | 0.27 | 17/51/13 | 18.27 | n 20/155/10 | 7.34 | n 20/155/10 | 10.11 | n 20/155/10 | 6.65 | |||||||||||
LCL033-1 | 0.00 | 6/7/6 | 0.02 | SGCD-2 | 6/7/6 | 0.03 | 6/7/6 | 0.01 | n 7/10/7 | 0.05 | n 7/10/7 | 0.05 | 0.35 | 0.43 | 0.31 | 0.20 | 6.42 | 6.66 | 6/7/6 | 1.35 | 6/7/6 | 0.19 | n 6/7/6 | 0.05 | n 6/7/6 | 0.09 | 6/7/6 | 0.02 | 6/7/6 | 0.05 | 6/7/6 | 0.04 | 6/7/6 | 0.02 |
LCL034-1 | 0.00 | 24/46/19 | 1.86 | SGCD-1 | 24/46/19 | 1.86 | 24/46/19 | 1.69 | n 25/208/21 | 0.17 | n 25/208/21 | 0.13 | 4.80 | 4.83 | 0.29 | 0.32 | 24/46/19 | 3.87 | 24/46/19 | 3.52 | 24/46/19 | 4.44 | 24/46/19 | 3.28 | ||||||||||
LCL035-1 | 0.00 | 5/6/5 | 0.02 | SGCD-2 | 5/6/5 | 0.03 | 5/6/5 | 0.02 | n 5/7/5 | 0.05 | n 5/7/5 | 0.03 | 0.31 | 0.34 | 0.30 | 0.21 | 2.36 | 1.52 | 5/6/5 | 0.17 | 5/6/5 | 0.04 | n 5/7/5 | 0.09 | n 5/7/5 | 0.04 | 5/6/5 | 0.02 | 5/6/5 | 0.03 | 5/6/5 | 0.04 | 5/6/5 | 0.05 |
LCL036-1 | 0.00 | n 11/59/11 | 596.99 | CCS-Vanilla | 13/25/12 | 0.47 | 13/25/12 | 0.34 | n 18/96/17 | 0.08 | n 18/96/17 | 0.06 | 1.62 | 1.66 | 0.35 | 0.24 | n 11/59/11 | 596.99 | n 11/59/11 | 329.74 | 13/25/12 | 0.30 | 13/25/12 | 0.26 | 13/25/12 | 0.33 | 13/25/12 | 0.31 | ||||||
LCL038-1 | 0.00 | 52/119/27 | 86.11 | SGCD-GNN-LIN* | 60/99/26 | 262.69 | 81/261/27 | 223.46 | n 91/18261/38 | 52.38 | 76/577/30 | 4.13 | 578.09 | 9.69 | 23.32 | 946.07 | 70/166/25 | 1,181.61 | 60/99/26 | 250.54 | n 54/96/26 | 80.22 | 60/99/26 | 213.50 | 52/119/27 | 86.11 | ||||||||
LCL041-1 | 0.00 | 3/3/2 | 0.03 | SGCD-1 | 3/3/2 | 0.03 | 3/3/2 | 0.03 | 3/3/2 | 0.09 | 3/3/2 | 0.06 | 0.32 | 0.38 | 0.25 | 0.34 | 2.17 | 1.85 | 3/3/2 | 0.39 | 3/3/2 | 0.10 | 3/3/2 | 0.05 | 3/3/2 | 0.04 | 3/3/2 | 0.04 | 3/3/2 | 0.03 | 3/3/2 | 0.06 | 3/3/2 | 0.04 |
LCL041-1-TC | 14/31/10 | 16.63 | SGCD-3 | 14/31/10 | 29.17 | 14/31/10 | 21.86 | n 24/104/15 | 0.43 | n 24/104/15 | 0.38 | 5.02 | 5.03 | 100.18 | 76.40 | 14/31/10 | 18.47 | 14/31/10 | 17.67 | 14/31/10 | 16.63 | 14/31/10 | 17.70 | |||||||||||
LCL043-1 | 0.00 | 2/2/2 | 0.01 | SGCD-2 | 2/2/2 | 0.02 | 2/2/2 | 0.04 | 2/2/2 | 0.12 | 2/2/2 | 0.08 | 0.34 | 0.41 | 0.29 | 0.21 | 2.34 | 1.39 | 2/2/2 | 0.19 | 2/2/2 | 0.29 | 2/2/2 | 0.05 | 2/2/2 | 0.08 | 2/2/2 | 0.01 | 2/2/2 | 0.02 | 2/2/2 | 0.02 | 2/2/2 | 0.01 |
LCL043-1-TC | 9/22/8 | 27.16 | CCS-Vanilla | 10/18/7 | 0.50 | 10/18/7 | 0.86 | n 16/56/13 | 0.11 | n 16/56/13 | 0.15 | 0.51 | 0.62 | 0.44 | 0.43 | n 16/23/7 | 195.86 | 13/22/7 | 668.63 | 9/22/8 | 27.16 | 9/22/8 | 27.08 | 10/18/7 | 0.65 | 10/18/7 | 0.48 | 10/18/7 | 1.03 | 10/18/7 | 0.88 | |||
LCL044-1 | 0.00 | 3/3/3 | 0.02 | SGCD-1 | 3/3/3 | 0.02 | 3/3/3 | 0.06 | n 8/10/5 | 0.09 | n 8/10/5 | 0.08 | 0.37 | 0.36 | 0.27 | 0.25 | 2.40 | 1.40 | 3/3/3 | 0.05 | 3/3/3 | 0.11 | 3/3/3 | 0.04 | 3/3/3 | 0.09 | 3/3/3 | 0.05 | 3/3/3 | 0.04 | 3/3/3 | 0.03 | 3/3/3 | 0.03 |
LCL044-1-TC | n 15/32/7 | 1.45 | SGCD-3 | n 15/32/7 | 3.02 | n 15/32/7 | 2.16 | n 27/119/15 | 0.37 | n 27/119/15 | 0.41 | 5.34 | 0.45 | 1.51 | 1.46 | n 15/32/7 | 2.40 | n 15/32/7 | 1.39 | n 15/32/7 | 1.45 | n 15/32/7 | 3.24 | |||||||||||
LCL045-1 | 0.00 | 5/5/4 | 0.06 | CMProver | 5/5/4 | 0.38 | 5/5/4 | 0.20 | 16/19/9 | 5.36 | 16/19/9 | 3.24 | 0.60 | 0.55 | 4.00 | 2.33 | 2.40 | 2.34 | 5/5/4 | 0.06 | 6/6/3 | 0.26 | 5/5/4 | 0.15 | 5/5/4 | 0.17 | 5/5/4 | 0.11 | 5/5/4 | 0.28 | 5/5/4 | 0.16 | 6/6/3 | 0.02 |
LCL045-1-TC | 19/36/11 | 16.93 | SGCD-1 | 19/36/11 | 16.93 | 19/36/11 | 45.16 | n 32/215/17 | 15.75 | n 32/215/17 | 13.99 | 32.29 | 31.40 | 1.16 | 1.64 | 19/36/11 | 17.68 | 19/36/11 | 35.00 | 19/36/11 | 23.61 | 19/36/11 | 36.14 | |||||||||||
LCL046-1 | 0.00 | 2/2/2 | 0.01 | SGCD-2 | 2/2/2 | 0.02 | 2/2/2 | 0.01 | 2/2/2 | 0.04 | 2/2/2 | 0.04 | 0.20 | 0.24 | 0.26 | 0.26 | 2.36 | 1.43 | 2/2/2 | 0.15 | 2/2/2 | 0.12 | 2/2/2 | 0.07 | 2/2/2 | 0.08 | 2/2/2 | 0.01 | 2/2/2 | 0.01 | 2/2/2 | 0.04 | 2/2/2 | 0.03 |
LCL046-1-TC | n 9/21/9 | 28.56 | CCS-Vanilla | 12/18/8 | 0.38 | n 13/25/8 | 0.14 | n 12/25/8 | 0.11 | n 12/25/8 | 0.10 | 0.47 | 0.44 | 0.30 | 0.18 | 15/30/8 | 628.85 | 15/30/8 | 1,450.15 | n 9/21/9 | 28.56 | n 9/21/9 | 36.44 | n 13/25/8 | 0.10 | n 13/25/8 | 0.10 | n 13/25/8 | 0.13 | n 13/25/8 | 0.11 | |||
LCL047-1 | 0.00 | 16/22/5 | 0.62 | SGCD-1 | 16/22/5 | 0.62 | 16/22/5 | 1.28 | n 17/41/10 | 0.09 | n 17/41/10 | 0.11 | 5.15 | 5.08 | 1.44 | 1.51 | 16/22/5 | 1.63 | 16/22/5 | 0.54 | 16/22/5 | 1.42 | 16/22/5 | 1.06 | ||||||||||
LCL047-1-TC | 1/1/1 | 0.02 | SGCD-3 | 1/1/1 | 0.06 | 1/1/1 | 0.02 | 1/1/1 | 0.05 | 1/1/1 | 0.06 | 0.35 | 0.25 | 0.18 | 0.24 | 2.17 | 2.23 | 1/1/1 | 0.30 | 1/1/1 | 0.24 | 1/1/1 | 0.05 | 1/1/1 | 0.08 | 1/1/1 | 0.04 | 1/1/1 | 0.02 | 1/1/1 | 0.02 | 1/1/1 | 0.02 | |
LCL048-1 | 0.00 | 16/19/13 | 113.13 | SGCD-2 | 16/19/14 | 27.31 | 16/19/14 | 73.73 | 18/43/10 | 0.10 | 18/43/10 | 0.10 | 5.19 | 5.11 | 1.08 | 1.01 | 16/19/13 | 113.13 | 16/19/13 | 69.01 | 16/19/13 | 120.19 | 16/19/13 | 82.02 | ||||||||||
LCL048-1-TC | 7/11/7 | 0.06 | SGCD-2 | n 10/15/7 | 0.04 | 7/11/7 | 0.11 | n 8/18/7 | 0.11 | n 8/18/7 | 0.06 | 0.49 | 0.36 | 0.25 | 0.31 | 8/11/8 | 14.88 | 8/11/8 | 12.43 | n 7/11/7 | 0.20 | n 7/11/7 | 0.33 | 7/11/7 | 0.06 | 7/11/7 | 0.07 | 7/11/7 | 0.07 | 7/11/7 | 0.03 | |||
LCL049-1 | 0.00 | 20/24/14 | 105.82 | SGCD-2 | 20/24/15 | 128.28 | 20/24/15 | 98.28 | 29/169/18 | 1.03 | 29/169/18 | 1.67 | 5.30 | 5.57 | 1.07 | 1.35 | 20/24/14 | 105.82 | 20/24/14 | 111.15 | 20/24/14 | 116.32 | 20/24/14 | 191.02 | ||||||||||
LCL049-1-TC | 12/71/11 | 57.88 | SGCD-3 | 12/71/11 | 73.41 | 12/71/11 | 71.89 | n 15/85/10 | 6.09 | n 15/85/10 | 6.67 | 6.80 | 6.49 | 755.65 | 946.33 | 12/71/11 | 62.48 | 12/71/11 | 35.76 | 12/71/11 | 57.88 | 12/71/11 | 60.31 | |||||||||||
LCL050-1 | 0.00 | 22/27/17 | 112.76 | SGCD-3 | 22/27/17 | 199.10 | 22/27/17 | 172.03 | 30/173/19 | 1.37 | 30/173/19 | 1.21 | 5.37 | 5.27 | 1.01 | 1.17 | 22/27/17 | 149.18 | 22/27/17 | 101.28 | 22/27/17 | 112.76 | 22/27/17 | 145.19 | ||||||||||
LCL050-1-TC | 14/101/13 | 55.08 | SGCD-1 | 14/101/13 | 55.08 | 14/101/13 | 138.33 | n 17/115/12 | 10.78 | n 17/115/12 | 11.90 | 15.76 | 17.32 | 920.37 | 958.32 | 14/101/13 | 72.41 | 14/101/13 | 81.30 | 14/101/13 | 121.62 | 14/101/13 | 121.82 | |||||||||||
LCL051-1 | 0.00 | 21/26/10 | 128.74 | SGCD-3 | 21/26/10 | 168.87 | 21/26/10 | 89.81 | 31/172/20 | 3.100 | 31/172/20 | 2.37 | 7.34 | 7.25 | 2.70 | 2.50 | 21/26/10 | 150.07 | 21/26/10 | 78.29 | 21/26/10 | 128.74 | 21/26/10 | 134.35 | ||||||||||
LCL051-1-TC | 14/101/13 | 79.53 | SGCD-3 | 14/101/13 | 111.33 | 14/101/13 | 83.40 | n 17/115/12 | 11.51 | n 17/115/12 | 13.38 | 9.49 | 8.96 | 1,480.17 | 1,511.48 | 14/101/13 | 82.42 | 14/101/13 | 127.09 | 14/101/13 | 79.53 | 14/101/13 | 126.74 | |||||||||||
LCL052-1 | 0.00 | 17/26/13 | 69.77 | SGCD-2 | 17/26/13 | 151.36 | 17/26/13 | 108.70 | n 25/103/15 | 0.67 | n 25/103/15 | 0.75 | 5.25 | 5.33 | 0.95 | 1.42 | 17/26/13 | 69.77 | 17/26/13 | 134.53 | 17/26/13 | 131.38 | 17/26/13 | 127.95 | ||||||||||
LCL052-1-TC | n 21/197/13 | 8.26 | Prover9 | 23/125/16 | 161.52 | 23/125/16 | 165.54 | n 21/197/13 | 8.26 | n 21/197/13 | 9.02 | 6.84 | 7.53 | 0.50 | 0.48 | 23/125/16 | 92.56 | 23/125/16 | 93.05 | 23/125/16 | 103.94 | 23/125/16 | 139.40 | |||||||||||
LCL053-1 | 0.00 | 18/28/15 | 81.14 | SGCD-1 | 18/28/15 | 81.14 | 18/28/15 | 108.00 | 26/106/15 | 0.90 | 26/106/15 | 0.89 | 5.31 | 5.25 | 1.56 | 1.67 | 18/28/15 | 117.00 | 18/28/15 | 119.89 | 18/28/15 | 153.24 | 18/28/15 | 148.84 | ||||||||||
LCL053-1-TC | n 22/217/14 | 7.55 | Prover9 | 24/145/17 | 250.81 | 24/145/17 | 139.11 | n 22/217/14 | 7.55 | n 22/217/14 | 6.05 | 9.25 | 8.92 | 0.58 | 0.48 | 24/145/17 | 134.10 | 24/145/17 | 208.73 | 24/145/17 | 115.36 | 24/145/17 | 135.43 | |||||||||||
LCL055-1 | 0.00 | 15/24/11 | 50.73 | SGCD-1 | 15/24/11 | 50.73 | 15/24/12 | 107.44 | 23/85/13 | 0.34 | 23/85/13 | 0.38 | 5.63 | 5.66 | 1.26 | 1.33 | 15/24/11 | 112.67 | 15/24/11 | 70.11 | 15/24/11 | 117.08 | 15/24/11 | 78.37 | ||||||||||
LCL055-1-TC | 17/108/14 | 109.10 | SGCD-3 | 17/108/14 | 143.01 | 17/108/14 | 161.10 | n 20/140/13 | 7.20 | n 20/140/13 | 6.45 | 7.94 | 8.06 | 0.91 | 0.76 | 17/108/14 | 143.01 | 17/108/14 | 92.91 | 17/108/14 | 109.10 | 17/108/14 | 102.41 | |||||||||||
LCL056-1 | 0.00 | 16/25/12 | 76.68 | SGCD-3 | 20/30/6 | 101.45 | 16/25/13 | 85.88 | n 25/101/15 | 0.33 | n 25/101/15 | 0.30 | 5.25 | 5.34 | 1.47 | 1.03 | 16/25/12 | 91.78 | 16/25/12 | 96.66 | 16/25/12 | 76.68 | 16/25/12 | 115.34 | ||||||||||
LCL056-1-TC | n 21/167/12 | 6.18 | Prover9 | 22/115/12 | 56.39 | 22/115/12 | 81.89 | n 21/167/12 | 6.18 | n 21/167/12 | 5.99 | 6.52 | 7.27 | 0.73 | 0.79 | 22/115/12 | 133.82 | 22/115/12 | 110.50 | 22/115/12 | 119.81 | 22/115/12 | 87.88 | |||||||||||
LCL057-1 | 0.00 | 20/30/16 | 241.43 | SGCD-1 | 20/30/16 | 241.43 | 20/31/16 | 75.80 | n 27/124/17 | 0.37 | n 27/124/17 | 0.27 | 5.21 | 5.22 | 1.63 | 1.68 | 20/31/16 | 128.75 | 20/31/16 | 196.76 | 20/31/16 | 229.58 | 20/30/16 | 126.100 | ||||||||||
LCL057-1-TC | n 25/259/15 | 6.08 | Prover9 | 27/169/15 | 227.34 | 27/169/15 | 212.79 | n 25/259/15 | 6.08 | n 25/259/15 | 7.12 | 7.29 | 7.34 | 1.02 | 0.87 | 27/169/15 | 148.11 | 27/169/15 | 130.47 | 27/169/15 | 199.49 | 27/169/15 | 131.09 | |||||||||||
LCL058-1 | 0.00 | 30/68/17 | 1.15 | SGCD-LIN* | 31/67/16 | 353.46 | 30/68/17 | 1.15 | n 44/800/23 | 5.25 | 31/67/16 | 0.14 | 9.41 | 0.50 | 1.03 | 12.72 | 1.94 | 34/80/18 | 27.41 | 34/87/18 | 0.72 | 31/67/16 | 210.85 | 31/68/15 | 1.56 | 31/67/16 | 288.60 | 44/73/18 | 0.04 | |||||
LCL058-1-TC | 28/233/18 | 288.01 | CCS-Vanilla-LIN* | n 33/230/17 | 405.18 | 33/259/17 | 3.11 | n 35/723/20 | 17.45 | 36/314/18 | 0.28 | 17.57 | 0.61 | 20.69 | 5.23 | 2.56 | 36/324/16 | 1,302.10 | 28/233/18 | 288.01 | n 33/230/17 | 385.89 | 34/252/14 | 2.75 | n 33/230/17 | 282.99 | 40/303/19 | 10.100 | ||||||
LCL059-1 | 0.00 | 15/19/5 | 854.67 | CMProver | 16/20/5 | 4.28 | 16/20/5 | 2.61 | 27/128/16 | 0.92 | 27/128/16 | 0.91 | 6.77 | 7.03 | 1.23 | 0.80 | 32.12 | 30.93 | 15/19/5 | 854.67 | 15/19/5 | 928.75 | 16/20/5 | 3.44 | 16/20/5 | 4.05 | 16/20/5 | 2.98 | 16/20/5 | 1.100 | ||||
LCL059-1-TC | 15/86/12 | 41.14 | SGCD-1 | 15/86/12 | 41.14 | 15/86/12 | 74.78 | n 23/333/15 | 14.84 | n 23/333/15 | 15.94 | 19.32 | 19.19 | 22.69 | 23.63 | 15/86/12 | 91.97 | 15/86/12 | 57.65 | 15/86/12 | 55.34 | 15/86/12 | 55.37 | |||||||||||
LCL064-1 | 0.00 | 6/9/6 | 0.12 | CCS-Vanilla | 11/19/5 | 0.30 | 7/7/7 | 0.11 | 12/21/7 | 1.48 | 12/21/7 | 1.36 | 0.46 | 0.49 | 0.52 | 0.56 | 1.30 | 2.26 | 7/7/7 | 0.62 | 7/7/7 | 0.62 | 6/9/6 | 0.12 | 6/9/6 | 0.19 | 7/7/7 | 0.13 | 7/7/7 | 0.10 | 7/7/7 | 0.14 | 7/7/7 | 0.10 |
LCL064-1-TC | n 10/56/9 | 239.23 | CCS-Vanilla | 11/32/11 | 12.64 | 11/32/11 | 8.43 | n 19/150/14 | 71.63 | n 19/150/14 | 64.07 | 24.07 | 23.92 | 0.24 | 0.26 | n 10/56/9 | 239.23 | n 10/56/9 | 417.86 | 11/32/11 | 11.29 | 11/32/11 | 10.71 | 11/32/11 | 12.50 | 11/32/11 | 6.90 | |||||||
LCL064-2 | 0.00 | 6/9/6 | 0.14 | CCS-Vanilla | 16/29/14 | 0.31 | 7/7/7 | 0.03 | 12/21/7 | 0.11 | 12/21/7 | 0.12 | 0.40 | 0.44 | 0.30 | 0.28 | 2.36 | 2.39 | 7/7/7 | 0.23 | 7/7/7 | 0.31 | 6/9/6 | 0.14 | 6/9/6 | 0.06 | 7/7/7 | 0.09 | 7/7/7 | 0.06 | 7/7/7 | 0.12 | 7/7/7 | 0.09 |
LCL064-2-TC | 9/29/9 | 47.02 | CCS-Vanilla | 10/23/10 | 1.69 | 10/23/10 | 1.48 | 14/71/10 | 0.88 | 14/71/10 | 0.60 | 5.26 | 5.45 | 7.91 | 8.24 | 9/29/9 | 47.02 | 9/29/9 | 53.70 | 10/23/10 | 1.50 | 10/23/10 | 1.36 | 10/23/10 | 1.23 | 10/23/10 | 0.70 | |||||||
LCL065-1 | 0.00 | 7/9/7 | 0.04 | SGCD-3 | 12/16/5 | 0.14 | 7/9/7 | 0.28 | 15/20/7 | 0.28 | 15/20/7 | 0.15 | 0.34 | 0.24 | 0.42 | 0.56 | 2.40 | 2.40 | 10/10/5 | 0.23 | 7/9/7 | 7.23 | 7/16/7 | 0.38 | 7/16/7 | 0.37 | 7/9/7 | 0.07 | 7/9/7 | 0.56 | 7/9/7 | 0.04 | 7/9/7 | 0.05 |
LCL065-1-TC | 14/47/11 | 20.18 | SGCD-2 | 16/42/9 | 35.74 | 16/42/9 | 29.71 | n 24/118/12 | 0.16 | n 24/118/12 | 0.13 | 1.61 | 1.62 | 0.44 | 0.29 | 14/47/11 | 20.18 | 14/47/11 | 31.29 | 14/47/11 | 31.65 | 16/42/9 | 20.98 | |||||||||||
LCL066-1 | 0.00 | 7/7/7 | 0.07 | SGCD-2 | 7/7/7 | 0.08 | 7/7/7 | 0.09 | 12/17/5 | 0.09 | 12/17/5 | 0.09 | 0.24 | 0.26 | 0.22 | 0.20 | 2.14 | 2.30 | 7/7/7 | 0.19 | 7/7/7 | 0.53 | 7/7/7 | 0.30 | 7/7/7 | 0.47 | 7/7/7 | 0.07 | 7/7/7 | 0.05 | 7/7/7 | 0.16 | 7/7/7 | 0.07 |
LCL066-1-TC | 14/34/11 | 9.31 | SGCD-1 | 14/34/11 | 9.31 | 14/34/11 | 12.22 | n 26/144/15 | 0.13 | n 26/144/15 | 0.12 | 0.48 | 0.30 | 0.32 | 0.30 | 14/34/11 | 17.02 | 14/34/11 | 20.23 | 14/34/11 | 11.20 | 14/34/11 | 15.49 | |||||||||||
LCL067-1 | 0.00 | 10/20/6 | 914.91 | CCS-Vanilla | 17/24/6 | 0.47 | 17/24/6 | 0.55 | n 13/49/10 | 1.41 | n 13/49/10 | 1.97 | 0.31 | 0.49 | 26.66 | 26.05 | 134.77 | 154.72 | 12/18/6 | 226.52 | 12/18/6 | 257.02 | 10/20/6 | 914.91 | 10/20/6 | 954.69 | 17/24/6 | 1.11 | 17/24/6 | 1.63 | 17/24/6 | 1.22 | 17/24/6 | 0.86 |
LCL067-1-TC | n 24/80/12 | 59.91 | SGCD-2 | n 28/134/10 | 2.82 | n 28/134/10 | 7.59 | n 29/561/19 | 3.58 | n 29/561/19 | 1.93 | 6.84 | 6.85 | 909.41 | 949.27 | n 24/80/12 | 59.91 | n 24/80/12 | 56.53 | n 24/80/12 | 78.21 | n 24/80/12 | 32.96 | |||||||||||
LCL068-1 | 0.00 | 15/26/11 | 4.36 | SGCD-1 | 15/26/11 | 4.36 | 15/26/11 | 5.84 | n 50/600/19 | 4.91 | n 50/600/19 | 4.66 | 0.68 | 8.76 | 0.62 | 0.60 | 15/26/11 | 5.75 | 15/26/11 | 7.29 | 15/26/11 | 6.47 | 15/26/11 | 8.62 | ||||||||||
LCL068-1-TC | 23/72/12 | 33.93 | SGCD-1 | 23/72/12 | 33.93 | 23/72/12 | 31.71 | n 43/1257/23 | 2.92 | n 43/1257/23 | 4.08 | 7.94 | 8.37 | 0.35 | 0.26 | 23/72/12 | 43.43 | 23/72/12 | 29.00 | 23/72/12 | 65.27 | 23/72/12 | 28.67 | |||||||||||
LCL069-1 | 0.00 | 8/8/5 | 0.04 | SGCD-1 | 8/8/5 | 0.04 | 8/8/5 | 0.40 | n 9/22/9 | 0.13 | n 9/22/9 | 0.13 | 0.36 | 0.48 | 0.43 | 0.24 | 1.55 | 2.42 | 8/8/5 | 0.17 | 8/8/5 | 0.13 | 8/8/5 | 1.41 | 8/8/5 | 2.35 | 8/8/5 | 0.06 | 8/8/5 | 0.18 | 8/8/5 | 0.17 | 8/8/5 | 0.08 |
LCL069-1-TC | n 19/60/9 | 0.25 | SGCD-1 | n 19/60/9 | 0.25 | n 19/60/9 | 0.26 | n 21/138/14 | 0.16 | n 21/138/14 | 0.16 | 1.43 | 1.69 | 0.32 | 0.29 | n 19/60/9 | 0.61 | n 19/60/9 | 0.36 | n 19/60/9 | 0.70 | n 19/60/9 | 0.52 | |||||||||||
LCL070-1 | 0.00 | 10/18/6 | 178.51 | CCS-Vanilla | 11/17/6 | 9.04 | 11/17/6 | 12.59 | 12/27/9 | 2.21 | 12/27/9 | 2.11 | 7.19 | 6.34 | 7.32 | 7.19 | 85.82 | 114.81 | 11/17/6 | 61.15 | 11/17/6 | 53.58 | 10/18/6 | 178.51 | 10/18/6 | 241.69 | 12/19/8 | 15.39 | 12/19/8 | 21.88 | 12/19/8 | 20.43 | 12/19/8 | 22.37 |
LCL070-1-TC | 24/78/12 | 23.36 | SGCD-1 | 24/78/12 | 23.36 | 24/78/12 | 41.26 | n 41/1041/24 | 5.01 | n 41/1041/24 | 4.44 | 18.57 | 21.04 | 1,620.36 | 1,671.29 | 24/78/12 | 40.59 | 24/78/12 | 26.21 | 24/78/12 | 24.76 | 24/78/12 | 40.02 | |||||||||||
LCL071-1 | 0.00 | 13/16/6 | 24.78 | SGCD-1 | 13/16/6 | 24.78 | 13/16/6 | 19.02 | 40/233/19 | 1.81 | 40/233/19 | 2.09 | 10.62 | 11.52 | 2.52 | 2.33 | 13/27/7 | 497.67 | 13/27/7 | 694.82 | 17/24/10 | 52.52 | 17/24/10 | 27.48 | 17/24/10 | 32.44 | 17/24/10 | 46.33 | ||||||
LCL071-1-TC | 21/77/13 | 68.05 | SGCD-3 | 30/114/15 | 31.42 | 30/114/15 | 77.01 | n 74/4764/28 | 6.13 | n 74/4764/28 | 6.16 | 16.18 | 16.68 | 0.37 | 0.22 | 21/77/13 | 100.57 | 21/77/13 | 74.73 | 21/77/13 | 68.05 | 21/77/13 | 66.13 | |||||||||||
LCL072-1 | 0.00 | 7/8/4 | 0.02 | SGCD-1 | 7/8/4 | 0.02 | 7/8/4 | 0.16 | 18/48/9 | 0.46 | 18/48/9 | 0.49 | 1.72 | 1.63 | 0.98 | 1.10 | 1.38 | 1.35 | 7/8/4 | 0.06 | 7/8/4 | 0.26 | 7/8/4 | 0.20 | 7/8/4 | 0.38 | 7/8/4 | 0.06 | 7/8/4 | 0.29 | 7/8/4 | 0.18 | 7/8/4 | 0.03 |
LCL072-1-TC | n 18/64/9 | 1.17 | SGCD-1 | n 18/64/9 | 1.17 | n 18/64/9 | 1.10 | n 34/324/19 | 1.77 | n 34/324/19 | 1.88 | 11.40 | 13.00 | 0.32 | 0.38 | n 18/64/9 | 2.10 | n 18/64/9 | 1.64 | n 18/64/9 | 2.41 | n 18/64/9 | 1.72 | |||||||||||
LCL075-1 | 0.00 | 8/20/8 | 0.16 | Prover9 | 8/20/8 | 0.48 | 8/20/8 | 0.44 | 8/20/8 | 0.16 | 8/20/8 | 0.11 | 0.50 | 0.43 | 0.22 | 0.29 | 8/20/8 | 319.20 | 8/20/8 | 199.41 | 8/20/8 | 0.20 | 8/20/8 | 0.21 | 8/20/8 | 0.20 | 8/20/8 | 0.39 | 8/20/8 | 0.40 | 8/20/8 | 0.42 | ||
LCL076-1 | 0.00 | 7/9/7 | 0.06 | SGCD-3 | 7/9/7 | 0.10 | 7/9/7 | 0.12 | 20/26/8 | 0.24 | 20/26/8 | 0.19 | 0.46 | 0.48 | 0.29 | 0.31 | 11.27 | 9.50 | 7/9/7 | 2.61 | 7/9/7 | 3.96 | 7/15/7 | 0.15 | 7/15/7 | 0.24 | 7/9/7 | 0.09 | 7/9/7 | 0.08 | 7/9/7 | 0.06 | 7/9/7 | 0.06 |
LCL076-1-TC | 17/44/9 | 13.54 | SGCD-1 | 17/44/9 | 13.54 | 17/44/9 | 19.62 | n 24/120/13 | 0.09 | n 24/120/13 | 0.09 | 1.56 | 1.63 | 0.30 | 0.31 | 17/44/9 | 24.71 | 17/44/9 | 35.72 | 17/44/9 | 18.66 | 17/44/9 | 32.100 | |||||||||||
LCL076-2 | 0.00 | 1/1/1 | 0.01 | SGCD-3 | 1/1/1 | 0.02 | 1/1/1 | 0.01 | 1/1/1 | 0.04 | 1/1/1 | 0.03 | 0.37 | 0.36 | 0.18 | 0.33 | 2.42 | 2.17 | 1/1/1 | 0.04 | 1/1/1 | 0.24 | 1/1/1 | 0.06 | 1/1/1 | 0.08 | 1/1/1 | 0.03 | 1/1/1 | 0.01 | 1/1/1 | 0.01 | 1/1/1 | 0.01 |
LCL076-2-TC | n 7/14/7 | 0.09 | CCS-Vanilla | 8/11/5 | 0.05 | 8/11/5 | 0.05 | n 10/15/6 | 0.07 | n 10/15/6 | 0.08 | 0.37 | 0.41 | 0.28 | 0.29 | 2.23 | 1.96 | 8/11/5 | 0.91 | 8/11/5 | 0.48 | n 7/14/7 | 0.09 | n 7/14/7 | 0.20 | 8/11/5 | 0.09 | 8/11/5 | 0.07 | 8/11/5 | 0.09 | 8/11/5 | 0.07 | |
LCL077-1 | 0.00 | 6/8/6 | 0.05 | SGCD-3 | 14/18/5 | 0.06 | 14/18/5 | 0.06 | 19/25/7 | 0.18 | 19/25/7 | 0.27 | 0.25 | 0.33 | 0.19 | 0.21 | 2.13 | 1.41 | 6/8/6 | 1.13 | 6/8/6 | 1.30 | 6/14/6 | 0.06 | 6/14/6 | 0.05 | 6/8/6 | 0.12 | 6/8/6 | 0.06 | 6/8/6 | 0.05 | 6/8/6 | 0.05 |
LCL077-1-TC | 15/35/8 | 14.68 | SGCD-3 | n 16/37/8 | 16.75 | n 16/37/8 | 12.81 | n 23/111/12 | 0.10 | n 23/111/12 | 0.11 | 1.53 | 1.65 | 0.36 | 0.27 | 15/35/8 | 15.81 | 15/35/8 | 18.13 | 15/35/8 | 14.68 | 15/35/8 | 15.98 | |||||||||||
LCL079-1 | 0.00 | 3/3/3 | 0.02 | SGCD-2 | 3/3/3 | 0.05 | 3/3/3 | 0.02 | 3/3/3 | 0.04 | 3/3/3 | 0.05 | 0.19 | 0.36 | 0.24 | 0.25 | 2.35 | 1.81 | 3/3/3 | 0.13 | 3/3/3 | 0.24 | 3/3/3 | 0.08 | 3/3/3 | 0.09 | 3/3/3 | 0.02 | 3/3/3 | 0.01 | 3/3/3 | 0.03 | 3/3/3 | 0.04 |
LCL079-1-TC | n 13/25/8 | 0.13 | Prover9 | n 13/27/8 | 0.18 | n 13/27/8 | 0.13 | n 13/25/8 | 0.13 | n 13/25/8 | 0.11 | 4.75 | 0.52 | 0.23 | 0.32 | 16/27/8 | 282.04 | 16/30/8 | 1,585.85 | n 13/27/8 | 0.17 | n 13/27/8 | 0.10 | n 13/27/8 | 0.08 | n 13/27/8 | 0.06 | |||||||
LCL080-1 | 0.00 | 9/10/8 | 383.43 | CCS-Vanilla | 9/12/6 | 0.41 | 9/12/6 | 0.41 | 16/27/7 | 0.96 | 16/27/7 | 0.69 | 7.47 | 7.66 | 23.27 | 12.26 | 54.81 | 60.66 | 13/16/5 | 45.01 | 13/16/5 | 48.72 | 9/10/8 | 383.43 | 9/10/8 | 375.12 | 9/12/6 | 0.28 | 9/12/6 | 0.17 | 9/12/6 | 0.42 | 9/12/6 | 0.27 |
LCL080-1-TC | 20/71/13 | 61.29 | SGCD-2 | 20/71/13 | 97.26 | 20/71/13 | 57.11 | n 23/192/13 | 0.78 | n 23/192/13 | 0.69 | 6.93 | 6.72 | 1.64 | 1.08 | 20/71/13 | 61.29 | 20/71/13 | 103.31 | 20/71/13 | 64.52 | 20/71/13 | 82.55 | |||||||||||
LCL080-2 | 0.00 | 9/12/6 | 0.31 | SGCD-2 | 9/12/6 | 0.49 | 9/12/6 | 0.42 | 16/27/7 | 0.96 | 16/27/7 | 0.98 | 7.08 | 6.47 | 3.67 | 3.78 | 314.02 | 144.45 | 13/16/5 | 38.12 | 13/16/5 | 63.09 | 9/12/6 | 0.31 | 9/12/6 | 0.35 | 9/12/6 | 0.37 | 9/12/6 | 0.23 | ||||
LCL080-2-TC | 20/64/13 | 51.64 | SGCD-3 | 20/64/13 | 81.42 | 20/64/13 | 73.21 | n 25/192/14 | 3.05 | n 25/192/14 | 2.51 | 6.66 | 7.47 | 1.93 | 1.63 | 20/64/13 | 78.18 | 20/64/13 | 66.24 | 20/64/13 | 51.64 | 20/64/13 | 70.45 | |||||||||||
LCL081-1 | 0.00 | 6/10/6 | 0.06 | SGCD-3 | 6/10/6 | 0.11 | 6/10/6 | 0.03 | n 11/27/9 | 0.07 | n 11/27/9 | 0.05 | 0.32 | 0.23 | 0.23 | 0.23 | 29.70 | 30.86 | 6/10/6 | 0.41 | 6/10/6 | 0.35 | n 6/10/6 | 0.04 | n 6/10/6 | 0.08 | 6/10/6 | 0.06 | 6/10/6 | 0.06 | 6/10/6 | 0.06 | 6/10/6 | 0.08 |
LCL082-1 | 0.00 | 6/7/6 | 0.02 | SGCD-1 | 6/7/6 | 0.02 | 6/7/6 | 0.02 | n 10/13/9 | 0.04 | n 10/13/9 | 0.04 | 0.26 | 0.39 | 0.26 | 0.30 | 4.40 | 3.28 | 7/9/7 | 0.22 | 6/7/6 | 0.83 | n 6/7/6 | 0.07 | n 6/7/6 | 0.07 | 6/7/6 | 0.03 | 6/7/6 | 0.02 | 6/7/6 | 0.03 | 6/7/6 | 0.03 |
LCL083-1 | 0.00 | 11/15/11 | 0.35 | SGCD-2 | 11/15/11 | 0.48 | 11/15/11 | 0.47 | n 16/39/15 | 0.20 | n 16/39/15 | 0.16 | 1.75 | 1.60 | 0.26 | 0.32 | 11/15/11 | 27.84 | 11/15/11 | 32.90 | n 11/15/11 | 386.28 | n 11/15/11 | 189.07 | 11/15/11 | 0.35 | 11/15/11 | 0.20 | 11/15/11 | 0.40 | 11/15/11 | 0.30 | ||
LCL083-2 | 0.00 | 8/9/8 | 0.06 | SGCD-3 | 8/9/8 | 0.09 | 8/9/8 | 0.91 | n 8/9/8 | 0.14 | n 8/9/8 | 0.11 | 0.46 | 0.27 | 0.31 | 0.28 | 8/9/8 | 0.08 | 8/9/8 | 0.32 | n 8/9/8 | 7.41 | n 8/9/8 | 4.15 | 8/9/8 | 0.07 | 8/9/8 | 0.08 | 8/9/8 | 0.06 | 8/9/8 | 0.04 | ||
LCL083-2-TC | 12/44/11 | 1.44 | SGCD-3 | 12/44/11 | 3.58 | 12/44/11 | 3.26 | n 19/79/15 | 0.10 | n 19/79/15 | 0.10 | 0.57 | 0.56 | 261.94 | 252.64 | 12/44/11 | 3.63 | 12/44/11 | 1.97 | 12/44/11 | 1.44 | 12/44/11 | 3.29 | |||||||||||
LCL085-1 | 0.00 | 23/29/20 | 13.85 | SGCD-2 | 23/29/20 | 30.39 | 23/29/20 | 25.82 | n 51/994/26 | 10.19 | n 51/994/26 | 7.83 | 18.73 | 16.88 | 9.28 | 11.01 | 23/29/20 | 13.85 | 23/29/20 | 25.27 | 23/29/20 | 18.01 | 23/29/20 | 29.73 | ||||||||||
LCL086-1 | 0.00 | n 10/22/8 | 77.91 | CCS-Vanilla | 15/21/11 | 0.34 | 15/21/11 | 0.11 | n 12/30/12 | 0.10 | n 12/30/12 | 0.04 | 0.32 | 0.25 | 0.29 | 0.34 | n 10/22/8 | 77.91 | n 10/22/8 | 85.38 | 15/21/11 | 0.21 | 15/21/11 | 0.27 | 15/21/11 | 0.22 | 15/21/11 | 0.21 | ||||||
LCL087-1 | 0.00 | 8/12/8 | 0.03 | SGCD-2 | 8/12/8 | 0.25 | 8/12/8 | 0.02 | n 8/12/8 | 0.03 | n 8/12/8 | 0.05 | 0.22 | 0.28 | 0.27 | 0.33 | 8/12/8 | 0.45 | 8/12/8 | 1.57 | n 8/12/8 | 0.48 | n 8/12/8 | 0.58 | 8/12/8 | 0.03 | 8/12/8 | 0.06 | 8/12/8 | 0.13 | 8/12/8 | 0.14 | ||
LCL088-1 | 0.00 | 12/18/8 | 1,157.65 | CMProver | 14/19/11 | 0.10 | 14/19/11 | 0.08 | n 14/32/14 | 0.08 | n 14/32/14 | 0.09 | 1.63 | 1.58 | 0.20 | 0.30 | 12/18/8 | 1,157.65 | 12/18/8 | 1,475.84 | 14/19/11 | 0.18 | 14/19/11 | 0.15 | 14/19/11 | 0.20 | 14/19/11 | 0.08 | ||||||
LCL089-1 | 0.00 | n 10/27/10 | 254.25 | CCS-Vanilla | 17/24/17 | 0.42 | 17/24/17 | 0.36 | n 18/49/15 | 0.10 | n 18/49/15 | 0.11 | 1.79 | 1.75 | 0.32 | 0.24 | n 10/27/10 | 254.25 | n 10/27/10 | 296.88 | 17/24/17 | 0.35 | 17/24/17 | 0.39 | 17/24/17 | 0.20 | 17/24/17 | 0.26 | ||||||
LCL090-1 | 0.00 | 14/20/14 | 203.68 | SGCD-2 | 18/20/14 | 32.26 | 18/20/14 | 47.05 | n 16/38/16 | 0.08 | n 16/38/16 | 0.07 | 0.35 | 0.56 | 0.24 | 0.30 | 18/20/14 | 860.39 | 18/20/14 | 1,009.86 | 14/20/14 | 203.68 | 18/20/14 | 31.46 | 14/20/14 | 262.04 | 18/20/14 | 25.69 | ||||||
LCL091-1 | 0.00 | 11/16/10 | 35.83 | CMProver | 14/16/13 | 10.35 | 14/16/13 | 8.62 | n 19/80/19 | 0.10 | n 19/80/19 | 0.10 | 0.41 | 0.40 | 0.31 | 0.33 | 11/16/10 | 35.83 | 11/16/10 | 40.61 | n 11/16/10 | 101.88 | n 11/16/10 | 182.79 | 14/16/13 | 6.49 | 14/16/13 | 5.94 | 14/16/13 | 5.20 | 14/16/13 | 4.44 | ||
LCL092-1 | 0.00 | n 12/34/11 | 369.00 | CCS-Vanilla | 20/22/14 | 145.63 | 17/19/15 | 69.53 | n 24/51/21 | 0.13 | n 24/51/21 | 0.12 | 1.73 | 1.71 | 0.31 | 0.33 | 17/19/15 | 436.54 | 17/19/15 | 176.99 | n 12/34/11 | 369.00 | n 12/34/11 | 218.16 | 20/22/14 | 106.61 | 20/22/14 | 119.31 | 20/22/14 | 45.29 | 20/22/14 | 92.86 | ||
LCL093-1 | 0.00 | 25/29/16 | 103.38 | SGCD-3 | 25/29/16 | 128.56 | 25/29/16 | 129.41 | n 48/913/32 | 2.81 | n 48/913/32 | 2.30 | 6.66 | 6.68 | 0.38 | 0.36 | 25/29/16 | 224.40 | 25/29/16 | 212.28 | 25/29/16 | 103.38 | 25/29/16 | 186.70 | ||||||||||
LCL094-1 | 0.00 | 16/26/11 | 0.56 | SGCD-2 | 16/26/11 | 0.68 | 16/26/11 | 0.74 | n 18/40/15 | 0.09 | n 18/40/15 | 0.10 | 1.67 | 1.69 | 0.20 | 0.34 | 16/26/11 | 0.56 | 16/26/11 | 0.48 | 16/26/11 | 0.75 | 16/26/11 | 0.23 | ||||||||||
LCL095-1 | 0.00 | 17/21/16 | 143.91 | SGCD-1 | 17/21/16 | 143.91 | 20/25/13 | 78.14 | n 29/101/22 | 0.21 | n 29/101/22 | 0.21 | 0.51 | 0.31 | 0.30 | 0.35 | 17/21/16 | 1,045.24 | 20/25/13 | 122.48 | 20/25/13 | 60.48 | 20/25/13 | 47.32 | 20/25/13 | 150.61 | ||||||||
LCL096-1 | 0.00 | 4/4/3 | 0.02 | SGCD-1 | 4/4/3 | 0.02 | 4/4/3 | 0.04 | 19/33/8 | 3.73 | 19/33/8 | 4.08 | 0.41 | 0.42 | 0.47 | 0.38 | 2.35 | 2.36 | 4/4/3 | 0.29 | 4/4/3 | 0.39 | 4/4/3 | 0.08 | 4/4/3 | 0.11 | 4/4/3 | 0.04 | 4/4/3 | 0.02 | 4/4/3 | 0.03 | 4/4/3 | 0.02 |
LCL097-1 | 0.00 | 4/6/4 | 0.03 | SGCD-2 | 4/6/4 | 0.07 | 6/7/4 | 0.03 | 6/7/4 | 0.07 | 6/7/4 | 0.05 | 0.36 | 0.36 | 0.42 | 0.48 | 2.33 | 2.18 | 6/6/4 | 0.47 | 6/6/4 | 0.26 | 4/6/4 | 0.05 | 4/6/4 | 0.09 | 4/6/4 | 0.03 | 6/7/4 | 0.05 | 4/6/4 | 0.07 | 4/6/4 | 0.03 |
LCL098-1 | 0.00 | 4/6/4 | 0.02 | SGCD-1 | 4/6/4 | 0.02 | 4/6/4 | 0.02 | 4/6/4 | 0.15 | 4/6/4 | 0.15 | 0.53 | 0.32 | 1.39 | 0.98 | 1.39 | 2.24 | 5/6/4 | 0.18 | 5/6/4 | 0.29 | 4/6/4 | 0.04 | 4/6/4 | 0.05 | 4/6/4 | 0.02 | 4/6/4 | 0.02 | 4/6/4 | 0.02 | 4/6/4 | 0.02 |
LCL101-1 | 0.00 | 7/14/6 | 0.06 | CCS-Vanilla | 9/11/7 | 0.19 | 9/11/7 | 0.20 | 10/17/8 | 0.04 | 10/17/8 | 0.04 | 0.42 | 0.53 | 0.21 | 0.31 | 2.31 | 1.35 | 7/14/6 | 0.66 | 9/16/6 | 0.66 | 7/14/6 | 0.06 | 7/14/6 | 0.10 | 9/11/7 | 0.12 | 9/11/7 | 0.08 | 9/11/7 | 0.07 | 9/11/7 | 0.14 |
LCL102-1 | 0.00 | 7/7/4 | 0.06 | CMProver | 8/10/5 | 0.09 | 8/10/5 | 0.08 | 10/12/5 | 0.49 | 10/12/5 | 0.48 | 0.45 | 0.55 | 0.37 | 0.31 | 2.43 | 1.46 | 7/7/4 | 0.06 | 7/7/4 | 0.07 | 7/9/5 | 0.44 | 7/9/5 | 0.70 | 8/10/5 | 0.07 | 8/10/5 | 0.09 | 8/10/5 | 0.07 | 8/10/5 | 0.04 |
LCL103-1 | 0.00 | 10/16/9 | 984.38 | CCS-Vanilla | 15/24/5 | 2.22 | 14/19/10 | 0.14 | 16/31/10 | 6.05 | 14/17/9 | 3.24 | 0.40 | 2.95 | 5.18 | 0.84 | 780.100 | 5.44 | 15/24/5 | 405.51 | 17/23/10 | 35.44 | 10/16/9 | 984.38 | 14/19/10 | 0.09 | 15/24/5 | 1.79 | 14/19/10 | 0.33 | 15/24/5 | 1.28 | 14/19/10 | 0.42 |
LCL104-1 | 0.00 | 6/15/5 | 0.09 | CCS-Vanilla | 9/11/9 | 0.30 | 9/11/9 | 0.30 | 7/19/6 | 0.04 | 7/19/6 | 0.05 | 0.76 | 0.72 | 0.31 | 0.28 | 2.22 | 1.40 | 10/19/5 | 0.65 | 7/11/5 | 0.81 | 6/15/5 | 0.09 | 6/15/5 | 0.10 | 9/11/9 | 0.21 | 9/11/9 | 0.16 | 9/11/9 | 0.13 | 9/11/9 | 0.17 |
LCL106-1 | 0.00 | 4/4/4 | 0.01 | SGCD-2 | 4/4/4 | 0.06 | 4/4/4 | 0.01 | 4/4/4 | 0.04 | 4/4/4 | 0.05 | 0.22 | 0.40 | 0.20 | 0.29 | 2.29 | 1.66 | 4/4/4 | 0.17 | 4/4/4 | 0.15 | 4/4/4 | 0.05 | 4/4/4 | 0.09 | 4/4/4 | 0.01 | 4/4/4 | 0.03 | 4/4/4 | 0.02 | 4/4/4 | 0.02 |
LCL107-1 | 0.00 | 5/9/5 | 0.03 | SGCD-3 | 5/9/5 | 0.08 | 5/9/5 | 0.11 | 5/9/5 | 0.06 | 5/9/5 | 0.05 | 0.20 | 0.32 | 0.70 | 0.69 | 2.22 | 2.32 | 5/9/5 | 0.22 | 5/9/5 | 0.31 | 5/9/5 | 0.05 | 5/9/5 | 0.08 | 5/9/5 | 0.04 | 5/9/5 | 0.07 | 5/9/5 | 0.03 | 5/9/5 | 0.03 |
LCL108-1 | 0.00 | 7/20/6 | 0.04 | Prover9 | 8/13/8 | 0.77 | 8/13/8 | 0.75 | 7/20/6 | 0.04 | 7/20/6 | 0.05 | 0.99 | 1.08 | 0.24 | 0.18 | 2.40 | 1.30 | 7/20/6 | 1.91 | 7/20/6 | 0.23 | 7/20/6 | 0.06 | 7/20/6 | 0.11 | 8/13/8 | 1.23 | 8/13/8 | 1.80 | 8/13/8 | 1.48 | 8/13/8 | 1.70 |
LCL110-1 | 0.00 | 7/9/6 | 1.01 | CCS-Vanilla | 8/8/6 | 0.08 | 8/8/6 | 0.08 | 11/13/6 | 0.06 | 11/13/6 | 0.07 | 0.38 | 0.32 | 0.21 | 0.34 | 2.40 | 2.27 | 8/8/4 | 0.29 | 8/8/4 | 0.06 | 7/9/6 | 1.01 | 7/9/6 | 1.05 | 8/8/6 | 0.07 | 8/8/6 | 0.07 | 8/8/6 | 0.07 | 8/8/6 | 0.07 |
LCL110-1-TC | 15/36/9 | 24.73 | SGCD-2 | n 19/52/8 | 6.36 | n 19/52/8 | 15.81 | n 32/274/15 | 0.34 | n 32/274/15 | 0.34 | 5.27 | 5.23 | 0.32 | 0.34 | 15/36/9 | 24.73 | 15/36/9 | 14.19 | n 19/52/8 | 16.84 | 15/36/9 | 22.30 | |||||||||||
LCL111-1 | 0.00 | 5/5/3 | 0.03 | SGCD-3 | 5/5/3 | 0.05 | 5/5/3 | 0.03 | 5/5/4 | 0.06 | 5/5/4 | 0.08 | 0.98 | 0.83 | 0.58 | 0.54 | 2.29 | 1.37 | 5/5/3 | 0.11 | 5/5/3 | 0.04 | 5/5/3 | 0.08 | 5/5/3 | 0.08 | 5/5/3 | 0.05 | 5/5/3 | 0.04 | 5/5/3 | 0.03 | 5/5/3 | 0.07 |
LCL111-1-TC | 14/31/8 | 7.68 | SGCD-1 | 14/31/8 | 7.68 | 14/31/8 | 10.65 | n 20/133/11 | 1.50 | n 20/133/11 | 1.31 | 5.82 | 5.94 | 4.62 | 4.17 | 14/31/8 | 11.26 | 14/31/8 | 17.07 | 14/31/8 | 16.80 | 14/31/8 | 14.27 | |||||||||||
LCL112-1 | 0.00 | 8/10/7 | 6.77 | CCS-Vanilla | 9/9/7 | 0.11 | 9/9/7 | 0.06 | 12/14/7 | 0.06 | 12/14/7 | 0.05 | 0.44 | 0.40 | 0.25 | 0.28 | 3.87 | 3.31 | 9/9/5 | 0.98 | 9/9/5 | 0.98 | 8/10/7 | 6.77 | 8/10/7 | 9.05 | 9/9/7 | 0.09 | 9/9/7 | 0.08 | 9/9/7 | 0.08 | 9/9/7 | 0.04 |
LCL112-1-TC | 21/44/10 | 19.20 | SGCD-3 | 21/44/10 | 20.55 | 21/44/10 | 43.67 | n 34/283/16 | 0.28 | n 34/283/16 | 0.24 | 0.53 | 0.64 | 0.36 | 0.33 | 21/44/10 | 44.28 | 21/44/10 | 27.15 | 21/44/10 | 19.20 | 21/44/10 | 33.10 | |||||||||||
LCL113-1 | 0.00 | 15/18/5 | 1,286.31 | CMProver | 16/17/8 | 49.42 | 17/25/5 | 81.97 | 18/25/10 | 11.27 | 18/25/10 | 11.38 | 1.79 | 1.78 | 0.95 | 1.04 | 15/18/5 | 1,286.31 | 15/18/5 | 615.86 | 16/17/8 | 76.48 | 16/17/8 | 82.27 | 16/17/8 | 107.71 | 16/17/8 | 86.10 | ||||||
LCL113-1-TC | 28/82/15 | 496.94 | SGCD-3 | 29/91/13 | 50.97 | 29/91/13 | 136.62 | n 41/475/19 | 24.89 | n 41/475/19 | 15.98 | 73.87 | 74.12 | 3.70 | 4.51 | 29/91/13 | 108.73 | 29/91/13 | 118.90 | 28/82/15 | 496.94 | 29/91/13 | 75.60 | |||||||||||
LCL114-1 | 0.00 | 21/31/8 | 525.31 | SGCD-3 | 21/31/8 | 716.15 | 21/31/8 | 582.83 | 24/50/13 | 12.33 | 24/50/13 | 11.56 | 9.57 | 9.66 | 11.27 | 11.01 | 21/31/8 | 633.95 | 21/31/8 | 448.84 | 21/31/8 | 525.31 | 21/31/8 | 556.24 | ||||||||||
LCL114-1-TC | 35/153/13 | 136.64 | SGCD-1 | 35/153/13 | 136.64 | 40/197/14 | 4.52 | n 44/818/20 | 28.14 | 35/178/13 | 0.41 | 88.96 | 0.49 | 6.17 | 4.23 | 1.69 | 35/153/13 | 1.56 | 35/153/13 | 322.84 | 42/213/14 | 0.83 | 35/153/13 | 316.81 | 41/185/14 | 0.13 | ||||||||
LCL115-1 | 0.00 | 11/16/9 | 0.24 | SGCD-2 | 11/16/9 | 0.35 | 11/16/9 | 0.36 | 16/32/10 | 0.17 | 16/32/10 | 0.17 | 1.82 | 1.74 | 0.32 | 0.36 | 797.98 | 912.13 | 14/17/5 | 628.34 | 14/17/5 | 584.31 | 11/16/9 | 0.24 | 11/16/9 | 0.11 | 11/16/9 | 0.24 | 11/16/9 | 0.26 | ||||
LCL115-1-TC | 27/80/14 | 35.66 | SGCD-1 | 27/80/14 | 35.66 | 27/80/14 | 53.52 | n 36/433/18 | 0.47 | n 36/433/18 | 0.27 | 5.18 | 5.17 | 0.40 | 0.42 | 27/80/14 | 62.62 | 27/80/14 | 49.79 | 27/80/14 | 75.68 | 27/80/14 | 80.45 | |||||||||||
LCL116-1 | 0.00 | 24/52/13 | 10.65 | Prover9 | 26/42/8 | 323.99 | 26/42/8 | 467.97 | 24/52/13 | 10.65 | 24/52/13 | 10.62 | 9.17 | 9.36 | 24.34 | 30.88 | 26/42/8 | 414.27 | 26/42/8 | 459.61 | 26/42/8 | 373.66 | 26/42/8 | 437.01 | ||||||||||
LCL116-1-TC | 40/218/14 | 279.96 | SGCD-2 | 40/218/14 | 404.37 | 48/308/14 | 179.05 | n 48/1018/22 | 26.36 | 40/317/15 | 1.18 | 177.97 | 6.15 | 3.54 | 1,774.54 | 22.76 | 41/208/16 | 331.91 | 40/218/14 | 279.96 | 42/231/16 | 240.34 | 40/218/14 | 434.98 | 50/274/16 | 6.60 | ||||||||
LCL117-1 | 0.00 | 3/4/3 | 0.03 | SGCD-1 | 3/4/3 | 0.03 | 3/4/3 | 0.03 | 3/4/3 | 0.04 | 3/4/3 | 0.04 | 0.35 | 0.36 | 0.18 | 0.29 | 2.36 | 2.34 | 3/4/3 | 0.04 | 3/4/3 | 0.15 | 3/4/3 | 0.05 | 3/4/3 | 0.08 | 3/4/3 | 0.03 | 3/4/3 | 0.03 | 3/4/3 | 0.04 | 3/4/3 | 0.01 |
LCL118-1 | 0.00 | 7/8/7 | 0.02 | SGCD-1 | 7/8/7 | 0.02 | 7/8/7 | 0.04 | 14/24/10 | 0.13 | 14/24/10 | 0.14 | 0.64 | 0.73 | 0.25 | 0.29 | 1.31 | 2.45 | 7/10/5 | 0.39 | 7/10/5 | 0.36 | 7/8/7 | 0.08 | 7/8/7 | 0.09 | 7/8/7 | 0.04 | 7/8/7 | 0.08 | 7/8/7 | 0.05 | 7/8/7 | 0.02 |
LCL120-1 | 0.00 | 6/7/6 | 0.03 | SGCD-1 | 6/7/6 | 0.03 | 6/7/6 | 0.04 | 12/29/7 | 0.86 | 12/29/7 | 0.45 | 0.85 | 0.82 | 0.21 | 0.28 | 1.97 | 1.41 | 6/7/6 | 0.35 | 8/10/8 | 0.03 | 6/7/6 | 0.08 | 6/7/6 | 0.08 | 6/7/6 | 0.03 | 10/19/6 | 0.11 | 6/7/6 | 0.05 | 6/7/6 | 0.06 |
LCL121-1 | 0.00 | 12/92/12 | 649.07 | CCS-Vanilla | 26/131/8 | 56.39 | 26/131/8 | 182.82 | 26/615/17 | 3.73 | 26/615/17 | 1.96 | 6.33 | 6.88 | 0.43 | 0.53 | 12/92/12 | 649.07 | 12/92/12 | 1,071.87 | 24/112/10 | 126.53 | 24/112/10 | 194.70 | 24/112/10 | 157.60 | 24/112/10 | 177.12 | ||||||
LCL123-1 | 0.00 | 10/45/7 | 0.75 | CCS-Vanilla | 17/62/7 | 0.29 | 17/62/7 | 0.31 | 22/452/17 | 5.28 | 22/452/17 | 7.53 | 24/88/10 | 0.19 | 24/88/10 | 0.19 | 10/45/7 | 0.75 | 10/45/7 | 0.99 | 17/62/7 | 0.25 | 17/62/7 | 0.23 | 17/62/7 | 0.26 | 17/62/7 | 0.32 | ||||||
LCL126-1 | 0.00 | 4/4/4 | 0.02 | SGCD-1 | 4/4/4 | 0.02 | 4/4/4 | 0.03 | 5/7/4 | 0.07 | 5/7/4 | 0.05 | 0.27 | 0.33 | 0.28 | 0.31 | 2.36 | 2.36 | 5/5/3 | 0.25 | 5/5/3 | 0.23 | 4/6/4 | 0.08 | 4/6/4 | 0.04 | 4/4/4 | 0.02 | 4/6/3 | 0.02 | 4/4/4 | 0.02 | 4/4/4 | 0.03 |
LCL127-1 | 0.00 | 22/49/13 | 116.04 | CMProver-LIN* | 28/66/11 | 231.71 | 33/57/15 | 0.07 | 32/3372/20 | 12.22 | 24/72/11 | 24.05 | 12.96 | 4.87 | 10.25 | 1.70 | 4.59 | 22/49/13 | 116.04 | 23/65/11 | 0.15 | 28/66/11 | 135.74 | 32/84/11 | 0.06 | 28/66/11 | 97.81 | 48/107/18 | 11.80 | |||||
LCL128-1 | 0.00 | 24/352/19 | 4.05 | Prover9 | 31/73/17 | 193.55 | 31/73/17 | 167.49 | 24/352/19 | 4.05 | 24/352/19 | 4.31 | 7.89 | 8.24 | 0.75 | 1.12 | 31/73/17 | 95.16 | 31/73/17 | 155.17 | 31/73/17 | 100.08 | 31/73/17 | 152.96 | ||||||||||
LCL129-1 | 0.00 | 11/42/11 | 336.22 | CCS-Vanilla | 18/30/11 | 85.66 | 26/46/11 | 0.25 | 22/128/12 | 43.92 | 23/61/11 | 2.88 | 45.34 | 4.17 | 37.96 | 948.61 | 6.15 | 39/78/14 | 9.67 | 11/42/11 | 336.22 | 17/28/10 | 0.49 | 16/28/11 | 148.99 | 12/34/12 | 0.05 | 16/28/11 | 158.38 | 23/46/11 | 0.07 | |||
LCL130-1 | 0.00 | 5/8/5 | 0.02 | SGCD-3 | 5/8/5 | 0.02 | 5/8/5 | 0.02 | 11/93/10 | 0.05 | 11/93/10 | 0.05 | 0.30 | 0.41 | 0.26 | 0.25 | 1.89 | 1.44 | 5/8/5 | 0.06 | 5/8/5 | 0.22 | 5/11/5 | 0.05 | 5/11/5 | 0.07 | 5/8/5 | 0.03 | 5/8/5 | 0.05 | 5/8/5 | 0.02 | 5/8/5 | 0.02 |
LCL131-1 | 0.00 | 11/50/11 | 125.01 | CCS-Vanilla | 19/61/8 | 2.11 | 19/61/8 | 1.59 | 19/66/10 | 2.63 | 19/66/10 | 2.73 | 8.36 | 9.78 | 0.38 | 0.47 | 15/39/8 | 709.02 | 15/39/8 | 288.25 | 11/50/11 | 125.01 | 11/50/11 | 179.26 | 19/61/8 | 1.68 | 19/61/8 | 2.23 | 19/61/8 | 1.96 | 19/61/8 | 1.35 | ||
LCL256-1 | 0.00 | 20/31/13 | 114.94 | SGCD-2 | 21/31/16 | 78.98 | 20/31/13 | 113.61 | n 35/153/16 | 0.38 | n 35/153/16 | 0.34 | 5.44 | 1.92 | 1.42 | 1.24 | 20/31/13 | 114.94 | 20/31/13 | 159.40 | 20/31/13 | 120.47 | 20/31/13 | 179.01 | ||||||||||
LCL256-1-TC | n 32/190/16 | 123.44 | SGCD-3 | n 32/190/16 | 225.64 | n 32/190/16 | 117.95 | n 35/344/17 | 5.36 | n 35/344/17 | 5.73 | 7.21 | 7.10 | 0.91 | 0.82 | n 32/190/16 | 179.17 | n 32/190/16 | 118.49 | n 32/190/16 | 123.44 | n 32/190/16 | 166.29 | |||||||||||
LCL257-1 | 0.00 | 7/13/6 | 0.09 | CCS-Vanilla | 8/10/6 | 0.18 | 8/10/6 | 0.09 | 8/16/6 | 0.04 | 8/16/6 | 0.05 | 0.27 | 0.33 | 0.32 | 0.27 | 2.31 | 2.36 | 9/15/5 | 0.25 | 9/15/5 | 0.22 | 7/13/6 | 0.09 | 7/13/6 | 0.10 | 8/10/6 | 0.43 | 8/10/6 | 0.10 | 8/10/6 | 0.24 | 8/10/6 | 0.18 |
LCL355-1 | 0.00 | 1/1/1 | 0.01 | SGCD-1 | 1/1/1 | 0.01 | 1/1/1 | 0.02 | 1/1/1 | 0.03 | 1/1/1 | 0.06 | 0.41 | 0.37 | 0.30 | 0.26 | 2.17 | 1.46 | 1/1/1 | 0.04 | 1/1/1 | 0.35 | 1/1/1 | 0.06 | 1/1/1 | 0.08 | 1/1/1 | 0.03 | 1/1/1 | 0.05 | 1/1/1 | 0.04 | 1/1/1 | 0.01 |
LCL355-1-TC | 7/19/7 | 0.17 | SGCD-1 | 7/19/7 | 0.17 | 7/19/7 | 0.19 | n 7/19/7 | 0.15 | n 7/19/7 | 0.14 | 6.67 | 6.74 | 0.31 | 0.31 | 7/19/7 | 172.12 | n 7/19/7 | 33.91 | n 7/19/7 | 0.19 | n 7/19/7 | 0.36 | n 8/21/7 | 0.08 | n 8/21/7 | 0.16 | 7/19/7 | 0.21 | n 8/21/7 | 0.06 | |||
LCL356-1 | 0.00 | 2/3/2 | 0.02 | SGCD-3 | 2/3/2 | 0.06 | 2/3/2 | 0.01 | 2/3/2 | 0.04 | 2/3/2 | 0.05 | 0.24 | 0.21 | 0.31 | 0.31 | 2.40 | 2.15 | 2/3/2 | 0.20 | 2/3/2 | 0.04 | 2/3/2 | 0.04 | 2/3/2 | 0.08 | 2/3/2 | 0.02 | 2/3/2 | 0.02 | 2/3/2 | 0.02 | 2/3/2 | 0.01 |
LCL356-1-TC | n 8/39/8 | 4.13 | CCS-Vanilla | n 9/43/8 | 0.21 | n 9/43/8 | 0.06 | n 8/39/8 | 4.96 | n 8/39/8 | 5.75 | 29.06 | 28.90 | 916.100 | 955.68 | n 8/39/8 | 4.13 | n 8/39/8 | 4.08 | n 9/43/8 | 0.08 | n 9/43/8 | 0.06 | n 9/43/8 | 0.05 | n 9/43/8 | 0.11 | |||||||
LCL357-1 | 0.00 | 2/2/2 | 0.01 | SGCD-1 | 2/2/2 | 0.01 | 2/2/2 | 0.01 | 2/2/2 | 0.03 | 2/2/2 | 0.04 | 0.32 | 0.22 | 0.31 | 0.33 | 1.41 | 1.45 | 2/2/2 | 0.23 | 2/2/2 | 0.22 | 2/2/2 | 0.07 | 2/2/2 | 0.07 | 2/2/2 | 0.04 | 2/2/2 | 0.02 | 2/2/2 | 0.01 | 2/2/2 | 0.01 |
LCL357-1-TC | n 8/29/8 | 4.12 | CCS-Vanilla | n 9/32/8 | 0.06 | n 9/32/8 | 0.05 | n 8/29/8 | 5.55 | n 8/29/8 | 6.22 | 25.07 | 24.96 | 909.15 | 948.55 | n 8/29/8 | 4.12 | n 8/29/8 | 3.56 | n 9/32/8 | 0.14 | n 9/32/8 | 0.11 | n 9/32/8 | 0.11 | n 9/32/8 | 0.05 | |||||||
LCL358-1 | 0.00 | 4/5/4 | 0.02 | SGCD-2 | 4/5/4 | 0.03 | 4/5/4 | 0.03 | 4/6/3 | 0.05 | 4/6/3 | 0.06 | 0.39 | 0.40 | 0.32 | 0.29 | 2.04 | 1.33 | 4/6/3 | 0.21 | 4/6/3 | 0.06 | 4/5/4 | 0.09 | 4/5/4 | 0.07 | 4/5/4 | 0.02 | 4/5/4 | 0.07 | 4/5/4 | 0.02 | 4/5/4 | 0.02 |
LCL358-1-TC | n 10/59/10 | 1,217.46 | CCS-Vanilla | n 11/76/9 | 0.68 | n 11/76/9 | 2.39 | 855.80 | 31.91 | 918.66 | 950.36 | n 10/59/10 | 1,217.46 | n 10/59/10 | 1,236.72 | n 11/76/9 | 1.60 | n 11/76/9 | 1.64 | n 11/76/9 | 1.51 | n 11/76/9 | 1.34 | |||||||||||
LCL359-1 | 0.00 | 3/5/3 | 0.02 | SGCD-3 | 3/5/3 | 0.05 | 3/5/3 | 0.02 | 3/5/3 | 0.05 | 3/5/3 | 0.05 | 0.49 | 0.72 | 7.50 | 13.78 | 1.50 | 1.42 | 3/5/3 | 0.32 | 3/5/3 | 0.17 | 3/5/3 | 0.04 | 3/5/3 | 0.08 | 3/5/3 | 0.05 | 3/5/3 | 0.02 | 3/5/3 | 0.02 | 3/5/3 | 0.02 |
LCL359-1-TC | n 9/59/9 | 34.91 | CCS-Vanilla | n 10/65/9 | 12.93 | n 10/65/9 | 13.72 | 871.83 | 862.69 | 1,480.81 | 1,541.43 | n 9/59/9 | 34.91 | n 9/59/9 | 34.37 | n 10/65/9 | 13.14 | n 10/65/9 | 8.83 | n 10/65/9 | 5.94 | n 10/65/9 | 8.33 | |||||||||||
LCL360-1 | 0.00 | 1/1/1 | 0.01 | SGCD-3 | 1/1/1 | 0.02 | 1/1/1 | 0.03 | 1/1/1 | 0.04 | 1/1/1 | 0.05 | 0.36 | 0.33 | 0.29 | 0.21 | 2.33 | 1.32 | 1/1/1 | 0.05 | 1/1/1 | 0.05 | 1/1/1 | 0.08 | 1/1/1 | 0.07 | 1/1/1 | 0.02 | 1/1/1 | 0.03 | 1/1/1 | 0.01 | 1/1/1 | 0.03 |
LCL360-1-TC | 8/16/8 | 0.09 | SGCD-1 | 8/16/8 | 0.09 | 8/16/8 | 0.10 | n 11/34/9 | 0.15 | n 11/34/9 | 0.14 | 0.45 | 0.60 | 0.30 | 0.26 | n 12/18/7 | 114.06 | 11/20/7 | 21.02 | n 8/17/8 | 0.77 | n 8/17/8 | 1.47 | 8/16/8 | 0.12 | 8/16/8 | 0.10 | 8/16/8 | 0.11 | 8/16/8 | 0.06 | |||
LCL361-1 | 0.00 | 4/4/3 | 0.02 | SGCD-2 | 4/4/3 | 0.06 | 4/4/3 | 0.02 | 4/4/3 | 0.05 | 4/4/3 | 0.04 | 0.34 | 0.30 | 0.21 | 0.28 | 2.29 | 2.38 | 4/4/3 | 0.04 | 4/4/3 | 0.14 | 4/4/3 | 0.05 | 4/4/3 | 0.09 | 4/4/3 | 0.02 | 4/4/3 | 0.02 | 4/4/3 | 0.03 | 4/4/3 | 0.02 |
LCL361-1-TC | 8/13/8 | 0.04 | SGCD-2 | 8/13/8 | 0.05 | n 11/17/8 | 0.06 | n 9/20/8 | 0.10 | n 9/20/8 | 0.08 | 0.28 | 0.52 | 0.32 | 0.24 | 9/13/9 | 128.96 | 9/13/9 | 97.75 | n 8/13/8 | 2.25 | n 8/13/8 | 3.85 | 8/13/8 | 0.04 | 8/13/8 | 0.09 | 8/13/8 | 0.04 | 8/13/8 | 0.03 | |||
LCL362-1 | 0.00 | 4/4/4 | 0.02 | SGCD-1 | 4/4/4 | 0.02 | 5/5/4 | 0.02 | 10/12/6 | 0.07 | 10/12/6 | 0.06 | 0.28 | 0.35 | 0.23 | 0.29 | 2.34 | 2.14 | 4/4/4 | 0.14 | 4/4/4 | 0.07 | 4/4/4 | 0.09 | 4/4/4 | 0.08 | 4/4/4 | 0.02 | 4/4/4 | 0.02 | 5/5/4 | 0.02 | 5/5/4 | 0.03 |
LCL362-1-TC | 4/5/4 | 0.04 | SGCD-2 | 4/5/4 | 0.07 | 4/5/4 | 0.03 | 4/5/4 | 0.06 | 4/5/4 | 0.04 | 0.41 | 0.26 | 0.30 | 0.23 | 2.42 | 1.79 | 4/5/4 | 0.20 | 4/5/4 | 0.28 | 4/5/4 | 0.08 | 4/5/4 | 0.07 | 4/5/4 | 0.04 | 4/5/4 | 0.07 | 4/5/4 | 0.04 | 4/5/4 | 0.02 | |
LCL363-1 | 0.00 | 6/6/5 | 0.03 | SGCD-3 | 6/6/5 | 0.10 | 6/6/5 | 0.09 | 10/12/6 | 0.06 | 10/12/6 | 0.04 | 0.28 | 0.46 | 0.25 | 0.29 | 3.20 | 3.69 | 6/6/5 | 0.21 | 6/6/5 | 0.32 | 6/6/5 | 0.05 | 6/6/5 | 0.09 | 6/6/5 | 0.04 | 6/6/5 | 0.08 | 6/6/5 | 0.03 | 6/6/5 | 0.08 |
LCL363-1-TC | 4/5/4 | 0.02 | SGCD-3 | 4/5/4 | 0.08 | 4/5/4 | 0.05 | 4/5/4 | 0.06 | 4/5/4 | 0.05 | 0.46 | 0.22 | 0.32 | 0.25 | 1.53 | 1.32 | 4/5/4 | 0.20 | 4/5/4 | 0.27 | 4/5/4 | 0.05 | 4/5/4 | 0.08 | 4/5/4 | 0.02 | 4/5/4 | 0.04 | 4/5/4 | 0.02 | 4/5/4 | 0.06 | |
LCL364-1 | 0.00 | 9/14/8 | 45.56 | CCS-Vanilla | 12/15/7 | 0.17 | 12/15/7 | 0.23 | 13/18/8 | 0.10 | 13/18/8 | 0.10 | 5.18 | 5.15 | 0.74 | 0.94 | 4.05 | 2.97 | 13/14/5 | 39.04 | 13/14/5 | 5.44 | 9/14/8 | 45.56 | 9/14/8 | 50.62 | 12/15/7 | 0.16 | 12/15/7 | 0.14 | 12/15/7 | 0.19 | 12/15/7 | 0.09 |
LCL364-1-TC | n 13/60/9 | 5.56 | SGCD-2 | n 13/60/9 | 16.64 | n 13/60/9 | 9.65 | n 23/152/13 | 6.59 | n 23/152/13 | 8.89 | 29.61 | 29.29 | 29.58 | 31.60 | n 13/60/9 | 5.56 | n 13/60/9 | 12.61 | n 13/60/9 | 12.02 | n 13/60/9 | 7.57 | |||||||||||
LCL366-1 | 0.00 | 14/16/5 | 693.32 | CMProver | 15/17/5 | 1.63 | 15/17/5 | 4.24 | 28/125/17 | 1.58 | 28/125/17 | 1.48 | 1.63 | 1.85 | 1.23 | 1.05 | 29.40 | 36.51 | 14/16/5 | 693.32 | 14/16/5 | 1,121.66 | 15/17/5 | 3.05 | 15/17/5 | 5.19 | 15/17/5 | 1.96 | 15/17/5 | 1.93 | ||||
LCL366-1-TC | 11/59/10 | 31.75 | SGCD-2 | n 17/85/10 | 20.20 | n 17/85/10 | 19.45 | n 13/66/10 | 7.09 | n 13/66/10 | 3.81 | 16.63 | 19.95 | 21.85 | 24.36 | 11/59/10 | 31.75 | 11/59/10 | 47.77 | 11/59/10 | 41.32 | 11/59/10 | 41.47 | |||||||||||
LCL367-1 | 0.00 | 15/19/5 | 1.42 | SGCD-2 | 15/19/5 | 2.21 | 15/19/5 | 1.80 | n 17/41/10 | 0.10 | n 17/41/10 | 0.10 | 5.20 | 5.15 | 0.86 | 1.28 | 15/19/5 | 1.42 | 15/19/5 | 0.74 | 15/19/5 | 1.42 | 15/19/5 | 1.40 | ||||||||||
LCL367-1-TC | 1/1/1 | 0.02 | SGCD-3 | 1/1/1 | 0.06 | 1/1/1 | 0.02 | 1/1/1 | 0.06 | 1/1/1 | 0.06 | 0.35 | 0.33 | 0.31 | 0.24 | 2.10 | 2.31 | 1/1/1 | 0.20 | 1/1/1 | 0.27 | 1/1/1 | 0.05 | 1/1/1 | 0.04 | 1/1/1 | 0.02 | 1/1/1 | 0.04 | 1/1/1 | 0.02 | 1/1/1 | 0.04 | |
LCL378-1 | 0.00 | 14/23/10 | 38.98 | SGCD-1 | 14/23/10 | 38.98 | 14/23/10 | 94.50 | n 23/83/13 | 0.33 | n 23/83/13 | 0.18 | 1.71 | 1.79 | 1.43 | 0.89 | 14/23/10 | 52.78 | 14/23/10 | 52.60 | 14/23/10 | 92.97 | 14/23/10 | 85.52 | ||||||||||
LCL378-1-TC | 16/98/13 | 89.34 | SGCD-1 | 16/98/13 | 89.34 | 16/98/13 | 129.92 | n 19/130/12 | 5.15 | n 19/130/12 | 6.56 | 7.38 | 7.33 | 0.75 | 0.69 | 16/98/13 | 112.87 | 16/98/13 | 71.02 | 16/98/13 | 113.42 | 16/98/13 | 71.90 | |||||||||||
LCL379-1 | 0.00 | 19/28/15 | 99.51 | SGCD-2 | 19/28/15 | 205.81 | 19/28/16 | 100.78 | n 27/121/17 | 0.61 | n 27/121/17 | 0.32 | 1.86 | 5.45 | 1.00 | 1.33 | 19/28/15 | 99.51 | 19/28/15 | 158.65 | 19/28/15 | 108.70 | 19/28/15 | 101.10 | ||||||||||
LCL379-1-TC | n 24/224/14 | 6.61 | Prover9 | 25/142/15 | 73.90 | 25/142/15 | 166.27 | n 24/224/14 | 6.61 | n 24/224/14 | 3.76 | 6.57 | 6.74 | 0.91 | 0.91 | 25/142/15 | 104.46 | 25/142/15 | 167.92 | 25/142/15 | 159.66 | 25/142/15 | 121.15 | |||||||||||
LCL380-1 | 0.00 | 17/26/13 | 225.93 | SGCD-1 | 17/26/13 | 225.93 | 17/26/13 | 152.41 | n 25/103/15 | 0.28 | n 25/103/15 | 0.31 | 5.48 | 5.37 | 1.60 | 1.64 | 17/26/14 | 202.16 | 17/26/14 | 229.86 | 17/26/14 | 189.24 | 17/26/14 | 127.95 | ||||||||||
LCL380-1-TC | n 22/177/13 | 4.97 | Prover9 | 23/125/13 | 133.49 | 23/125/13 | 175.33 | n 22/177/13 | 4.97 | n 22/177/13 | 6.16 | 7.37 | 6.51 | 0.89 | 0.86 | 23/125/13 | 104.75 | 23/125/13 | 168.75 | 23/125/13 | 125.52 | 23/125/13 | 181.27 | |||||||||||
LCL381-1 | 0.00 | 18/27/14 | 4.67 | SGCD-2 | 18/27/14 | 6.61 | 18/27/14 | 3.33 | n 27/104/16 | 0.37 | n 27/104/16 | 0.38 | 53.33 | 54.26 | 1.11 | 1.38 | 18/27/14 | 4.67 | 18/27/14 | 8.13 | 18/27/14 | 5.59 | 18/27/14 | 6.73 | ||||||||||
LCL381-1-TC | n 23/187/14 | 5.97 | Prover9 | 24/135/14 | 237.81 | 24/135/14 | 181.97 | n 23/187/14 | 5.97 | n 23/187/14 | 3.49 | 28.09 | 28.20 | 12.57 | 13.04 | 24/135/14 | 136.39 | 24/135/15 | 375.81 | 24/135/14 | 186.97 | 24/135/14 | 127.14 | |||||||||||
LCL385-1 | 0.00 | 30/44/16 | 293.39 | SGCD-1 | 30/44/16 | 293.39 | 30/44/16 | 296.24 | 33/238/21 | 4.85 | 33/238/21 | 5.45 | 10.13 | 8.95 | 1.50 | 0.83 | 31/44/15 | 232.29 | 31/44/15 | 417.76 | 31/44/15 | 305.30 | 31/44/15 | 341.28 | ||||||||||
LCL385-1-TC | 26/232/17 | 43.88 | CMProver-LIN* | 29/222/15 | 168.62 | 46/562/20 | 25.76 | n 33/617/20 | 16.19 | 29/222/15 | 0.41 | 18.57 | 0.76 | 25.14 | 9.96 | 2.57 | 26/232/17 | 43.88 | 29/222/15 | 12.57 | 29/222/15 | 250.24 | 37/429/16 | 39.26 | 29/222/15 | 273.62 | 29/222/15 | 26.85 | ||||||
LCL386-1 | 0.00 | 27/39/14 | 234.04 | SGCD-3 | 27/39/15 | 102.59 | 27/39/15 | 237.24 | n 38/689/22 | 3.08 | n 38/689/22 | 3.52 | 7.01 | 6.43 | 1.52 | 1.59 | 27/39/14 | 254.60 | 27/39/14 | 326.31 | 27/39/14 | 234.04 | 27/39/14 | 331.12 | ||||||||||
LCL386-1-TC | 22/178/17 | 179.40 | SGCD-3 | 22/178/17 | 316.73 | 22/178/17 | 145.77 | n 27/439/15 | 13.31 | n 27/439/15 | 13.88 | 18.69 | 19.31 | 12.99 | 22.62 | 22/178/17 | 268.27 | 22/178/17 | 186.94 | 22/178/17 | 179.40 | 22/178/17 | 252.49 | |||||||||||
LCL387-1 | 0.00 | 27/46/14 | 15.98 | SGCD-1 | 27/46/14 | 15.98 | 27/46/14 | 29.34 | n 39/690/23 | 3.76 | n 39/690/23 | 4.09 | 56.19 | 52.11 | 1.27 | 1.01 | 27/46/14 | 28.97 | 27/46/14 | 26.87 | 27/46/14 | 22.93 | 27/46/14 | 20.89 | ||||||||||
LCL387-1-TC | 23/188/18 | 142.38 | SGCD-1 | 23/188/18 | 142.38 | 23/188/18 | 299.16 | n 28/449/16 | 12.57 | n 28/449/16 | 13.71 | 191.69 | 187.03 | 26.52 | 27.94 | 23/188/18 | 209.22 | 23/188/18 | 197.41 | 23/188/18 | 314.53 | 23/188/18 | 208.80 | |||||||||||
LCL388-1 | 0.00 | 38/109/19 | 92.99 | SGCD-3 | 38/109/19 | 144.36 | 46/101/21 | 80.51 | n 48/973/24 | 4.35 | 42/95/17 | 0.84 | 312.41 | 0.49 | 1.53 | 12.94 | 2.42 | 38/113/18 | 34.60 | 38/113/18 | 4.86 | 38/109/19 | 156.32 | 54/86/15 | 0.65 | 38/109/19 | 92.99 | 55/101/19 | 19.95 | |||||
LCL388-1-TC | 33/292/21 | 417.63 | SGCD-LIN* | 40/349/18 | 817.50 | 33/292/21 | 417.63 | n 37/839/21 | 21.26 | 41/416/19 | 0.84 | 563.48 | 4.07 | 27.48 | 7.67 | 2.29 | n 52/679/21 | 1,024.08 | 37/430/17 | 26.95 | n 52/679/21 | 772.84 | 44/466/19 | 341.14 | ||||||||||
LCL389-1 | 0.00 | 37/411/22 | 4.69 | Prover9 | 38/82/16 | 124.64 | 45/97/20 | 1.30 | 37/411/22 | 4.69 | 40/90/18 | 0.26 | 309.60 | 0.53 | 1.89 | 0.47 | 2.51 | 40/90/18 | 6.82 | 40/90/18 | 4.62 | 38/82/16 | 64.98 | 45/90/19 | 0.17 | 38/82/16 | 96.94 | 45/93/20 | 0.52 | |||||
LCL389-1-TC | 33/334/18 | 710.56 | CCS-Vanilla-LIN* | n 40/403/19 | 742.70 | 36/364/19 | 238.80 | n 35/733/21 | 18.35 | 36/324/16 | 0.78 | 565.11 | 0.47 | 15.61 | 10.12 | 2.48 | 33/334/18 | 710.56 | n 40/403/19 | 481.01 | 43/468/16 | 42.72 | n 40/403/19 | 536.43 | 36/374/18 | 370.11 | ||||||||
LCL396-1 | 0.00 | 21/31/17 | 193.84 | SGCD-2 | 22/34/17 | 289.04 | 21/31/17 | 201.84 | n 27/126/17 | 0.29 | n 27/126/17 | 0.22 | 5.50 | 5.35 | 1.61 | 1.74 | 21/31/17 | 193.84 | 21/31/17 | 312.41 | 21/31/17 | 201.94 | 21/31/17 | 279.60 | ||||||||||
LCL396-1-TC | n 26/269/16 | 6.74 | Prover9 | n 29/189/17 | 271.67 | n 29/189/17 | 246.72 | n 26/269/16 | 6.74 | n 26/269/16 | 6.75 | 7.48 | 7.24 | 0.59 | 0.93 | n 29/189/17 | 202.56 | n 29/189/17 | 308.71 | n 29/189/17 | 198.56 | n 29/189/17 | 315.83 | |||||||||||
LCL397-1 | 0.00 | 7/8/7 | 0.17 | SGCD-2 | 14/20/5 | 0.27 | 7/8/7 | 0.33 | 8/9/6 | 0.05 | 8/9/6 | 0.06 | 0.36 | 0.37 | 0.25 | 0.19 | 2.81 | 3.69 | 7/8/7 | 2.35 | 7/8/7 | 3.74 | 7/8/7 | 0.20 | 7/8/7 | 0.46 | 7/8/7 | 0.17 | 7/8/7 | 0.18 | 7/8/7 | 0.23 | 7/8/7 | 0.22 |
LCL397-1-TC | n 9/31/9 | 30.06 | CCS-Vanilla | 13/20/9 | 0.49 | n 12/29/8 | 0.09 | n 13/27/9 | 0.09 | n 13/27/9 | 0.11 | 0.59 | 0.56 | 0.29 | 0.34 | n 16/36/8 | 1,584.76 | n 16/36/8 | 860.05 | n 9/31/9 | 30.06 | n 9/31/9 | 54.94 | n 12/29/8 | 0.11 | n 12/29/8 | 0.17 | n 12/29/8 | 0.14 | n 12/29/8 | 0.05 | |||
LCL398-1 | 0.00 | 3/3/3 | 0.04 | SGCD-1 | 3/3/3 | 0.04 | 3/3/3 | 0.08 | 3/3/3 | 0.05 | 3/3/3 | 0.04 | 0.45 | 0.35 | 0.32 | 0.21 | 1.36 | 2.26 | 3/3/3 | 0.05 | 3/3/3 | 0.25 | 3/3/3 | 0.05 | 3/3/3 | 0.04 | 5/5/3 | 0.02 | 3/3/3 | 0.04 | 3/3/3 | 0.06 | 3/3/3 | 0.04 |
LCL398-1-TC | n 10/29/9 | 355.22 | CCS-Vanilla | n 11/40/8 | 0.35 | n 11/40/8 | 0.25 | n 15/34/9 | 0.11 | n 15/34/9 | 0.08 | 0.49 | 0.46 | 0.31 | 0.21 | 15/38/8 | 691.72 | 15/38/8 | 1,571.65 | n 10/29/9 | 355.22 | n 10/29/9 | 333.65 | n 11/40/8 | 0.40 | n 11/40/8 | 0.25 | n 11/40/8 | 0.23 | n 11/40/8 | 0.28 | |||
LCL399-1 | 0.00 | 12/13/11 | 6.45 | SGCD-1 | 12/13/11 | 6.45 | 12/13/11 | 9.63 | n 21/51/13 | 0.26 | n 21/51/13 | 0.25 | 1.97 | 1.92 | 0.49 | 0.53 | 12/13/11 | 15.35 | 12/13/11 | 10.90 | 12/13/11 | 15.43 | 12/13/11 | 13.90 | ||||||||||
LCL399-1-TC | 23/93/16 | 61.01 | SGCD-2 | 23/93/16 | 87.19 | 23/93/16 | 50.84 | n 26/176/16 | 6.38 | n 26/176/16 | 6.46 | 10.07 | 10.38 | 0.50 | 0.49 | 23/93/16 | 61.01 | 23/93/16 | 98.80 | 23/93/16 | 94.39 | 23/93/16 | 89.93 | |||||||||||
LCL400-1 | 0.00 | n 31/233/20 | 0.85 | Prover9 | 32/47/17 | 111.73 | 32/47/17 | 333.85 | n 31/233/20 | 0.85 | n 31/233/20 | 0.50 | 5.59 | 5.38 | 1.66 | 1.47 | 33/47/18 | 290.62 | 32/47/17 | 282.71 | 32/47/17 | 182.09 | 33/47/18 | 424.53 | ||||||||||
LCL400-1-TC | 23/126/15 | 102.06 | SGCD-3 | 23/126/15 | 179.71 | 23/126/15 | 133.95 | n 24/251/14 | 9.08 | n 24/251/14 | 7.32 | 7.08 | 7.69 | 0.88 | 0.95 | 23/126/15 | 153.69 | 23/126/15 | 159.16 | 23/126/15 | 102.06 | 23/126/15 | 99.95 | |||||||||||
LCL401-1 | 0.00 | 29/62/15 | 320.04 | SGCD-1 | 29/62/15 | 320.04 | 29/62/15 | 166.25 | n 32/295/21 | 0.52 | n 32/295/21 | 0.77 | 5.71 | 5.80 | 1.65 | 1.50 | 29/62/15 | 348.23 | 29/62/15 | 233.70 | 29/62/15 | 361.14 | 29/62/15 | 280.93 | ||||||||||
LCL401-1-TC | 26/165/16 | 97.55 | SGCD-1 | 26/165/16 | 97.55 | 26/165/16 | 122.57 | n 33/288/14 | 9.27 | n 33/288/14 | 8.74 | 7.60 | 8.14 | 0.92 | 0.51 | 26/165/16 | 216.91 | 26/165/16 | 211.72 | 26/165/16 | 144.04 | 26/165/16 | 188.18 | |||||||||||
LCL402-1 | 0.00 | n 30/191/20 | 0.41 | Prover9 | 31/46/16 | 301.13 | 31/46/16 | 282.07 | n 30/191/20 | 0.41 | n 30/191/20 | 0.42 | 5.32 | 5.49 | 1.41 | 1.17 | 31/46/16 | 277.36 | 31/46/16 | 285.18 | 31/46/16 | 275.65 | 31/46/16 | 273.55 | ||||||||||
LCL402-1-TC | 23/128/15 | 81.80 | SGCD-2 | 23/128/15 | 139.42 | 23/128/15 | 99.37 | n 23/170/12 | 4.87 | n 23/170/12 | 5.80 | 7.09 | 7.57 | 0.85 | 0.84 | 23/128/15 | 81.80 | 23/128/15 | 141.74 | 23/128/15 | 149.69 | 23/128/15 | 117.95 | |||||||||||
LCL404-1 | 0.00 | 36/409/22 | 4.36 | Prover9 | 37/62/20 | 149.90 | 43/82/20 | 0.03 | 36/409/22 | 4.36 | 43/82/20 | 0.11 | 9.35 | 0.69 | 89.25 | 3.67 | 1.43 | 51/94/20 | 33.50 | 70/169/26 | 68.39 | 37/62/20 | 384.11 | 39/71/16 | 7.18 | 37/62/20 | 372.73 | 43/82/20 | 0.05 | |||||
LCL404-1-TC | 29/275/16 | 672.09 | CMProver-LIN* | 33/274/17 | 230.65 | n 37/357/20 | 239.55 | n 34/713/21 | 19.50 | 35/304/16 | 0.83 | 21.53 | 4.11 | 12.36 | 939.99 | 1.50 | 29/275/16 | 672.09 | 36/324/17 | 14.56 | 33/274/17 | 403.39 | 34/274/14 | 13.22 | 33/274/17 | 484.97 | n 48/648/20 | 107.22 | ||||||
LCL405-1 | 0.00 | 26/34/14 | 199.42 | SGCD-3 | 27/36/13 | 85.23 | 26/34/14 | 146.52 | n 34/183/18 | 0.66 | n 34/183/18 | 0.62 | 5.29 | 5.45 | 1.34 | 1.26 | 26/34/14 | 330.96 | 26/34/14 | 178.57 | 26/34/14 | 199.42 | 26/34/14 | 209.70 | ||||||||||
LCL405-1-TC | 33/188/15 | 114.24 | SGCD-2 | 33/188/15 | 174.53 | 33/188/15 | 165.12 | n 33/244/15 | 1.09 | n 33/244/15 | 1.62 | 6.12 | 5.79 | 0.57 | 0.52 | 33/188/15 | 114.24 | 33/188/15 | 116.67 | 33/188/15 | 175.99 | 33/188/15 | 134.96 | |||||||||||
LCL416-1 | 0.00 | 10/17/8 | 14.75 | SGCD-2 | 17/36/7 | 7.91 | 10/17/8 | 7.11 | 18/54/11 | 3.53 | 18/54/11 | 1.93 | 6.80 | 7.59 | 0.19 | 0.32 | 10/17/8 | 838.60 | 10/17/8 | 950.11 | 10/18/8 | 95.54 | 10/18/8 | 51.78 | 10/17/8 | 14.75 | 10/17/8 | 8.38 | 10/17/8 | 15.16 | 10/17/8 | 11.48 | ||
LCL012-1 | 0.14 | 18/31/16 | 62.51 | SGCD-2 | 22/35/20 | 109.86 | 18/31/16 | 62.11 | 33/525/21 | 6.85 | 33/525/21 | 5.38 | 8.66 | 8.76 | 0.44 | 0.51 | 18/31/16 | 62.51 | 18/31/16 | 62.40 | 18/31/16 | 70.38 | 18/31/16 | 69.03 | ||||||||||
LCL014-1 | 0.14 | 10/15/7 | 11.58 | CCS-Vanilla | 13/18/11 | 26.37 | 13/18/11 | 27.66 | 23/260/14 | 3.38 | 23/260/14 | 3.50 | 5.91 | 6.28 | 0.31 | 0.34 | 10/15/7 | 39.33 | 10/15/7 | 66.89 | 10/15/7 | 11.58 | 10/15/7 | 13.62 | 11/22/11 | 62.96 | 13/18/11 | 14.06 | 13/18/11 | 10.61 | 11/22/11 | 38.74 | ||
LCL016-1 | 0.14 | 39/89/14 | 195.72 | SGCD-3 | 39/89/14 | 303.19 | 39/89/14 | 150.53 | 54/3781/25 | 4.37 | 54/3781/25 | 5.17 | 10.69 | 10.85 | 0.76 | 0.51 | 39/89/14 | 201.20 | 39/89/14 | 232.48 | 39/89/14 | 195.72 | 39/89/14 | 239.56 | ||||||||||
LCL017-1 | 0.14 | 50/129/17 | 194.28 | SGCD-2 | 50/129/17 | 378.60 | 50/129/17 | 292.73 | 58/7475/29 | 16.15 | 58/7475/29 | 11.92 | 12.78 | 15.22 | 0.39 | 0.39 | 50/129/17 | 194.28 | 50/129/17 | 197.51 | 50/129/17 | 299.31 | 50/129/17 | 293.20 | ||||||||||
LCL018-1 | 0.14 | 22/54/16 | 147.63 | SGCD-3 | 22/54/16 | 176.64 | 22/54/16 | 170.98 | 43/4964/22 | 5.73 | 43/4964/22 | 6.08 | 11.76 | 11.79 | 0.33 | 0.22 | 22/54/16 | 147.89 | 22/54/16 | 156.60 | 22/54/16 | 147.63 | 22/54/16 | 99.35 | ||||||||||
LCL019-1 | 0.14 | 35/132/18 | 202.29 | SGCD-2 | 35/132/18 | 298.45 | 35/132/18 | 45.53 | 42/3760/24 | 9.09 | 37/258/18 | 14.27 | 215.99 | 11.14 | 0.72 | 1,769.11 | 44/232/20 | 27.97 | 45/134/17 | 10.69 | 35/132/18 | 202.29 | 51/202/20 | 399.64 | 35/132/18 | 298.95 | 70/258/20 | 334.95 | ||||||
LCL021-1 | 0.14 | 68/225/19 | 331.46 | SGCD-3 | 68/225/19 | 538.74 | 68/225/19 | 440.56 | 108/2871106/48 | 44.93 | 108/2871106/48 | 41.08 | 197.73 | 194.62 | 0.84 | 0.80 | 68/225/19 | 448.78 | 68/225/19 | 348.18 | 68/225/19 | 331.46 | 68/225/19 | 469.56 | ||||||||||
LCL024-1 | 0.14 | 10/15/9 | 79.22 | CMProver | 10/16/10 | 3.42 | 12/26/10 | 2.69 | 25/269/18 | 8.33 | 25/269/18 | 7.57 | 17.54 | 17.55 | 0.64 | 0.66 | 10/15/9 | 79.22 | 10/15/9 | 81.90 | 10/16/10 | 7.99 | 10/16/10 | 12.95 | 12/26/10 | 5.36 | 12/26/10 | 5.66 | 12/26/10 | 6.51 | 12/26/10 | 3.71 | ||
LCL030-1 | 0.14 | 8/16/6 | 62.68 | CCS-Vanilla | 16/24/5 | 9.05 | 16/24/5 | 10.89 | 11/19/8 | 4.84 | 11/19/8 | 2.91 | 228.22 | 224.31 | 18.06 | 19.92 | 978.41 | 981.12 | 14/19/5 | 298.83 | 14/19/5 | 133.00 | 8/16/6 | 62.68 | 8/16/6 | 68.91 | 16/24/5 | 9.02 | 10/13/9 | 14.87 | 16/24/5 | 4.11 | 16/24/5 | 7.11 |
LCL030-1-TC | 21/117/13 | 621.66 | CCS-Vanilla-LIN* | 21/117/14 | 192.71 | 25/173/18 | 195.81 | n 24/642/18 | 8.23 | 30/248/16 | 0.55 | 204.74 | 0.79 | 1,554.55 | 1.14 | 2.37 | 21/117/13 | 621.66 | 21/117/14 | 156.77 | 23/161/16 | 78.39 | 21/117/14 | 175.47 | 21/117/14 | 585.67 | ||||||||
LCL031-1 | 0.14 | 23/26/10 | 209.34 | SGCD-1 | 23/26/10 | 209.34 | 23/26/10 | 236.87 | 41/117/13 | 1,373.55 | 41/117/13 | 734.100 | 177.27 | 176.80 | 14.16 | 13.17 | 23/26/10 | 492.35 | 23/26/10 | 801.22 | 23/26/10 | 666.81 | 23/26/10 | 540.100 | ||||||||||
LCL031-1-TC | 33/210/17 | 324.82 | SGCD-2 | 33/210/17 | 517.84 | 46/541/18 | 119.12 | n 40/1085/20 | 7.49 | 45/534/16 | 1,551.11 | 180.37 | 26.31 | 1,638.19 | 0.84 | 33/210/17 | 324.82 | 35/221/17 | 415.95 | 33/210/17 | 336.10 | 33/230/20 | 101.65 | |||||||||||
LCL040-1 | 0.14 | 8/9/5 | 15.85 | CCS-Vanilla | 18/18/16 | 0.66 | 18/18/16 | 0.72 | 11/15/6 | 2.31 | 11/15/6 | 2.56 | 1.56 | 1.55 | 518.85 | 946.09 | 3.42 | 3.05 | 12/17/5 | 10.28 | 12/17/5 | 31.49 | 8/9/5 | 15.85 | 8/9/5 | 10.42 | 12/16/5 | 2.03 | 12/16/5 | 0.77 | 12/16/5 | 0.72 | 18/18/16 | 0.55 |
LCL040-1-TC | 15/64/14 | 13.07 | SGCD-1 | 15/64/14 | 13.07 | 15/64/14 | 36.19 | n 21/184/14 | 162.70 | n 21/184/14 | 139.71 | 185.15 | 180.84 | 975.08 | 1,007.82 | 15/64/14 | 51.55 | 15/64/14 | 45.49 | 15/64/14 | 38.92 | 15/64/14 | 50.04 | |||||||||||
LCL042-1 | 0.14 | 8/8/4 | 499.52 | CCS-Vanilla | 12/12/4 | 0.21 | 12/12/4 | 0.44 | 9/9/5 | 23.68 | 9/9/5 | 21.63 | 0.53 | 0.60 | 27.14 | 26.43 | 7.86 | 5.41 | 9/9/4 | 1.88 | 9/9/4 | 7.17 | 8/8/4 | 499.52 | 8/8/4 | 654.26 | 12/12/4 | 0.63 | 12/12/4 | 0.33 | 12/12/4 | 0.54 | 12/12/4 | 0.43 |
LCL042-1-TC | 23/59/13 | 80.27 | SGCD-2 | 23/59/13 | 102.18 | 23/59/13 | 95.68 | n 30/165/18 | 297.29 | n 30/165/18 | 228.76 | 31.04 | 30.84 | 1,772.18 | 1,772.18 | 23/59/13 | 80.27 | 23/59/13 | 51.24 | 24/55/11 | 190.68 | 23/59/13 | 73.83 | |||||||||||
LCL054-1 | 0.14 | 33/283/21 | 218.11 | Prover9 | 37/104/20 | 9.64 | 49/97/18 | 0.55 | 33/283/21 | 218.11 | 61/292/22 | 134.44 | 2.99 | 2.99 | 41/73/18 | 34.71 | 41/73/18 | 0.10 | 37/104/20 | 17.23 | 54/89/18 | 21.82 | 37/104/20 | 16.08 | n 54/124/21 | 26.56 | ||||||||
LCL054-1-TC | n 31/595/20 | 601.100 | Prover9 | 34/297/21 | 251.68 | 35/307/19 | 236.46 | n 31/595/20 | 601.100 | 35/430/19 | 192.46 | 75.18 | 36/317/19 | 1,177.39 | 34/297/20 | 522.81 | 34/297/21 | 316.22 | 46/479/18 | 55.37 | 34/297/21 | 433.57 | 34/307/22 | 208.16 | ||||||||||
LCL060-1 | 0.14 | 36/76/17 | 0.42 | CCS-Vanilla-LIN* | 40/72/18 | 473.40 | 49/111/21 | 0.49 | n 43/477/22 | 5.89 | 38/73/17 | 0.10 | 13.41 | 0.45 | 1.30 | 1.30 | 1.91 | 36/76/17 | 31.31 | 36/76/17 | 0.42 | 40/72/18 | 438.60 | 40/72/18 | 6.17 | 40/72/18 | 254.25 | 43/85/19 | 5.74 | |||||
LCL060-1-TC | 29/350/20 | 1.55 | Prover9-LIN* | 36/305/19 | 599.12 | 39/537/17 | 76.23 | n 37/668/19 | 128.96 | 29/350/20 | 1.55 | 19.66 | 4.06 | 6.79 | 948.08 | 1.43 | 34/327/19 | 38.47 | 34/327/19 | 1.52 | 36/305/19 | 360.91 | 36/445/17 | 27.10 | 36/305/19 | 549.39 | 49/503/18 | 103.94 | ||||||
LCL084-2 | 0.14 | n 53/87/25 | 80.13 | SGCD-GNN* | 64/91/23 | 315.63 | 57/120/27 | 148.21 | n 87/5292/31 | 48.97 | 74/515/30 | 4.41 | 562.67 | 7.99 | 71.44 | 1,253.29 | 65/160/24 | 1,735.45 | 64/91/23 | 259.66 | n 53/87/25 | 80.13 | 64/91/23 | 166.44 | 55/108/27 | 91.77 | ||||||||
LCL084-2-TC | 40/289/22 | 289.05 | SGCD-3 | 40/289/22 | 434.08 | n 49/550/32 | 442.95 | n 103/57222/46 | 45.92 | n 99/8566/32 | 23.51 | 550.92 | 185.98 | 1,239.03 | 40/289/22 | 488.58 | n 46/487/27 | 530.70 | 40/289/22 | 289.05 | n 49/540/26 | 483.97 | ||||||||||||
LCL084-3 | 0.14 | 52/98/23 | 295.65 | SGCD-GNN-LIN* | 58/95/25 | 403.88 | 59/134/26 | 253.80 | n 109/18507/34 | 44.10 | n 77/657/30 | 4.09 | 258.84 | 23.09 | 66.94 | 1,071.69 | 75/129/28 | 1,681.28 | 58/95/25 | 284.92 | 57/97/24 | 163.92 | 58/95/25 | 327.92 | 52/98/23 | 295.65 | ||||||||
LCL084-3-TC | n 42/376/22 | 514.34 | SGCD-3 | n 42/376/22 | 520.20 | n 62/724/36 | 817.93 | n 85/46004/41 | 47.11 | n 92/11097/33 | 15.08 | 568.15 | 183.51 | 1,770.09 | n 42/376/22 | 682.08 | n 59/639/31 | 689.94 | n 42/376/22 | 514.34 | n 69/603/35 | 659.45 | ||||||||||||
LCL100-1 | 0.14 | 18/44/11 | 187.43 | CCS-Vanilla-LIN* | 22/44/10 | 134.19 | 21/36/11 | 86.82 | 25/69/11 | 182.67 | 20/49/11 | 136.46 | 835.60 | 36.13 | 16.40 | 16.40 | 27/43/9 | 729.09 | 18/44/11 | 187.43 | 22/44/10 | 129.37 | 23/37/11 | 96.76 | 22/44/10 | 72.68 | 28/43/10 | 113.15 | ||||||
LCL122-1 | 0.14 | 25/142/10 | 13.46 | SGCD-LIN* | 28/149/8 | 276.68 | 25/142/10 | 13.46 | 28/547/18 | 144.10 | 40/215/12 | 134.70 | 27/141/11 | 41.78 | 26/100/10 | 1,749.37 | 28/149/8 | 226.41 | 35/201/13 | 5.04 | 28/149/8 | 146.38 | 40/190/15 | 121.00 | ||||||||||
LCL166-1 | 0.14 | 51/155/18 | 182.67 | SGCD-3 | 51/155/18 | 349.26 | 51/155/18 | 116.27 | 67/29842/33 | 19.44 | 67/29842/33 | 14.45 | 171.67 | 169.42 | 0.42 | 0.39 | 51/155/18 | 201.10 | 51/155/18 | 188.49 | 51/155/18 | 182.67 | 51/155/18 | 251.77 | ||||||||||
LCL369-1 | 0.14 | 22/34/16 | 2.82 | SGCD-2 | 22/34/16 | 8.57 | 22/34/16 | 7.95 | 33/175/20 | 3.34 | 33/175/20 | 3.36 | 305.39 | 304.70 | 5.17 | 4.88 | 22/34/16 | 2.82 | 22/34/16 | 4.35 | 22/34/16 | 4.27 | 22/34/16 | 6.22 | ||||||||||
LCL369-1-TC | 16/131/15 | 111.94 | SGCD-3 | 16/131/15 | 200.87 | 16/131/15 | 212.84 | 16/131/15 | 193.12 | 16/131/15 | 112.38 | 16/131/15 | 111.94 | 16/131/15 | 119.26 | |||||||||||||||||||
LCL370-1 | 0.14 | 27/39/13 | 242.93 | SGCD-3 | 27/39/14 | 271.76 | 27/39/14 | 138.25 | 32/233/19 | 3.16 | 32/233/19 | 3.51 | 8.34 | 8.81 | 0.72 | 1.31 | 27/39/13 | 379.91 | 27/39/13 | 230.98 | 27/39/13 | 242.93 | 27/39/13 | 233.45 | ||||||||||
LCL370-1-TC | 22/178/16 | 266.52 | SGCD-2 | 22/178/16 | 329.35 | 22/178/16 | 215.27 | n 25/323/16 | 13.64 | n 25/323/16 | 14.16 | 17.93 | 20.81 | 1,174.12 | 1,238.69 | 22/178/16 | 266.52 | 22/178/16 | 282.88 | 22/178/16 | 278.68 | 22/178/16 | 188.23 | |||||||||||
LCL371-1 | 0.14 | 27/39/13 | 233.94 | SGCD-3 | 27/39/14 | 339.51 | 27/39/14 | 282.98 | 32/233/19 | 2.64 | 32/233/19 | 3.12 | 8.57 | 8.70 | 0.90 | 1.28 | 27/39/13 | 243.65 | 27/39/13 | 188.05 | 27/39/13 | 233.94 | 27/39/13 | 337.10 | ||||||||||
LCL371-1-TC | 22/178/16 | 176.97 | SGCD-3 | 22/178/16 | 329.54 | 22/178/16 | 237.89 | n 25/323/16 | 14.53 | n 25/323/16 | 19.12 | 19.54 | 20.10 | 1,191.40 | 1,239.69 | 22/178/16 | 267.47 | 22/178/16 | 280.39 | 22/178/16 | 176.97 | 22/178/16 | 200.99 | |||||||||||
LCL373-1 | 0.14 | 37/68/14 | 708.81 | SGCD-3 | 38/69/18 | 411.79 | 38/69/18 | 339.25 | n 41/474/21 | 5.18 | n 41/474/21 | 6.70 | 14.78 | 15.02 | 1.45 | 1.51 | 38/69/18 | 252.51 | 38/69/18 | 400.98 | 37/68/14 | 708.81 | 38/69/18 | 261.20 | ||||||||||
LCL373-1-TC | 26/367/20 | 2.86 | Prover9-LIN* | 32/246/16 | 217.74 | 35/328/16 | 12.42 | n 29/459/18 | 19.56 | 26/367/20 | 2.86 | 18.02 | 2.41 | 1,561.79 | 957.09 | 2.59 | 35/406/21 | 13.58 | 27/300/18 | 0.13 | 32/246/16 | 304.02 | 47/583/17 | 42.67 | 32/246/16 | 309.67 | n 57/745/19 | 91.56 | ||||||
LCL382-1 | 0.14 | 29/53/18 | 6.21 | SGCD-1 | 29/53/18 | 6.21 | 29/53/18 | 12.70 | n 36/251/19 | 3.79 | n 36/251/19 | 3.74 | 7.80 | 8.88 | 1.12 | 0.77 | 29/53/18 | 14.89 | 29/53/18 | 12.34 | 29/53/18 | 9.92 | 29/53/18 | 12.61 | ||||||||||
LCL382-1-TC | 28/195/15 | 200.49 | SGCD-3 | 28/195/15 | 362.57 | 45/412/21 | 38.02 | n 28/350/17 | 13.01 | 28/195/15 | 0.31 | 20.12 | 0.68 | 21.03 | 0.47 | 2.43 | 29/205/17 | 12.45 | 28/195/15 | 10.76 | 28/195/15 | 205.98 | 28/195/15 | 93.35 | 28/195/15 | 200.49 | 28/195/15 | 31.44 | ||||||
LCL384-1 | 0.14 | 13/23/5 | 683.01 | CMProver | 16/20/11 | 0.49 | 16/20/11 | 0.33 | 29/129/18 | 1.61 | 29/129/18 | 1.48 | 55.31 | 48.05 | 1.49 | 1.53 | 13/23/5 | 683.01 | 13/23/5 | 683.01 | 16/20/11 | 0.53 | 16/20/11 | 0.67 | 16/20/11 | 0.31 | 16/20/11 | 0.55 | ||||||
LCL384-1-TC | 13/89/12 | 45.07 | SGCD-1 | 13/89/12 | 45.07 | 13/89/12 | 56.98 | n 15/96/12 | 590.100 | n 15/96/12 | 348.81 | 189.15 | 31.46 | 139.16 | 116.62 | 13/89/12 | 74.97 | 13/89/12 | 102.63 | 13/89/12 | 65.58 | 13/89/12 | 105.73 | |||||||||||
LCL390-1 | 0.14 | 31/45/14 | 281.13 | SGCD-3 | 31/45/15 | 112.27 | 31/45/15 | 341.16 | n 44/716/23 | 6.47 | n 44/716/23 | 5.66 | 12.19 | 15.78 | 1.43 | 0.86 | 31/45/14 | 311.97 | 31/45/14 | 225.90 | 31/45/14 | 281.13 | 31/45/14 | 355.16 | ||||||||||
LCL390-1-TC | 24/248/17 | 27.10 | CMProver-LIN* | 31/235/17 | 195.82 | 32/294/17 | 11.36 | n 36/552/18 | 123.12 | 25/248/19 | 0.23 | 20.78 | 0.62 | 6.53 | 7.49 | 2.38 | 24/248/17 | 27.10 | 24/248/17 | 585.27 | 31/235/17 | 280.98 | 42/604/16 | 16.80 | 31/235/17 | 418.99 | 39/322/17 | 44.52 | ||||||
LCL403-1 | 0.14 | 40/94/16 | 30.54 | SGCD-LIN* | 41/62/14 | 339.25 | 40/94/16 | 30.54 | n 47/971/24 | 5.53 | 41/93/17 | 0.65 | 10.82 | 4.13 | 130.97 | 944.44 | 1.50 | 70/173/21 | 100.75 | 70/180/21 | 13.03 | 41/62/14 | 225.30 | 59/97/17 | 1.41 | 41/62/14 | 231.48 | 54/99/19 | 4.11 | |||||
LCL403-1-TC | 28/172/17 | 550.87 | SGCD-3 | 32/214/14 | 164.22 | 53/616/21 | 81.56 | n 36/819/21 | 16.88 | 40/396/19 | 1.02 | 20.44 | 3.100 | 22.60 | 936.61 | 2.48 | 32/214/14 | 345.12 | 34/420/17 | 31.39 | 28/172/17 | 550.87 | 31/225/17 | 283.06 | ||||||||||
LCL032-1 | 0.29 | n 67/15362/35 | 106.73 | Prover9 | n 75/691/34 | 619.10 | n 75/691/34 | 619.10 | n 67/15362/35 | 106.73 | 75/2242/31 | 123.39 | 533.51 | 45.14 | 45.14 | n 75/691/34 | 663.80 | n 108/891/36 | 633.89 | n 75/691/34 | 642.59 | n 75/691/34 | 642.59 | |||||||||||
LCL099-1 | 0.29 | 20/41/6 | 459.30 | SGCD-2 | 20/41/6 | 609.72 | 20/41/6 | 609.72 | 237.12 | 32.67 | 2.53 | 960.81 | 20/56/11 | 24.52 | 21/31/8 | 482.80 | 20/41/6 | 459.30 | 20/41/6 | 459.30 | 20/41/6 | 530.04 | 20/41/6 | 530.04 | ||||||||||
LCL105-1 | 0.29 | 37/109/11 | 90.54 | Prover9-LIN* | 38/201/16 | 86.19 | 37/109/11 | 90.54 | 375.60 | 14.56 | 14.56 | |||||||||||||||||||||||
LCL119-1 | 0.29 | 83/28624/27 | 76.07 | Prover9 | 83/28624/27 | 76.07 | 104/6099/24 | 87.85 | 176.21 | 166.19 | 0.59 | 0.59 | ||||||||||||||||||||||
LCL365-1 | 0.29 | 10/15/9 | 429.17 | CCS-Vanilla | 12/14/7 | 1.49 | 12/14/7 | 1.18 | 26.09 | 25.62 | 1.39 | 1.53 | 13/16/5 | 88.11 | 13/16/5 | 111.31 | 10/15/9 | 429.17 | 10/15/9 | 242.41 | 12/14/7 | 1.00 | 12/14/7 | 1.18 | 12/14/7 | 0.74 | 12/14/7 | 0.48 | ||||||
LCL365-1-TC | 14/65/10 | 45.59 | SGCD-2 | n 18/91/10 | 15.74 | n 18/91/10 | 17.58 | 28.34 | 28.48 | 532.36 | 1,226.58 | 14/65/10 | 45.59 | 14/65/10 | 41.11 | 14/65/10 | 50.26 | 14/65/10 | 43.26 | |||||||||||||||
LCL368-1 | 0.29 | 21/32/16 | 2.10 | SGCD-1 | 21/32/16 | 2.10 | 21/32/16 | 5.60 | 33/174/20 | 3.75 | 33/174/20 | 4.06 | 186.70 | 181.74 | 2.83 | 2.84 | 21/32/16 | 3.61 | 21/32/16 | 2.63 | 21/32/16 | 3.96 | 21/32/16 | 4.46 | ||||||||||
LCL368-1-TC | 15/111/14 | 86.94 | SGCD-3 | 15/111/14 | 191.49 | 15/111/14 | 160.15 | 29.14 | 29.20 | 918.78 | 946.07 | 15/111/14 | 98.47 | 15/111/14 | 149.31 | 15/111/14 | 86.94 | 15/111/14 | 142.19 | |||||||||||||||
LCL372-1 | 0.29 | 27/46/13 | 12.87 | SGCD-1 | 27/46/13 | 12.87 | 27/46/13 | 17.55 | 308.82 | 308.07 | 2.18 | 2.69 | 27/46/13 | 14.19 | 27/46/13 | 28.01 | 27/46/13 | 26.47 | 27/46/13 | 19.61 | ||||||||||||||
LCL372-1-TC | 23/188/17 | 146.06 | SGCD-1 | 23/188/17 | 146.06 | 23/188/17 | 318.79 | 328.84 | 323.94 | 1,125.64 | 1,181.43 | 23/188/17 | 171.56 | 23/188/17 | 313.74 | 23/188/17 | 219.01 | 23/188/17 | 244.69 | |||||||||||||||
LCL383-1 | 0.29 | 33/52/15 | 41.99 | SGCD-3 | 33/52/15 | 74.92 | 33/52/15 | 71.91 | 312.27 | 308.58 | 2.48 | 2.48 | 33/52/15 | 58.65 | 33/52/15 | 57.17 | 33/52/15 | 41.99 | 33/52/15 | 53.61 | ||||||||||||||
LCL383-1-TC | 31/245/18 | 31.87 | CMProver-LIN* | 31/255/14 | 504.85 | 34/291/19 | 165.75 | 566.24 | 0.78 | 0.56 | 2.41 | 31/245/18 | 31.87 | 31/255/15 | 530.76 | 31/255/14 | 305.39 | 32/275/15 | 18.68 | 31/255/14 | 471.99 | 34/291/19 | 264.19 | |||||||||||
LCL391-1 | 0.29 | 40/161/20 | 65.93 | SGCD-1 | 40/161/20 | 65.93 | 52/157/21 | 46.47 | n 56/1279/25 | 82.84 | 41/101/21 | 26.74 | 0.78 | 3.20 | 13.08 | 1.54 | 51/132/20 | 979.20 | 44/145/20 | 159.49 | 40/161/20 | 102.56 | 70/154/21 | 122.54 | 40/161/20 | 171.15 | 43/116/20 | 40.17 | ||||||
LCL391-1-TC | 36/640/19 | 572.35 | SGCD-GNN* | n 42/629/18 | 934.91 | 51/721/19 | 654.88 | n 43/1581/23 | 140.77 | 64/998/22 | 38.54 | 37.45 | 537.28 | 9.93 | n 42/629/18 | 771.37 | 36/640/19 | 572.35 | n 42/629/18 | 871.87 | n 37/587/19 | 484.44 | ||||||||||||
LCL392-1 | 0.29 | 30/52/14 | 26.83 | SGCD-2 | 30/52/14 | 28.86 | 30/52/14 | 22.10 | n 45/717/24 | 7.41 | n 45/717/24 | 7.82 | 318.78 | 314.29 | 1.72 | 1.37 | 30/52/14 | 26.83 | 30/52/14 | 39.82 | 30/52/14 | 35.83 | 30/52/14 | 34.57 | ||||||||||
LCL392-1-TC | 25/258/18 | 1.06 | CCS-Vanilla-LIN* | 32/245/18 | 215.64 | 27/268/19 | 25.34 | n 52/1322/21 | 1,555.72 | 26/258/20 | 1.42 | 186.56 | 4.27 | 19.32 | 7.84 | 1.58 | 41/572/19 | 46.06 | 25/258/18 | 1.06 | 32/245/18 | 426.64 | 25/298/15 | 10.94 | 32/245/18 | 309.62 | 32/245/18 | 201.14 | ||||||
LCL393-1 | 0.29 | 37/87/17 | 46.13 | SGCD-1 | 37/87/17 | 46.13 | 41/79/18 | 17.70 | n 58/1577/27 | 1,730.26 | 46/88/19 | 5.91 | 0.73 | 1.50 | 20.22 | 2.33 | 43/77/20 | 1,041.48 | 47/80/16 | 89.56 | 37/87/17 | 103.36 | 42/87/19 | 23.78 | 37/87/17 | 107.09 | 47/91/21 | 31.31 | ||||||
LCL393-1-TC | 28/360/20 | 551.77 | SGCD-GNN-LIN* | 49/571/19 | 940.91 | 29/360/19 | 880.75 | 41/604/20 | 614.62 | 4.22 | 505.83 | 19.41 | 2.38 | 40/538/19 | 41.61 | 30/380/18 | 1.87 | 49/571/19 | 917.38 | 38/377/19 | 362.29 | 49/571/19 | 809.46 | 28/360/20 | 551.77 | |||||||||
LCL020-1 | 0.43 | 106/24989/37 | 21.65 | Prover9-LIN* | 106/2282419/42 | 108.95 | 106/24989/37 | 21.65 | 217.41 | 12.81 | 0.54 | 1,767.71 | ||||||||||||||||||||||
LCL028-1 | 0.43 | 34/67/15 | 295.28 | SGCD-2 | 34/67/15 | 530.17 | 34/67/15 | 440.02 | 68/470/20 | 1,797.22 | 523.92 | 234.31 | 39.83 | 47.35 | 34/67/15 | 295.28 | 34/67/15 | 480.88 | 34/67/15 | 303.80 | 34/67/15 | 331.93 | ||||||||||||
LCL028-1-TC | 35/264/18 | 339.86 | SGCD-GNN* | 39/327/19 | 727.40 | 39/297/22 | 339.62 | 38/305/15 | 7.71 | 531.98 | 117.13 | 358.56 | 39/327/19 | 713.12 | 35/264/18 | 339.86 | 39/327/19 | 439.88 | 42/308/22 | 294.68 | ||||||||||||||
LCL061-1 | 0.43 | 39/92/16 | 87.96 | SGCD-2 | 39/92/16 | 148.94 | 42/87/20 | 72.83 | n 57/1577/27 | 676.34 | 48/135/19 | 1,459.80 | 37.89 | 2.12 | 30.100 | 129.02 | 45/80/21 | 734.27 | 39/92/16 | 87.96 | 42/98/18 | 91.13 | 39/92/16 | 120.63 | 46/101/20 | 49.98 | ||||||||
LCL061-1-TC | 37/402/21 | 722.76 | SGCD-GNN* | 46/466/19 | 690.27 | 44/488/21 | 293.44 | 38/624/20 | 933.10 | 4.13 | 576.01 | 21.02 | 1.61 | 46/466/19 | 705.05 | 37/402/21 | 722.76 | 46/466/19 | 567.15 | 55/602/20 | 675.83 | |||||||||||||
LCL062-1 | 0.43 | 44/115/21 | 285.10 | SGCD-LIN* | 48/113/16 | 313.58 | 44/115/21 | 285.10 | 247.37 | 5.51 | 7.12 | 48/113/16 | 482.92 | 45/116/21 | 1,323.89 | 48/113/16 | 490.45 | 57/118/17 | 512.29 | |||||||||||||||
LCL062-1-TC | 37/494/22 | 1,136.75 | SGCD-GNN* | 43/478/21 | 1,542.69 | 43/478/21 | 1,542.69 | 68.43 | 546.91 | 22.18 | 108.74 | 43/478/21 | 1,181.98 | 37/494/22 | 1,136.75 | 43/478/21 | 1,351.60 | 43/601/21 | 1,371.98 | |||||||||||||||
LCL124-1 | 0.43 | 27/130/10 | 76.25 | SGCD-LIN* | 27/130/10 | 76.25 | 37/194/10 | 1,559.50 | ||||||||||||||||||||||||||
LCL125-1 | 0.43 | 33/460/16 | 33.14 | Prover9 | 33/460/16 | 33.14 | 62/224/15 | 74.70 | 254.38 | 254.38 | 1,434.50 | 37/90/18 | 1,202.61 | 64/122/13 | 945.83 | |||||||||||||||||||
LCL167-1 | 0.43 | 48/265/22 | 27.53 | SGCD-GNN* | 58/270/22 | 614.93 | 55/280/23 | 0.14 | 86/126485/35 | 65.23 | 52/279/21 | 1.65 | 182.62 | 0.56 | 0.78 | 0.68 | 2.44 | 54/461/20 | 25.04 | 65/327/25 | 448.85 | 58/270/22 | 598.12 | 48/265/22 | 27.53 | 58/270/22 | 356.20 | 55/280/23 | 0.17 | |||||
LCL374-1 | 0.43 | 33/77/17 | 42.47 | SGCD-1 | 33/77/17 | 42.47 | 42/75/19 | 32.44 | 45/107/18 | 14.54 | 317.41 | 174.13 | 5.56 | 1,779.33 | 43/76/20 | 748.27 | 33/77/17 | 90.97 | 42/75/19 | 39.87 | 33/77/17 | 51.78 | 36/77/18 | 34.09 | ||||||||||
LCL374-1-TC | 31/360/20 | 572.87 | CCS-Vanilla-LIN* | 31/370/19 | 423.68 | 39/470/17 | 190.77 | 1,136.54 | 1,136.54 | 31/360/20 | 572.87 | 31/370/19 | 456.32 | n 34/353/18 | 452.74 | 31/370/19 | 650.81 | 36/462/25 | 380.63 | |||||||||||||||
LCL375-1 | 0.43 | 43/103/20 | 56.44 | SGCD-LIN* | 46/108/17 | 189.81 | 43/103/20 | 56.44 | 3.44 | 1,412.65 | 44/102/20 | 1,654.81 | 46/108/17 | 96.18 | 43/103/20 | 98.04 | 46/108/17 | 152.19 | 43/105/19 | 80.01 | ||||||||||||||
LCL375-1-TC | 31/519/18 | 821.46 | SGCD-LIN* | 46/532/18 | 899.32 | 31/519/18 | 821.46 | 1,269.99 | 46/532/18 | 896.09 | 35/355/19 | 767.51 | 46/532/18 | 637.76 | 39/506/22 | 597.50 | ||||||||||||||||||
LCL376-1 | 0.43 | 30/76/15 | 58.17 | SGCD-GNN* | 47/82/22 | 309.53 | 52/93/22 | 56.43 | 1,234.94 | 3.38 | 35.72 | 49/98/19 | 38.29 | 44/107/21 | 159.46 | 47/82/22 | 246.54 | 30/76/15 | 58.17 | 47/82/22 | 152.48 | 48/116/21 | 174.61 | |||||||||||
LCL376-1-TC | 31/256/19 | 276.24 | SGCD-3 | 31/256/19 | 496.14 | 40/419/19 | 240.45 | 74.31 | 392.60 | 34/286/17 | 19.23 | 37/474/19 | 291.47 | 31/256/19 | 328.22 | 39/375/17 | 23.35 | 31/256/19 | 276.24 | 39/432/20 | 393.25 | |||||||||||||
LCL394-1 | 0.43 | 41/81/17 | 267.22 | SGCD-3 | 41/81/17 | 483.79 | 42/80/19 | 35.43 | 32.76 | 4.74 | 21.18 | 8.68 | 51/90/18 | 1,729.06 | 41/81/17 | 304.14 | 44/92/19 | 734.10 | 41/81/17 | 267.22 | 51/99/21 | 358.81 | ||||||||||||
LCL394-1-TC | 29/370/21 | 737.54 | SGCD-GNN-LIN* | 30/350/18 | 829.87 | 30/370/20 | 1,422.61 | 68.86 | 500.63 | 17.55 | 93.59 | 32/400/17 | 1,451.01 | 31/390/19 | 201.23 | 30/350/18 | 1,023.79 | 39/387/20 | 590.31 | 30/350/18 | 984.52 | 29/370/21 | 737.54 | |||||||||||
LCL875-1 | 0.43 | 0.30 | Vampire | 0.30 | 0.63 | 0.31 | 0.65 | |||||||||||||||||||||||||||
LCL037-1 | 0.57 | n 72/45359/39 | 172.29 | Prover9 | n 93/1822/36 | 1,373.05 | n 93/1822/36 | 1,373.05 | n 72/45359/39 | 172.29 | n 148/27881/41 | 146.93 | 82.23 | 82.23 | n 93/1822/36 | 1,363.06 | n 119/2503/38 | 1,534.78 | n 93/1822/36 | 1,274.51 | n 93/1822/36 | 1,274.51 | ||||||||||||
LCL074-1 | 0.57 | n 50/136/18 | 998.93 | SGCD-2 | n 50/136/18 | 1,460.54 | n 65/198/21 | 113.21 | n 65/198/21 | 1.25 | 6.74 | 67.50 | 0.51 | n 50/136/18 | 998.93 | n 51/228/24 | 102.95 | n 50/136/18 | 1,359.24 | n 51/174/19 | 96.89 | |||||||||||||
LCL377-1 | 0.57 | 38/78/15 | 62.71 | SGCD-1 | 38/78/15 | 62.71 | 45/84/22 | 66.80 | 4.98 | 4.98 | 44/106/20 | 32.30 | 45/83/23 | 0.87 | 38/78/15 | 93.03 | 48/86/18 | 93.64 | 38/78/15 | 87.48 | 49/91/18 | 33.11 | ||||||||||||
LCL377-1-TC | 32/374/17 | 44.20 | CMProver-LIN* | 36/303/19 | 517.97 | 42/535/17 | 344.92 | 1,202.68 | 32/374/17 | 44.20 | 38/303/20 | 597.06 | 36/303/19 | 617.06 | 41/438/17 | 22.59 | 36/303/19 | 337.14 | 43/484/22 | 620.17 | ||||||||||||||
LCL395-1 | 0.57 | 45/112/20 | 140.94 | SGCD-2 | 45/112/20 | 258.57 | 55/144/19 | 231.60 | n 50/1173/25 | 699.43 | 63/375/22 | 1,686.14 | 68.49 | 1.87 | 1.87 | 1,634.93 | 49/112/22 | 678.46 | 45/112/20 | 140.94 | 59/134/21 | 204.03 | 45/112/20 | 145.19 | 49/119/18 | 86.17 | ||||||||
LCL395-1-TC | n 43/498/23 | 830.80 | SGCD-GNN* | 45/444/18 | 440.21 | 45/444/18 | 440.21 | 65/834/21 | 1,747.34 | 70.33 | 510.78 | 510.78 | 45/444/18 | 800.10 | n 43/498/23 | 830.80 | 45/444/18 | 550.73 | n 58/662/19 | 1,179.12 | ||||||||||||||
LCL428-1 | 0.57 | 0.23 | E | 26.94 | 27.66 | 0.23 | 0.38 | |||||||||||||||||||||||||||
LCL428-1-TC | 962.57 | E | 27.79 | 962.57 | 0.44 | |||||||||||||||||||||||||||||
LCL109-1 | 0.86 | 72/348/22 | 226.55 | Prover9-HEU-1* | ||||||||||||||||||||||||||||||
LCL109-1-TC | 76/1143/26 | 437.99 | Prover9-LIN* | 76/1143/26 | 437.99 | |||||||||||||||||||||||||||||
LCL417-1 | 0.86 | 647.39 | Vampire-HEU-2* | |||||||||||||||||||||||||||||||
LCL422-1 | 0.86 | |||||||||||||||||||||||||||||||||
LCL422-1-TC | ||||||||||||||||||||||||||||||||||
LCL876+1 | 0.93 | 70/396/22 | 227.17 | Prover9-HEU-1* | ||||||||||||||||||||||||||||||
LCL876+1-TC | 64/961/21 | 430.20 | Prover9-LIN* | 64/961/21 | 430.20 | |||||||||||||||||||||||||||||
LCL063-1 | 1.00 | 943.48 | E | 943.48 | 1,741.69 | |||||||||||||||||||||||||||||
LCL063-1-TC | ||||||||||||||||||||||||||||||||||
LCL073-1 | 1.00 | 46/3276/40 | 16.55 | SGCD-HEU-3* | ||||||||||||||||||||||||||||||
LCL418-1 | 1.00 | |||||||||||||||||||||||||||||||||
LCL419-1 | 1.00 | |||||||||||||||||||||||||||||||||
LCL419-1-TC | ||||||||||||||||||||||||||||||||||
LCL420-1 | 1.00 | |||||||||||||||||||||||||||||||||
LCL420-1-TC | ||||||||||||||||||||||||||||||||||
LCL421-1 | 1.00 | |||||||||||||||||||||||||||||||||
LCL421-1-TC | ||||||||||||||||||||||||||||||||||
LCL425-1 | 1.00 | |||||||||||||||||||||||||||||||||
LCL426-1 | 1.00 | |||||||||||||||||||||||||||||||||
Problem | Rating | Best Proof | SGCD-1 | SGCD-LIN* | Prover9 | Prover9-LIN* | Vampire | Vampire-LIN* | E | E-LIN* | leanCoP | leanCoP-LIN* | CMProver | CMProver-LIN* | CCS-Vanilla | CCS-Vanilla-LIN* | SGCD-2 | SGCD-GNN* | SGCD-3 | SGCD-GNN-LIN* | ||||||||||||||
Totals of 312: | 300 | 285 | 286 | 260 | 269 | 263 | 284 | 281 | 286 | 77 | 111 | 104 | 142 | 105 | 145 | 285 | 287 | 285 | 285 |