SPC | Problems | v2.0.0 | v2.3.0 down | v2.0.0 up | v2.3.0 |
---|---|---|---|---|---|
THM_EPR_CNF | 304 | 301 | 304 | 301 | 303 |
THM_EPR_FOF | 157 | 145 | 149 | 149 | 150 |
THM_RFO_NEQ_CNF_HRN | 327 | 265 | 284 | 267 | 281 |
THM_RFO_NEQ_CNF_NHN | 131 | 105 | 114 | 105 | 113 |
THM_RFO_SEQ_CNF_HRN | 213 | 176 | 197 | 176 | 195 |
THM_RFO_SEQ_CNF_NHN | 314 | 181 | 218 | 184 | 219 |
THM_RFO_PEQ_CNF_NUE | 112 | 69 | 94 | 68 | 93 |
THM_RFO_PEQ_CNF_UEQ | 358 | 309 | 334 | 312 | 334 |