Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1038532 cpu_core_0 "55.00000000000001".
- 1038537 cpu_core_0 "55.00000000000001".
- 1044276 cpu_core_0 "55.00000000000001".
- 1044295 cpu_core_0 "55.00000000000001".
- 1044324 cpu_core_0 "55.00000000000001".
- 1044351 cpu_core_0 "55.00000000000001".
- 1050273 cpu_core_0 "55.00000000000001".
- 1050279 cpu_core_0 "55.00000000000001".
- 1050310 cpu_core_0 "55.00000000000001".
- 1055661 cpu_core_0 "55.00000000000001".
- 1055677 cpu_core_0 "55.00000000000001".
- 1055695 cpu_core_0 "55.00000000000001".
- 1055698 cpu_core_0 "55.00000000000001".
- 1055774 cpu_core_0 "55.00000000000001".
- 1055784 cpu_core_0 "55.00000000000001".
- 1055872 cpu_core_0 "55.00000000000001".
- 1055905 cpu_core_0 "55.00000000000001".
- 1061118 cpu_core_0 "55.00000000000001".
- 1071878 cpu_core_0 "55.00000000000001".
- 1074464 cpu_core_0 "55.00000000000001".
- 1076684 cpu_core_0 "55.00000000000001".
- 1078232 cpu_core_0 "55.00000000000001".
- 1079985 cpu_core_0 "55.00000000000001".
- 1083990 cpu_core_0 "55.00000000000001".
- 1084043 cpu_core_0 "55.00000000000001".
- 1084062 cpu_core_0 "55.00000000000001".
- 1084094 cpu_core_0 "55.00000000000001".
- 1084111 cpu_core_0 "55.00000000000001".
- 1090165 cpu_core_0 "55.00000000000001".
- 1090168 cpu_core_0 "55.00000000000001".
- 1090181 cpu_core_0 "55.00000000000001".
- 1090200 cpu_core_0 "55.00000000000001".
- 1094818 cpu_core_0 "55.00000000000001".
- 1095721 cpu_core_0 "55.00000000000001".
- 1095731 cpu_core_0 "55.00000000000001".
- 1097680 cpu_core_0 "55.00000000000001".
- 1100788 cpu_core_0 "55.00000000000001".
- 1107582 cpu_core_0 "55.00000000000001".
- 1107787 cpu_core_0 "55.00000000000001".
- 1107848 cpu_core_0 "55.00000000000001".
- 1113550 cpu_core_0 "55.00000000000001".
- 1113574 cpu_core_0 "55.00000000000001".
- 1113729 cpu_core_0 "55.00000000000001".
- 1113736 cpu_core_0 "55.00000000000001".
- 1119686 cpu_core_0 "55.00000000000001".
- 1124909 cpu_core_0 "55.00000000000001".
- 1124910 cpu_core_0 "55.00000000000001".
- 1124914 cpu_core_0 "55.00000000000001".
- 1125078 cpu_core_0 "55.00000000000001".
- 1125093 cpu_core_0 "55.00000000000001".
- 1130561 cpu_core_0 "55.00000000000001".
- 1130604 cpu_core_0 "55.00000000000001".
- 1130615 cpu_core_0 "55.00000000000001".
- 1130721 cpu_core_0 "55.00000000000001".
- 1130729 cpu_core_0 "55.00000000000001".
- 1134237 cpu_core_0 "55.00000000000001".
- 1142682 cpu_core_0 "55.00000000000001".
- 1142744 cpu_core_0 "55.00000000000001".
- 1142748 cpu_core_0 "55.00000000000001".
- 1142749 cpu_core_0 "55.00000000000001".
- 1148645 cpu_core_0 "55.00000000000001".
- 1148659 cpu_core_0 "55.00000000000001".
- 1148679 cpu_core_0 "55.00000000000001".
- 1148710 cpu_core_0 "55.00000000000001".
- 1148815 cpu_core_0 "55.00000000000001".
- 1148818 cpu_core_0 "55.00000000000001".
- 1150670 cpu_core_0 "55.00000000000001".
- 1153742 cpu_core_0 "55.00000000000001".
- 1153999 cpu_core_0 "55.00000000000001".
- 1154016 cpu_core_0 "55.00000000000001".
- 1154037 cpu_core_0 "55.00000000000001".
- 1154041 cpu_core_0 "55.00000000000001".
- 1154070 cpu_core_0 "55.00000000000001".
- 1154088 cpu_core_0 "55.00000000000001".
- 1154107 cpu_core_0 "55.00000000000001".
- 1154201 cpu_core_0 "55.00000000000001".
- 1159883 cpu_core_0 "55.00000000000001".
- 1159951 cpu_core_0 "55.00000000000001".
- 1159972 cpu_core_0 "55.00000000000001".
- 1160308 cpu_core_0 "55.00000000000001".
- 1167199 cpu_core_0 "55.00000000000001".
- 1177651 cpu_core_0 "55.00000000000001".
- 1183360 cpu_core_0 "55.00000000000001".
- 1183362 cpu_core_0 "55.00000000000001".
- 1183448 cpu_core_0 "55.00000000000001".
- 1183453 cpu_core_0 "55.00000000000001".
- 1183520 cpu_core_0 "55.00000000000001".
- 1189388 cpu_core_0 "55.00000000000001".
- 1189398 cpu_core_0 "55.00000000000001".
- 1189413 cpu_core_0 "55.00000000000001".
- 1195488 cpu_core_0 "55.00000000000001".
- 1195567 cpu_core_0 "55.00000000000001".
- 1201165 cpu_core_0 "55.00000000000001".
- 1201206 cpu_core_0 "55.00000000000001".
- 1201221 cpu_core_0 "55.00000000000001".
- 1201226 cpu_core_0 "55.00000000000001".
- 1201227 cpu_core_0 "55.00000000000001".
- 1201278 cpu_core_0 "55.00000000000001".
- 1205497 cpu_core_0 "55.00000000000001".
- 1207210 cpu_core_0 "55.00000000000001".