Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1526945 cpu_core_0 "5.940594059405941".
- 1527044 cpu_core_0 "5.940594059405941".
- 1527070 cpu_core_0 "5.940594059405941".
- 1527281 cpu_core_0 "5.940594059405941".
- 1527500 cpu_core_0 "5.940594059405941".
- 1527561 cpu_core_0 "5.940594059405941".
- 1527724 cpu_core_0 "5.940594059405941".
- 1527818 cpu_core_0 "5.940594059405941".
- 1527950 cpu_core_0 "5.940594059405941".
- 1528007 cpu_core_0 "5.940594059405941".
- 1528109 cpu_core_0 "5.940594059405941".
- 1528494 cpu_core_0 "5.940594059405941".
- 1528594 cpu_core_0 "5.940594059405941".
- 1528686 cpu_core_0 "5.940594059405941".
- 1528749 cpu_core_0 "5.940594059405941".
- 1528897 cpu_core_0 "5.940594059405941".
- 1528975 cpu_core_0 "5.940594059405941".
- 1529080 cpu_core_0 "5.940594059405941".
- 1529251 cpu_core_0 "5.940594059405941".
- 1529341 cpu_core_0 "5.940594059405941".
- 1529356 cpu_core_0 "5.940594059405941".
- 1529417 cpu_core_0 "5.940594059405941".
- 1529449 cpu_core_0 "5.940594059405941".
- 1529664 cpu_core_0 "5.940594059405941".
- 1529825 cpu_core_0 "5.940594059405941".
- 1529934 cpu_core_0 "5.940594059405941".
- 1530651 cpu_core_0 "5.940594059405941".
- 1530658 cpu_core_0 "5.940594059405941".
- 1530678 cpu_core_0 "5.940594059405941".
- 1530861 cpu_core_0 "5.940594059405941".
- 1531133 cpu_core_0 "5.940594059405941".
- 1531236 cpu_core_0 "5.940594059405941".
- 1531280 cpu_core_0 "5.940594059405941".
- 1531515 cpu_core_0 "5.940594059405941".
- 1531762 cpu_core_0 "5.940594059405941".
- 1531785 cpu_core_0 "5.940594059405941".
- 1531829 cpu_core_0 "5.940594059405941".
- 1531878 cpu_core_0 "5.940594059405941".
- 1532014 cpu_core_0 "5.940594059405941".
- 1532042 cpu_core_0 "5.940594059405941".
- 1532122 cpu_core_0 "5.940594059405941".
- 1532204 cpu_core_0 "5.940594059405941".
- 1532358 cpu_core_0 "5.940594059405941".
- 1532853 cpu_core_0 "5.940594059405941".
- 1532926 cpu_core_0 "5.940594059405941".
- 1533100 cpu_core_0 "5.940594059405941".
- 1533374 cpu_core_0 "5.940594059405941".
- 1533377 cpu_core_0 "5.940594059405941".
- 1533419 cpu_core_0 "5.940594059405941".
- 1533469 cpu_core_0 "5.940594059405941".
- 1533507 cpu_core_0 "5.940594059405941".
- 1533742 cpu_core_0 "5.940594059405941".
- 1533749 cpu_core_0 "5.940594059405941".
- 1533783 cpu_core_0 "5.940594059405941".
- 1533868 cpu_core_0 "5.940594059405941".
- 1533987 cpu_core_0 "5.940594059405941".
- 1534002 cpu_core_0 "5.940594059405941".
- 1534144 cpu_core_0 "5.940594059405941".
- 1534268 cpu_core_0 "5.940594059405941".
- 1534406 cpu_core_0 "5.940594059405941".
- 1534420 cpu_core_0 "5.940594059405941".
- 1535143 cpu_core_0 "5.940594059405941".
- 1535361 cpu_core_0 "5.940594059405941".
- 1535365 cpu_core_0 "5.940594059405941".
- 1535430 cpu_core_0 "5.940594059405941".
- 1535457 cpu_core_0 "5.940594059405941".
- 1535575 cpu_core_0 "5.940594059405941".
- 1535596 cpu_core_0 "5.940594059405941".
- 1535626 cpu_core_0 "5.940594059405941".
- 1535638 cpu_core_0 "5.940594059405941".
- 1535653 cpu_core_0 "5.940594059405941".
- 1535884 cpu_core_0 "5.940594059405941".
- 1535920 cpu_core_0 "5.940594059405941".
- 1535950 cpu_core_0 "5.940594059405941".
- 1536225 cpu_core_0 "5.940594059405941".
- 1536231 cpu_core_0 "5.940594059405941".
- 1536475 cpu_core_0 "5.940594059405941".
- 1536502 cpu_core_0 "5.940594059405941".
- 1536689 cpu_core_0 "5.940594059405941".
- 1536694 cpu_core_0 "5.940594059405941".
- 1536727 cpu_core_0 "5.940594059405941".
- 1536744 cpu_core_0 "5.940594059405941".
- 1536883 cpu_core_0 "5.940594059405941".
- 1536978 cpu_core_0 "5.940594059405941".
- 1537537 cpu_core_0 "5.940594059405941".
- 1537605 cpu_core_0 "5.940594059405941".
- 1537701 cpu_core_0 "5.940594059405941".
- 1537733 cpu_core_0 "5.940594059405941".
- 1537802 cpu_core_0 "5.940594059405941".
- 1537813 cpu_core_0 "5.940594059405941".
- 1537816 cpu_core_0 "5.940594059405941".
- 1538118 cpu_core_0 "5.940594059405941".
- 1538237 cpu_core_0 "5.940594059405941".
- 1538266 cpu_core_0 "5.940594059405941".
- 1538533 cpu_core_0 "5.940594059405941".
- 1538599 cpu_core_0 "5.940594059405941".
- 1538658 cpu_core_0 "5.940594059405941".
- 1538870 cpu_core_0 "5.940594059405941".
- 1538889 cpu_core_0 "5.940594059405941".
- 1539055 cpu_core_0 "5.940594059405941".