Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1373032 cpu_core_1 "5.88235294117647".
- 1373705 cpu_core_1 "5.88235294117647".
- 1375742 cpu_core_1 "5.88235294117647".
- 1376309 cpu_core_1 "5.88235294117647".
- 1376817 cpu_core_1 "5.88235294117647".
- 1380357 cpu_core_1 "5.88235294117647".
- 1380416 cpu_core_1 "5.88235294117647".
- 1383687 cpu_core_1 "5.88235294117647".
- 1386325 cpu_core_1 "5.88235294117647".
- 1386927 cpu_core_1 "5.88235294117647".
- 1387887 cpu_core_1 "5.88235294117647".
- 1389009 cpu_core_1 "5.88235294117647".
- 1389613 cpu_core_1 "5.88235294117647".
- 1389701 cpu_core_1 "5.88235294117647".
- 1389928 cpu_core_1 "5.88235294117647".
- 1392915 cpu_core_1 "5.88235294117647".
- 1393567 cpu_core_1 "5.88235294117647".
- 1394431 cpu_core_1 "5.88235294117647".
- 1396196 cpu_core_1 "5.88235294117647".
- 1396257 cpu_core_1 "5.88235294117647".
- 1396350 cpu_core_1 "5.88235294117647".
- 1399082 cpu_core_1 "5.88235294117647".
- 1400429 cpu_core_1 "5.88235294117647".
- 1400589 cpu_core_1 "5.88235294117647".
- 1404469 cpu_core_1 "5.88235294117647".
- 1406456 cpu_core_1 "5.88235294117647".
- 1407466 cpu_core_1 "5.88235294117647".
- 1407630 cpu_core_1 "5.88235294117647".
- 1407738 cpu_core_1 "5.88235294117647".
- 1408127 cpu_core_1 "5.88235294117647".
- 1408169 cpu_core_1 "5.88235294117647".
- 1408178 cpu_core_1 "5.88235294117647".
- 1408246 cpu_core_1 "5.88235294117647".
- 1408404 cpu_core_1 "5.88235294117647".
- 1408503 cpu_core_1 "5.88235294117647".
- 1408946 cpu_core_1 "5.88235294117647".
- 1408948 cpu_core_1 "5.88235294117647".
- 1409006 cpu_core_1 "5.88235294117647".
- 1409625 cpu_core_1 "5.88235294117647".
- 1409737 cpu_core_1 "5.88235294117647".
- 1409862 cpu_core_1 "5.88235294117647".
- 1409946 cpu_core_1 "5.88235294117647".
- 1410356 cpu_core_1 "5.88235294117647".
- 1410525 cpu_core_1 "5.88235294117647".
- 1411079 cpu_core_1 "5.88235294117647".
- 1411110 cpu_core_1 "5.88235294117647".
- 1411246 cpu_core_1 "5.88235294117647".
- 1411311 cpu_core_1 "5.88235294117647".
- 1411373 cpu_core_1 "5.88235294117647".
- 1411624 cpu_core_1 "5.88235294117647".
- 1411694 cpu_core_1 "5.88235294117647".
- 1411752 cpu_core_1 "5.88235294117647".
- 1411867 cpu_core_1 "5.88235294117647".
- 1411894 cpu_core_1 "5.88235294117647".
- 1412248 cpu_core_1 "5.88235294117647".
- 1412258 cpu_core_1 "5.88235294117647".
- 1412293 cpu_core_1 "5.88235294117647".
- 1412305 cpu_core_1 "5.88235294117647".
- 1412348 cpu_core_1 "5.88235294117647".
- 1412397 cpu_core_1 "5.88235294117647".
- 1412431 cpu_core_1 "5.88235294117647".
- 1412517 cpu_core_1 "5.88235294117647".
- 1412858 cpu_core_1 "5.88235294117647".
- 1412921 cpu_core_1 "5.88235294117647".
- 1413042 cpu_core_1 "5.88235294117647".
- 1413138 cpu_core_1 "5.88235294117647".
- 1413230 cpu_core_1 "5.88235294117647".
- 1413245 cpu_core_1 "5.88235294117647".
- 1413260 cpu_core_1 "5.88235294117647".
- 1413264 cpu_core_1 "5.88235294117647".
- 1413758 cpu_core_1 "5.88235294117647".
- 1414042 cpu_core_1 "5.88235294117647".
- 1414054 cpu_core_1 "5.88235294117647".
- 1414072 cpu_core_1 "5.88235294117647".
- 1414112 cpu_core_1 "5.88235294117647".
- 1416805 cpu_core_1 "5.88235294117647".
- 1417446 cpu_core_1 "5.88235294117647".
- 1418354 cpu_core_1 "5.88235294117647".
- 1420037 cpu_core_1 "5.88235294117647".
- 1421642 cpu_core_1 "5.88235294117647".
- 1421964 cpu_core_1 "5.88235294117647".
- 1426068 cpu_core_1 "5.88235294117647".
- 1427205 cpu_core_1 "5.88235294117647".
- 1428257 cpu_core_1 "5.88235294117647".
- 1429130 cpu_core_1 "5.88235294117647".
- 1429876 cpu_core_1 "5.88235294117647".
- 1430165 cpu_core_1 "5.88235294117647".
- 1432959 cpu_core_1 "5.88235294117647".
- 1434365 cpu_core_1 "5.88235294117647".
- 1434652 cpu_core_1 "5.88235294117647".
- 1435739 cpu_core_1 "5.88235294117647".
- 1436901 cpu_core_1 "5.88235294117647".
- 1437905 cpu_core_1 "5.88235294117647".
- 1438470 cpu_core_1 "5.88235294117647".
- 1442856 cpu_core_1 "5.88235294117647".
- 1443709 cpu_core_1 "5.88235294117647".
- 1446083 cpu_core_1 "5.88235294117647".
- 1446298 cpu_core_1 "5.88235294117647".
- 1446522 cpu_core_1 "5.88235294117647".
- 1449194 cpu_core_1 "5.88235294117647".