|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.27
|
14.19
|
|||
|
12.58
|
14.51
|
|||
|
11.96
|
14.51
|
|||
|
2.48
|
15.76
|
|||
|
12.99
|
15.06
|
|||
|
13.76
|
16.03
|
|||
|
13.16
|
14.68
|
|||
|
14.94
|
17.02
|
|||
|
12.71
|
16.82
|
|||
|
13.27
|
15.62
|
|||
|
14.79
|
18.09
|
|||
|
13.44
|
16.04
|
|||
|
14.82
|
19.66
|
|||
|
13.41
|
17.05
|
|||
|
13.00
|
14.10
|
|||
|
17.23
|
18.58
|
|||
|
13.60
|
15.21
|
|||
|
13.95
|
10.35
|
|||
|
15.60
|
17.79
|
|||
|
1.64
|
16.13
|
|||
|
3.91
|
14.95
|
|||
|
11.90
|
14.01
|
|||
|
12.40
|
15.18
|
|||
|
11.56
|
15.18
|
|||
|
5.35
|
14.49
|