full results

problem
zip-dev
zip-dev.time
9.79
9.77
0.03
9.81
2.36
9.78
9.80
9.80
0.03
9.78
0.05
7.99
9.77
9.85
1.46
9.77
0.07
9.78
0.85
0.95
9.78
0.02
9.77
9.83
9.78