full results

problem
zip-dev
zip-dev.time
1.00
2.60
2.70
1.00
0.97
1.34
9.77
9.80
1.53
2.40
0.94
9.79
9.78
2.60
0.28
6.47
4.89
9.33
1.92
4.61
4.64
5.89
6.32
5.91
2.55