Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1058695 cpu_core_0 "6.999999999999999".
- 1058709 cpu_core_0 "6.999999999999999".
- 1058710 cpu_core_0 "6.999999999999999".
- 1058729 cpu_core_0 "6.999999999999999".
- 1058747 cpu_core_0 "6.999999999999999".
- 1059050 cpu_core_0 "6.999999999999999".
- 1059087 cpu_core_0 "6.999999999999999".
- 1059340 cpu_core_0 "6.999999999999999".
- 1059727 cpu_core_0 "6.999999999999999".
- 1059738 cpu_core_0 "6.999999999999999".
- 1059740 cpu_core_0 "6.999999999999999".
- 1059779 cpu_core_0 "6.999999999999999".
- 1059860 cpu_core_0 "6.999999999999999".
- 1059907 cpu_core_0 "6.999999999999999".
- 1059910 cpu_core_0 "6.999999999999999".
- 1059929 cpu_core_0 "6.999999999999999".
- 1060273 cpu_core_0 "6.999999999999999".
- 1060288 cpu_core_0 "6.999999999999999".
- 1060295 cpu_core_0 "6.999999999999999".
- 1060306 cpu_core_0 "6.999999999999999".
- 1060549 cpu_core_0 "6.999999999999999".
- 1060567 cpu_core_0 "6.999999999999999".
- 1060575 cpu_core_0 "6.999999999999999".
- 1060634 cpu_core_0 "6.999999999999999".
- 1060824 cpu_core_0 "6.999999999999999".
- 1060898 cpu_core_0 "6.999999999999999".
- 1060932 cpu_core_0 "6.999999999999999".
- 1060956 cpu_core_0 "6.999999999999999".
- 1061065 cpu_core_0 "6.999999999999999".
- 1061519 cpu_core_0 "6.999999999999999".
- 1061549 cpu_core_0 "6.999999999999999".
- 1061632 cpu_core_0 "6.999999999999999".
- 1061709 cpu_core_0 "6.999999999999999".
- 1061830 cpu_core_0 "6.999999999999999".
- 1061840 cpu_core_0 "6.999999999999999".
- 1061841 cpu_core_0 "6.999999999999999".
- 1061858 cpu_core_0 "6.999999999999999".
- 1061861 cpu_core_0 "6.999999999999999".
- 1061871 cpu_core_0 "6.999999999999999".
- 1061879 cpu_core_0 "6.999999999999999".
- 1061987 cpu_core_0 "6.999999999999999".
- 1061996 cpu_core_0 "6.999999999999999".
- 1062013 cpu_core_0 "6.999999999999999".
- 1062016 cpu_core_0 "6.999999999999999".
- 1062068 cpu_core_0 "6.999999999999999".
- 1062084 cpu_core_0 "6.999999999999999".
- 1062107 cpu_core_0 "6.999999999999999".
- 1062118 cpu_core_0 "6.999999999999999".
- 1062128 cpu_core_0 "6.999999999999999".
- 1062154 cpu_core_0 "6.999999999999999".
- 1062275 cpu_core_0 "6.999999999999999".
- 1062343 cpu_core_0 "6.999999999999999".
- 1062353 cpu_core_0 "6.999999999999999".
- 1062411 cpu_core_0 "6.999999999999999".
- 1062430 cpu_core_0 "6.999999999999999".
- 1062446 cpu_core_0 "6.999999999999999".
- 1062528 cpu_core_0 "6.999999999999999".
- 1062596 cpu_core_0 "6.999999999999999".
- 1062621 cpu_core_0 "6.999999999999999".
- 1062641 cpu_core_0 "6.999999999999999".
- 1062649 cpu_core_0 "6.999999999999999".
- 1062697 cpu_core_0 "6.999999999999999".
- 1062699 cpu_core_0 "6.999999999999999".
- 1062703 cpu_core_0 "6.999999999999999".
- 1062755 cpu_core_0 "6.999999999999999".
- 1062790 cpu_core_0 "6.999999999999999".
- 1062810 cpu_core_0 "6.999999999999999".
- 1062959 cpu_core_0 "6.999999999999999".
- 1062974 cpu_core_0 "6.999999999999999".
- 1063007 cpu_core_0 "6.999999999999999".
- 1063049 cpu_core_0 "6.999999999999999".
- 1063074 cpu_core_0 "6.999999999999999".
- 1063088 cpu_core_0 "6.999999999999999".
- 1063200 cpu_core_0 "6.999999999999999".
- 1063212 cpu_core_0 "6.999999999999999".
- 1063216 cpu_core_0 "6.999999999999999".
- 1063237 cpu_core_0 "6.999999999999999".
- 1063301 cpu_core_0 "6.999999999999999".
- 1063318 cpu_core_0 "6.999999999999999".
- 1063337 cpu_core_0 "6.999999999999999".
- 1063411 cpu_core_0 "6.999999999999999".
- 1063412 cpu_core_0 "6.999999999999999".
- 1063454 cpu_core_0 "6.999999999999999".
- 1063459 cpu_core_0 "6.999999999999999".
- 1063528 cpu_core_0 "6.999999999999999".
- 1063544 cpu_core_0 "6.999999999999999".
- 1063631 cpu_core_0 "6.999999999999999".
- 1063637 cpu_core_0 "6.999999999999999".
- 1063652 cpu_core_0 "6.999999999999999".
- 1063683 cpu_core_0 "6.999999999999999".
- 1063764 cpu_core_0 "6.999999999999999".
- 1063765 cpu_core_0 "6.999999999999999".
- 1064056 cpu_core_0 "6.999999999999999".
- 1064188 cpu_core_0 "6.999999999999999".
- 1064243 cpu_core_0 "6.999999999999999".
- 1064506 cpu_core_0 "6.999999999999999".
- 1064526 cpu_core_0 "6.999999999999999".
- 1064567 cpu_core_0 "6.999999999999999".
- 1064617 cpu_core_0 "6.999999999999999".
- 1064756 cpu_core_0 "6.999999999999999".