|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
14.52
|
16.56
|
|||
|
12.56
|
14.60
|
|||
|
18.05
|
10.86
|
|||
|
14.23
|
16.70
|
|||
|
18.17
|
26.00
|
|||
|
14.30
|
14.98
|
|||
|
13.66
|
16.24
|
|||
|
15.58
|
18.01
|
|||
|
18.64
|
16.41
|
|||
|
29.21
|
26.97
|
|||
|
19.90
|
15.45
|
|||
|
20.34
|
15.46
|
|||
|
16.63
|
15.53
|
|||
|
19.06
|
10.57
|
|||
|
23.20
|
14.51
|
|||
|
16.54
|
16.79
|
|||
|
23.68
|
14.81
|
|||
|
30.58
|
13.04
|
|||
|
31.35
|
26.61
|
|||
|
15.41
|
17.77
|
|||
|
17.76
|
17.20
|
|||
|
22.46
|
15.55
|
|||
|
18.22
|
19.63
|
|||
|
27.88
|
16.12
|
|||
|
19.60
|
17.36
|