Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1376839 cpu_core_0 "3.061224489795918".
- 1376962 cpu_core_0 "3.061224489795918".
- 1377800 cpu_core_0 "3.061224489795918".
- 1378281 cpu_core_0 "3.061224489795918".
- 1379127 cpu_core_0 "3.061224489795918".
- 1379232 cpu_core_0 "3.061224489795918".
- 1379899 cpu_core_0 "3.061224489795918".
- 1379904 cpu_core_0 "3.061224489795918".
- 1380182 cpu_core_0 "3.061224489795918".
- 1380582 cpu_core_0 "3.061224489795918".
- 1380817 cpu_core_0 "3.061224489795918".
- 1381177 cpu_core_0 "3.061224489795918".
- 1382025 cpu_core_0 "3.061224489795918".
- 1382192 cpu_core_0 "3.061224489795918".
- 1383486 cpu_core_0 "3.061224489795918".
- 1383974 cpu_core_0 "3.061224489795918".
- 1384288 cpu_core_0 "3.061224489795918".
- 1384542 cpu_core_0 "3.061224489795918".
- 1386426 cpu_core_0 "3.061224489795918".
- 1387066 cpu_core_0 "3.061224489795918".
- 1387874 cpu_core_0 "3.061224489795918".
- 1388063 cpu_core_0 "3.061224489795918".
- 1388745 cpu_core_0 "3.061224489795918".
- 1388827 cpu_core_0 "3.061224489795918".
- 1389151 cpu_core_0 "3.061224489795918".
- 1389157 cpu_core_0 "3.061224489795918".
- 1390046 cpu_core_0 "3.061224489795918".
- 1390104 cpu_core_0 "3.061224489795918".
- 1390455 cpu_core_0 "3.061224489795918".
- 1391174 cpu_core_0 "3.061224489795918".
- 1392833 cpu_core_0 "3.061224489795918".
- 1393330 cpu_core_0 "3.061224489795918".
- 1393580 cpu_core_0 "3.061224489795918".
- 1394249 cpu_core_0 "3.061224489795918".
- 1394370 cpu_core_0 "3.061224489795918".
- 1394831 cpu_core_0 "3.061224489795918".
- 1395455 cpu_core_0 "3.061224489795918".
- 1395683 cpu_core_0 "3.061224489795918".
- 1396054 cpu_core_0 "3.061224489795918".
- 1396233 cpu_core_0 "3.061224489795918".
- 1396566 cpu_core_0 "3.061224489795918".
- 1396881 cpu_core_0 "3.061224489795918".
- 1397010 cpu_core_0 "3.061224489795918".
- 1397564 cpu_core_0 "3.061224489795918".
- 1397730 cpu_core_0 "3.061224489795918".
- 1398878 cpu_core_0 "3.061224489795918".
- 1400272 cpu_core_0 "3.061224489795918".
- 1400453 cpu_core_0 "3.061224489795918".
- 1401381 cpu_core_0 "3.061224489795918".
- 1401461 cpu_core_0 "3.061224489795918".
- 1401726 cpu_core_0 "3.061224489795918".
- 1403649 cpu_core_0 "3.061224489795918".
- 1405445 cpu_core_0 "3.061224489795918".
- 1406046 cpu_core_0 "3.061224489795918".
- 1407545 cpu_core_0 "3.061224489795918".
- 1408019 cpu_core_0 "3.061224489795918".
- 1408072 cpu_core_0 "3.061224489795918".
- 1408092 cpu_core_0 "3.061224489795918".
- 1408282 cpu_core_0 "3.061224489795918".
- 1408437 cpu_core_0 "3.061224489795918".
- 1408677 cpu_core_0 "3.061224489795918".
- 1409116 cpu_core_0 "3.061224489795918".
- 1410070 cpu_core_0 "3.061224489795918".
- 1410430 cpu_core_0 "3.061224489795918".
- 1410773 cpu_core_0 "3.061224489795918".
- 1410844 cpu_core_0 "3.061224489795918".
- 1411395 cpu_core_0 "3.061224489795918".
- 1411880 cpu_core_0 "3.061224489795918".
- 1412123 cpu_core_0 "3.061224489795918".
- 1412299 cpu_core_0 "3.061224489795918".
- 1412317 cpu_core_0 "3.061224489795918".
- 1412426 cpu_core_0 "3.061224489795918".
- 1412656 cpu_core_0 "3.061224489795918".
- 1412788 cpu_core_0 "3.061224489795918".
- 1412943 cpu_core_0 "3.061224489795918".
- 1413019 cpu_core_0 "3.061224489795918".
- 1413170 cpu_core_0 "3.061224489795918".
- 1413863 cpu_core_0 "3.061224489795918".
- 1413870 cpu_core_0 "3.061224489795918".
- 1413885 cpu_core_0 "3.061224489795918".
- 1414113 cpu_core_0 "3.061224489795918".
- 1414168 cpu_core_0 "3.061224489795918".
- 1414190 cpu_core_0 "3.061224489795918".
- 1415373 cpu_core_0 "3.061224489795918".
- 1415377 cpu_core_0 "3.061224489795918".
- 1415414 cpu_core_0 "3.061224489795918".
- 1415536 cpu_core_0 "3.061224489795918".
- 1415593 cpu_core_0 "3.061224489795918".
- 1415686 cpu_core_0 "3.061224489795918".
- 1415844 cpu_core_0 "3.061224489795918".
- 1416921 cpu_core_0 "3.061224489795918".
- 1417136 cpu_core_0 "3.061224489795918".
- 1417242 cpu_core_0 "3.061224489795918".
- 1418016 cpu_core_0 "3.061224489795918".
- 1419369 cpu_core_0 "3.061224489795918".
- 1420130 cpu_core_0 "3.061224489795918".
- 1421086 cpu_core_0 "3.061224489795918".
- 1422218 cpu_core_0 "3.061224489795918".
- 1422459 cpu_core_0 "3.061224489795918".
- 1422626 cpu_core_0 "3.061224489795918".