Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1429848 cpu_core_0 "11.76470588235294".
- 1430267 cpu_core_0 "11.76470588235294".
- 1430351 cpu_core_0 "11.76470588235294".
- 1430600 cpu_core_0 "11.76470588235294".
- 1430676 cpu_core_0 "11.76470588235294".
- 1431458 cpu_core_0 "11.76470588235294".
- 1433456 cpu_core_0 "11.76470588235294".
- 1433818 cpu_core_0 "11.76470588235294".
- 1434139 cpu_core_0 "11.76470588235294".
- 1434274 cpu_core_0 "11.76470588235294".
- 1434402 cpu_core_0 "11.76470588235294".
- 1434618 cpu_core_0 "11.76470588235294".
- 1436371 cpu_core_0 "11.76470588235294".
- 1436533 cpu_core_0 "11.76470588235294".
- 1438942 cpu_core_0 "11.76470588235294".
- 1440097 cpu_core_0 "11.76470588235294".
- 1440330 cpu_core_0 "11.76470588235294".
- 1440550 cpu_core_0 "11.76470588235294".
- 1441336 cpu_core_0 "11.76470588235294".
- 1441510 cpu_core_0 "11.76470588235294".
- 1442132 cpu_core_0 "11.76470588235294".
- 1442444 cpu_core_0 "11.76470588235294".
- 1442922 cpu_core_0 "11.76470588235294".
- 1443098 cpu_core_0 "11.76470588235294".
- 1443423 cpu_core_0 "11.76470588235294".
- 1445830 cpu_core_0 "11.76470588235294".
- 1446222 cpu_core_0 "11.76470588235294".
- 1447086 cpu_core_0 "11.76470588235294".
- 1448204 cpu_core_0 "11.76470588235294".
- 1448446 cpu_core_0 "11.76470588235294".
- 1448663 cpu_core_0 "11.76470588235294".
- 1448887 cpu_core_0 "11.76470588235294".
- 1450571 cpu_core_0 "11.76470588235294".
- 1452371 cpu_core_0 "11.76470588235294".
- 1454276 cpu_core_0 "11.76470588235294".
- 1454614 cpu_core_0 "11.76470588235294".
- 1454654 cpu_core_0 "11.76470588235294".
- 1454850 cpu_core_0 "11.76470588235294".
- 1455114 cpu_core_0 "11.76470588235294".
- 1455123 cpu_core_0 "11.76470588235294".
- 1455659 cpu_core_0 "11.76470588235294".
- 1455868 cpu_core_0 "11.76470588235294".
- 1456647 cpu_core_0 "11.76470588235294".
- 1456998 cpu_core_0 "11.76470588235294".
- 1457834 cpu_core_0 "11.76470588235294".
- 1458327 cpu_core_0 "11.76470588235294".
- 1458575 cpu_core_0 "11.76470588235294".
- 1458690 cpu_core_0 "11.76470588235294".
- 1459091 cpu_core_0 "11.76470588235294".
- 1459392 cpu_core_0 "11.76470588235294".
- 1461078 cpu_core_0 "11.76470588235294".
- 1461328 cpu_core_0 "11.76470588235294".
- 1462080 cpu_core_0 "11.76470588235294".
- 1462088 cpu_core_0 "11.76470588235294".
- 1462289 cpu_core_0 "11.76470588235294".
- 1463474 cpu_core_0 "11.76470588235294".
- 1463973 cpu_core_0 "11.76470588235294".
- 1464393 cpu_core_0 "11.76470588235294".
- 1464864 cpu_core_0 "11.76470588235294".
- 1465076 cpu_core_0 "11.76470588235294".
- 1465131 cpu_core_0 "11.76470588235294".
- 1465524 cpu_core_0 "11.76470588235294".
- 1467063 cpu_core_0 "11.76470588235294".
- 1467411 cpu_core_0 "11.76470588235294".
- 1467417 cpu_core_0 "11.76470588235294".
- 1468063 cpu_core_0 "11.76470588235294".
- 1468522 cpu_core_0 "11.76470588235294".
- 1468618 cpu_core_0 "11.76470588235294".
- 1468981 cpu_core_0 "11.76470588235294".
- 1469119 cpu_core_0 "11.76470588235294".
- 1471845 cpu_core_0 "11.76470588235294".
- 1471905 cpu_core_0 "11.76470588235294".
- 1473037 cpu_core_0 "11.76470588235294".
- 1473148 cpu_core_0 "11.76470588235294".
- 1473479 cpu_core_0 "11.76470588235294".
- 1473892 cpu_core_0 "11.76470588235294".
- 1474250 cpu_core_0 "11.76470588235294".
- 1474496 cpu_core_0 "11.76470588235294".
- 1474544 cpu_core_0 "11.76470588235294".
- 1474868 cpu_core_0 "11.76470588235294".
- 1475222 cpu_core_0 "11.76470588235294".
- 1475659 cpu_core_0 "11.76470588235294".
- 1476132 cpu_core_0 "11.76470588235294".
- 1476325 cpu_core_0 "11.76470588235294".
- 1476347 cpu_core_0 "11.76470588235294".
- 1476837 cpu_core_0 "11.76470588235294".
- 1477115 cpu_core_0 "11.76470588235294".
- 1478278 cpu_core_0 "11.76470588235294".
- 1478621 cpu_core_0 "11.76470588235294".
- 1479185 cpu_core_0 "11.76470588235294".
- 1480250 cpu_core_0 "11.76470588235294".
- 1480697 cpu_core_0 "11.76470588235294".
- 1481033 cpu_core_0 "11.76470588235294".
- 1481783 cpu_core_0 "11.76470588235294".
- 1482669 cpu_core_0 "11.76470588235294".
- 1483109 cpu_core_0 "11.76470588235294".
- 1483892 cpu_core_0 "11.76470588235294".
- 1484126 cpu_core_0 "11.76470588235294".
- 1485087 cpu_core_0 "11.76470588235294".
- 1485740 cpu_core_0 "11.76470588235294".