|
problem
|
zip-dev-check
|
zip-dev
|
zip-dev-check.time
|
zip-dev.time
|
|
0.57
|
0.39
|
|||
|
0.13
|
0.11
|
|||
|
0.17
|
0.19
|
|||
|
0.17
|
0.16
|
|||
|
0.75
|
0.88
|
|||
|
0.16
|
0.16
|
|||
|
0.19
|
0.16
|
|||
|
10.06
|
10.06
|
|||
|
10.06
|
10.06
|
|||
|
10.09
|
10.06
|
|||
|
10.14
|
10.13
|
|||
|
10.06
|
10.06
|
|||
|
9.82
|
9.82
|
|||
|
10.73
|
2.69
|
|||
|
10.62
|
10.71
|
|||
|
10.33
|
10.44
|
|||
|
3.96
|
2.70
|
|||
|
10.67
|
4.29
|
|||
|
10.63
|
2.78
|
|||
|
10.56
|
10.41
|
|||
|
10.71
|
10.70
|
|||
|
10.65
|
2.50
|
|||
|
1.35
|
1.20
|
|||
|
10.61
|
5.36
|
|||
|
4.97
|
1.90
|