|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.04
|
3.69
|
|||
|
0.03
|
0.05
|
|||
|
11.15
|
11.17
|
|||
|
1.08
|
5.08
|
|||
|
11.13
|
11.04
|
|||
|
0.39
|
8.01
|
|||
|
2.25
|
11.09
|
|||
|
11.14
|
10.66
|
|||
|
11.09
|
11.21
|
|||
|
11.09
|
11.18
|
|||
|
11.04
|
11.16
|
|||
|
11.17
|
11.20
|
|||
|
11.04
|
11.18
|
|||
|
0.83
|
11.16
|
|||
|
0.68
|
7.12
|
|||
|
0.02
|
0.01
|
|||
|
6.76
|
3.31
|
|||
|
11.08
|
11.16
|
|||
|
0.01
|
0.01
|
|||
|
0.06
|
1.88
|
|||
|
0.53
|
1.21
|
|||
|
0.02
|
0.01
|
|||
|
0.02
|
0.01
|
|||
|
0.02
|
0.01
|
|||
|
0.02
|
0.01
|