problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
13.61
|
13.34
|
|||
12.18
|
12.07
|
|||
12.33
|
12.13
|
|||
11.38
|
7.72
|
|||
12.21
|
12.94
|
|||
12.52
|
12.50
|
|||
11.72
|
10.73
|
|||
12.29
|
12.39
|
|||
3.64
|
12.42
|
|||
12.82
|
12.65
|
|||
12.63
|
12.88
|
|||
12.29
|
12.15
|
|||
12.01
|
12.55
|
|||
11.67
|
13.34
|
|||
12.28
|
10.42
|
|||
11.18
|
11.23
|
|||
11.11
|
10.83
|
|||
2.77
|
10.98
|
|||
3.56
|
11.41
|
|||
12.53
|
11.65
|
|||
12.77
|
13.50
|
|||
13.50
|
12.67
|
|||
13.16
|
12.27
|
|||
11.10
|
11.37
|
|||
11.33
|
10.65
|