|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
17.69
|
20.84
|
|||
|
13.03
|
18.85
|
|||
|
13.29
|
16.27
|
|||
|
13.97
|
16.98
|
|||
|
24.74
|
28.87
|
|||
|
15.58
|
18.03
|
|||
|
24.56
|
26.96
|
|||
|
14.89
|
23.83
|
|||
|
16.57
|
16.84
|
|||
|
16.44
|
17.95
|
|||
|
20.08
|
27.73
|
|||
|
17.23
|
18.53
|
|||
|
11.16
|
30.46
|
|||
|
18.61
|
21.45
|
|||
|
12.41
|
16.00
|
|||
|
16.78
|
22.89
|
|||
|
18.75
|
23.20
|
|||
|
18.78
|
22.06
|
|||
|
17.81
|
24.42
|
|||
|
17.62
|
23.32
|
|||
|
14.05
|
14.61
|
|||
|
19.35
|
22.56
|
|||
|
16.16
|
20.86
|
|||
|
18.68
|
22.78
|
|||
|
13.53
|
17.04
|