full results

problem
zip-dev
zip-dev.time
0.33
0.59
1.86
6.95
9.30
1.59
4.97
0.52
1.33
4.76
9.78
9.78
9.78
9.77
9.44
9.80
2.79
4.06
0.29
4.92
3.90
8.17
0.96
4.80
9.78