|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.65
|
14.98
|
|||
|
0.03
|
14.44
|
|||
|
0.04
|
0.01
|
|||
|
0.05
|
0.02
|
|||
|
0.03
|
0.10
|
|||
|
0.05
|
0.10
|
|||
|
0.03
|
16.31
|
|||
|
1.09
|
14.18
|
|||
|
1.00
|
14.08
|
|||
|
0.04
|
0.31
|
|||
|
0.05
|
0.15
|
|||
|
0.04
|
0.20
|
|||
|
0.04
|
0.24
|
|||
|
0.04
|
15.33
|
|||
|
13.31
|
14.33
|
|||
|
12.48
|
14.13
|
|||
|
12.82
|
13.97
|
|||
|
0.04
|
16.27
|
|||
|
0.05
|
14.27
|
|||
|
0.69
|
16.67
|
|||
|
0.63
|
16.91
|
|||
|
0.56
|
16.55
|
|||
|
0.37
|
16.62
|
|||
|
0.66
|
15.86
|
|||
|
0.38
|
23.64
|