Matches in ISWC2014 Benchmark for { ?s ?p 31.000000000000007. }
- 1001108 cpu_core_0 "31.000000000000007".
- 1004616 cpu_core_0 "31.000000000000007".
- 1007265 cpu_core_0 "31.000000000000007".
- 1008023 cpu_core_0 "31.000000000000007".
- 1009381 cpu_core_0 "31.000000000000007".
- 1009617 cpu_core_0 "31.000000000000007".
- 1009749 cpu_core_0 "31.000000000000007".
- 1010299 cpu_core_0 "31.000000000000007".
- 1010481 cpu_core_0 "31.000000000000007".
- 1011129 cpu_core_0 "31.000000000000007".
- 1011628 cpu_core_0 "31.000000000000007".
- 1011918 cpu_core_0 "31.000000000000007".
- 1026268 cpu_core_0 "31.000000000000007".
- 1028464 cpu_core_0 "31.000000000000007".
- 1046218 cpu_core_0 "31.000000000000007".
- 1052901 cpu_core_0 "31.000000000000007".
- 1054602 cpu_core_0 "31.000000000000007".
- 1055198 cpu_core_0 "31.000000000000007".
- 1055410 cpu_core_0 "31.000000000000007".
- 1060779 cpu_core_0 "31.000000000000007".
- 1061650 cpu_core_0 "31.000000000000007".
- 1066287 cpu_core_0 "31.000000000000007".
- 1074477 cpu_core_0 "31.000000000000007".
- 1077447 cpu_core_0 "31.000000000000007".
- 1078007 cpu_core_0 "31.000000000000007".
- 1080487 cpu_core_0 "31.000000000000007".
- 1081370 cpu_core_0 "31.000000000000007".
- 1082514 cpu_core_0 "31.000000000000007".
- 1088122 cpu_core_0 "31.000000000000007".
- 1090892 cpu_core_0 "31.000000000000007".
- 1091561 cpu_core_0 "31.000000000000007".
- 1096960 cpu_core_0 "31.000000000000007".
- 1104538 cpu_core_0 "31.000000000000007".
- 1106013 cpu_core_0 "31.000000000000007".
- 1107074 cpu_core_0 "31.000000000000007".
- 1107706 cpu_core_0 "31.000000000000007".
- 1107941 cpu_core_0 "31.000000000000007".
- 1110134 cpu_core_0 "31.000000000000007".
- 1116589 cpu_core_0 "31.000000000000007".
- 1119302 cpu_core_0 "31.000000000000007".
- 1120933 cpu_core_0 "31.000000000000007".
- 1123471 cpu_core_0 "31.000000000000007".
- 1130749 cpu_core_0 "31.000000000000007".
- 1134523 cpu_core_0 "31.000000000000007".
- 1136846 cpu_core_0 "31.000000000000007".
- 1138681 cpu_core_0 "31.000000000000007".
- 1148847 cpu_core_0 "31.000000000000007".
- 1149938 cpu_core_0 "31.000000000000007".
- 1161148 cpu_core_0 "31.000000000000007".
- 1165004 cpu_core_0 "31.000000000000007".
- 1181013 cpu_core_0 "31.000000000000007".
- 1183591 cpu_core_0 "31.000000000000007".
- 1188841 cpu_core_0 "31.000000000000007".
- 1193780 cpu_core_0 "31.000000000000007".
- 1200672 cpu_core_0 "31.000000000000007".
- 1206835 cpu_core_0 "31.000000000000007".
- 1208283 cpu_core_0 "31.000000000000007".
- 1209759 cpu_core_0 "31.000000000000007".
- 1220318 cpu_core_0 "31.000000000000007".
- 1220367 cpu_core_0 "31.000000000000007".
- 1221359 cpu_core_0 "31.000000000000007".
- 1221645 cpu_core_0 "31.000000000000007".
- 1221666 cpu_core_0 "31.000000000000007".
- 1222629 cpu_core_0 "31.000000000000007".
- 1223751 cpu_core_0 "31.000000000000007".
- 1223757 cpu_core_0 "31.000000000000007".
- 1223759 cpu_core_0 "31.000000000000007".
- 1226298 cpu_core_0 "31.000000000000007".
- 1226640 cpu_core_0 "31.000000000000007".
- 1226653 cpu_core_0 "31.000000000000007".
- 1227016 cpu_core_0 "31.000000000000007".
- 1227037 cpu_core_0 "31.000000000000007".
- 1227446 cpu_core_0 "31.000000000000007".
- 1228943 cpu_core_0 "31.000000000000007".
- 1229683 cpu_core_0 "31.000000000000007".
- 1231449 cpu_core_0 "31.000000000000007".
- 1231455 cpu_core_0 "31.000000000000007".
- 1232598 cpu_core_0 "31.000000000000007".
- 1232640 cpu_core_0 "31.000000000000007".
- 1232641 cpu_core_0 "31.000000000000007".
- 1233115 cpu_core_0 "31.000000000000007".
- 1233140 cpu_core_0 "31.000000000000007".
- 1233167 cpu_core_0 "31.000000000000007".
- 1233197 cpu_core_0 "31.000000000000007".
- 1233203 cpu_core_0 "31.000000000000007".
- 1234031 cpu_core_0 "31.000000000000007".
- 1234071 cpu_core_0 "31.000000000000007".
- 1234110 cpu_core_0 "31.000000000000007".
- 1235296 cpu_core_0 "31.000000000000007".
- 1236682 cpu_core_0 "31.000000000000007".
- 1264543 cpu_core_0 "31.000000000000007".
- 1285438 cpu_core_0 "31.000000000000007".
- 1286055 cpu_core_0 "31.000000000000007".
- 1319166 cpu_core_0 "31.000000000000007".
- 1328548 cpu_core_0 "31.000000000000007".
- 1329809 cpu_core_0 "31.000000000000007".
- 1337923 cpu_core_0 "31.000000000000007".
- 1337973 cpu_core_0 "31.000000000000007".
- 1351643 cpu_core_0 "31.000000000000007".
- 1361962 cpu_core_0 "31.000000000000007".