Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1107730 cpu_core_0 "13.725490196078432".
- 1108207 cpu_core_0 "13.725490196078432".
- 1110151 cpu_core_0 "13.725490196078432".
- 1110798 cpu_core_0 "13.725490196078432".
- 1111236 cpu_core_0 "13.725490196078432".
- 1111428 cpu_core_0 "13.725490196078432".
- 1111629 cpu_core_0 "13.725490196078432".
- 1112299 cpu_core_0 "13.725490196078432".
- 1113101 cpu_core_0 "13.725490196078432".
- 1114638 cpu_core_0 "13.725490196078432".
- 1114932 cpu_core_0 "13.725490196078432".
- 1115568 cpu_core_0 "13.725490196078432".
- 1116434 cpu_core_0 "13.725490196078432".
- 1117281 cpu_core_0 "13.725490196078432".
- 1119382 cpu_core_0 "13.725490196078432".
- 1119477 cpu_core_0 "13.725490196078432".
- 1120133 cpu_core_0 "13.725490196078432".
- 1120556 cpu_core_0 "13.725490196078432".
- 1120573 cpu_core_0 "13.725490196078432".
- 1121762 cpu_core_0 "13.725490196078432".
- 1121932 cpu_core_0 "13.725490196078432".
- 1123323 cpu_core_0 "13.725490196078432".
- 1123509 cpu_core_0 "13.725490196078432".
- 1123523 cpu_core_0 "13.725490196078432".
- 1124261 cpu_core_0 "13.725490196078432".
- 1125193 cpu_core_0 "13.725490196078432".
- 1126728 cpu_core_0 "13.725490196078432".
- 1127159 cpu_core_0 "13.725490196078432".
- 1127664 cpu_core_0 "13.725490196078432".
- 1130874 cpu_core_0 "13.725490196078432".
- 1131259 cpu_core_0 "13.725490196078432".
- 1131955 cpu_core_0 "13.725490196078432".
- 1132869 cpu_core_0 "13.725490196078432".
- 1133087 cpu_core_0 "13.725490196078432".
- 1134329 cpu_core_0 "13.725490196078432".
- 1134839 cpu_core_0 "13.725490196078432".
- 1135213 cpu_core_0 "13.725490196078432".
- 1137586 cpu_core_0 "13.725490196078432".
- 1137644 cpu_core_0 "13.725490196078432".
- 1137825 cpu_core_0 "13.725490196078432".
- 1138407 cpu_core_0 "13.725490196078432".
- 1139932 cpu_core_0 "13.725490196078432".
- 1140888 cpu_core_0 "13.725490196078432".
- 1141214 cpu_core_0 "13.725490196078432".
- 1141316 cpu_core_0 "13.725490196078432".
- 1143145 cpu_core_0 "13.725490196078432".
- 1143995 cpu_core_0 "13.725490196078432".
- 1144053 cpu_core_0 "13.725490196078432".
- 1145474 cpu_core_0 "13.725490196078432".
- 1146638 cpu_core_0 "13.725490196078432".
- 1147694 cpu_core_0 "13.725490196078432".
- 1148241 cpu_core_0 "13.725490196078432".
- 1148493 cpu_core_0 "13.725490196078432".
- 1148933 cpu_core_0 "13.725490196078432".
- 1149368 cpu_core_0 "13.725490196078432".
- 1149580 cpu_core_0 "13.725490196078432".
- 1151183 cpu_core_0 "13.725490196078432".
- 1152356 cpu_core_0 "13.725490196078432".
- 1153148 cpu_core_0 "13.725490196078432".
- 1154593 cpu_core_0 "13.725490196078432".
- 1154722 cpu_core_0 "13.725490196078432".
- 1155458 cpu_core_0 "13.725490196078432".
- 1156173 cpu_core_0 "13.725490196078432".
- 1156331 cpu_core_0 "13.725490196078432".
- 1157612 cpu_core_0 "13.725490196078432".
- 1159570 cpu_core_0 "13.725490196078432".
- 1160473 cpu_core_0 "13.725490196078432".
- 1162563 cpu_core_0 "13.725490196078432".
- 1162909 cpu_core_0 "13.725490196078432".
- 1165372 cpu_core_0 "13.725490196078432".
- 1166676 cpu_core_0 "13.725490196078432".
- 1166711 cpu_core_0 "13.725490196078432".
- 1166785 cpu_core_0 "13.725490196078432".
- 1167869 cpu_core_0 "13.725490196078432".
- 1168679 cpu_core_0 "13.725490196078432".
- 1169282 cpu_core_0 "13.725490196078432".
- 1170558 cpu_core_0 "13.725490196078432".
- 1172205 cpu_core_0 "13.725490196078432".
- 1173219 cpu_core_0 "13.725490196078432".
- 1176748 cpu_core_0 "13.725490196078432".
- 1177969 cpu_core_0 "13.725490196078432".
- 1178467 cpu_core_0 "13.725490196078432".
- 1178811 cpu_core_0 "13.725490196078432".
- 1179559 cpu_core_0 "13.725490196078432".
- 1179911 cpu_core_0 "13.725490196078432".
- 1180437 cpu_core_0 "13.725490196078432".
- 1181090 cpu_core_0 "13.725490196078432".
- 1181534 cpu_core_0 "13.725490196078432".
- 1182806 cpu_core_0 "13.725490196078432".
- 1183288 cpu_core_0 "13.725490196078432".
- 1184312 cpu_core_0 "13.725490196078432".
- 1184557 cpu_core_0 "13.725490196078432".
- 1185087 cpu_core_0 "13.725490196078432".
- 1185747 cpu_core_0 "13.725490196078432".
- 1185817 cpu_core_0 "13.725490196078432".
- 1186075 cpu_core_0 "13.725490196078432".
- 1186315 cpu_core_0 "13.725490196078432".
- 1187013 cpu_core_0 "13.725490196078432".
- 1188351 cpu_core_0 "13.725490196078432".
- 1188602 cpu_core_0 "13.725490196078432".