|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.68
|
14.92
|
|||
|
13.12
|
14.70
|
|||
|
12.03
|
14.38
|
|||
|
12.82
|
14.43
|
|||
|
12.13
|
13.84
|
|||
|
12.75
|
15.18
|
|||
|
11.96
|
14.43
|
|||
|
12.51
|
14.20
|
|||
|
12.89
|
14.32
|
|||
|
10.35
|
14.23
|
|||
|
13.44
|
14.13
|
|||
|
12.01
|
14.19
|
|||
|
12.35
|
14.89
|
|||
|
11.89
|
14.01
|
|||
|
12.74
|
14.08
|
|||
|
12.69
|
15.07
|
|||
|
12.50
|
13.92
|
|||
|
4.89
|
6.30
|
|||
|
11.44
|
14.90
|
|||
|
4.70
|
8.69
|
|||
|
3.44
|
18.51
|
|||
|
13.09
|
14.08
|
|||
|
13.19
|
14.74
|
|||
|
12.71
|
13.90
|
|||
|
12.35
|
13.89
|