|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
16.97
|
18.88
|
|||
|
12.69
|
14.82
|
|||
|
13.26
|
18.58
|
|||
|
13.00
|
16.11
|
|||
|
15.97
|
17.92
|
|||
|
12.99
|
15.83
|
|||
|
14.45
|
18.60
|
|||
|
11.82
|
11.09
|
|||
|
16.40
|
18.21
|
|||
|
14.19
|
17.32
|
|||
|
14.23
|
16.66
|
|||
|
14.84
|
15.69
|
|||
|
8.07
|
10.18
|
|||
|
12.03
|
10.87
|
|||
|
12.13
|
10.86
|
|||
|
13.06
|
19.85
|
|||
|
12.82
|
14.37
|
|||
|
12.50
|
12.93
|
|||
|
13.64
|
15.48
|
|||
|
15.16
|
13.70
|
|||
|
13.08
|
13.94
|
|||
|
14.32
|
15.37
|
|||
|
12.43
|
14.37
|
|||
|
12.72
|
14.64
|
|||
|
12.72
|
14.65
|