problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
11.19
|
10.49
|
|||
12.53
|
11.65
|
|||
11.31
|
7.06
|
|||
5.72
|
12.49
|
|||
11.44
|
11.24
|
|||
11.33
|
10.10
|
|||
11.15
|
11.03
|
|||
12.26
|
11.79
|
|||
11.12
|
7.46
|
|||
11.21
|
8.49
|
|||
12.49
|
12.69
|
|||
11.24
|
11.72
|
|||
12.19
|
13.13
|
|||
11.67
|
11.74
|
|||
11.90
|
11.53
|
|||
12.63
|
8.00
|
|||
12.40
|
10.52
|
|||
12.40
|
13.05
|
|||
11.21
|
10.30
|
|||
11.36
|
11.51
|
|||
11.63
|
11.01
|
|||
11.31
|
8.88
|
|||
11.52
|
11.65
|
|||
11.75
|
11.70
|
|||
11.24
|
10.52
|