|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
14.96
|
16.38
|
|||
|
13.04
|
15.56
|
|||
|
16.57
|
8.66
|
|||
|
14.60
|
10.09
|
|||
|
19.50
|
16.12
|
|||
|
14.95
|
11.09
|
|||
|
13.71
|
15.35
|
|||
|
15.41
|
19.17
|
|||
|
20.91
|
18.71
|
|||
|
19.90
|
7.58
|
|||
|
21.61
|
14.66
|
|||
|
23.45
|
16.86
|
|||
|
16.77
|
14.91
|
|||
|
26.91
|
10.88
|
|||
|
24.95
|
8.96
|
|||
|
18.29
|
15.30
|
|||
|
24.75
|
11.02
|
|||
|
18.58
|
16.12
|
|||
|
15.86
|
8.24
|
|||
|
15.64
|
9.59
|
|||
|
18.13
|
10.75
|
|||
|
20.97
|
10.74
|
|||
|
16.72
|
17.01
|
|||
|
25.86
|
10.27
|
|||
|
21.02
|
10.25
|