problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
0.03
|
0.01
|
|||
0.09
|
0.03
|
|||
0.03
|
0.01
|
|||
0.04
|
0.03
|
|||
0.03
|
0.01
|
|||
0.03
|
0.01
|
|||
0.03
|
0.01
|
|||
0.03
|
0.01
|
|||
0.11
|
0.02
|
|||
0.03
|
0.01
|
|||
0.03
|
0.01
|
|||
1.66
|
16.59
|
|||
2.11
|
14.08
|
|||
0.05
|
0.02
|
|||
0.05
|
0.02
|
|||
2.78
|
14.38
|
|||
12.00
|
22.83
|
|||
12.64
|
9.33
|
|||
12.25
|
26.00
|
|||
12.32
|
25.59
|
|||
12.52
|
8.63
|
|||
12.52
|
7.93
|
|||
12.80
|
24.35
|
|||
12.68
|
25.02
|
|||
0.03
|
0.04
|