full results

problem
zip-dev
zip-dev.time
0.72
1.13
0.21
2.16
5.12
1.95
0.03
0.07
0.05
0.55
2.00
0.25
2.66
5.53
0.26
2.41
5.43
0.25
0.63
3.94
0.35
0.60
1.86
0.38
2.24