Matches in ISWC2014 Benchmark for { ?s ?p 30.000000000000004. }
- 1009885 cpu_core_0 "30.000000000000004".
- 1010083 cpu_core_0 "30.000000000000004".
- 1010233 cpu_core_0 "30.000000000000004".
- 1010238 cpu_core_0 "30.000000000000004".
- 1010367 cpu_core_0 "30.000000000000004".
- 1010486 cpu_core_0 "30.000000000000004".
- 1010525 cpu_core_0 "30.000000000000004".
- 1010690 cpu_core_0 "30.000000000000004".
- 1010847 cpu_core_0 "30.000000000000004".
- 1011099 cpu_core_0 "30.000000000000004".
- 1011100 cpu_core_0 "30.000000000000004".
- 1011473 cpu_core_0 "30.000000000000004".
- 1011648 cpu_core_0 "30.000000000000004".
- 1013339 cpu_core_0 "30.000000000000004".
- 1014173 cpu_core_0 "30.000000000000004".
- 1018383 cpu_core_0 "30.000000000000004".
- 1020518 cpu_core_0 "30.000000000000004".
- 1024789 cpu_core_0 "30.000000000000004".
- 1027241 cpu_core_0 "30.000000000000004".
- 1027428 cpu_core_0 "30.000000000000004".
- 1038222 cpu_core_0 "30.000000000000004".
- 1042305 cpu_core_0 "30.000000000000004".
- 1042918 cpu_core_0 "30.000000000000004".
- 1044780 cpu_core_0 "30.000000000000004".
- 1045469 cpu_core_0 "30.000000000000004".
- 1045842 cpu_core_0 "30.000000000000004".
- 1050023 cpu_core_0 "30.000000000000004".
- 1052667 cpu_core_0 "30.000000000000004".
- 1052795 cpu_core_0 "30.000000000000004".
- 1055331 cpu_core_0 "30.000000000000004".
- 1055570 cpu_core_0 "30.000000000000004".
- 1057331 cpu_core_0 "30.000000000000004".
- 1057374 cpu_core_0 "30.000000000000004".
- 1059908 cpu_core_0 "30.000000000000004".
- 1060115 cpu_core_0 "30.000000000000004".
- 1062345 cpu_core_0 "30.000000000000004".
- 1062982 cpu_core_0 "30.000000000000004".
- 1069399 cpu_core_0 "30.000000000000004".
- 1081105 cpu_core_0 "30.000000000000004".
- 1081755 cpu_core_0 "30.000000000000004".
- 1083386 cpu_core_0 "30.000000000000004".
- 1083436 cpu_core_0 "30.000000000000004".
- 1083835 cpu_core_0 "30.000000000000004".
- 1086936 cpu_core_0 "30.000000000000004".
- 1090025 cpu_core_0 "30.000000000000004".
- 1090089 cpu_core_0 "30.000000000000004".
- 1092236 cpu_core_0 "30.000000000000004".
- 1097297 cpu_core_0 "30.000000000000004".
- 1097682 cpu_core_0 "30.000000000000004".
- 1097934 cpu_core_0 "30.000000000000004".
- 1098682 cpu_core_0 "30.000000000000004".
- 1105594 cpu_core_0 "30.000000000000004".
- 1107318 cpu_core_0 "30.000000000000004".
- 1107953 cpu_core_0 "30.000000000000004".
- 1116008 cpu_core_0 "30.000000000000004".
- 1117561 cpu_core_0 "30.000000000000004".
- 1119580 cpu_core_0 "30.000000000000004".
- 1120366 cpu_core_0 "30.000000000000004".
- 112371 cpu_core_0 "30.000000000000004".
- 1126621 cpu_core_0 "30.000000000000004".
- 1130755 cpu_core_0 "30.000000000000004".
- 1134438 cpu_core_0 "30.000000000000004".
- 1136756 cpu_core_0 "30.000000000000004".
- 1143546 cpu_core_0 "30.000000000000004".
- 1144045 cpu_core_0 "30.000000000000004".
- 1145606 cpu_core_0 "30.000000000000004".
- 1146531 cpu_core_0 "30.000000000000004".
- 1148537 cpu_core_0 "30.000000000000004".
- 1148580 cpu_core_0 "30.000000000000004".
- 1150578 cpu_core_0 "30.000000000000004".
- 1150866 cpu_core_0 "30.000000000000004".
- 1152051 cpu_core_0 "30.000000000000004".
- 1152868 cpu_core_0 "30.000000000000004".
- 1153166 cpu_core_0 "30.000000000000004".
- 1153226 cpu_core_0 "30.000000000000004".
- 1157558 cpu_core_0 "30.000000000000004".
- 1164142 cpu_core_0 "30.000000000000004".
- 1166715 cpu_core_0 "30.000000000000004".
- 1168029 cpu_core_0 "30.000000000000004".
- 1168842 cpu_core_0 "30.000000000000004".
- 1169477 cpu_core_0 "30.000000000000004".
- 1170374 cpu_core_0 "30.000000000000004".
- 1170862 cpu_core_0 "30.000000000000004".
- 1173304 cpu_core_0 "30.000000000000004".
- 1175796 cpu_core_0 "30.000000000000004".
- 1176492 cpu_core_0 "30.000000000000004".
- 1181796 cpu_core_0 "30.000000000000004".
- 1183573 cpu_core_0 "30.000000000000004".
- 1184476 cpu_core_0 "30.000000000000004".
- 1185419 cpu_core_0 "30.000000000000004".
- 1187327 cpu_core_0 "30.000000000000004".
- 1187946 cpu_core_0 "30.000000000000004".
- 1189269 cpu_core_0 "30.000000000000004".
- 1189602 cpu_core_0 "30.000000000000004".
- 1189607 cpu_core_0 "30.000000000000004".
- 1190135 cpu_core_0 "30.000000000000004".
- 1191976 cpu_core_0 "30.000000000000004".
- 1195577 cpu_core_0 "30.000000000000004".
- 1197472 cpu_core_0 "30.000000000000004".
- 1207120 cpu_core_0 "30.000000000000004".