problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
0.04
|
1.28
|
|||
0.05
|
14.44
|
|||
0.02
|
0.01
|
|||
0.92
|
10.16
|
|||
0.77
|
15.31
|
|||
0.46
|
16.26
|
|||
0.51
|
16.77
|
|||
0.52
|
16.22
|
|||
1.22
|
15.80
|
|||
0.75
|
19.68
|
|||
0.65
|
17.58
|
|||
2.49
|
13.81
|
|||
1.71
|
9.95
|
|||
1.48
|
17.24
|
|||
0.48
|
15.40
|
|||
12.53
|
14.17
|
|||
1.14
|
6.85
|
|||
2.35
|
14.48
|
|||
0.39
|
14.23
|
|||
0.84
|
15.09
|
|||
1.49
|
7.36
|
|||
0.64
|
16.35
|
|||
0.63
|
16.68
|
|||
0.58
|
17.94
|
|||
1.30
|
9.48
|