problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
11.38
|
11.03
|
|||
11.38
|
10.08
|
|||
11.37
|
16.74
|
|||
11.34
|
6.01
|
|||
11.60
|
15.00
|
|||
11.36
|
10.84
|
|||
11.40
|
10.81
|
|||
11.39
|
13.20
|
|||
3.28
|
0.17
|
|||
11.46
|
15.19
|
|||
11.52
|
15.26
|
|||
11.27
|
10.37
|
|||
11.48
|
10.60
|
|||
8.90
|
13.80
|
|||
11.52
|
7.46
|
|||
11.28
|
10.49
|
|||
11.40
|
10.23
|
|||
2.75
|
13.21
|
|||
3.61
|
5.63
|
|||
11.48
|
10.13
|
|||
11.85
|
16.30
|
|||
11.28
|
12.53
|
|||
11.25
|
10.36
|
|||
12.29
|
14.70
|
|||
12.21
|
10.91
|