Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1324105 cpu_core_0 "11.76470588235294".
- 1324340 cpu_core_0 "11.76470588235294".
- 1324697 cpu_core_0 "11.76470588235294".
- 1325124 cpu_core_0 "11.76470588235294".
- 1325283 cpu_core_0 "11.76470588235294".
- 1325723 cpu_core_0 "11.76470588235294".
- 1325729 cpu_core_0 "11.76470588235294".
- 1327305 cpu_core_0 "11.76470588235294".
- 1328383 cpu_core_0 "11.76470588235294".
- 1328918 cpu_core_0 "11.76470588235294".
- 1329697 cpu_core_0 "11.76470588235294".
- 1329748 cpu_core_0 "11.76470588235294".
- 1329997 cpu_core_0 "11.76470588235294".
- 1330432 cpu_core_0 "11.76470588235294".
- 1330537 cpu_core_0 "11.76470588235294".
- 1330739 cpu_core_0 "11.76470588235294".
- 1331056 cpu_core_0 "11.76470588235294".
- 1331523 cpu_core_0 "11.76470588235294".
- 1331566 cpu_core_0 "11.76470588235294".
- 1331890 cpu_core_0 "11.76470588235294".
- 1331900 cpu_core_0 "11.76470588235294".
- 1334260 cpu_core_0 "11.76470588235294".
- 1334672 cpu_core_0 "11.76470588235294".
- 1335118 cpu_core_0 "11.76470588235294".
- 1335748 cpu_core_0 "11.76470588235294".
- 1336010 cpu_core_0 "11.76470588235294".
- 1336360 cpu_core_0 "11.76470588235294".
- 1337177 cpu_core_0 "11.76470588235294".
- 1337387 cpu_core_0 "11.76470588235294".
- 1337583 cpu_core_0 "11.76470588235294".
- 1337608 cpu_core_0 "11.76470588235294".
- 1337902 cpu_core_0 "11.76470588235294".
- 1338832 cpu_core_0 "11.76470588235294".
- 1338836 cpu_core_0 "11.76470588235294".
- 1339971 cpu_core_0 "11.76470588235294".
- 1340424 cpu_core_0 "11.76470588235294".
- 1340480 cpu_core_0 "11.76470588235294".
- 1340494 cpu_core_0 "11.76470588235294".
- 1341245 cpu_core_0 "11.76470588235294".
- 1341312 cpu_core_0 "11.76470588235294".
- 1341570 cpu_core_0 "11.76470588235294".
- 1342067 cpu_core_0 "11.76470588235294".
- 1343001 cpu_core_0 "11.76470588235294".
- 1343105 cpu_core_0 "11.76470588235294".
- 1343852 cpu_core_0 "11.76470588235294".
- 1344146 cpu_core_0 "11.76470588235294".
- 1345543 cpu_core_0 "11.76470588235294".
- 1345563 cpu_core_0 "11.76470588235294".
- 1345604 cpu_core_0 "11.76470588235294".
- 1348267 cpu_core_0 "11.76470588235294".
- 1348546 cpu_core_0 "11.76470588235294".
- 1348902 cpu_core_0 "11.76470588235294".
- 1351167 cpu_core_0 "11.76470588235294".
- 1351719 cpu_core_0 "11.76470588235294".
- 1352664 cpu_core_0 "11.76470588235294".
- 1352997 cpu_core_0 "11.76470588235294".
- 1353508 cpu_core_0 "11.76470588235294".
- 1353941 cpu_core_0 "11.76470588235294".
- 1354056 cpu_core_0 "11.76470588235294".
- 1354481 cpu_core_0 "11.76470588235294".
- 1354724 cpu_core_0 "11.76470588235294".
- 1354900 cpu_core_0 "11.76470588235294".
- 1358075 cpu_core_0 "11.76470588235294".
- 1358247 cpu_core_0 "11.76470588235294".
- 1358692 cpu_core_0 "11.76470588235294".
- 1359263 cpu_core_0 "11.76470588235294".
- 1359329 cpu_core_0 "11.76470588235294".
- 1359592 cpu_core_0 "11.76470588235294".
- 1362250 cpu_core_0 "11.76470588235294".
- 1365413 cpu_core_0 "11.76470588235294".
- 1365912 cpu_core_0 "11.76470588235294".
- 1366472 cpu_core_0 "11.76470588235294".
- 1368229 cpu_core_0 "11.76470588235294".
- 1368866 cpu_core_0 "11.76470588235294".
- 1368964 cpu_core_0 "11.76470588235294".
- 1369878 cpu_core_0 "11.76470588235294".
- 1370400 cpu_core_0 "11.76470588235294".
- 1370405 cpu_core_0 "11.76470588235294".
- 1370416 cpu_core_0 "11.76470588235294".
- 1371144 cpu_core_0 "11.76470588235294".
- 1371177 cpu_core_0 "11.76470588235294".
- 1371355 cpu_core_0 "11.76470588235294".
- 1371447 cpu_core_0 "11.76470588235294".
- 1371811 cpu_core_0 "11.76470588235294".
- 1373166 cpu_core_0 "11.76470588235294".
- 1373224 cpu_core_0 "11.76470588235294".
- 1374164 cpu_core_0 "11.76470588235294".
- 1374574 cpu_core_0 "11.76470588235294".
- 1375162 cpu_core_0 "11.76470588235294".
- 1375845 cpu_core_0 "11.76470588235294".
- 1376213 cpu_core_0 "11.76470588235294".
- 1376637 cpu_core_0 "11.76470588235294".
- 1377483 cpu_core_0 "11.76470588235294".
- 1377653 cpu_core_0 "11.76470588235294".
- 1378093 cpu_core_0 "11.76470588235294".
- 1378677 cpu_core_0 "11.76470588235294".
- 1379050 cpu_core_0 "11.76470588235294".
- 1379396 cpu_core_0 "11.76470588235294".
- 1379519 cpu_core_0 "11.76470588235294".
- 1379790 cpu_core_0 "11.76470588235294".