problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
0.18
|
13.44
|
|||
0.10
|
16.51
|
|||
0.06
|
0.02
|
|||
1.34
|
20.51
|
|||
0.78
|
18.53
|
|||
0.90
|
17.64
|
|||
0.92
|
17.38
|
|||
1.01
|
19.92
|
|||
1.73
|
19.20
|
|||
1.86
|
24.75
|
|||
1.45
|
22.05
|
|||
3.62
|
17.03
|
|||
2.27
|
10.18
|
|||
2.70
|
8.81
|
|||
0.75
|
18.62
|
|||
12.62
|
14.74
|
|||
2.24
|
19.93
|
|||
3.40
|
19.44
|
|||
0.56
|
17.47
|
|||
0.72
|
18.50
|
|||
2.82
|
11.79
|
|||
0.85
|
10.46
|
|||
0.93
|
19.53
|
|||
0.92
|
17.68
|
|||
2.11
|
8.75
|