full results

problem
zip-dev
zip-dev.time
9.84
10.02
2.08
2.00
2.05
0.80
0.77
1.20
1.10
7.92
9.93
9.82
9.83
9.79
0.31
0.61
1.73
0.52
2.33
0.86
9.80
9.78
10.02
10.02
10.02