Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 910088 cpu_core_0 "3.061224489795918".
- 927357 cpu_core_0 "3.061224489795918".
- 927482 cpu_core_0 "3.061224489795918".
- 932386 cpu_core_0 "3.061224489795918".
- 936833 cpu_core_0 "3.061224489795918".
- 942633 cpu_core_0 "3.061224489795918".
- 943049 cpu_core_0 "3.061224489795918".
- 943800 cpu_core_0 "3.061224489795918".
- 946011 cpu_core_0 "3.061224489795918".
- 950863 cpu_core_0 "3.061224489795918".
- 958893 cpu_core_0 "3.061224489795918".
- 962300 cpu_core_0 "3.061224489795918".
- 967777 cpu_core_0 "3.061224489795918".
- 978777 cpu_core_0 "3.061224489795918".
- 979538 cpu_core_0 "3.061224489795918".
- 990790 cpu_core_0 "3.061224489795918".
- 991670 cpu_core_0 "3.061224489795918".
- 991736 cpu_core_0 "3.061224489795918".
- 994708 cpu_core_0 "3.061224489795918".
- 995394 cpu_core_0 "3.061224489795918".
- 1000015 cpu_core_1 "3.061224489795918".
- 1000163 cpu_core_1 "3.061224489795918".
- 1000308 cpu_core_1 "3.061224489795918".
- 1000733 cpu_core_1 "3.061224489795918".
- 1000766 cpu_core_1 "3.061224489795918".
- 1000820 cpu_core_1 "3.061224489795918".
- 1000981 cpu_core_1 "3.061224489795918".
- 1001295 cpu_core_1 "3.061224489795918".
- 1001780 cpu_core_1 "3.061224489795918".
- 1001943 cpu_core_1 "3.061224489795918".
- 1002347 cpu_core_1 "3.061224489795918".
- 1002798 cpu_core_1 "3.061224489795918".
- 1002922 cpu_core_1 "3.061224489795918".
- 1003370 cpu_core_1 "3.061224489795918".
- 1003700 cpu_core_1 "3.061224489795918".
- 1003809 cpu_core_1 "3.061224489795918".
- 1003813 cpu_core_1 "3.061224489795918".
- 1003844 cpu_core_1 "3.061224489795918".
- 1004130 cpu_core_1 "3.061224489795918".
- 1004538 cpu_core_1 "3.061224489795918".
- 1005004 cpu_core_1 "3.061224489795918".
- 1005081 cpu_core_1 "3.061224489795918".
- 1005141 cpu_core_1 "3.061224489795918".
- 1005154 cpu_core_1 "3.061224489795918".
- 1005253 cpu_core_1 "3.061224489795918".
- 1006252 cpu_core_1 "3.061224489795918".
- 1006432 cpu_core_1 "3.061224489795918".
- 1006821 cpu_core_1 "3.061224489795918".
- 1006943 cpu_core_1 "3.061224489795918".
- 1007271 cpu_core_1 "3.061224489795918".
- 1007693 cpu_core_1 "3.061224489795918".
- 1008386 cpu_core_1 "3.061224489795918".
- 1008841 cpu_core_1 "3.061224489795918".
- 1011593 cpu_core_1 "3.061224489795918".
- 1013324 cpu_core_1 "3.061224489795918".
- 1013328 cpu_core_1 "3.061224489795918".
- 1013382 cpu_core_1 "3.061224489795918".
- 1013484 cpu_core_1 "3.061224489795918".
- 1013721 cpu_core_1 "3.061224489795918".
- 1014101 cpu_core_1 "3.061224489795918".
- 1015065 cpu_core_1 "3.061224489795918".
- 1015253 cpu_core_1 "3.061224489795918".
- 1015474 cpu_core_1 "3.061224489795918".
- 1015697 cpu_core_1 "3.061224489795918".
- 1016472 cpu_core_1 "3.061224489795918".
- 1017421 cpu_core_1 "3.061224489795918".
- 1017463 cpu_core_1 "3.061224489795918".
- 1018153 cpu_core_1 "3.061224489795918".
- 1019272 cpu_core_1 "3.061224489795918".
- 1019431 cpu_core_1 "3.061224489795918".
- 1019643 cpu_core_1 "3.061224489795918".
- 1020347 cpu_core_1 "3.061224489795918".
- 1020604 cpu_core_1 "3.061224489795918".
- 1022983 cpu_core_1 "3.061224489795918".
- 1023202 cpu_core_1 "3.061224489795918".
- 1024050 cpu_core_1 "3.061224489795918".
- 1024430 cpu_core_1 "3.061224489795918".
- 1024592 cpu_core_1 "3.061224489795918".
- 1024788 cpu_core_1 "3.061224489795918".
- 1024956 cpu_core_1 "3.061224489795918".
- 1025023 cpu_core_1 "3.061224489795918".
- 1025316 cpu_core_1 "3.061224489795918".
- 1025428 cpu_core_1 "3.061224489795918".
- 1026276 cpu_core_1 "3.061224489795918".
- 1026404 cpu_core_1 "3.061224489795918".
- 1026454 cpu_core_1 "3.061224489795918".
- 1029111 cpu_core_1 "3.061224489795918".
- 1029345 cpu_core_1 "3.061224489795918".
- 1029496 cpu_core_1 "3.061224489795918".
- 1032343 cpu_core_1 "3.061224489795918".
- 1032587 cpu_core_1 "3.061224489795918".
- 1033186 cpu_core_1 "3.061224489795918".
- 1034178 cpu_core_1 "3.061224489795918".
- 1035483 cpu_core_1 "3.061224489795918".
- 1035949 cpu_core_1 "3.061224489795918".
- 1036088 cpu_core_1 "3.061224489795918".
- 1036960 cpu_core_1 "3.061224489795918".
- 1039229 cpu_core_1 "3.061224489795918".
- 1039617 cpu_core_1 "3.061224489795918".
- 1040862 cpu_core_1 "3.061224489795918".