problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
11.82
|
10.57
|
|||
11.34
|
11.55
|
|||
11.59
|
6.60
|
|||
4.91
|
11.47
|
|||
11.94
|
12.03
|
|||
11.65
|
10.05
|
|||
11.73
|
10.68
|
|||
11.31
|
11.99
|
|||
11.77
|
9.65
|
|||
11.81
|
6.94
|
|||
11.60
|
10.96
|
|||
11.20
|
11.59
|
|||
11.50
|
11.94
|
|||
11.73
|
11.81
|
|||
11.12
|
11.54
|
|||
11.22
|
8.23
|
|||
11.12
|
7.17
|
|||
11.71
|
8.55
|
|||
11.30
|
12.15
|
|||
11.33
|
10.71
|
|||
11.59
|
11.10
|
|||
11.82
|
9.40
|
|||
11.42
|
11.45
|
|||
11.99
|
11.53
|
|||
11.70
|
11.80
|