|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.10
|
11.10
|
|||
|
0.02
|
0.02
|
|||
|
0.03
|
0.01
|
|||
|
0.03
|
0.01
|
|||
|
0.02
|
0.01
|
|||
|
0.02
|
0.02
|
|||
|
0.03
|
0.01
|
|||
|
0.93
|
5.25
|
|||
|
1.08
|
1.80
|
|||
|
0.02
|
0.01
|
|||
|
0.02
|
0.01
|
|||
|
0.03
|
0.01
|
|||
|
0.03
|
0.02
|
|||
|
0.02
|
0.03
|
|||
|
11.15
|
11.11
|
|||
|
11.15
|
6.47
|
|||
|
1.48
|
11.29
|
|||
|
0.03
|
0.02
|
|||
|
0.03
|
0.02
|
|||
|
0.33
|
10.93
|
|||
|
0.53
|
2.28
|
|||
|
0.50
|
2.28
|
|||
|
0.48
|
5.45
|
|||
|
0.33
|
5.57
|
|||
|
0.46
|
8.43
|