Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1479853 cpu_core_0 "3.061224489795918".
- 1479910 cpu_core_0 "3.061224489795918".
- 1479999 cpu_core_0 "3.061224489795918".
- 1480334 cpu_core_0 "3.061224489795918".
- 1480827 cpu_core_0 "3.061224489795918".
- 1481283 cpu_core_0 "3.061224489795918".
- 1481905 cpu_core_0 "3.061224489795918".
- 148339 cpu_core_0 "3.061224489795918".
- 1483580 cpu_core_0 "3.061224489795918".
- 148506 cpu_core_0 "3.061224489795918".
- 148509 cpu_core_0 "3.061224489795918".
- 1487310 cpu_core_0 "3.061224489795918".
- 1487376 cpu_core_0 "3.061224489795918".
- 1487822 cpu_core_0 "3.061224489795918".
- 1488811 cpu_core_0 "3.061224489795918".
- 1489652 cpu_core_0 "3.061224489795918".
- 1490591 cpu_core_0 "3.061224489795918".
- 1491168 cpu_core_0 "3.061224489795918".
- 1491315 cpu_core_0 "3.061224489795918".
- 1494147 cpu_core_0 "3.061224489795918".
- 1494939 cpu_core_0 "3.061224489795918".
- 1496426 cpu_core_0 "3.061224489795918".
- 1496641 cpu_core_0 "3.061224489795918".
- 1496964 cpu_core_0 "3.061224489795918".
- 1497512 cpu_core_0 "3.061224489795918".
- 1498755 cpu_core_0 "3.061224489795918".
- 1501107 cpu_core_0 "3.061224489795918".
- 1501258 cpu_core_0 "3.061224489795918".
- 1502466 cpu_core_0 "3.061224489795918".
- 1502505 cpu_core_0 "3.061224489795918".
- 1502576 cpu_core_0 "3.061224489795918".
- 1503211 cpu_core_0 "3.061224489795918".
- 1505175 cpu_core_0 "3.061224489795918".
- 1505199 cpu_core_0 "3.061224489795918".
- 1505536 cpu_core_0 "3.061224489795918".
- 1506280 cpu_core_0 "3.061224489795918".
- 1506415 cpu_core_0 "3.061224489795918".
- 1506714 cpu_core_0 "3.061224489795918".
- 1507031 cpu_core_0 "3.061224489795918".
- 1507231 cpu_core_0 "3.061224489795918".
- 1509127 cpu_core_0 "3.061224489795918".
- 1509536 cpu_core_0 "3.061224489795918".
- 1510015 cpu_core_0 "3.061224489795918".
- 1511059 cpu_core_0 "3.061224489795918".
- 1511123 cpu_core_0 "3.061224489795918".
- 1511206 cpu_core_0 "3.061224489795918".
- 1511366 cpu_core_0 "3.061224489795918".
- 1511520 cpu_core_0 "3.061224489795918".
- 1512143 cpu_core_0 "3.061224489795918".
- 1514867 cpu_core_0 "3.061224489795918".
- 1515093 cpu_core_0 "3.061224489795918".
- 1515143 cpu_core_0 "3.061224489795918".
- 1516186 cpu_core_0 "3.061224489795918".
- 1517079 cpu_core_0 "3.061224489795918".
- 1517599 cpu_core_0 "3.061224489795918".
- 1517868 cpu_core_0 "3.061224489795918".
- 1518109 cpu_core_0 "3.061224489795918".
- 1518147 cpu_core_0 "3.061224489795918".
- 1518185 cpu_core_0 "3.061224489795918".
- 1518237 cpu_core_0 "3.061224489795918".
- 1518241 cpu_core_0 "3.061224489795918".
- 1518580 cpu_core_0 "3.061224489795918".
- 1518754 cpu_core_0 "3.061224489795918".
- 1520072 cpu_core_0 "3.061224489795918".
- 1520197 cpu_core_0 "3.061224489795918".
- 1520380 cpu_core_0 "3.061224489795918".
- 1522141 cpu_core_0 "3.061224489795918".
- 1522361 cpu_core_0 "3.061224489795918".
- 1522985 cpu_core_0 "3.061224489795918".
- 1523140 cpu_core_0 "3.061224489795918".
- 1523882 cpu_core_0 "3.061224489795918".
- 1524064 cpu_core_0 "3.061224489795918".
- 1524220 cpu_core_0 "3.061224489795918".
- 1524956 cpu_core_0 "3.061224489795918".
- 1525047 cpu_core_0 "3.061224489795918".
- 1526737 cpu_core_0 "3.061224489795918".
- 1527672 cpu_core_0 "3.061224489795918".
- 1527739 cpu_core_0 "3.061224489795918".
- 1527788 cpu_core_0 "3.061224489795918".
- 1528395 cpu_core_0 "3.061224489795918".
- 1529082 cpu_core_0 "3.061224489795918".
- 1529794 cpu_core_0 "3.061224489795918".
- 1530836 cpu_core_0 "3.061224489795918".
- 1531819 cpu_core_0 "3.061224489795918".
- 1532354 cpu_core_0 "3.061224489795918".
- 1532838 cpu_core_0 "3.061224489795918".
- 1534532 cpu_core_0 "3.061224489795918".
- 1534764 cpu_core_0 "3.061224489795918".
- 1534894 cpu_core_0 "3.061224489795918".
- 1535232 cpu_core_0 "3.061224489795918".
- 1535337 cpu_core_0 "3.061224489795918".
- 1535445 cpu_core_0 "3.061224489795918".
- 1536739 cpu_core_0 "3.061224489795918".
- 1537127 cpu_core_0 "3.061224489795918".
- 1537533 cpu_core_0 "3.061224489795918".
- 1539969 cpu_core_0 "3.061224489795918".
- 1541657 cpu_core_0 "3.061224489795918".
- 1542276 cpu_core_0 "3.061224489795918".
- 1543146 cpu_core_0 "3.061224489795918".
- 1544662 cpu_core_0 "3.061224489795918".