|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
16.05
|
21.13
|
|||
|
10.82
|
15.33
|
|||
|
12.93
|
16.33
|
|||
|
12.73
|
13.94
|
|||
|
13.52
|
15.10
|
|||
|
13.83
|
17.29
|
|||
|
15.96
|
16.06
|
|||
|
11.45
|
8.18
|
|||
|
15.10
|
18.15
|
|||
|
15.23
|
15.98
|
|||
|
13.36
|
16.31
|
|||
|
16.48
|
16.16
|
|||
|
3.71
|
15.80
|
|||
|
11.97
|
15.83
|
|||
|
12.16
|
10.48
|
|||
|
11.93
|
13.96
|
|||
|
12.87
|
14.16
|
|||
|
12.13
|
12.98
|
|||
|
12.80
|
14.57
|
|||
|
12.11
|
13.74
|
|||
|
12.48
|
13.25
|
|||
|
13.12
|
16.97
|
|||
|
11.92
|
15.29
|
|||
|
10.65
|
13.52
|
|||
|
13.58
|
14.47
|