problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
2.27
|
11.27
|
|||
0.71
|
11.13
|
|||
1.77
|
11.37
|
|||
11.29
|
11.26
|
|||
11.11
|
11.41
|
|||
11.13
|
11.42
|
|||
11.16
|
11.40
|
|||
11.24
|
11.25
|
|||
11.06
|
8.98
|
|||
11.24
|
10.68
|
|||
5.64
|
11.23
|
|||
11.44
|
11.45
|
|||
5.15
|
11.34
|
|||
11.06
|
11.50
|
|||
7.12
|
11.29
|
|||
11.33
|
11.21
|
|||
1.66
|
7.71
|
|||
7.49
|
11.33
|
|||
1.34
|
11.18
|
|||
11.05
|
11.49
|
|||
11.12
|
11.35
|
|||
10.69
|
11.26
|
|||
11.08
|
11.09
|
|||
11.09
|
11.13
|
|||
11.04
|
11.27
|