Matches in ISWC2014 Benchmark for { ?s ?p 6.000000000000001. }
- 1046612 cpu_core_0 "6.000000000000001".
- 1046617 cpu_core_0 "6.000000000000001".
- 1046701 cpu_core_0 "6.000000000000001".
- 1046715 cpu_core_0 "6.000000000000001".
- 1046777 cpu_core_0 "6.000000000000001".
- 1046862 cpu_core_0 "6.000000000000001".
- 1046885 cpu_core_0 "6.000000000000001".
- 1047142 cpu_core_0 "6.000000000000001".
- 1047158 cpu_core_0 "6.000000000000001".
- 1047175 cpu_core_0 "6.000000000000001".
- 1047230 cpu_core_0 "6.000000000000001".
- 1047403 cpu_core_0 "6.000000000000001".
- 1047489 cpu_core_0 "6.000000000000001".
- 1047520 cpu_core_0 "6.000000000000001".
- 1047576 cpu_core_0 "6.000000000000001".
- 1047579 cpu_core_0 "6.000000000000001".
- 1047661 cpu_core_0 "6.000000000000001".
- 1047688 cpu_core_0 "6.000000000000001".
- 1047758 cpu_core_0 "6.000000000000001".
- 1047774 cpu_core_0 "6.000000000000001".
- 1047847 cpu_core_0 "6.000000000000001".
- 1047987 cpu_core_0 "6.000000000000001".
- 1048028 cpu_core_0 "6.000000000000001".
- 1048094 cpu_core_0 "6.000000000000001".
- 1048109 cpu_core_0 "6.000000000000001".
- 1048115 cpu_core_0 "6.000000000000001".
- 1048129 cpu_core_0 "6.000000000000001".
- 1048132 cpu_core_0 "6.000000000000001".
- 1048164 cpu_core_0 "6.000000000000001".
- 1048176 cpu_core_0 "6.000000000000001".
- 1048225 cpu_core_0 "6.000000000000001".
- 1048245 cpu_core_0 "6.000000000000001".
- 1048275 cpu_core_0 "6.000000000000001".
- 1048296 cpu_core_0 "6.000000000000001".
- 1048310 cpu_core_0 "6.000000000000001".
- 1048312 cpu_core_0 "6.000000000000001".
- 1048343 cpu_core_0 "6.000000000000001".
- 1048382 cpu_core_0 "6.000000000000001".
- 1048470 cpu_core_0 "6.000000000000001".
- 1048510 cpu_core_0 "6.000000000000001".
- 1048568 cpu_core_0 "6.000000000000001".
- 1048621 cpu_core_0 "6.000000000000001".
- 1048657 cpu_core_0 "6.000000000000001".
- 1048723 cpu_core_0 "6.000000000000001".
- 1048870 cpu_core_0 "6.000000000000001".
- 1048875 cpu_core_0 "6.000000000000001".
- 1048877 cpu_core_0 "6.000000000000001".
- 1048928 cpu_core_0 "6.000000000000001".
- 1048951 cpu_core_0 "6.000000000000001".
- 1048956 cpu_core_0 "6.000000000000001".
- 1049015 cpu_core_0 "6.000000000000001".
- 1049030 cpu_core_0 "6.000000000000001".
- 1049033 cpu_core_0 "6.000000000000001".
- 1049104 cpu_core_0 "6.000000000000001".
- 1049121 cpu_core_0 "6.000000000000001".
- 1049218 cpu_core_0 "6.000000000000001".
- 1049244 cpu_core_0 "6.000000000000001".
- 1049298 cpu_core_0 "6.000000000000001".
- 1049326 cpu_core_0 "6.000000000000001".
- 1049621 cpu_core_0 "6.000000000000001".
- 1049709 cpu_core_0 "6.000000000000001".
- 1049721 cpu_core_0 "6.000000000000001".
- 1049736 cpu_core_0 "6.000000000000001".
- 1049738 cpu_core_0 "6.000000000000001".
- 1049747 cpu_core_0 "6.000000000000001".
- 1049758 cpu_core_0 "6.000000000000001".
- 1049779 cpu_core_0 "6.000000000000001".
- 1049823 cpu_core_0 "6.000000000000001".
- 1049844 cpu_core_0 "6.000000000000001".
- 1049847 cpu_core_0 "6.000000000000001".
- 1049849 cpu_core_0 "6.000000000000001".
- 1050098 cpu_core_0 "6.000000000000001".
- 1050134 cpu_core_0 "6.000000000000001".
- 1050186 cpu_core_0 "6.000000000000001".
- 1050248 cpu_core_0 "6.000000000000001".
- 1050573 cpu_core_0 "6.000000000000001".
- 1050614 cpu_core_0 "6.000000000000001".
- 1050685 cpu_core_0 "6.000000000000001".
- 1050692 cpu_core_0 "6.000000000000001".
- 1050724 cpu_core_0 "6.000000000000001".
- 1050794 cpu_core_0 "6.000000000000001".
- 1050816 cpu_core_0 "6.000000000000001".
- 1050843 cpu_core_0 "6.000000000000001".
- 1050887 cpu_core_0 "6.000000000000001".
- 1050920 cpu_core_0 "6.000000000000001".
- 1050951 cpu_core_0 "6.000000000000001".
- 1051007 cpu_core_0 "6.000000000000001".
- 1051073 cpu_core_0 "6.000000000000001".
- 1051177 cpu_core_0 "6.000000000000001".
- 1051247 cpu_core_0 "6.000000000000001".
- 1051286 cpu_core_0 "6.000000000000001".
- 1051306 cpu_core_0 "6.000000000000001".
- 1051334 cpu_core_0 "6.000000000000001".
- 1051344 cpu_core_0 "6.000000000000001".
- 1051409 cpu_core_0 "6.000000000000001".
- 1051519 cpu_core_0 "6.000000000000001".
- 1051555 cpu_core_0 "6.000000000000001".
- 1051591 cpu_core_0 "6.000000000000001".
- 1051600 cpu_core_0 "6.000000000000001".
- 1051651 cpu_core_0 "6.000000000000001".