problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
0.76
|
13.80
|
|||
2.51
|
9.67
|
|||
11.49
|
7.64
|
|||
1.48
|
8.58
|
|||
1.88
|
14.99
|
|||
2.68
|
14.45
|
|||
0.06
|
1.29
|
|||
0.04
|
13.35
|
|||
0.04
|
12.60
|
|||
0.03
|
13.69
|
|||
0.12
|
3.12
|
|||
0.04
|
14.13
|
|||
0.03
|
13.66
|
|||
0.04
|
16.82
|
|||
0.18
|
5.37
|
|||
0.03
|
15.57
|
|||
0.08
|
12.96
|
|||
0.07
|
13.61
|
|||
0.29
|
7.81
|
|||
0.03
|
15.24
|
|||
0.08
|
12.33
|
|||
0.07
|
14.34
|
|||
0.56
|
10.95
|
|||
0.07
|
14.86
|
|||
0.11
|
10.59
|