Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1386320 cpu_core_3 "11.76470588235294".
- 1387377 cpu_core_3 "11.76470588235294".
- 1387488 cpu_core_3 "11.76470588235294".
- 1387814 cpu_core_3 "11.76470588235294".
- 1388584 cpu_core_3 "11.76470588235294".
- 1390718 cpu_core_3 "11.76470588235294".
- 1392228 cpu_core_3 "11.76470588235294".
- 1392673 cpu_core_3 "11.76470588235294".
- 1393434 cpu_core_3 "11.76470588235294".
- 1393772 cpu_core_3 "11.76470588235294".
- 1394715 cpu_core_3 "11.76470588235294".
- 1395116 cpu_core_3 "11.76470588235294".
- 1395820 cpu_core_3 "11.76470588235294".
- 1396750 cpu_core_3 "11.76470588235294".
- 1397388 cpu_core_3 "11.76470588235294".
- 1397560 cpu_core_3 "11.76470588235294".
- 1397884 cpu_core_3 "11.76470588235294".
- 1398348 cpu_core_3 "11.76470588235294".
- 1398353 cpu_core_3 "11.76470588235294".
- 1399949 cpu_core_3 "11.76470588235294".
- 1400443 cpu_core_3 "11.76470588235294".
- 1402792 cpu_core_3 "11.76470588235294".
- 1404412 cpu_core_3 "11.76470588235294".
- 1406145 cpu_core_3 "11.76470588235294".
- 1407411 cpu_core_3 "11.76470588235294".
- 1413596 cpu_core_3 "11.76470588235294".
- 1414293 cpu_core_3 "11.76470588235294".
- 1420741 cpu_core_3 "11.76470588235294".
- 1422774 cpu_core_3 "11.76470588235294".
- 1434450 cpu_core_3 "11.76470588235294".
- 1435881 cpu_core_3 "11.76470588235294".
- 1435911 cpu_core_3 "11.76470588235294".
- 1436134 cpu_core_3 "11.76470588235294".
- 1436636 cpu_core_3 "11.76470588235294".
- 1438111 cpu_core_3 "11.76470588235294".
- 1438174 cpu_core_3 "11.76470588235294".
- 1439906 cpu_core_3 "11.76470588235294".
- 1444903 cpu_core_3 "11.76470588235294".
- 1445447 cpu_core_3 "11.76470588235294".
- 1451579 cpu_core_3 "11.76470588235294".
- 1452107 cpu_core_3 "11.76470588235294".
- 1456040 cpu_core_3 "11.76470588235294".
- 1459041 cpu_core_3 "11.76470588235294".
- 1461566 cpu_core_3 "11.76470588235294".
- 1475750 cpu_core_3 "11.76470588235294".
- 1477310 cpu_core_3 "11.76470588235294".
- 1477635 cpu_core_3 "11.76470588235294".
- 1478490 cpu_core_3 "11.76470588235294".
- 1479554 cpu_core_3 "11.76470588235294".
- 1480484 cpu_core_3 "11.76470588235294".
- 1483994 cpu_core_3 "11.76470588235294".
- 1484256 cpu_core_3 "11.76470588235294".
- 1488870 cpu_core_3 "11.76470588235294".
- 1490389 cpu_core_3 "11.76470588235294".
- 1491356 cpu_core_3 "11.76470588235294".
- 1493307 cpu_core_3 "11.76470588235294".
- 1493628 cpu_core_3 "11.76470588235294".
- 1499951 cpu_core_3 "11.76470588235294".
- 1502471 cpu_core_3 "11.76470588235294".
- 1502758 cpu_core_3 "11.76470588235294".
- 1508774 cpu_core_3 "11.76470588235294".
- 1509626 cpu_core_3 "11.76470588235294".
- 1510168 cpu_core_3 "11.76470588235294".
- 1510845 cpu_core_3 "11.76470588235294".
- 1511253 cpu_core_3 "11.76470588235294".
- 1511615 cpu_core_3 "11.76470588235294".
- 1516131 cpu_core_3 "11.76470588235294".
- 1518071 cpu_core_3 "11.76470588235294".
- 1525441 cpu_core_3 "11.76470588235294".
- 1526223 cpu_core_3 "11.76470588235294".
- 1526807 cpu_core_3 "11.76470588235294".
- 1529689 cpu_core_3 "11.76470588235294".
- 1530325 cpu_core_3 "11.76470588235294".
- 1530778 cpu_core_3 "11.76470588235294".
- 1532083 cpu_core_3 "11.76470588235294".
- 1534085 cpu_core_3 "11.76470588235294".
- 1534883 cpu_core_3 "11.76470588235294".
- 1534993 cpu_core_3 "11.76470588235294".
- 1539455 cpu_core_3 "11.76470588235294".
- 1540803 cpu_core_3 "11.76470588235294".
- 1541291 cpu_core_3 "11.76470588235294".
- 1542635 cpu_core_3 "11.76470588235294".
- 1543486 cpu_core_3 "11.76470588235294".
- 1543779 cpu_core_3 "11.76470588235294".
- 1547576 cpu_core_3 "11.76470588235294".
- 1549162 cpu_core_3 "11.76470588235294".
- 1549580 cpu_core_3 "11.76470588235294".
- 1551520 cpu_core_3 "11.76470588235294".
- 1551534 cpu_core_3 "11.76470588235294".
- 1557773 cpu_core_3 "11.76470588235294".
- 1558053 cpu_core_3 "11.76470588235294".
- 1558069 cpu_core_3 "11.76470588235294".
- 1561824 cpu_core_3 "11.76470588235294".
- 1563240 cpu_core_3 "11.76470588235294".
- 1565473 cpu_core_3 "11.76470588235294".
- 1566555 cpu_core_3 "11.76470588235294".
- 1567933 cpu_core_3 "11.76470588235294".
- 1569057 cpu_core_3 "11.76470588235294".
- 1576822 cpu_core_3 "11.76470588235294".
- 1581870 cpu_core_3 "11.76470588235294".