Closed GregorCH closed 6 years ago
add two new counter columns 'primfail', 'dualfail' to distinguish primal fails and dual fails. Their union remains the column fail, as before.
add two new counter columns 'primfail', 'dualfail' to distinguish primal fails and dual fails. Their union remains the column fail, as before.