2022-03-20 13:19:37 +01:00
|
|
|
|
2022-05-24 13:03:11 +02:00
|
|
|
11.2-02 wo/check
|
2022-03-20 13:19:37 +01:00
|
|
|
real 307m5.649s
|
|
|
|
user 980m28.884s
|
|
|
|
sys 78m37.832s
|
|
|
|
|
2022-05-24 13:03:11 +02:00
|
|
|
11.2-04 w/check
|
|
|
|
real 359m5.233s
|
|
|
|
user 1252m12.024s
|
|
|
|
sys 36m29.926s
|
|
|
|
|
2022-05-09 21:50:35 +02:00
|
|
|
12.1
|
|
|
|
real 260m23.165s
|
|
|
|
user 838m9.459s
|
|
|
|
sys 21m5.755s
|
|
|
|
|
2022-05-24 13:03:11 +02:00
|
|
|
12.1-03 wo/check
|
|
|
|
real 256m21.812s
|
|
|
|
user 854m7.059s
|
|
|
|
sys 20m56.386s
|
|
|
|
|