|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.76
|
8.69
|
|||
|
12.51
|
14.45
|
|||
|
11.41
|
13.02
|
|||
|
11.76
|
15.30
|
|||
|
12.59
|
14.58
|
|||
|
13.51
|
17.31
|
|||
|
12.62
|
16.12
|
|||
|
14.32
|
14.81
|
|||
|
14.94
|
16.71
|
|||
|
12.82
|
16.07
|
|||
|
13.14
|
14.53
|
|||
|
14.40
|
14.51
|
|||
|
12.72
|
15.65
|
|||
|
13.58
|
16.02
|
|||
|
13.87
|
15.70
|
|||
|
13.38
|
14.12
|
|||
|
16.04
|
17.69
|
|||
|
12.82
|
15.35
|
|||
|
13.45
|
20.23
|
|||
|
15.65
|
15.70
|
|||
|
4.73
|
15.86
|
|||
|
12.12
|
13.53
|
|||
|
12.13
|
13.97
|
|||
|
11.94
|
14.28
|
|||
|
13.09
|
15.60
|