Matches in ISWC2014 Benchmark for { ?s ?p 10.784313725490197. }
- 1263980 cpu_core_0 "10.784313725490197".
- 1264286 cpu_core_0 "10.784313725490197".
- 1266705 cpu_core_0 "10.784313725490197".
- 1266751 cpu_core_0 "10.784313725490197".
- 1266786 cpu_core_0 "10.784313725490197".
- 1267107 cpu_core_0 "10.784313725490197".
- 1267581 cpu_core_0 "10.784313725490197".
- 1268114 cpu_core_0 "10.784313725490197".
- 1268760 cpu_core_0 "10.784313725490197".
- 1269626 cpu_core_0 "10.784313725490197".
- 1270900 cpu_core_0 "10.784313725490197".
- 1271853 cpu_core_0 "10.784313725490197".
- 1271934 cpu_core_0 "10.784313725490197".
- 1271943 cpu_core_0 "10.784313725490197".
- 1272355 cpu_core_0 "10.784313725490197".
- 1272460 cpu_core_0 "10.784313725490197".
- 1273110 cpu_core_0 "10.784313725490197".
- 1274288 cpu_core_0 "10.784313725490197".
- 1274377 cpu_core_0 "10.784313725490197".
- 1274996 cpu_core_0 "10.784313725490197".
- 1275021 cpu_core_0 "10.784313725490197".
- 1275460 cpu_core_0 "10.784313725490197".
- 1275661 cpu_core_0 "10.784313725490197".
- 1276206 cpu_core_0 "10.784313725490197".
- 1276345 cpu_core_0 "10.784313725490197".
- 1276908 cpu_core_0 "10.784313725490197".
- 1277197 cpu_core_0 "10.784313725490197".
- 1277641 cpu_core_0 "10.784313725490197".
- 1278552 cpu_core_0 "10.784313725490197".
- 1279159 cpu_core_0 "10.784313725490197".
- 1280153 cpu_core_0 "10.784313725490197".
- 1280448 cpu_core_0 "10.784313725490197".
- 1280564 cpu_core_0 "10.784313725490197".
- 1281034 cpu_core_0 "10.784313725490197".
- 1282009 cpu_core_0 "10.784313725490197".
- 1282548 cpu_core_0 "10.784313725490197".
- 1282652 cpu_core_0 "10.784313725490197".
- 1283058 cpu_core_0 "10.784313725490197".
- 1283827 cpu_core_0 "10.784313725490197".
- 1284746 cpu_core_0 "10.784313725490197".
- 1287154 cpu_core_0 "10.784313725490197".
- 1287290 cpu_core_0 "10.784313725490197".
- 1287485 cpu_core_0 "10.784313725490197".
- 1287897 cpu_core_0 "10.784313725490197".
- 1288011 cpu_core_0 "10.784313725490197".
- 1288164 cpu_core_0 "10.784313725490197".
- 1288238 cpu_core_0 "10.784313725490197".
- 1288250 cpu_core_0 "10.784313725490197".
- 1288584 cpu_core_0 "10.784313725490197".
- 1288816 cpu_core_0 "10.784313725490197".
- 1289849 cpu_core_0 "10.784313725490197".
- 1290851 cpu_core_0 "10.784313725490197".
- 1290943 cpu_core_0 "10.784313725490197".
- 1291556 cpu_core_0 "10.784313725490197".
- 1291650 cpu_core_0 "10.784313725490197".
- 1291940 cpu_core_0 "10.784313725490197".
- 1292547 cpu_core_0 "10.784313725490197".
- 1292669 cpu_core_0 "10.784313725490197".
- 1293855 cpu_core_0 "10.784313725490197".
- 1294186 cpu_core_0 "10.784313725490197".
- 1294356 cpu_core_0 "10.784313725490197".
- 1294607 cpu_core_0 "10.784313725490197".
- 1295882 cpu_core_0 "10.784313725490197".
- 1296684 cpu_core_0 "10.784313725490197".
- 1297029 cpu_core_0 "10.784313725490197".
- 1297146 cpu_core_0 "10.784313725490197".
- 1297926 cpu_core_0 "10.784313725490197".
- 1298535 cpu_core_0 "10.784313725490197".
- 1298812 cpu_core_0 "10.784313725490197".
- 1299049 cpu_core_0 "10.784313725490197".
- 1299304 cpu_core_0 "10.784313725490197".
- 1301624 cpu_core_0 "10.784313725490197".
- 1301728 cpu_core_0 "10.784313725490197".
- 1301848 cpu_core_0 "10.784313725490197".
- 1301969 cpu_core_0 "10.784313725490197".
- 1302015 cpu_core_0 "10.784313725490197".
- 1302149 cpu_core_0 "10.784313725490197".
- 1302430 cpu_core_0 "10.784313725490197".
- 1303266 cpu_core_0 "10.784313725490197".
- 1303305 cpu_core_0 "10.784313725490197".
- 1303555 cpu_core_0 "10.784313725490197".
- 1303727 cpu_core_0 "10.784313725490197".
- 1304241 cpu_core_0 "10.784313725490197".
- 1304668 cpu_core_0 "10.784313725490197".
- 1305491 cpu_core_0 "10.784313725490197".
- 1305547 cpu_core_0 "10.784313725490197".
- 1305891 cpu_core_0 "10.784313725490197".
- 1306061 cpu_core_0 "10.784313725490197".
- 1306124 cpu_core_0 "10.784313725490197".
- 1306503 cpu_core_0 "10.784313725490197".
- 1307402 cpu_core_0 "10.784313725490197".
- 1308132 cpu_core_0 "10.784313725490197".
- 1308147 cpu_core_0 "10.784313725490197".
- 1308727 cpu_core_0 "10.784313725490197".
- 1308777 cpu_core_0 "10.784313725490197".
- 1309524 cpu_core_0 "10.784313725490197".
- 1310065 cpu_core_0 "10.784313725490197".
- 1310799 cpu_core_0 "10.784313725490197".
- 1311200 cpu_core_0 "10.784313725490197".
- 1312034 cpu_core_0 "10.784313725490197".