Matches in ISWC2014 Benchmark for { ?s ?p 15.686274509803921. }
- 861181 cpu_core_0 "15.686274509803921".
- 862066 cpu_core_0 "15.686274509803921".
- 866534 cpu_core_0 "15.686274509803921".
- 866600 cpu_core_0 "15.686274509803921".
- 866948 cpu_core_0 "15.686274509803921".
- 876556 cpu_core_0 "15.686274509803921".
- 878719 cpu_core_0 "15.686274509803921".
- 883904 cpu_core_0 "15.686274509803921".
- 890175 cpu_core_0 "15.686274509803921".
- 899657 cpu_core_0 "15.686274509803921".
- 899720 cpu_core_0 "15.686274509803921".
- 902281 cpu_core_0 "15.686274509803921".
- 905092 cpu_core_0 "15.686274509803921".
- 907907 cpu_core_0 "15.686274509803921".
- 908484 cpu_core_0 "15.686274509803921".
- 908825 cpu_core_0 "15.686274509803921".
- 909081 cpu_core_0 "15.686274509803921".
- 909343 cpu_core_0 "15.686274509803921".
- 910040 cpu_core_0 "15.686274509803921".
- 911248 cpu_core_0 "15.686274509803921".
- 911295 cpu_core_0 "15.686274509803921".
- 913328 cpu_core_0 "15.686274509803921".
- 916840 cpu_core_0 "15.686274509803921".
- 921601 cpu_core_0 "15.686274509803921".
- 922431 cpu_core_0 "15.686274509803921".
- 923469 cpu_core_0 "15.686274509803921".
- 933441 cpu_core_0 "15.686274509803921".
- 941248 cpu_core_0 "15.686274509803921".
- 944458 cpu_core_0 "15.686274509803921".
- 946825 cpu_core_0 "15.686274509803921".
- 948914 cpu_core_0 "15.686274509803921".
- 950090 cpu_core_0 "15.686274509803921".
- 954346 cpu_core_0 "15.686274509803921".
- 962993 cpu_core_0 "15.686274509803921".
- 964064 cpu_core_0 "15.686274509803921".
- 965515 cpu_core_0 "15.686274509803921".
- 967170 cpu_core_0 "15.686274509803921".
- 969044 cpu_core_0 "15.686274509803921".
- 969261 cpu_core_0 "15.686274509803921".
- 980342 cpu_core_0 "15.686274509803921".
- 985636 cpu_core_0 "15.686274509803921".
- 986553 cpu_core_0 "15.686274509803921".
- 988767 cpu_core_0 "15.686274509803921".
- 989418 cpu_core_0 "15.686274509803921".
- 991854 cpu_core_0 "15.686274509803921".
- 991885 cpu_core_0 "15.686274509803921".
- 992523 cpu_core_0 "15.686274509803921".
- 993702 cpu_core_0 "15.686274509803921".
- 994027 cpu_core_0 "15.686274509803921".
- 995099 cpu_core_0 "15.686274509803921".
- 1011959 cpu_core_1 "15.686274509803921".
- 1012559 cpu_core_1 "15.686274509803921".
- 1012783 cpu_core_1 "15.686274509803921".
- 1013063 cpu_core_1 "15.686274509803921".
- 1013151 cpu_core_1 "15.686274509803921".
- 1013400 cpu_core_1 "15.686274509803921".
- 1027666 cpu_core_1 "15.686274509803921".
- 1028247 cpu_core_1 "15.686274509803921".
- 1038369 cpu_core_1 "15.686274509803921".
- 1040420 cpu_core_1 "15.686274509803921".
- 1040522 cpu_core_1 "15.686274509803921".
- 1053711 cpu_core_1 "15.686274509803921".
- 1053927 cpu_core_1 "15.686274509803921".
- 1054062 cpu_core_1 "15.686274509803921".
- 1055355 cpu_core_1 "15.686274509803921".
- 1056605 cpu_core_1 "15.686274509803921".
- 1057152 cpu_core_1 "15.686274509803921".
- 1057340 cpu_core_1 "15.686274509803921".
- 1057342 cpu_core_1 "15.686274509803921".
- 1058097 cpu_core_1 "15.686274509803921".
- 1058423 cpu_core_1 "15.686274509803921".
- 1061148 cpu_core_1 "15.686274509803921".
- 1061715 cpu_core_1 "15.686274509803921".
- 1069522 cpu_core_1 "15.686274509803921".
- 1073799 cpu_core_1 "15.686274509803921".
- 1076841 cpu_core_1 "15.686274509803921".
- 1080736 cpu_core_1 "15.686274509803921".
- 1089269 cpu_core_1 "15.686274509803921".
- 1089870 cpu_core_1 "15.686274509803921".
- 1093611 cpu_core_1 "15.686274509803921".
- 1095290 cpu_core_1 "15.686274509803921".
- 1100832 cpu_core_1 "15.686274509803921".
- 1102534 cpu_core_1 "15.686274509803921".
- 1113542 cpu_core_1 "15.686274509803921".
- 1115890 cpu_core_1 "15.686274509803921".
- 1116111 cpu_core_1 "15.686274509803921".
- 1117457 cpu_core_1 "15.686274509803921".
- 1118141 cpu_core_1 "15.686274509803921".
- 1125475 cpu_core_1 "15.686274509803921".
- 1131508 cpu_core_1 "15.686274509803921".
- 1132226 cpu_core_1 "15.686274509803921".
- 1140954 cpu_core_1 "15.686274509803921".
- 1145186 cpu_core_1 "15.686274509803921".
- 1148856 cpu_core_1 "15.686274509803921".
- 1148984 cpu_core_1 "15.686274509803921".
- 1157172 cpu_core_1 "15.686274509803921".
- 1157228 cpu_core_1 "15.686274509803921".
- 1171738 cpu_core_1 "15.686274509803921".
- 1175238 cpu_core_1 "15.686274509803921".
- 1175504 cpu_core_1 "15.686274509803921".