problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
11.11
|
11.28
|
|||
11.11
|
11.18
|
|||
11.05
|
4.68
|
|||
4.32
|
4.39
|
|||
11.13
|
11.27
|
|||
11.12
|
11.27
|
|||
11.18
|
11.36
|
|||
11.13
|
4.64
|
|||
11.10
|
4.54
|
|||
11.12
|
11.22
|
|||
11.14
|
11.45
|
|||
11.16
|
3.41
|
|||
11.15
|
4.78
|
|||
11.11
|
3.37
|
|||
11.03
|
4.23
|
|||
11.10
|
11.38
|
|||
11.11
|
11.40
|
|||
11.13
|
11.35
|
|||
11.12
|
11.42
|
|||
11.16
|
3.92
|
|||
11.04
|
6.12
|
|||
11.10
|
9.89
|
|||
11.11
|
3.09
|
|||
11.12
|
8.04
|
|||
11.04
|
11.39
|