| SPC | 1.00 in v2.0.0 | v2.0.0 6 months v2.1.0 | v2.1.0 14 months v2.2.0 | v2.2.0 9 months v2.3.0 |
|---|---|---|---|---|
| SAT_EPR_CNF | 53 | 2 | 50 | 0 |
| SAT_RFO_NEQ_CNF | 11 | 23 | 0 | 1 |
| SAT_RFO_EQU_NUE | 10 | 6 | 1 | 1 |
| SAT_RFO_EQU_UEQ | 11 | 7 | 1 | 1 |
| THM_RFO_NEQ_CNF_HRN | 52 | 7 | 9 | 14 |
| THM_RFO_NEQ_CNF_NHN | 18 | 2 | 0 | 4 |
| THM_RFO_SEQ_CNF_HRN | 41 | 15 | 3 | 76 |
| THM_RFO_SEQ_CNF_NHN | 130 | 18 | 5 | 15 |
| THM_RFO_PEQ_CNF_NUE | 36 | 17 | 1 | 6 |
| THM_RFO_PEQ_CNF_UEQ | 54 | 16 | 1 | 18 |