full results

problem
zip-dev
zip-dev.time
0.02
6.67
0.02
4.40
0.02
4.55
0.02
7.33
9.90
9.78
6.67
0.02
7.60
0.03
9.90
0.03
9.89
9.77
10.06
0.03
6.50
0.03
9.90
0.03
9.92