|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
2.02
|
13.03
|
|||
|
0.08
|
3.70
|
|||
|
0.13
|
10.60
|
|||
|
0.05
|
8.62
|
|||
|
0.13
|
10.09
|
|||
|
0.09
|
13.41
|
|||
|
0.08
|
11.08
|
|||
|
0.28
|
10.60
|
|||
|
0.17
|
12.51
|
|||
|
0.16
|
10.81
|
|||
|
0.38
|
13.20
|
|||
|
0.18
|
9.85
|
|||
|
0.12
|
10.96
|
|||
|
0.50
|
8.25
|
|||
|
0.05
|
7.92
|
|||
|
0.12
|
7.84
|
|||
|
0.16
|
9.17
|
|||
|
0.91
|
12.35
|
|||
|
0.77
|
13.47
|
|||
|
0.12
|
6.20
|
|||
|
0.10
|
4.81
|
|||
|
0.32
|
5.17
|
|||
|
0.10
|
7.90
|
|||
|
0.21
|
12.22
|
|||
|
0.18
|
8.07
|