|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.54
|
15.96
|
|||
|
13.49
|
18.68
|
|||
|
12.95
|
14.41
|
|||
|
13.89
|
16.03
|
|||
|
13.02
|
15.24
|
|||
|
12.98
|
14.86
|
|||
|
15.44
|
15.42
|
|||
|
14.11
|
16.04
|
|||
|
12.84
|
14.62
|
|||
|
12.82
|
17.20
|
|||
|
3.35
|
17.65
|
|||
|
15.77
|
19.08
|
|||
|
12.58
|
14.90
|
|||
|
3.33
|
19.64
|
|||
|
12.76
|
21.19
|
|||
|
14.31
|
17.24
|
|||
|
12.34
|
14.54
|
|||
|
14.02
|
17.55
|
|||
|
12.45
|
16.20
|
|||
|
16.21
|
20.97
|
|||
|
14.10
|
15.40
|
|||
|
18.91
|
24.81
|
|||
|
14.06
|
19.43
|
|||
|
18.43
|
21.15
|
|||
|
13.56
|
15.48
|