full results

problem
zip-dev
zip-dev.time
9.78
0.05
0.18
10.03
11.65
9.96
14.55
10.05
3.99
10.07
9.79
9.81
11.01
11.01
3.48
0.17
0.07
0.99
0.10
0.12
10.12
10.12
0.09
2.63
1.72