full results

problem
zip-dev-check
zip-dev
zip-dev-check.time
zip-dev.time
10.38
10.38
10.53
10.50
0.03
0.03
9.79
9.81
11.02
11.02
11.02
11.02
7.49
7.61
0.03
0.02
9.79
9.79
11.02
11.02
11.02
11.02
7.17
7.27
0.03
0.02
9.82
9.81
10.50
10.47
11.02
11.02
11.02
11.02
0.02
0.03
9.82
9.79
9.97
9.94
11.02
11.02
11.02
11.01
0.03
0.03
9.80
9.79
9.85
9.86