|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.03
|
0.03
|
|||
|
0.03
|
0.01
|
|||
|
1.07
|
21.03
|
|||
|
0.56
|
15.53
|
|||
|
0.89
|
13.18
|
|||
|
1.00
|
14.25
|
|||
|
0.94
|
14.21
|
|||
|
1.03
|
15.21
|
|||
|
0.58
|
14.89
|
|||
|
1.01
|
14.40
|
|||
|
11.60
|
15.25
|
|||
|
14.66
|
17.02
|
|||
|
11.78
|
15.70
|
|||
|
11.72
|
15.27
|
|||
|
11.63
|
14.11
|
|||
|
11.66
|
14.98
|
|||
|
11.70
|
15.55
|
|||
|
11.81
|
16.12
|
|||
|
11.49
|
14.60
|
|||
|
12.75
|
19.40
|
|||
|
0.02
|
0.01
|
|||
|
0.02
|
0.01
|
|||
|
0.02
|
0.01
|
|||
|
0.02
|
0.01
|
|||
|
0.02
|
0.01
|