full results

problem
zip-dev
zip-dev.time
0.33
1.02
4.78
1.01
1.82
1.08
0.95
3.34
3.27
0.68
1.54
1.92
9.26
6.58
9.79
6.97
5.36
1.11
0.65
1.60
1.54
3.02
4.45
0.52
0.70