Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1094078 cpu_core_0 "6.999999999999999".
- 1094186 cpu_core_0 "6.999999999999999".
- 1094360 cpu_core_0 "6.999999999999999".
- 1094395 cpu_core_0 "6.999999999999999".
- 1094425 cpu_core_0 "6.999999999999999".
- 1094617 cpu_core_0 "6.999999999999999".
- 1094690 cpu_core_0 "6.999999999999999".
- 1094755 cpu_core_0 "6.999999999999999".
- 1094759 cpu_core_0 "6.999999999999999".
- 1094838 cpu_core_0 "6.999999999999999".
- 1094843 cpu_core_0 "6.999999999999999".
- 1094931 cpu_core_0 "6.999999999999999".
- 1095112 cpu_core_0 "6.999999999999999".
- 1095113 cpu_core_0 "6.999999999999999".
- 1095122 cpu_core_0 "6.999999999999999".
- 1095188 cpu_core_0 "6.999999999999999".
- 1095453 cpu_core_0 "6.999999999999999".
- 1095469 cpu_core_0 "6.999999999999999".
- 1095477 cpu_core_0 "6.999999999999999".
- 1095485 cpu_core_0 "6.999999999999999".
- 1095520 cpu_core_0 "6.999999999999999".
- 1095529 cpu_core_0 "6.999999999999999".
- 109554 cpu_core_0 "6.999999999999999".
- 1095635 cpu_core_0 "6.999999999999999".
- 1095878 cpu_core_0 "6.999999999999999".
- 1095908 cpu_core_0 "6.999999999999999".
- 1095919 cpu_core_0 "6.999999999999999".
- 1095956 cpu_core_0 "6.999999999999999".
- 1096069 cpu_core_0 "6.999999999999999".
- 1096074 cpu_core_0 "6.999999999999999".
- 1096093 cpu_core_0 "6.999999999999999".
- 1096108 cpu_core_0 "6.999999999999999".
- 1096122 cpu_core_0 "6.999999999999999".
- 1096170 cpu_core_0 "6.999999999999999".
- 1096171 cpu_core_0 "6.999999999999999".
- 1096190 cpu_core_0 "6.999999999999999".
- 1096372 cpu_core_0 "6.999999999999999".
- 1096382 cpu_core_0 "6.999999999999999".
- 1096408 cpu_core_0 "6.999999999999999".
- 1096554 cpu_core_0 "6.999999999999999".
- 1096622 cpu_core_0 "6.999999999999999".
- 1096626 cpu_core_0 "6.999999999999999".
- 1096674 cpu_core_0 "6.999999999999999".
- 1096704 cpu_core_0 "6.999999999999999".
- 1096722 cpu_core_0 "6.999999999999999".
- 1096787 cpu_core_0 "6.999999999999999".
- 1096799 cpu_core_0 "6.999999999999999".
- 1096876 cpu_core_0 "6.999999999999999".
- 1096877 cpu_core_0 "6.999999999999999".
- 1096949 cpu_core_0 "6.999999999999999".
- 1096954 cpu_core_0 "6.999999999999999".
- 1096956 cpu_core_0 "6.999999999999999".
- 1096967 cpu_core_0 "6.999999999999999".
- 1097098 cpu_core_0 "6.999999999999999".
- 1097119 cpu_core_0 "6.999999999999999".
- 1097120 cpu_core_0 "6.999999999999999".
- 1097227 cpu_core_0 "6.999999999999999".
- 1097245 cpu_core_0 "6.999999999999999".
- 1097285 cpu_core_0 "6.999999999999999".
- 1097310 cpu_core_0 "6.999999999999999".
- 1097407 cpu_core_0 "6.999999999999999".
- 1097439 cpu_core_0 "6.999999999999999".
- 1097465 cpu_core_0 "6.999999999999999".
- 1097480 cpu_core_0 "6.999999999999999".
- 1097541 cpu_core_0 "6.999999999999999".
- 1097584 cpu_core_0 "6.999999999999999".
- 1097710 cpu_core_0 "6.999999999999999".
- 1097801 cpu_core_0 "6.999999999999999".
- 1097825 cpu_core_0 "6.999999999999999".
- 1097889 cpu_core_0 "6.999999999999999".
- 1097915 cpu_core_0 "6.999999999999999".
- 1098000 cpu_core_0 "6.999999999999999".
- 1098020 cpu_core_0 "6.999999999999999".
- 1098051 cpu_core_0 "6.999999999999999".
- 1098139 cpu_core_0 "6.999999999999999".
- 1098189 cpu_core_0 "6.999999999999999".
- 1098264 cpu_core_0 "6.999999999999999".
- 1098324 cpu_core_0 "6.999999999999999".
- 1098382 cpu_core_0 "6.999999999999999".
- 1098419 cpu_core_0 "6.999999999999999".
- 1098433 cpu_core_0 "6.999999999999999".
- 1098557 cpu_core_0 "6.999999999999999".
- 1098611 cpu_core_0 "6.999999999999999".
- 1098613 cpu_core_0 "6.999999999999999".
- 1098645 cpu_core_0 "6.999999999999999".
- 1098654 cpu_core_0 "6.999999999999999".
- 1098685 cpu_core_0 "6.999999999999999".
- 1098725 cpu_core_0 "6.999999999999999".
- 1098758 cpu_core_0 "6.999999999999999".
- 1098892 cpu_core_0 "6.999999999999999".
- 1098895 cpu_core_0 "6.999999999999999".
- 1098920 cpu_core_0 "6.999999999999999".
- 1098990 cpu_core_0 "6.999999999999999".
- 1099013 cpu_core_0 "6.999999999999999".
- 1099045 cpu_core_0 "6.999999999999999".
- 1099135 cpu_core_0 "6.999999999999999".
- 1099221 cpu_core_0 "6.999999999999999".
- 1099255 cpu_core_0 "6.999999999999999".
- 1099259 cpu_core_0 "6.999999999999999".
- 1099260 cpu_core_0 "6.999999999999999".