full results

problem
zip-dev
zip-dev.time
0.03
0.03
9.83
0.50
0.02
0.04
9.77
0.11
9.32
0.97
8.60
0.08
9.86
1.81
9.85
0.05
7.34
0.33
9.85
0.61
0.06
0.05
0.48
0.12
0.10