|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.28
|
6.28
|
|||
|
0.28
|
4.94
|
|||
|
1.19
|
12.44
|
|||
|
1.79
|
13.88
|
|||
|
0.73
|
12.43
|
|||
|
0.86
|
12.81
|
|||
|
1.16
|
13.26
|
|||
|
1.52
|
15.44
|
|||
|
1.35
|
12.36
|
|||
|
1.22
|
13.29
|
|||
|
0.86
|
15.92
|
|||
|
0.31
|
5.78
|
|||
|
0.26
|
4.79
|
|||
|
0.06
|
0.50
|
|||
|
1.18
|
14.07
|
|||
|
0.63
|
2.18
|
|||
|
1.61
|
14.79
|
|||
|
0.51
|
2.59
|
|||
|
0.54
|
11.64
|
|||
|
1.22
|
13.36
|
|||
|
0.68
|
12.96
|
|||
|
0.78
|
6.31
|
|||
|
0.53
|
10.61
|
|||
|
0.51
|
7.33
|
|||
|
0.81
|
9.86
|