full results

problem
zip-dev
zip-dev.time
0.03
0.19
0.02
10.00
9.78
9.89
1.65
9.89
0.03
10.13
9.78
9.88
9.78
9.91
9.78
9.92
9.78
10.05
0.04
9.94
0.06
0.03
0.05
0.03
0.04