Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1380043 cpu_core_0 "11.76470588235294".
- 1380844 cpu_core_0 "11.76470588235294".
- 1380876 cpu_core_0 "11.76470588235294".
- 1381632 cpu_core_0 "11.76470588235294".
- 1381841 cpu_core_0 "11.76470588235294".
- 1381868 cpu_core_0 "11.76470588235294".
- 1382160 cpu_core_0 "11.76470588235294".
- 1382680 cpu_core_0 "11.76470588235294".
- 1383240 cpu_core_0 "11.76470588235294".
- 1385118 cpu_core_0 "11.76470588235294".
- 1385128 cpu_core_0 "11.76470588235294".
- 1385134 cpu_core_0 "11.76470588235294".
- 1385800 cpu_core_0 "11.76470588235294".
- 1386105 cpu_core_0 "11.76470588235294".
- 1386562 cpu_core_0 "11.76470588235294".
- 1387076 cpu_core_0 "11.76470588235294".
- 1387461 cpu_core_0 "11.76470588235294".
- 1387526 cpu_core_0 "11.76470588235294".
- 1387549 cpu_core_0 "11.76470588235294".
- 1387556 cpu_core_0 "11.76470588235294".
- 1387757 cpu_core_0 "11.76470588235294".
- 1388776 cpu_core_0 "11.76470588235294".
- 1388843 cpu_core_0 "11.76470588235294".
- 1389461 cpu_core_0 "11.76470588235294".
- 1389496 cpu_core_0 "11.76470588235294".
- 1390190 cpu_core_0 "11.76470588235294".
- 1390304 cpu_core_0 "11.76470588235294".
- 1390588 cpu_core_0 "11.76470588235294".
- 1390789 cpu_core_0 "11.76470588235294".
- 1390939 cpu_core_0 "11.76470588235294".
- 1391739 cpu_core_0 "11.76470588235294".
- 1392237 cpu_core_0 "11.76470588235294".
- 1392388 cpu_core_0 "11.76470588235294".
- 1392446 cpu_core_0 "11.76470588235294".
- 1395604 cpu_core_0 "11.76470588235294".
- 1395698 cpu_core_0 "11.76470588235294".
- 1395947 cpu_core_0 "11.76470588235294".
- 1396000 cpu_core_0 "11.76470588235294".
- 1396007 cpu_core_0 "11.76470588235294".
- 1396567 cpu_core_0 "11.76470588235294".
- 1396696 cpu_core_0 "11.76470588235294".
- 1396985 cpu_core_0 "11.76470588235294".
- 1397134 cpu_core_0 "11.76470588235294".
- 1397442 cpu_core_0 "11.76470588235294".
- 1397463 cpu_core_0 "11.76470588235294".
- 1397988 cpu_core_0 "11.76470588235294".
- 1398315 cpu_core_0 "11.76470588235294".
- 1398392 cpu_core_0 "11.76470588235294".
- 1398668 cpu_core_0 "11.76470588235294".
- 1399126 cpu_core_0 "11.76470588235294".
- 1399380 cpu_core_0 "11.76470588235294".
- 1399528 cpu_core_0 "11.76470588235294".
- 1399908 cpu_core_0 "11.76470588235294".
- 1407476 cpu_core_0 "11.76470588235294".
- 1407628 cpu_core_0 "11.76470588235294".
- 1407930 cpu_core_0 "11.76470588235294".
- 1408108 cpu_core_0 "11.76470588235294".
- 1408845 cpu_core_0 "11.76470588235294".
- 1409128 cpu_core_0 "11.76470588235294".
- 1409681 cpu_core_0 "11.76470588235294".
- 1409817 cpu_core_0 "11.76470588235294".
- 1409851 cpu_core_0 "11.76470588235294".
- 1409902 cpu_core_0 "11.76470588235294".
- 1410250 cpu_core_0 "11.76470588235294".
- 1410282 cpu_core_0 "11.76470588235294".
- 1410368 cpu_core_0 "11.76470588235294".
- 1411239 cpu_core_0 "11.76470588235294".
- 1411831 cpu_core_0 "11.76470588235294".
- 1412300 cpu_core_0 "11.76470588235294".
- 1412334 cpu_core_0 "11.76470588235294".
- 1412648 cpu_core_0 "11.76470588235294".
- 1412822 cpu_core_0 "11.76470588235294".
- 1413417 cpu_core_0 "11.76470588235294".
- 1413715 cpu_core_0 "11.76470588235294".
- 1413754 cpu_core_0 "11.76470588235294".
- 1413819 cpu_core_0 "11.76470588235294".
- 1414252 cpu_core_0 "11.76470588235294".
- 1414853 cpu_core_0 "11.76470588235294".
- 1417452 cpu_core_0 "11.76470588235294".
- 1417853 cpu_core_0 "11.76470588235294".
- 1419212 cpu_core_0 "11.76470588235294".
- 1420121 cpu_core_0 "11.76470588235294".
- 1421220 cpu_core_0 "11.76470588235294".
- 1421256 cpu_core_0 "11.76470588235294".
- 1421542 cpu_core_0 "11.76470588235294".
- 1421759 cpu_core_0 "11.76470588235294".
- 1421870 cpu_core_0 "11.76470588235294".
- 1422236 cpu_core_0 "11.76470588235294".
- 1422265 cpu_core_0 "11.76470588235294".
- 1422366 cpu_core_0 "11.76470588235294".
- 1423587 cpu_core_0 "11.76470588235294".
- 1424852 cpu_core_0 "11.76470588235294".
- 1426980 cpu_core_0 "11.76470588235294".
- 1427414 cpu_core_0 "11.76470588235294".
- 1428638 cpu_core_0 "11.76470588235294".
- 1429056 cpu_core_0 "11.76470588235294".
- 1429418 cpu_core_0 "11.76470588235294".
- 1429490 cpu_core_0 "11.76470588235294".
- 1429682 cpu_core_0 "11.76470588235294".
- 1429779 cpu_core_0 "11.76470588235294".