Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1429087 cpu_core_0 "12.745098039215685".
- 1429457 cpu_core_0 "12.745098039215685".
- 1430028 cpu_core_0 "12.745098039215685".
- 1430732 cpu_core_0 "12.745098039215685".
- 1431839 cpu_core_0 "12.745098039215685".
- 1432219 cpu_core_0 "12.745098039215685".
- 1433130 cpu_core_0 "12.745098039215685".
- 1433241 cpu_core_0 "12.745098039215685".
- 1434508 cpu_core_0 "12.745098039215685".
- 1435852 cpu_core_0 "12.745098039215685".
- 1437445 cpu_core_0 "12.745098039215685".
- 1438297 cpu_core_0 "12.745098039215685".
- 1438782 cpu_core_0 "12.745098039215685".
- 1439057 cpu_core_0 "12.745098039215685".
- 1440227 cpu_core_0 "12.745098039215685".
- 1441930 cpu_core_0 "12.745098039215685".
- 1442317 cpu_core_0 "12.745098039215685".
- 1442957 cpu_core_0 "12.745098039215685".
- 1443337 cpu_core_0 "12.745098039215685".
- 1444333 cpu_core_0 "12.745098039215685".
- 1444369 cpu_core_0 "12.745098039215685".
- 1444865 cpu_core_0 "12.745098039215685".
- 1445818 cpu_core_0 "12.745098039215685".
- 1446067 cpu_core_0 "12.745098039215685".
- 1446580 cpu_core_0 "12.745098039215685".
- 1446726 cpu_core_0 "12.745098039215685".
- 1447990 cpu_core_0 "12.745098039215685".
- 1448057 cpu_core_0 "12.745098039215685".
- 1448283 cpu_core_0 "12.745098039215685".
- 1448665 cpu_core_0 "12.745098039215685".
- 1448689 cpu_core_0 "12.745098039215685".
- 1449032 cpu_core_0 "12.745098039215685".
- 1449242 cpu_core_0 "12.745098039215685".
- 1450641 cpu_core_0 "12.745098039215685".
- 1451946 cpu_core_0 "12.745098039215685".
- 1452872 cpu_core_0 "12.745098039215685".
- 1453050 cpu_core_0 "12.745098039215685".
- 1454172 cpu_core_0 "12.745098039215685".
- 1455609 cpu_core_0 "12.745098039215685".
- 1457298 cpu_core_0 "12.745098039215685".
- 1457856 cpu_core_0 "12.745098039215685".
- 1459700 cpu_core_0 "12.745098039215685".
- 1459895 cpu_core_0 "12.745098039215685".
- 1460456 cpu_core_0 "12.745098039215685".
- 1460716 cpu_core_0 "12.745098039215685".
- 1460797 cpu_core_0 "12.745098039215685".
- 1461254 cpu_core_0 "12.745098039215685".
- 1461277 cpu_core_0 "12.745098039215685".
- 1461280 cpu_core_0 "12.745098039215685".
- 1461292 cpu_core_0 "12.745098039215685".
- 1461734 cpu_core_0 "12.745098039215685".
- 1461782 cpu_core_0 "12.745098039215685".
- 1461855 cpu_core_0 "12.745098039215685".
- 1462256 cpu_core_0 "12.745098039215685".
- 1465285 cpu_core_0 "12.745098039215685".
- 1465606 cpu_core_0 "12.745098039215685".
- 1466539 cpu_core_0 "12.745098039215685".
- 1466723 cpu_core_0 "12.745098039215685".
- 1468776 cpu_core_0 "12.745098039215685".
- 1469099 cpu_core_0 "12.745098039215685".
- 1469262 cpu_core_0 "12.745098039215685".
- 1469673 cpu_core_0 "12.745098039215685".
- 1470101 cpu_core_0 "12.745098039215685".
- 1470549 cpu_core_0 "12.745098039215685".
- 1470914 cpu_core_0 "12.745098039215685".
- 1470919 cpu_core_0 "12.745098039215685".
- 1471264 cpu_core_0 "12.745098039215685".
- 1471485 cpu_core_0 "12.745098039215685".
- 1472471 cpu_core_0 "12.745098039215685".
- 1473518 cpu_core_0 "12.745098039215685".
- 1473970 cpu_core_0 "12.745098039215685".
- 1474388 cpu_core_0 "12.745098039215685".
- 1477410 cpu_core_0 "12.745098039215685".
- 1478807 cpu_core_0 "12.745098039215685".
- 1479461 cpu_core_0 "12.745098039215685".
- 1479833 cpu_core_0 "12.745098039215685".
- 1482607 cpu_core_0 "12.745098039215685".
- 1483449 cpu_core_0 "12.745098039215685".
- 1484241 cpu_core_0 "12.745098039215685".
- 1484259 cpu_core_0 "12.745098039215685".
- 1484973 cpu_core_0 "12.745098039215685".
- 1485357 cpu_core_0 "12.745098039215685".
- 1485747 cpu_core_0 "12.745098039215685".
- 1486598 cpu_core_0 "12.745098039215685".
- 1490306 cpu_core_0 "12.745098039215685".
- 1491024 cpu_core_0 "12.745098039215685".
- 1492230 cpu_core_0 "12.745098039215685".
- 1492719 cpu_core_0 "12.745098039215685".
- 1493974 cpu_core_0 "12.745098039215685".
- 1494512 cpu_core_0 "12.745098039215685".
- 1494766 cpu_core_0 "12.745098039215685".
- 1494998 cpu_core_0 "12.745098039215685".
- 1495747 cpu_core_0 "12.745098039215685".
- 1495955 cpu_core_0 "12.745098039215685".
- 1497383 cpu_core_0 "12.745098039215685".
- 1498789 cpu_core_0 "12.745098039215685".
- 1499572 cpu_core_0 "12.745098039215685".
- 1499580 cpu_core_0 "12.745098039215685".
- 1500787 cpu_core_0 "12.745098039215685".
- 1500820 cpu_core_0 "12.745098039215685".