problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
0.01
|
0.01
|
|||
0.01
|
10.82
|
|||
0.01
|
0.01
|
|||
0.01
|
10.36
|
|||
0.01
|
0.01
|
|||
0.01
|
11.01
|
|||
0.01
|
11.01
|
|||
0.08
|
0.79
|
|||
0.19
|
2.16
|
|||
0.02
|
0.03
|
|||
0.06
|
0.17
|
|||
0.03
|
0.01
|
|||
0.03
|
0.23
|
|||
0.25
|
6.45
|
|||
0.03
|
0.01
|
|||
0.06
|
0.01
|
|||
0.03
|
0.01
|
|||
0.01
|
0.03
|
|||
0.01
|
0.05
|
|||
0.01
|
0.05
|
|||
0.03
|
0.29
|
|||
0.03
|
0.01
|
|||
0.01
|
0.01
|
|||
0.01
|
0.01
|
|||
0.03
|
0.01
|