full results

problem
zip-dev
zip-dev.time
0.02
0.10
0.02
9.86
9.99
9.87
9.83
0.09
0.02
9.86
9.86
1.57
0.56
0.02
9.87
10.03
0.57
0.03
10.00
10.02
9.85
9.78
9.87
9.78
9.87