full results

problem
zip-dev
zip-dev.time
0.07
9.81
0.35
9.80
0.25
9.95
0.17
9.78
1.14
9.90
0.64
9.81
9.84
9.91
0.97
9.79
0.17
9.80
9.79
9.79
9.88
9.79
9.79
9.80
4.41