|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.04
|
9.57
|
|||
|
0.82
|
7.05
|
|||
|
0.83
|
6.71
|
|||
|
0.25
|
2.75
|
|||
|
0.37
|
10.74
|
|||
|
0.29
|
12.64
|
|||
|
0.38
|
12.79
|
|||
|
0.69
|
13.00
|
|||
|
0.13
|
1.51
|
|||
|
0.22
|
12.57
|
|||
|
0.23
|
4.41
|
|||
|
0.31
|
2.21
|
|||
|
0.67
|
8.37
|
|||
|
0.66
|
12.31
|
|||
|
0.17
|
1.81
|
|||
|
0.15
|
2.25
|
|||
|
0.28
|
3.82
|
|||
|
0.14
|
2.67
|
|||
|
0.08
|
1.62
|
|||
|
0.17
|
2.24
|
|||
|
0.28
|
7.57
|
|||
|
0.16
|
2.56
|
|||
|
0.34
|
9.62
|
|||
|
0.41
|
9.93
|
|||
|
0.33
|
5.00
|