problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
1.42
|
12.00
|
|||
11.45
|
12.51
|
|||
11.22
|
11.55
|
|||
11.95
|
11.71
|
|||
11.73
|
12.12
|
|||
11.82
|
11.76
|
|||
12.30
|
11.97
|
|||
13.73
|
13.71
|
|||
12.15
|
12.35
|
|||
12.25
|
13.04
|
|||
3.87
|
11.55
|
|||
12.21
|
13.20
|
|||
11.97
|
11.61
|
|||
2.31
|
13.56
|
|||
12.50
|
12.39
|
|||
13.44
|
13.56
|
|||
11.67
|
11.90
|
|||
13.26
|
13.77
|
|||
11.58
|
12.60
|
|||
11.45
|
12.24
|
|||
11.89
|
11.54
|
|||
12.37
|
12.69
|
|||
12.93
|
12.05
|
|||
13.17
|
13.04
|
|||
12.04
|
11.51
|