Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1756145 cpu_core_0 "14.000000000000002".
- 1756513 cpu_core_0 "14.000000000000002".
- 1756611 cpu_core_0 "14.000000000000002".
- 1756677 cpu_core_0 "14.000000000000002".
- 1756754 cpu_core_0 "14.000000000000002".
- 1756757 cpu_core_0 "14.000000000000002".
- 1756769 cpu_core_0 "14.000000000000002".
- 1756961 cpu_core_0 "14.000000000000002".
- 1756975 cpu_core_0 "14.000000000000002".
- 1756983 cpu_core_0 "14.000000000000002".
- 1757000 cpu_core_0 "14.000000000000002".
- 1757386 cpu_core_0 "14.000000000000002".
- 1757425 cpu_core_0 "14.000000000000002".
- 1757556 cpu_core_0 "14.000000000000002".
- 1757674 cpu_core_0 "14.000000000000002".
- 1757731 cpu_core_0 "14.000000000000002".
- 1757741 cpu_core_0 "14.000000000000002".
- 1757788 cpu_core_0 "14.000000000000002".
- 1757798 cpu_core_0 "14.000000000000002".
- 1757828 cpu_core_0 "14.000000000000002".
- 1757863 cpu_core_0 "14.000000000000002".
- 1757914 cpu_core_0 "14.000000000000002".
- 1757922 cpu_core_0 "14.000000000000002".
- 1757985 cpu_core_0 "14.000000000000002".
- 1758032 cpu_core_0 "14.000000000000002".
- 1758073 cpu_core_0 "14.000000000000002".
- 1758095 cpu_core_0 "14.000000000000002".
- 1758361 cpu_core_0 "14.000000000000002".
- 1758425 cpu_core_0 "14.000000000000002".
- 1758464 cpu_core_0 "14.000000000000002".
- 1758527 cpu_core_0 "14.000000000000002".
- 1758683 cpu_core_0 "14.000000000000002".
- 1758701 cpu_core_0 "14.000000000000002".
- 1758703 cpu_core_0 "14.000000000000002".
- 1758767 cpu_core_0 "14.000000000000002".
- 1758811 cpu_core_0 "14.000000000000002".
- 1758816 cpu_core_0 "14.000000000000002".
- 1758889 cpu_core_0 "14.000000000000002".
- 1758937 cpu_core_0 "14.000000000000002".
- 1758944 cpu_core_0 "14.000000000000002".
- 1759007 cpu_core_0 "14.000000000000002".
- 1759128 cpu_core_0 "14.000000000000002".
- 1759304 cpu_core_0 "14.000000000000002".
- 1759347 cpu_core_0 "14.000000000000002".
- 1759419 cpu_core_0 "14.000000000000002".
- 1759438 cpu_core_0 "14.000000000000002".
- 1759468 cpu_core_0 "14.000000000000002".
- 1760006 cpu_core_0 "14.000000000000002".
- 1760037 cpu_core_0 "14.000000000000002".
- 1760040 cpu_core_0 "14.000000000000002".
- 1760215 cpu_core_0 "14.000000000000002".
- 1760229 cpu_core_0 "14.000000000000002".
- 1760446 cpu_core_0 "14.000000000000002".
- 1760455 cpu_core_0 "14.000000000000002".
- 1760479 cpu_core_0 "14.000000000000002".
- 1760505 cpu_core_0 "14.000000000000002".
- 1760871 cpu_core_0 "14.000000000000002".
- 1760915 cpu_core_0 "14.000000000000002".
- 1760943 cpu_core_0 "14.000000000000002".
- 1761225 cpu_core_0 "14.000000000000002".
- 1761447 cpu_core_0 "14.000000000000002".
- 1761489 cpu_core_0 "14.000000000000002".
- 1761574 cpu_core_0 "14.000000000000002".
- 1762281 cpu_core_0 "14.000000000000002".
- 1762319 cpu_core_0 "14.000000000000002".
- 1762421 cpu_core_0 "14.000000000000002".
- 1762447 cpu_core_0 "14.000000000000002".
- 1762616 cpu_core_0 "14.000000000000002".
- 1762865 cpu_core_0 "14.000000000000002".
- 1762970 cpu_core_0 "14.000000000000002".
- 1762974 cpu_core_0 "14.000000000000002".
- 1763002 cpu_core_0 "14.000000000000002".
- 1763108 cpu_core_0 "14.000000000000002".
- 1763171 cpu_core_0 "14.000000000000002".
- 1763185 cpu_core_0 "14.000000000000002".
- 1763296 cpu_core_0 "14.000000000000002".
- 1763302 cpu_core_0 "14.000000000000002".
- 1763334 cpu_core_0 "14.000000000000002".
- 1763336 cpu_core_0 "14.000000000000002".
- 1763337 cpu_core_0 "14.000000000000002".
- 1763391 cpu_core_0 "14.000000000000002".
- 1763394 cpu_core_0 "14.000000000000002".
- 1763449 cpu_core_0 "14.000000000000002".
- 1763513 cpu_core_0 "14.000000000000002".
- 1763712 cpu_core_0 "14.000000000000002".
- 1763870 cpu_core_0 "14.000000000000002".
- 1764029 cpu_core_0 "14.000000000000002".
- 1764030 cpu_core_0 "14.000000000000002".
- 1764204 cpu_core_0 "14.000000000000002".
- 1764299 cpu_core_0 "14.000000000000002".
- 1764371 cpu_core_0 "14.000000000000002".
- 1764391 cpu_core_0 "14.000000000000002".
- 1764419 cpu_core_0 "14.000000000000002".
- 1764506 cpu_core_0 "14.000000000000002".
- 1764555 cpu_core_0 "14.000000000000002".
- 1764613 cpu_core_0 "14.000000000000002".
- 1764854 cpu_core_0 "14.000000000000002".
- 1764890 cpu_core_0 "14.000000000000002".
- 1765012 cpu_core_0 "14.000000000000002".
- 1765214 cpu_core_0 "14.000000000000002".