|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
13.07
|
20.28
|
|||
|
19.18
|
16.22
|
|||
|
14.32
|
20.67
|
|||
|
13.90
|
16.27
|
|||
|
17.00
|
18.07
|
|||
|
13.66
|
19.64
|
|||
|
14.25
|
16.57
|
|||
|
12.90
|
14.86
|
|||
|
13.89
|
15.91
|
|||
|
1.96
|
10.44
|
|||
|
12.97
|
16.36
|
|||
|
16.42
|
20.67
|
|||
|
2.05
|
15.74
|
|||
|
17.67
|
21.99
|
|||
|
5.40
|
16.21
|
|||
|
1.83
|
17.36
|
|||
|
12.92
|
16.91
|
|||
|
14.30
|
16.23
|
|||
|
12.54
|
15.71
|
|||
|
13.90
|
17.11
|
|||
|
13.69
|
17.91
|
|||
|
15.63
|
18.67
|
|||
|
12.20
|
16.48
|
|||
|
13.86
|
16.97
|
|||
|
12.42
|
16.39
|