full results

problem
zip-dev
zip-dev.time
9.93
9.95
9.97
10.01
10.02
10.02
9.81
9.83
10.02
10.02
9.85
0.03
0.06
0.29
0.11
0.10
0.57
0.09
0.30
1.51
0.09
0.08
0.50
0.06
0.11