Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1293244 cpu_core_0 "5.88235294117647".
- 1293361 cpu_core_0 "5.88235294117647".
- 1293605 cpu_core_0 "5.88235294117647".
- 1294915 cpu_core_0 "5.88235294117647".
- 1295414 cpu_core_0 "5.88235294117647".
- 1295453 cpu_core_0 "5.88235294117647".
- 1296107 cpu_core_0 "5.88235294117647".
- 1296665 cpu_core_0 "5.88235294117647".
- 1298066 cpu_core_0 "5.88235294117647".
- 1299227 cpu_core_0 "5.88235294117647".
- 1301143 cpu_core_0 "5.88235294117647".
- 1302851 cpu_core_0 "5.88235294117647".
- 1306086 cpu_core_0 "5.88235294117647".
- 1306224 cpu_core_0 "5.88235294117647".
- 1308287 cpu_core_0 "5.88235294117647".
- 1309104 cpu_core_0 "5.88235294117647".
- 1309673 cpu_core_0 "5.88235294117647".
- 1310233 cpu_core_0 "5.88235294117647".
- 1310527 cpu_core_0 "5.88235294117647".
- 1311160 cpu_core_0 "5.88235294117647".
- 1311543 cpu_core_0 "5.88235294117647".
- 1311825 cpu_core_0 "5.88235294117647".
- 1312037 cpu_core_0 "5.88235294117647".
- 1312105 cpu_core_0 "5.88235294117647".
- 1312501 cpu_core_0 "5.88235294117647".
- 1312821 cpu_core_0 "5.88235294117647".
- 1313412 cpu_core_0 "5.88235294117647".
- 1314855 cpu_core_0 "5.88235294117647".
- 1315026 cpu_core_0 "5.88235294117647".
- 1317103 cpu_core_0 "5.88235294117647".
- 1318313 cpu_core_0 "5.88235294117647".
- 1318478 cpu_core_0 "5.88235294117647".
- 1318906 cpu_core_0 "5.88235294117647".
- 1319557 cpu_core_0 "5.88235294117647".
- 1320394 cpu_core_0 "5.88235294117647".
- 1320864 cpu_core_0 "5.88235294117647".
- 1321716 cpu_core_0 "5.88235294117647".
- 1322733 cpu_core_0 "5.88235294117647".
- 1322939 cpu_core_0 "5.88235294117647".
- 1322951 cpu_core_0 "5.88235294117647".
- 1324294 cpu_core_0 "5.88235294117647".
- 1324818 cpu_core_0 "5.88235294117647".
- 1325925 cpu_core_0 "5.88235294117647".
- 1328433 cpu_core_0 "5.88235294117647".
- 1329126 cpu_core_0 "5.88235294117647".
- 1329661 cpu_core_0 "5.88235294117647".
- 1330498 cpu_core_0 "5.88235294117647".
- 1331328 cpu_core_0 "5.88235294117647".
- 1333898 cpu_core_0 "5.88235294117647".
- 1334112 cpu_core_0 "5.88235294117647".
- 1337473 cpu_core_0 "5.88235294117647".
- 1337553 cpu_core_0 "5.88235294117647".
- 1337696 cpu_core_0 "5.88235294117647".
- 1339404 cpu_core_0 "5.88235294117647".
- 1340576 cpu_core_0 "5.88235294117647".
- 1340816 cpu_core_0 "5.88235294117647".
- 1341862 cpu_core_0 "5.88235294117647".
- 1342071 cpu_core_0 "5.88235294117647".
- 1343468 cpu_core_0 "5.88235294117647".
- 1345735 cpu_core_0 "5.88235294117647".
- 1345835 cpu_core_0 "5.88235294117647".
- 1345876 cpu_core_0 "5.88235294117647".
- 1346336 cpu_core_0 "5.88235294117647".
- 1346897 cpu_core_0 "5.88235294117647".
- 1347487 cpu_core_0 "5.88235294117647".
- 1349668 cpu_core_0 "5.88235294117647".
- 1351614 cpu_core_0 "5.88235294117647".
- 1353037 cpu_core_0 "5.88235294117647".
- 1354312 cpu_core_0 "5.88235294117647".
- 1354520 cpu_core_0 "5.88235294117647".
- 1355827 cpu_core_0 "5.88235294117647".
- 1356694 cpu_core_0 "5.88235294117647".
- 1357334 cpu_core_0 "5.88235294117647".
- 1358019 cpu_core_0 "5.88235294117647".
- 1358571 cpu_core_0 "5.88235294117647".
- 1358845 cpu_core_0 "5.88235294117647".
- 1360796 cpu_core_0 "5.88235294117647".
- 1362040 cpu_core_0 "5.88235294117647".
- 1362440 cpu_core_0 "5.88235294117647".
- 1362485 cpu_core_0 "5.88235294117647".
- 1362805 cpu_core_0 "5.88235294117647".
- 1363046 cpu_core_0 "5.88235294117647".
- 1363568 cpu_core_0 "5.88235294117647".
- 1364520 cpu_core_0 "5.88235294117647".
- 1367104 cpu_core_0 "5.88235294117647".
- 1368459 cpu_core_0 "5.88235294117647".
- 1369052 cpu_core_0 "5.88235294117647".
- 1369109 cpu_core_0 "5.88235294117647".
- 1369154 cpu_core_0 "5.88235294117647".
- 1370087 cpu_core_0 "5.88235294117647".
- 1372519 cpu_core_0 "5.88235294117647".
- 1373741 cpu_core_0 "5.88235294117647".
- 1373920 cpu_core_0 "5.88235294117647".
- 1375135 cpu_core_0 "5.88235294117647".
- 1376008 cpu_core_0 "5.88235294117647".
- 1377421 cpu_core_0 "5.88235294117647".
- 1377843 cpu_core_0 "5.88235294117647".
- 1377878 cpu_core_0 "5.88235294117647".
- 1378504 cpu_core_0 "5.88235294117647".
- 1378638 cpu_core_0 "5.88235294117647".