problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
7.54
|
18.13
|
|||
0.73
|
16.83
|
|||
1.07
|
19.85
|
|||
1.10
|
19.03
|
|||
1.01
|
0.65
|
|||
0.22
|
29.48
|
|||
0.69
|
20.08
|
|||
0.94
|
18.47
|
|||
2.63
|
11.16
|
|||
0.08
|
18.27
|
|||
12.93
|
18.32
|
|||
1.72
|
30.64
|
|||
2.87
|
26.54
|
|||
4.27
|
16.25
|
|||
0.81
|
18.55
|
|||
0.80
|
18.57
|
|||
2.36
|
20.52
|
|||
2.67
|
20.13
|
|||
0.25
|
14.07
|
|||
0.29
|
21.57
|
|||
0.38
|
20.77
|
|||
0.23
|
16.74
|
|||
0.77
|
32.68
|
|||
0.40
|
20.23
|
|||
0.31
|
21.02
|