|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
3.15
|
8.87
|
|||
|
13.78
|
14.70
|
|||
|
1.91
|
20.24
|
|||
|
12.20
|
9.31
|
|||
|
11.86
|
14.21
|
|||
|
12.71
|
15.11
|
|||
|
12.02
|
15.89
|
|||
|
12.39
|
15.97
|
|||
|
5.53
|
9.13
|
|||
|
12.36
|
14.96
|
|||
|
13.06
|
15.58
|
|||
|
12.87
|
14.40
|
|||
|
13.52
|
15.49
|
|||
|
14.31
|
13.99
|
|||
|
14.10
|
15.17
|
|||
|
13.19
|
16.89
|
|||
|
13.77
|
17.18
|
|||
|
14.90
|
14.29
|
|||
|
15.38
|
18.48
|
|||
|
16.44
|
17.12
|
|||
|
18.44
|
18.65
|
|||
|
14.09
|
14.91
|
|||
|
15.90
|
20.75
|
|||
|
28.50
|
19.97
|
|||
|
16.23
|
17.39
|