|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.17
|
14.68
|
|||
|
12.30
|
15.77
|
|||
|
12.62
|
14.00
|
|||
|
11.49
|
8.36
|
|||
|
11.25
|
12.90
|
|||
|
11.71
|
6.19
|
|||
|
11.42
|
14.34
|
|||
|
11.38
|
14.68
|
|||
|
9.23
|
12.97
|
|||
|
11.39
|
5.50
|
|||
|
11.49
|
15.26
|
|||
|
3.46
|
13.97
|
|||
|
12.97
|
14.65
|
|||
|
10.64
|
11.16
|
|||
|
12.51
|
15.19
|
|||
|
12.45
|
15.09
|
|||
|
12.72
|
14.08
|
|||
|
12.28
|
14.13
|
|||
|
14.19
|
15.17
|
|||
|
17.86
|
10.48
|
|||
|
13.79
|
15.46
|
|||
|
14.99
|
16.94
|
|||
|
18.15
|
16.27
|
|||
|
1.20
|
16.42
|
|||
|
0.35
|
14.79
|