Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1056312 cpu_core_0 "12.000000000000002".
- 1056418 cpu_core_0 "12.000000000000002".
- 1056485 cpu_core_0 "12.000000000000002".
- 1056694 cpu_core_0 "12.000000000000002".
- 1056713 cpu_core_0 "12.000000000000002".
- 1056718 cpu_core_0 "12.000000000000002".
- 1056739 cpu_core_0 "12.000000000000002".
- 1056746 cpu_core_0 "12.000000000000002".
- 1056747 cpu_core_0 "12.000000000000002".
- 1056779 cpu_core_0 "12.000000000000002".
- 1056782 cpu_core_0 "12.000000000000002".
- 1056830 cpu_core_0 "12.000000000000002".
- 1056845 cpu_core_0 "12.000000000000002".
- 1056983 cpu_core_0 "12.000000000000002".
- 1057409 cpu_core_0 "12.000000000000002".
- 1057433 cpu_core_0 "12.000000000000002".
- 1057501 cpu_core_0 "12.000000000000002".
- 1057507 cpu_core_0 "12.000000000000002".
- 1057530 cpu_core_0 "12.000000000000002".
- 1057627 cpu_core_0 "12.000000000000002".
- 1057700 cpu_core_0 "12.000000000000002".
- 1057890 cpu_core_0 "12.000000000000002".
- 1058004 cpu_core_0 "12.000000000000002".
- 1058051 cpu_core_0 "12.000000000000002".
- 1058230 cpu_core_0 "12.000000000000002".
- 1058288 cpu_core_0 "12.000000000000002".
- 1058291 cpu_core_0 "12.000000000000002".
- 1058343 cpu_core_0 "12.000000000000002".
- 1058345 cpu_core_0 "12.000000000000002".
- 1058357 cpu_core_0 "12.000000000000002".
- 1058393 cpu_core_0 "12.000000000000002".
- 1058430 cpu_core_0 "12.000000000000002".
- 1058591 cpu_core_0 "12.000000000000002".
- 1058639 cpu_core_0 "12.000000000000002".
- 1058701 cpu_core_0 "12.000000000000002".
- 1058891 cpu_core_0 "12.000000000000002".
- 1058906 cpu_core_0 "12.000000000000002".
- 1058978 cpu_core_0 "12.000000000000002".
- 1059065 cpu_core_0 "12.000000000000002".
- 1059112 cpu_core_0 "12.000000000000002".
- 1059222 cpu_core_0 "12.000000000000002".
- 1059326 cpu_core_0 "12.000000000000002".
- 1059472 cpu_core_0 "12.000000000000002".
- 1059612 cpu_core_0 "12.000000000000002".
- 1059811 cpu_core_0 "12.000000000000002".
- 1059838 cpu_core_0 "12.000000000000002".
- 1059928 cpu_core_0 "12.000000000000002".
- 1059949 cpu_core_0 "12.000000000000002".
- 1060083 cpu_core_0 "12.000000000000002".
- 1060114 cpu_core_0 "12.000000000000002".
- 1060190 cpu_core_0 "12.000000000000002".
- 1060261 cpu_core_0 "12.000000000000002".
- 1060294 cpu_core_0 "12.000000000000002".
- 1060345 cpu_core_0 "12.000000000000002".
- 1060350 cpu_core_0 "12.000000000000002".
- 1060354 cpu_core_0 "12.000000000000002".
- 1060388 cpu_core_0 "12.000000000000002".
- 1060443 cpu_core_0 "12.000000000000002".
- 1060463 cpu_core_0 "12.000000000000002".
- 1060582 cpu_core_0 "12.000000000000002".
- 1060873 cpu_core_0 "12.000000000000002".
- 1061068 cpu_core_0 "12.000000000000002".
- 1061403 cpu_core_0 "12.000000000000002".
- 1061423 cpu_core_0 "12.000000000000002".
- 1061429 cpu_core_0 "12.000000000000002".
- 1061439 cpu_core_0 "12.000000000000002".
- 1061511 cpu_core_0 "12.000000000000002".
- 1061613 cpu_core_0 "12.000000000000002".
- 1061659 cpu_core_0 "12.000000000000002".
- 1061719 cpu_core_0 "12.000000000000002".
- 1061843 cpu_core_0 "12.000000000000002".
- 1061907 cpu_core_0 "12.000000000000002".
- 1061913 cpu_core_0 "12.000000000000002".
- 1061961 cpu_core_0 "12.000000000000002".
- 1061994 cpu_core_0 "12.000000000000002".
- 1062014 cpu_core_0 "12.000000000000002".
- 1062150 cpu_core_0 "12.000000000000002".
- 1062200 cpu_core_0 "12.000000000000002".
- 1062272 cpu_core_0 "12.000000000000002".
- 1062482 cpu_core_0 "12.000000000000002".
- 1062509 cpu_core_0 "12.000000000000002".
- 1062681 cpu_core_0 "12.000000000000002".
- 1062807 cpu_core_0 "12.000000000000002".
- 1062814 cpu_core_0 "12.000000000000002".
- 1062830 cpu_core_0 "12.000000000000002".
- 1062839 cpu_core_0 "12.000000000000002".
- 1062869 cpu_core_0 "12.000000000000002".
- 1062871 cpu_core_0 "12.000000000000002".
- 1062938 cpu_core_0 "12.000000000000002".
- 1063052 cpu_core_0 "12.000000000000002".
- 1063063 cpu_core_0 "12.000000000000002".
- 1063298 cpu_core_0 "12.000000000000002".
- 1063394 cpu_core_0 "12.000000000000002".
- 1063423 cpu_core_0 "12.000000000000002".
- 1063477 cpu_core_0 "12.000000000000002".
- 1063519 cpu_core_0 "12.000000000000002".
- 1063541 cpu_core_0 "12.000000000000002".
- 1063779 cpu_core_0 "12.000000000000002".
- 1064122 cpu_core_0 "12.000000000000002".
- 1064145 cpu_core_0 "12.000000000000002".