full results

problem
zip-dev
zip-dev.time
9.81
10.02
2.03
1.80
1.92
0.80
0.81
1.14
1.17
8.04
9.83
10.00
10.02
9.80
0.31
0.56
1.77
0.52
1.83
0.87
9.97
9.84
10.02
10.02
9.88