Matches in ISWC2014 Benchmark for { ?s ?p 5.9405940594059405. }
- 1407121 cpu_core_0 "5.9405940594059405".
- 1408100 cpu_core_0 "5.9405940594059405".
- 1408400 cpu_core_0 "5.9405940594059405".
- 1409201 cpu_core_0 "5.9405940594059405".
- 1409596 cpu_core_0 "5.9405940594059405".
- 1410071 cpu_core_0 "5.9405940594059405".
- 1410243 cpu_core_0 "5.9405940594059405".
- 1411325 cpu_core_0 "5.9405940594059405".
- 1412460 cpu_core_0 "5.9405940594059405".
- 1412488 cpu_core_0 "5.9405940594059405".
- 1412951 cpu_core_0 "5.9405940594059405".
- 1413067 cpu_core_0 "5.9405940594059405".
- 1413920 cpu_core_0 "5.9405940594059405".
- 1417264 cpu_core_0 "5.9405940594059405".
- 1417338 cpu_core_0 "5.9405940594059405".
- 1421024 cpu_core_0 "5.9405940594059405".
- 1421963 cpu_core_0 "5.9405940594059405".
- 1427690 cpu_core_0 "5.9405940594059405".
- 1428365 cpu_core_0 "5.9405940594059405".
- 1431887 cpu_core_0 "5.9405940594059405".
- 1432972 cpu_core_0 "5.9405940594059405".
- 1433222 cpu_core_0 "5.9405940594059405".
- 1434867 cpu_core_0 "5.9405940594059405".
- 1435897 cpu_core_0 "5.9405940594059405".
- 1437990 cpu_core_0 "5.9405940594059405".
- 1438604 cpu_core_0 "5.9405940594059405".
- 1440512 cpu_core_0 "5.9405940594059405".
- 1440557 cpu_core_0 "5.9405940594059405".
- 1443602 cpu_core_0 "5.9405940594059405".
- 1449719 cpu_core_0 "5.9405940594059405".
- 1450717 cpu_core_0 "5.9405940594059405".
- 1452043 cpu_core_0 "5.9405940594059405".
- 1461563 cpu_core_0 "5.9405940594059405".
- 1464867 cpu_core_0 "5.9405940594059405".
- 1465323 cpu_core_0 "5.9405940594059405".
- 1468798 cpu_core_0 "5.9405940594059405".
- 1469803 cpu_core_0 "5.9405940594059405".
- 1470577 cpu_core_0 "5.9405940594059405".
- 1474384 cpu_core_0 "5.9405940594059405".
- 1475242 cpu_core_0 "5.9405940594059405".
- 1477641 cpu_core_0 "5.9405940594059405".
- 1482081 cpu_core_0 "5.9405940594059405".
- 1488183 cpu_core_0 "5.9405940594059405".
- 1495602 cpu_core_0 "5.9405940594059405".
- 1495765 cpu_core_0 "5.9405940594059405".
- 1499658 cpu_core_0 "5.9405940594059405".
- 1502566 cpu_core_0 "5.9405940594059405".
- 1503397 cpu_core_0 "5.9405940594059405".
- 1504291 cpu_core_0 "5.9405940594059405".
- 1505641 cpu_core_0 "5.9405940594059405".
- 1505692 cpu_core_0 "5.9405940594059405".
- 1515766 cpu_core_0 "5.9405940594059405".
- 1523004 cpu_core_0 "5.9405940594059405".
- 1525410 cpu_core_0 "5.9405940594059405".
- 1526261 cpu_core_0 "5.9405940594059405".
- 1528608 cpu_core_0 "5.9405940594059405".
- 1529900 cpu_core_0 "5.9405940594059405".
- 1531461 cpu_core_0 "5.9405940594059405".
- 1538348 cpu_core_0 "5.9405940594059405".
- 1538547 cpu_core_0 "5.9405940594059405".
- 1540139 cpu_core_0 "5.9405940594059405".
- 1546276 cpu_core_0 "5.9405940594059405".
- 1551943 cpu_core_0 "5.9405940594059405".
- 1552154 cpu_core_0 "5.9405940594059405".
- 1561239 cpu_core_0 "5.9405940594059405".
- 156203 cpu_core_0 "5.9405940594059405".
- 1563394 cpu_core_0 "5.9405940594059405".
- 1566369 cpu_core_0 "5.9405940594059405".
- 1568227 cpu_core_0 "5.9405940594059405".
- 1569484 cpu_core_0 "5.9405940594059405".
- 156968 cpu_core_0 "5.9405940594059405".
- 1573863 cpu_core_0 "5.9405940594059405".
- 1574204 cpu_core_0 "5.9405940594059405".
- 1576099 cpu_core_0 "5.9405940594059405".
- 1578038 cpu_core_0 "5.9405940594059405".
- 1579252 cpu_core_0 "5.9405940594059405".
- 1580293 cpu_core_0 "5.9405940594059405".
- 1581771 cpu_core_0 "5.9405940594059405".
- 1585673 cpu_core_0 "5.9405940594059405".
- 1587683 cpu_core_0 "5.9405940594059405".
- 1599813 cpu_core_0 "5.9405940594059405".
- 1606323 cpu_core_0 "5.9405940594059405".
- 1612156 cpu_core_0 "5.9405940594059405".
- 1619250 cpu_core_0 "5.9405940594059405".
- 1622349 cpu_core_0 "5.9405940594059405".
- 1627134 cpu_core_0 "5.9405940594059405".
- 1628705 cpu_core_0 "5.9405940594059405".
- 163074 cpu_core_0 "5.9405940594059405".
- 1635855 cpu_core_0 "5.9405940594059405".
- 1636639 cpu_core_0 "5.9405940594059405".
- 1636890 cpu_core_0 "5.9405940594059405".
- 1638296 cpu_core_0 "5.9405940594059405".
- 1638536 cpu_core_0 "5.9405940594059405".
- 1639947 cpu_core_0 "5.9405940594059405".
- 1640834 cpu_core_0 "5.9405940594059405".
- 1640993 cpu_core_0 "5.9405940594059405".
- 1641866 cpu_core_0 "5.9405940594059405".
- 1642822 cpu_core_0 "5.9405940594059405".
- 1642949 cpu_core_0 "5.9405940594059405".
- 1643154 cpu_core_0 "5.9405940594059405".