problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
11.30
|
12.56
|
|||
11.39
|
10.44
|
|||
11.40
|
7.17
|
|||
3.01
|
10.83
|
|||
11.74
|
16.17
|
|||
11.36
|
8.06
|
|||
11.32
|
10.12
|
|||
11.41
|
13.14
|
|||
11.39
|
14.53
|
|||
11.49
|
9.53
|
|||
11.51
|
14.68
|
|||
11.30
|
10.47
|
|||
11.37
|
14.18
|
|||
11.26
|
10.60
|
|||
11.39
|
12.25
|
|||
11.43
|
8.54
|
|||
11.34
|
15.11
|
|||
11.54
|
6.93
|
|||
12.50
|
15.11
|
|||
11.31
|
5.76
|
|||
11.34
|
10.55
|
|||
11.24
|
14.98
|
|||
11.24
|
13.16
|
|||
12.27
|
16.69
|
|||
11.25
|
10.77
|