|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.19
|
4.17
|
|||
|
0.09
|
2.24
|
|||
|
0.29
|
5.19
|
|||
|
0.19
|
5.09
|
|||
|
0.10
|
4.59
|
|||
|
0.06
|
1.37
|
|||
|
0.17
|
3.14
|
|||
|
0.15
|
2.67
|
|||
|
0.13
|
3.63
|
|||
|
0.06
|
1.44
|
|||
|
0.35
|
4.19
|
|||
|
0.21
|
3.18
|
|||
|
0.14
|
2.32
|
|||
|
0.56
|
10.66
|
|||
|
0.29
|
6.20
|
|||
|
0.08
|
1.97
|
|||
|
0.40
|
10.02
|
|||
|
0.96
|
7.44
|
|||
|
0.69
|
11.88
|
|||
|
0.58
|
5.76
|
|||
|
0.08
|
1.72
|
|||
|
0.22
|
2.47
|
|||
|
0.78
|
9.02
|
|||
|
0.68
|
9.93
|
|||
|
0.71
|
12.16
|