|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.55
|
15.32
|
|||
|
11.74
|
10.89
|
|||
|
3.58
|
14.75
|
|||
|
4.43
|
13.64
|
|||
|
12.08
|
15.23
|
|||
|
12.59
|
11.62
|
|||
|
13.90
|
16.59
|
|||
|
12.40
|
15.10
|
|||
|
12.11
|
9.13
|
|||
|
12.91
|
11.00
|
|||
|
13.14
|
15.76
|
|||
|
12.50
|
14.86
|
|||
|
13.14
|
15.49
|
|||
|
12.15
|
10.02
|
|||
|
13.90
|
17.28
|
|||
|
14.25
|
14.44
|
|||
|
12.45
|
10.97
|
|||
|
15.51
|
18.01
|
|||
|
12.49
|
15.79
|
|||
|
13.52
|
11.76
|
|||
|
13.42
|
17.04
|
|||
|
12.68
|
14.82
|
|||
|
13.16
|
16.25
|
|||
|
12.28
|
9.87
|
|||
|
14.22
|
15.28
|