|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.50
|
19.53
|
|||
|
12.30
|
16.39
|
|||
|
17.08
|
18.22
|
|||
|
13.96
|
19.47
|
|||
|
13.41
|
19.21
|
|||
|
16.74
|
18.32
|
|||
|
16.91
|
22.28
|
|||
|
18.45
|
21.96
|
|||
|
13.73
|
22.69
|
|||
|
15.13
|
17.38
|
|||
|
16.96
|
19.96
|
|||
|
1.52
|
22.53
|
|||
|
12.55
|
15.64
|
|||
|
13.16
|
19.20
|
|||
|
13.11
|
10.35
|
|||
|
14.42
|
17.39
|
|||
|
13.74
|
16.70
|
|||
|
12.89
|
16.71
|
|||
|
17.01
|
22.44
|
|||
|
13.33
|
20.23
|
|||
|
13.66
|
16.00
|
|||
|
13.89
|
16.21
|
|||
|
12.20
|
18.62
|
|||
|
13.16
|
15.71
|
|||
|
13.49
|
15.61
|