problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
11.96
|
10.22
|
|||
12.65
|
14.74
|
|||
11.44
|
6.78
|
|||
4.59
|
10.56
|
|||
12.57
|
17.38
|
|||
11.43
|
14.27
|
|||
11.25
|
10.78
|
|||
11.39
|
13.19
|
|||
11.44
|
14.37
|
|||
11.48
|
9.65
|
|||
12.00
|
16.34
|
|||
11.66
|
13.78
|
|||
11.47
|
15.16
|
|||
11.56
|
12.25
|
|||
11.25
|
12.25
|
|||
11.60
|
9.63
|
|||
11.71
|
15.50
|
|||
13.51
|
18.29
|
|||
11.63
|
15.10
|
|||
11.39
|
13.48
|
|||
11.49
|
14.37
|
|||
11.49
|
14.73
|
|||
11.43
|
12.87
|
|||
12.30
|
16.65
|
|||
11.47
|
13.84
|