prgbench.avg 188 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2 3
(v,t,u,f,i) - valid, unknown, timeout, invalid, failure
(17 : 0.06, 0 : 0.00, 2 : 5.01, 0 : 0.00, 0 : 0.00) - fast.cvc3
(16 : 0.29, 0 : 0.00, 3 : 5.01, 0 : 0.00, 0 : 0.00) - fast.alt-ergo