|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.72
|
13.92
|
|||
|
10.21
|
15.43
|
|||
|
12.54
|
14.52
|
|||
|
4.19
|
13.80
|
|||
|
11.60
|
13.29
|
|||
|
12.00
|
14.84
|
|||
|
13.89
|
14.82
|
|||
|
12.85
|
14.54
|
|||
|
13.13
|
14.51
|
|||
|
8.21
|
14.59
|
|||
|
13.00
|
14.01
|
|||
|
12.11
|
14.69
|
|||
|
11.89
|
13.97
|
|||
|
12.13
|
14.31
|
|||
|
13.05
|
16.59
|
|||
|
12.46
|
14.68
|
|||
|
12.67
|
13.88
|
|||
|
13.64
|
15.21
|
|||
|
12.68
|
14.09
|
|||
|
12.69
|
14.24
|
|||
|
12.61
|
14.65
|
|||
|
14.09
|
14.27
|
|||
|
14.56
|
15.13
|
|||
|
12.04
|
10.98
|
|||
|
7.41
|
14.20
|