problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
11.33
|
10.13
|
|||
11.33
|
12.35
|
|||
11.30
|
13.70
|
|||
11.41
|
7.27
|
|||
11.60
|
14.93
|
|||
11.75
|
13.70
|
|||
11.30
|
10.56
|
|||
11.39
|
10.99
|
|||
3.27
|
0.18
|
|||
11.55
|
15.70
|
|||
11.84
|
16.02
|
|||
11.38
|
11.03
|
|||
11.45
|
9.04
|
|||
6.02
|
14.08
|
|||
11.36
|
10.21
|
|||
10.67
|
13.11
|
|||
11.31
|
12.59
|
|||
2.81
|
13.12
|
|||
2.21
|
3.74
|
|||
11.39
|
10.03
|
|||
11.89
|
15.59
|
|||
11.27
|
12.45
|
|||
11.27
|
10.66
|
|||
12.22
|
10.97
|
|||
12.11
|
14.81
|