|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.79
|
10.53
|
|||
|
11.73
|
15.01
|
|||
|
11.70
|
13.79
|
|||
|
11.38
|
8.43
|
|||
|
13.32
|
14.58
|
|||
|
14.92
|
18.21
|
|||
|
13.74
|
18.02
|
|||
|
12.64
|
14.82
|
|||
|
15.51
|
17.11
|
|||
|
12.51
|
17.29
|
|||
|
13.52
|
16.29
|
|||
|
14.20
|
17.48
|
|||
|
13.25
|
16.60
|
|||
|
13.84
|
17.11
|
|||
|
13.32
|
17.18
|
|||
|
14.19
|
17.73
|
|||
|
15.86
|
11.13
|
|||
|
12.81
|
16.28
|
|||
|
12.95
|
15.82
|
|||
|
15.26
|
17.16
|
|||
|
6.63
|
13.51
|
|||
|
12.33
|
14.57
|
|||
|
12.66
|
14.40
|
|||
|
12.36
|
13.61
|
|||
|
13.21
|
14.56
|