problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
11.26
|
12.31
|
|||
11.32
|
10.35
|
|||
11.48
|
5.71
|
|||
4.77
|
7.54
|
|||
11.53
|
16.31
|
|||
11.37
|
8.15
|
|||
11.27
|
10.99
|
|||
11.40
|
13.46
|
|||
11.48
|
14.48
|
|||
11.40
|
10.89
|
|||
11.85
|
14.64
|
|||
11.37
|
10.41
|
|||
11.41
|
14.43
|
|||
11.32
|
10.98
|
|||
11.30
|
10.24
|
|||
11.33
|
7.98
|
|||
11.42
|
15.00
|
|||
11.56
|
11.00
|
|||
11.55
|
11.01
|
|||
11.30
|
6.05
|
|||
11.43
|
13.42
|
|||
11.61
|
14.49
|
|||
11.47
|
12.71
|
|||
11.77
|
15.57
|
|||
11.31
|
13.21
|