full results

problem
zip-dev
zip-dev.time
0.03
9.78
0.71
9.78
9.78
0.04
0.05
9.79
1.00
10.02
4.36
0.05
0.03
0.43
0.06
0.03
0.03
0.05
0.05
0.04
0.07
0.11
0.20
0.11
0.10