Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1073879 cpu_core_0 "11.76470588235294".
- 1073989 cpu_core_0 "11.76470588235294".
- 1074732 cpu_core_0 "11.76470588235294".
- 1074936 cpu_core_0 "11.76470588235294".
- 1075023 cpu_core_0 "11.76470588235294".
- 1075883 cpu_core_0 "11.76470588235294".
- 1079000 cpu_core_0 "11.76470588235294".
- 1079758 cpu_core_0 "11.76470588235294".
- 1079846 cpu_core_0 "11.76470588235294".
- 1081171 cpu_core_0 "11.76470588235294".
- 1083032 cpu_core_0 "11.76470588235294".
- 1083273 cpu_core_0 "11.76470588235294".
- 1084256 cpu_core_0 "11.76470588235294".
- 1086544 cpu_core_0 "11.76470588235294".
- 1086610 cpu_core_0 "11.76470588235294".
- 1086820 cpu_core_0 "11.76470588235294".
- 1087885 cpu_core_0 "11.76470588235294".
- 1088880 cpu_core_0 "11.76470588235294".
- 1088959 cpu_core_0 "11.76470588235294".
- 1089358 cpu_core_0 "11.76470588235294".
- 1090499 cpu_core_0 "11.76470588235294".
- 1091111 cpu_core_0 "11.76470588235294".
- 1091865 cpu_core_0 "11.76470588235294".
- 1092038 cpu_core_0 "11.76470588235294".
- 1092085 cpu_core_0 "11.76470588235294".
- 1092503 cpu_core_0 "11.76470588235294".
- 1093105 cpu_core_0 "11.76470588235294".
- 1093982 cpu_core_0 "11.76470588235294".
- 1095408 cpu_core_0 "11.76470588235294".
- 1096039 cpu_core_0 "11.76470588235294".
- 1097903 cpu_core_0 "11.76470588235294".
- 1098081 cpu_core_0 "11.76470588235294".
- 1098149 cpu_core_0 "11.76470588235294".
- 1100326 cpu_core_0 "11.76470588235294".
- 1101607 cpu_core_0 "11.76470588235294".
- 1102073 cpu_core_0 "11.76470588235294".
- 1102818 cpu_core_0 "11.76470588235294".
- 1103000 cpu_core_0 "11.76470588235294".
- 1103533 cpu_core_0 "11.76470588235294".
- 1103581 cpu_core_0 "11.76470588235294".
- 1104221 cpu_core_0 "11.76470588235294".
- 1104380 cpu_core_0 "11.76470588235294".
- 1104665 cpu_core_0 "11.76470588235294".
- 1105155 cpu_core_0 "11.76470588235294".
- 1107278 cpu_core_0 "11.76470588235294".
- 1107415 cpu_core_0 "11.76470588235294".
- 1108425 cpu_core_0 "11.76470588235294".
- 1108493 cpu_core_0 "11.76470588235294".
- 1108875 cpu_core_0 "11.76470588235294".
- 1109282 cpu_core_0 "11.76470588235294".
- 1109420 cpu_core_0 "11.76470588235294".
- 1109442 cpu_core_0 "11.76470588235294".
- 1109806 cpu_core_0 "11.76470588235294".
- 1110470 cpu_core_0 "11.76470588235294".
- 1110476 cpu_core_0 "11.76470588235294".
- 1110963 cpu_core_0 "11.76470588235294".
- 1111382 cpu_core_0 "11.76470588235294".
- 1111707 cpu_core_0 "11.76470588235294".
- 1112116 cpu_core_0 "11.76470588235294".
- 1113263 cpu_core_0 "11.76470588235294".
- 1113820 cpu_core_0 "11.76470588235294".
- 1113908 cpu_core_0 "11.76470588235294".
- 1114179 cpu_core_0 "11.76470588235294".
- 1114417 cpu_core_0 "11.76470588235294".
- 1114552 cpu_core_0 "11.76470588235294".
- 1114793 cpu_core_0 "11.76470588235294".
- 1115578 cpu_core_0 "11.76470588235294".
- 1116955 cpu_core_0 "11.76470588235294".
- 1117087 cpu_core_0 "11.76470588235294".
- 1118512 cpu_core_0 "11.76470588235294".
- 1118969 cpu_core_0 "11.76470588235294".
- 1119974 cpu_core_0 "11.76470588235294".
- 1120051 cpu_core_0 "11.76470588235294".
- 1120318 cpu_core_0 "11.76470588235294".
- 1120830 cpu_core_0 "11.76470588235294".
- 1120935 cpu_core_0 "11.76470588235294".
- 1121064 cpu_core_0 "11.76470588235294".
- 1121302 cpu_core_0 "11.76470588235294".
- 1122047 cpu_core_0 "11.76470588235294".
- 1123780 cpu_core_0 "11.76470588235294".
- 1124374 cpu_core_0 "11.76470588235294".
- 1124517 cpu_core_0 "11.76470588235294".
- 1124631 cpu_core_0 "11.76470588235294".
- 1127270 cpu_core_0 "11.76470588235294".
- 1128853 cpu_core_0 "11.76470588235294".
- 1130414 cpu_core_0 "11.76470588235294".
- 1131323 cpu_core_0 "11.76470588235294".
- 1132973 cpu_core_0 "11.76470588235294".
- 1136217 cpu_core_0 "11.76470588235294".
- 1137019 cpu_core_0 "11.76470588235294".
- 1137733 cpu_core_0 "11.76470588235294".
- 1138491 cpu_core_0 "11.76470588235294".
- 1138548 cpu_core_0 "11.76470588235294".
- 1139921 cpu_core_0 "11.76470588235294".
- 1140013 cpu_core_0 "11.76470588235294".
- 1140328 cpu_core_0 "11.76470588235294".
- 1142378 cpu_core_0 "11.76470588235294".
- 1142615 cpu_core_0 "11.76470588235294".
- 1144015 cpu_core_0 "11.76470588235294".
- 1144088 cpu_core_0 "11.76470588235294".