full results

problem
zip-dev
zip-dev.time
0.02
0.02
0.06
0.57
9.78
9.78
2.51
0.15
0.03
0.87
9.85
9.90
9.80
0.82
0.38
1.60
9.77
3.87
9.89
9.87
0.03
2.11
0.02
0.10
9.79