full results

problem
zip-dev
zip-dev.time
0.53
2.43
9.81
0.14
9.79
9.85
9.83
0.22
9.79
10.02
2.84
9.79
9.89
10.02
9.85
9.98
9.95
10.03
10.03
10.02
10.02
10.03
2.38
0.05
0.05