|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
6.16
|
13.81
|
|||
|
12.26
|
14.48
|
|||
|
12.24
|
10.52
|
|||
|
12.46
|
8.16
|
|||
|
13.25
|
15.31
|
|||
|
13.78
|
17.19
|
|||
|
13.63
|
12.04
|
|||
|
13.69
|
16.41
|
|||
|
15.16
|
17.87
|
|||
|
13.80
|
16.11
|
|||
|
12.91
|
18.39
|
|||
|
2.99
|
16.31
|
|||
|
12.04
|
14.51
|
|||
|
9.17
|
16.00
|
|||
|
4.75
|
13.89
|
|||
|
13.01
|
8.58
|
|||
|
13.93
|
8.89
|
|||
|
13.43
|
15.11
|
|||
|
2.42
|
14.76
|
|||
|
2.69
|
15.22
|
|||
|
12.45
|
8.24
|
|||
|
13.39
|
17.16
|
|||
|
11.51
|
16.54
|
|||
|
11.76
|
14.21
|
|||
|
14.23
|
16.14
|