problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
0.05
|
1.63
|
|||
0.06
|
14.01
|
|||
0.05
|
0.04
|
|||
1.23
|
17.40
|
|||
0.75
|
16.92
|
|||
0.47
|
16.16
|
|||
0.53
|
15.46
|
|||
0.78
|
16.51
|
|||
1.09
|
10.54
|
|||
1.22
|
17.43
|
|||
1.01
|
19.52
|
|||
3.33
|
14.15
|
|||
2.31
|
19.55
|
|||
2.04
|
18.51
|
|||
0.79
|
17.39
|
|||
13.78
|
17.93
|
|||
1.23
|
7.34
|
|||
3.31
|
15.47
|
|||
0.37
|
10.97
|
|||
1.00
|
16.14
|
|||
2.95
|
16.78
|
|||
0.63
|
16.35
|
|||
0.71
|
16.99
|
|||
0.60
|
17.40
|
|||
1.52
|
17.95
|