|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.14
|
10.76
|
|||
|
1.17
|
11.01
|
|||
|
1.13
|
11.01
|
|||
|
1.22
|
11.01
|
|||
|
1.13
|
11.01
|
|||
|
1.19
|
11.01
|
|||
|
1.25
|
11.01
|
|||
|
1.36
|
11.01
|
|||
|
1.19
|
11.01
|
|||
|
1.10
|
11.01
|
|||
|
1.18
|
11.01
|
|||
|
1.15
|
11.01
|
|||
|
1.20
|
11.01
|
|||
|
1.19
|
11.01
|
|||
|
1.16
|
11.01
|
|||
|
1.22
|
11.01
|
|||
|
1.15
|
11.01
|
|||
|
1.18
|
11.01
|
|||
|
2.24
|
11.01
|
|||
|
1.76
|
10.32
|
|||
|
1.16
|
11.01
|
|||
|
1.29
|
11.01
|
|||
|
1.22
|
11.01
|
|||
|
1.17
|
11.01
|
|||
|
1.19
|
10.83
|