|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.03
|
11.22
|
|||
|
0.03
|
7.10
|
|||
|
0.05
|
11.29
|
|||
|
0.05
|
6.50
|
|||
|
0.04
|
5.10
|
|||
|
0.05
|
7.45
|
|||
|
0.05
|
11.23
|
|||
|
0.03
|
11.16
|
|||
|
0.06
|
6.52
|
|||
|
0.05
|
10.63
|
|||
|
0.03
|
11.20
|
|||
|
0.06
|
6.72
|
|||
|
0.13
|
11.28
|
|||
|
0.04
|
11.23
|
|||
|
0.03
|
11.24
|
|||
|
0.03
|
11.23
|
|||
|
0.05
|
9.23
|
|||
|
0.06
|
7.62
|
|||
|
0.05
|
11.16
|
|||
|
0.06
|
11.32
|
|||
|
0.04
|
5.29
|
|||
|
0.05
|
11.35
|
|||
|
0.06
|
11.21
|
|||
|
0.05
|
5.46
|
|||
|
0.06
|
11.28
|