problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
4.44
|
14.49
|
|||
0.84
|
16.62
|
|||
0.90
|
18.64
|
|||
0.74
|
16.68
|
|||
1.18
|
0.74
|
|||
0.14
|
29.00
|
|||
0.56
|
10.37
|
|||
0.95
|
6.12
|
|||
1.32
|
15.76
|
|||
0.06
|
15.84
|
|||
11.43
|
14.17
|
|||
1.59
|
10.53
|
|||
1.36
|
8.65
|
|||
4.05
|
8.09
|
|||
0.83
|
16.89
|
|||
0.77
|
16.13
|
|||
1.23
|
5.81
|
|||
1.89
|
17.50
|
|||
0.13
|
14.49
|
|||
0.22
|
14.36
|
|||
0.20
|
25.06
|
|||
0.13
|
13.87
|
|||
0.70
|
14.88
|
|||
0.22
|
13.65
|
|||
0.14
|
14.92
|