Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1379228 cpu_core_1 "11.76470588235294".
- 1379263 cpu_core_1 "11.76470588235294".
- 1380028 cpu_core_1 "11.76470588235294".
- 1383431 cpu_core_1 "11.76470588235294".
- 1383456 cpu_core_1 "11.76470588235294".
- 1383890 cpu_core_1 "11.76470588235294".
- 1386578 cpu_core_1 "11.76470588235294".
- 1387659 cpu_core_1 "11.76470588235294".
- 1391164 cpu_core_1 "11.76470588235294".
- 1391427 cpu_core_1 "11.76470588235294".
- 1394006 cpu_core_1 "11.76470588235294".
- 1395951 cpu_core_1 "11.76470588235294".
- 1396432 cpu_core_1 "11.76470588235294".
- 1397050 cpu_core_1 "11.76470588235294".
- 1397510 cpu_core_1 "11.76470588235294".
- 1397986 cpu_core_1 "11.76470588235294".
- 1398395 cpu_core_1 "11.76470588235294".
- 1398982 cpu_core_1 "11.76470588235294".
- 1405990 cpu_core_1 "11.76470588235294".
- 1413090 cpu_core_1 "11.76470588235294".
- 1414264 cpu_core_1 "11.76470588235294".
- 1415350 cpu_core_1 "11.76470588235294".
- 1419917 cpu_core_1 "11.76470588235294".
- 1421635 cpu_core_1 "11.76470588235294".
- 1422619 cpu_core_1 "11.76470588235294".
- 1423723 cpu_core_1 "11.76470588235294".
- 1426554 cpu_core_1 "11.76470588235294".
- 1427125 cpu_core_1 "11.76470588235294".
- 1427180 cpu_core_1 "11.76470588235294".
- 1427289 cpu_core_1 "11.76470588235294".
- 1427380 cpu_core_1 "11.76470588235294".
- 1427899 cpu_core_1 "11.76470588235294".
- 1429453 cpu_core_1 "11.76470588235294".
- 1429572 cpu_core_1 "11.76470588235294".
- 1433187 cpu_core_1 "11.76470588235294".
- 1433391 cpu_core_1 "11.76470588235294".
- 1436558 cpu_core_1 "11.76470588235294".
- 1438255 cpu_core_1 "11.76470588235294".
- 1440317 cpu_core_1 "11.76470588235294".
- 1442738 cpu_core_1 "11.76470588235294".
- 1442935 cpu_core_1 "11.76470588235294".
- 1444162 cpu_core_1 "11.76470588235294".
- 1452199 cpu_core_1 "11.76470588235294".
- 1453392 cpu_core_1 "11.76470588235294".
- 1454626 cpu_core_1 "11.76470588235294".
- 1455499 cpu_core_1 "11.76470588235294".
- 1457453 cpu_core_1 "11.76470588235294".
- 1459089 cpu_core_1 "11.76470588235294".
- 1459406 cpu_core_1 "11.76470588235294".
- 1459428 cpu_core_1 "11.76470588235294".
- 1460135 cpu_core_1 "11.76470588235294".
- 1461692 cpu_core_1 "11.76470588235294".
- 1461845 cpu_core_1 "11.76470588235294".
- 1462284 cpu_core_1 "11.76470588235294".
- 1462337 cpu_core_1 "11.76470588235294".
- 1463826 cpu_core_1 "11.76470588235294".
- 1467345 cpu_core_1 "11.76470588235294".
- 1468002 cpu_core_1 "11.76470588235294".
- 1468046 cpu_core_1 "11.76470588235294".
- 1468267 cpu_core_1 "11.76470588235294".
- 1470178 cpu_core_1 "11.76470588235294".
- 1471012 cpu_core_1 "11.76470588235294".
- 1472720 cpu_core_1 "11.76470588235294".
- 1474872 cpu_core_1 "11.76470588235294".
- 1474996 cpu_core_1 "11.76470588235294".
- 1479223 cpu_core_1 "11.76470588235294".
- 1479659 cpu_core_1 "11.76470588235294".
- 1479822 cpu_core_1 "11.76470588235294".
- 1480497 cpu_core_1 "11.76470588235294".
- 1486748 cpu_core_1 "11.76470588235294".
- 1488657 cpu_core_1 "11.76470588235294".
- 1489195 cpu_core_1 "11.76470588235294".
- 1489470 cpu_core_1 "11.76470588235294".
- 1489870 cpu_core_1 "11.76470588235294".
- 1489907 cpu_core_1 "11.76470588235294".
- 1491011 cpu_core_1 "11.76470588235294".
- 1495739 cpu_core_1 "11.76470588235294".
- 1500537 cpu_core_1 "11.76470588235294".
- 1501724 cpu_core_1 "11.76470588235294".
- 1502281 cpu_core_1 "11.76470588235294".
- 1504293 cpu_core_1 "11.76470588235294".
- 1504485 cpu_core_1 "11.76470588235294".
- 1504577 cpu_core_1 "11.76470588235294".
- 1511403 cpu_core_1 "11.76470588235294".
- 1516262 cpu_core_1 "11.76470588235294".
- 1517105 cpu_core_1 "11.76470588235294".
- 1519520 cpu_core_1 "11.76470588235294".
- 1520682 cpu_core_1 "11.76470588235294".
- 1521546 cpu_core_1 "11.76470588235294".
- 1524384 cpu_core_1 "11.76470588235294".
- 1525212 cpu_core_1 "11.76470588235294".
- 1526713 cpu_core_1 "11.76470588235294".
- 1527313 cpu_core_1 "11.76470588235294".
- 1527387 cpu_core_1 "11.76470588235294".
- 1536949 cpu_core_1 "11.76470588235294".
- 1538882 cpu_core_1 "11.76470588235294".
- 1539216 cpu_core_1 "11.76470588235294".
- 1539586 cpu_core_1 "11.76470588235294".
- 1539815 cpu_core_1 "11.76470588235294".
- 1540924 cpu_core_1 "11.76470588235294".