Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1274014 cpu_core_0 "11.76470588235294".
- 1274044 cpu_core_0 "11.76470588235294".
- 1274090 cpu_core_0 "11.76470588235294".
- 1275493 cpu_core_0 "11.76470588235294".
- 1275628 cpu_core_0 "11.76470588235294".
- 1275713 cpu_core_0 "11.76470588235294".
- 1276178 cpu_core_0 "11.76470588235294".
- 1276429 cpu_core_0 "11.76470588235294".
- 1276846 cpu_core_0 "11.76470588235294".
- 1278774 cpu_core_0 "11.76470588235294".
- 1279571 cpu_core_0 "11.76470588235294".
- 1280300 cpu_core_0 "11.76470588235294".
- 1280424 cpu_core_0 "11.76470588235294".
- 1281010 cpu_core_0 "11.76470588235294".
- 1281346 cpu_core_0 "11.76470588235294".
- 1281507 cpu_core_0 "11.76470588235294".
- 1281727 cpu_core_0 "11.76470588235294".
- 1282028 cpu_core_0 "11.76470588235294".
- 1282892 cpu_core_0 "11.76470588235294".
- 1282972 cpu_core_0 "11.76470588235294".
- 1283490 cpu_core_0 "11.76470588235294".
- 1283725 cpu_core_0 "11.76470588235294".
- 1284666 cpu_core_0 "11.76470588235294".
- 1284735 cpu_core_0 "11.76470588235294".
- 1285261 cpu_core_0 "11.76470588235294".
- 1285299 cpu_core_0 "11.76470588235294".
- 1286697 cpu_core_0 "11.76470588235294".
- 1287035 cpu_core_0 "11.76470588235294".
- 1287204 cpu_core_0 "11.76470588235294".
- 1287724 cpu_core_0 "11.76470588235294".
- 1289321 cpu_core_0 "11.76470588235294".
- 1290251 cpu_core_0 "11.76470588235294".
- 1290360 cpu_core_0 "11.76470588235294".
- 1290577 cpu_core_0 "11.76470588235294".
- 1291020 cpu_core_0 "11.76470588235294".
- 1291127 cpu_core_0 "11.76470588235294".
- 1291181 cpu_core_0 "11.76470588235294".
- 1291269 cpu_core_0 "11.76470588235294".
- 1291584 cpu_core_0 "11.76470588235294".
- 1292138 cpu_core_0 "11.76470588235294".
- 1292200 cpu_core_0 "11.76470588235294".
- 1292707 cpu_core_0 "11.76470588235294".
- 1292721 cpu_core_0 "11.76470588235294".
- 1293523 cpu_core_0 "11.76470588235294".
- 1293535 cpu_core_0 "11.76470588235294".
- 1293652 cpu_core_0 "11.76470588235294".
- 1294290 cpu_core_0 "11.76470588235294".
- 1294730 cpu_core_0 "11.76470588235294".
- 1294843 cpu_core_0 "11.76470588235294".
- 1295271 cpu_core_0 "11.76470588235294".
- 1295359 cpu_core_0 "11.76470588235294".
- 1296258 cpu_core_0 "11.76470588235294".
- 1297937 cpu_core_0 "11.76470588235294".
- 1299483 cpu_core_0 "11.76470588235294".
- 1300043 cpu_core_0 "11.76470588235294".
- 1300573 cpu_core_0 "11.76470588235294".
- 1301105 cpu_core_0 "11.76470588235294".
- 1301109 cpu_core_0 "11.76470588235294".
- 1302921 cpu_core_0 "11.76470588235294".
- 1303246 cpu_core_0 "11.76470588235294".
- 1303954 cpu_core_0 "11.76470588235294".
- 1303965 cpu_core_0 "11.76470588235294".
- 1305284 cpu_core_0 "11.76470588235294".
- 1306181 cpu_core_0 "11.76470588235294".
- 1306673 cpu_core_0 "11.76470588235294".
- 1306803 cpu_core_0 "11.76470588235294".
- 1306924 cpu_core_0 "11.76470588235294".
- 1307588 cpu_core_0 "11.76470588235294".
- 1308103 cpu_core_0 "11.76470588235294".
- 1308418 cpu_core_0 "11.76470588235294".
- 1309241 cpu_core_0 "11.76470588235294".
- 1309495 cpu_core_0 "11.76470588235294".
- 1309783 cpu_core_0 "11.76470588235294".
- 1311030 cpu_core_0 "11.76470588235294".
- 1312341 cpu_core_0 "11.76470588235294".
- 1312738 cpu_core_0 "11.76470588235294".
- 1314004 cpu_core_0 "11.76470588235294".
- 1314196 cpu_core_0 "11.76470588235294".
- 1314214 cpu_core_0 "11.76470588235294".
- 1314343 cpu_core_0 "11.76470588235294".
- 1314564 cpu_core_0 "11.76470588235294".
- 1315401 cpu_core_0 "11.76470588235294".
- 1315432 cpu_core_0 "11.76470588235294".
- 1316322 cpu_core_0 "11.76470588235294".
- 1316617 cpu_core_0 "11.76470588235294".
- 1317091 cpu_core_0 "11.76470588235294".
- 1317143 cpu_core_0 "11.76470588235294".
- 1317535 cpu_core_0 "11.76470588235294".
- 1317567 cpu_core_0 "11.76470588235294".
- 1318147 cpu_core_0 "11.76470588235294".
- 1318654 cpu_core_0 "11.76470588235294".
- 1318749 cpu_core_0 "11.76470588235294".
- 1319290 cpu_core_0 "11.76470588235294".
- 1319347 cpu_core_0 "11.76470588235294".
- 1319785 cpu_core_0 "11.76470588235294".
- 1319859 cpu_core_0 "11.76470588235294".
- 1320197 cpu_core_0 "11.76470588235294".
- 1321027 cpu_core_0 "11.76470588235294".
- 1321719 cpu_core_0 "11.76470588235294".
- 1323203 cpu_core_0 "11.76470588235294".