full results

problem
zip-dev
zip-dev.time
0.02
10.02
9.83
10.23
10.19
0.02
0.02
10.35
10.47
0.02
0.02
10.50
10.61
10.07
10.18
9.85
9.77
10.30
10.30
0.02
0.02
10.56
10.62
0.02
0.03