problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
0.03
|
0.01
|
|||
0.04
|
0.01
|
|||
0.03
|
0.01
|
|||
0.03
|
0.02
|
|||
0.02
|
0.01
|
|||
0.03
|
0.01
|
|||
0.03
|
0.01
|
|||
0.03
|
0.01
|
|||
0.05
|
0.01
|
|||
0.03
|
0.01
|
|||
0.05
|
0.03
|
|||
1.77
|
10.22
|
|||
3.42
|
9.68
|
|||
0.04
|
0.02
|
|||
0.04
|
0.02
|
|||
3.26
|
6.87
|
|||
11.97
|
22.27
|
|||
12.33
|
24.76
|
|||
11.80
|
23.04
|
|||
12.58
|
24.37
|
|||
12.43
|
23.20
|
|||
12.93
|
21.34
|
|||
12.71
|
25.62
|
|||
12.45
|
25.90
|
|||
0.04
|
0.05
|