Matches in ISWC2014 Benchmark for { ?s ?p 56.00000000000001. }
- 1107834 cpu_core_0 "56.00000000000001".
- 1124916 cpu_core_0 "56.00000000000001".
- 1124919 cpu_core_0 "56.00000000000001".
- 1124946 cpu_core_0 "56.00000000000001".
- 1124952 cpu_core_0 "56.00000000000001".
- 1128829 cpu_core_0 "56.00000000000001".
- 1130555 cpu_core_0 "56.00000000000001".
- 1130719 cpu_core_0 "56.00000000000001".
- 1130732 cpu_core_0 "56.00000000000001".
- 1132676 cpu_core_0 "56.00000000000001".
- 1138569 cpu_core_0 "56.00000000000001".
- 1154060 cpu_core_0 "56.00000000000001".
- 1154081 cpu_core_0 "56.00000000000001".
- 1159127 cpu_core_0 "56.00000000000001".
- 1159855 cpu_core_0 "56.00000000000001".
- 1171620 cpu_core_0 "56.00000000000001".
- 1171879 cpu_core_0 "56.00000000000001".
- 1171984 cpu_core_0 "56.00000000000001".
- 1177088 cpu_core_0 "56.00000000000001".
- 1177634 cpu_core_0 "56.00000000000001".
- 1178905 cpu_core_0 "56.00000000000001".
- 1179651 cpu_core_0 "56.00000000000001".
- 1181967 cpu_core_0 "56.00000000000001".
- 1183492 cpu_core_0 "56.00000000000001".
- 1185285 cpu_core_0 "56.00000000000001".
- 1188925 cpu_core_0 "56.00000000000001".
- 1193745 cpu_core_0 "56.00000000000001".
- 1195469 cpu_core_0 "56.00000000000001".
- 1201208 cpu_core_0 "56.00000000000001".
- 1201245 cpu_core_0 "56.00000000000001".
- 1207330 cpu_core_0 "56.00000000000001".
- 121623 cpu_core_0 "56.00000000000001".
- 1219840 cpu_core_0 "56.00000000000001".
- 1219857 cpu_core_0 "56.00000000000001".
- 1219876 cpu_core_0 "56.00000000000001".
- 1219880 cpu_core_0 "56.00000000000001".
- 1219942 cpu_core_0 "56.00000000000001".
- 1219943 cpu_core_0 "56.00000000000001".
- 1219989 cpu_core_0 "56.00000000000001".
- 1220039 cpu_core_0 "56.00000000000001".
- 1220164 cpu_core_0 "56.00000000000001".
- 1220303 cpu_core_0 "56.00000000000001".
- 1220792 cpu_core_0 "56.00000000000001".
- 1220845 cpu_core_0 "56.00000000000001".
- 1221042 cpu_core_0 "56.00000000000001".
- 1221083 cpu_core_0 "56.00000000000001".
- 1221215 cpu_core_0 "56.00000000000001".
- 1221251 cpu_core_0 "56.00000000000001".
- 1221254 cpu_core_0 "56.00000000000001".
- 1221316 cpu_core_0 "56.00000000000001".
- 1221391 cpu_core_0 "56.00000000000001".
- 1221674 cpu_core_0 "56.00000000000001".
- 1221816 cpu_core_0 "56.00000000000001".
- 1221871 cpu_core_0 "56.00000000000001".
- 1221877 cpu_core_0 "56.00000000000001".
- 1222244 cpu_core_0 "56.00000000000001".
- 1222264 cpu_core_0 "56.00000000000001".
- 1222488 cpu_core_0 "56.00000000000001".
- 1222598 cpu_core_0 "56.00000000000001".
- 1222605 cpu_core_0 "56.00000000000001".
- 1222755 cpu_core_0 "56.00000000000001".
- 1222861 cpu_core_0 "56.00000000000001".
- 1222891 cpu_core_0 "56.00000000000001".
- 1222896 cpu_core_0 "56.00000000000001".
- 1223042 cpu_core_0 "56.00000000000001".
- 1223099 cpu_core_0 "56.00000000000001".
- 1223178 cpu_core_0 "56.00000000000001".
- 1223225 cpu_core_0 "56.00000000000001".
- 1223241 cpu_core_0 "56.00000000000001".
- 1223269 cpu_core_0 "56.00000000000001".
- 1223296 cpu_core_0 "56.00000000000001".
- 1223316 cpu_core_0 "56.00000000000001".
- 1223367 cpu_core_0 "56.00000000000001".
- 1223574 cpu_core_0 "56.00000000000001".
- 1223688 cpu_core_0 "56.00000000000001".
- 1223939 cpu_core_0 "56.00000000000001".
- 1223949 cpu_core_0 "56.00000000000001".
- 1223956 cpu_core_0 "56.00000000000001".
- 1223972 cpu_core_0 "56.00000000000001".
- 1224135 cpu_core_0 "56.00000000000001".
- 1224536 cpu_core_0 "56.00000000000001".
- 1224679 cpu_core_0 "56.00000000000001".
- 1224741 cpu_core_0 "56.00000000000001".
- 1225219 cpu_core_0 "56.00000000000001".
- 1225312 cpu_core_0 "56.00000000000001".
- 1225338 cpu_core_0 "56.00000000000001".
- 1225419 cpu_core_0 "56.00000000000001".
- 1225671 cpu_core_0 "56.00000000000001".
- 1225900 cpu_core_0 "56.00000000000001".
- 1225928 cpu_core_0 "56.00000000000001".
- 1225957 cpu_core_0 "56.00000000000001".
- 1226033 cpu_core_0 "56.00000000000001".
- 1226089 cpu_core_0 "56.00000000000001".
- 1226405 cpu_core_0 "56.00000000000001".
- 1226459 cpu_core_0 "56.00000000000001".
- 1226477 cpu_core_0 "56.00000000000001".
- 1226516 cpu_core_0 "56.00000000000001".
- 1226595 cpu_core_0 "56.00000000000001".
- 1227076 cpu_core_0 "56.00000000000001".
- 1227307 cpu_core_0 "56.00000000000001".