full results

problem
zip-dev
zip-dev.time
10.16
10.32
9.89
9.78
10.38
10.49
0.03
0.03
10.58
10.97
10.35
10.45
9.88
9.81
10.65
10.72
0.03
0.03
9.80
9.84
10.51
10.46
9.80
9.85
10.62