problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
12.27
|
12.05
|
|||
11.19
|
10.95
|
|||
12.38
|
8.02
|
|||
3.58
|
11.75
|
|||
12.55
|
11.88
|
|||
11.73
|
12.17
|
|||
12.71
|
12.55
|
|||
13.03
|
11.98
|
|||
11.69
|
11.71
|
|||
15.69
|
12.20
|
|||
12.31
|
10.15
|
|||
11.36
|
11.92
|
|||
12.35
|
12.58
|
|||
11.99
|
12.58
|
|||
13.08
|
11.66
|
|||
11.87
|
9.09
|
|||
12.66
|
11.09
|
|||
11.19
|
9.64
|
|||
12.28
|
12.73
|
|||
12.71
|
12.28
|
|||
12.30
|
12.30
|
|||
12.40
|
12.47
|
|||
12.34
|
12.73
|
|||
11.68
|
11.86
|
|||
13.21
|
11.43
|