Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1383846 cpu_core_0 "12.745098039215685".
- 1384572 cpu_core_0 "12.745098039215685".
- 1384759 cpu_core_0 "12.745098039215685".
- 1385864 cpu_core_0 "12.745098039215685".
- 1386455 cpu_core_0 "12.745098039215685".
- 1388295 cpu_core_0 "12.745098039215685".
- 1388304 cpu_core_0 "12.745098039215685".
- 1388826 cpu_core_0 "12.745098039215685".
- 1388862 cpu_core_0 "12.745098039215685".
- 1389080 cpu_core_0 "12.745098039215685".
- 1389089 cpu_core_0 "12.745098039215685".
- 1389828 cpu_core_0 "12.745098039215685".
- 1390863 cpu_core_0 "12.745098039215685".
- 1391261 cpu_core_0 "12.745098039215685".
- 1391690 cpu_core_0 "12.745098039215685".
- 1391908 cpu_core_0 "12.745098039215685".
- 1391993 cpu_core_0 "12.745098039215685".
- 1392068 cpu_core_0 "12.745098039215685".
- 1392762 cpu_core_0 "12.745098039215685".
- 1392910 cpu_core_0 "12.745098039215685".
- 1393461 cpu_core_0 "12.745098039215685".
- 1394074 cpu_core_0 "12.745098039215685".
- 1394146 cpu_core_0 "12.745098039215685".
- 1394372 cpu_core_0 "12.745098039215685".
- 1394399 cpu_core_0 "12.745098039215685".
- 1395755 cpu_core_0 "12.745098039215685".
- 1395765 cpu_core_0 "12.745098039215685".
- 1395857 cpu_core_0 "12.745098039215685".
- 1395913 cpu_core_0 "12.745098039215685".
- 1396727 cpu_core_0 "12.745098039215685".
- 1397122 cpu_core_0 "12.745098039215685".
- 1398149 cpu_core_0 "12.745098039215685".
- 1399130 cpu_core_0 "12.745098039215685".
- 1399799 cpu_core_0 "12.745098039215685".
- 1400476 cpu_core_0 "12.745098039215685".
- 1400881 cpu_core_0 "12.745098039215685".
- 1405501 cpu_core_0 "12.745098039215685".
- 1405901 cpu_core_0 "12.745098039215685".
- 1406356 cpu_core_0 "12.745098039215685".
- 1407607 cpu_core_0 "12.745098039215685".
- 1407766 cpu_core_0 "12.745098039215685".
- 1407823 cpu_core_0 "12.745098039215685".
- 1407864 cpu_core_0 "12.745098039215685".
- 1407904 cpu_core_0 "12.745098039215685".
- 1408334 cpu_core_0 "12.745098039215685".
- 1408342 cpu_core_0 "12.745098039215685".
- 1408935 cpu_core_0 "12.745098039215685".
- 1409252 cpu_core_0 "12.745098039215685".
- 1409748 cpu_core_0 "12.745098039215685".
- 1410478 cpu_core_0 "12.745098039215685".
- 1410642 cpu_core_0 "12.745098039215685".
- 1410878 cpu_core_0 "12.745098039215685".
- 1410936 cpu_core_0 "12.745098039215685".
- 1410953 cpu_core_0 "12.745098039215685".
- 1411219 cpu_core_0 "12.745098039215685".
- 1411469 cpu_core_0 "12.745098039215685".
- 1411648 cpu_core_0 "12.745098039215685".
- 1411741 cpu_core_0 "12.745098039215685".
- 1412144 cpu_core_0 "12.745098039215685".
- 1412464 cpu_core_0 "12.745098039215685".
- 1412861 cpu_core_0 "12.745098039215685".
- 1412908 cpu_core_0 "12.745098039215685".
- 1412983 cpu_core_0 "12.745098039215685".
- 1413341 cpu_core_0 "12.745098039215685".
- 1413358 cpu_core_0 "12.745098039215685".
- 1413362 cpu_core_0 "12.745098039215685".
- 1413756 cpu_core_0 "12.745098039215685".
- 1413949 cpu_core_0 "12.745098039215685".
- 1414034 cpu_core_0 "12.745098039215685".
- 1414043 cpu_core_0 "12.745098039215685".
- 1414134 cpu_core_0 "12.745098039215685".
- 1414182 cpu_core_0 "12.745098039215685".
- 1414265 cpu_core_0 "12.745098039215685".
- 1414628 cpu_core_0 "12.745098039215685".
- 1414791 cpu_core_0 "12.745098039215685".
- 1415166 cpu_core_0 "12.745098039215685".
- 1415511 cpu_core_0 "12.745098039215685".
- 1415837 cpu_core_0 "12.745098039215685".
- 1415997 cpu_core_0 "12.745098039215685".
- 1416131 cpu_core_0 "12.745098039215685".
- 1416170 cpu_core_0 "12.745098039215685".
- 1416451 cpu_core_0 "12.745098039215685".
- 1416613 cpu_core_0 "12.745098039215685".
- 1417664 cpu_core_0 "12.745098039215685".
- 1417684 cpu_core_0 "12.745098039215685".
- 1418015 cpu_core_0 "12.745098039215685".
- 1419786 cpu_core_0 "12.745098039215685".
- 1419971 cpu_core_0 "12.745098039215685".
- 1420523 cpu_core_0 "12.745098039215685".
- 1421890 cpu_core_0 "12.745098039215685".
- 1422587 cpu_core_0 "12.745098039215685".
- 1423616 cpu_core_0 "12.745098039215685".
- 1424218 cpu_core_0 "12.745098039215685".
- 1425183 cpu_core_0 "12.745098039215685".
- 1425416 cpu_core_0 "12.745098039215685".
- 1425492 cpu_core_0 "12.745098039215685".
- 1426597 cpu_core_0 "12.745098039215685".
- 1428112 cpu_core_0 "12.745098039215685".
- 1428932 cpu_core_0 "12.745098039215685".
- 1429059 cpu_core_0 "12.745098039215685".