Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1064162 cpu_core_0 "12.000000000000002".
- 1064297 cpu_core_0 "12.000000000000002".
- 1064316 cpu_core_0 "12.000000000000002".
- 1064394 cpu_core_0 "12.000000000000002".
- 1064686 cpu_core_0 "12.000000000000002".
- 1064723 cpu_core_0 "12.000000000000002".
- 1064779 cpu_core_0 "12.000000000000002".
- 1064790 cpu_core_0 "12.000000000000002".
- 1064800 cpu_core_0 "12.000000000000002".
- 1064876 cpu_core_0 "12.000000000000002".
- 1064884 cpu_core_0 "12.000000000000002".
- 1064966 cpu_core_0 "12.000000000000002".
- 1064998 cpu_core_0 "12.000000000000002".
- 1065088 cpu_core_0 "12.000000000000002".
- 1065142 cpu_core_0 "12.000000000000002".
- 1065242 cpu_core_0 "12.000000000000002".
- 1065333 cpu_core_0 "12.000000000000002".
- 1065439 cpu_core_0 "12.000000000000002".
- 1065497 cpu_core_0 "12.000000000000002".
- 1065501 cpu_core_0 "12.000000000000002".
- 1065534 cpu_core_0 "12.000000000000002".
- 1065573 cpu_core_0 "12.000000000000002".
- 1065772 cpu_core_0 "12.000000000000002".
- 1065865 cpu_core_0 "12.000000000000002".
- 1065990 cpu_core_0 "12.000000000000002".
- 1066033 cpu_core_0 "12.000000000000002".
- 1066082 cpu_core_0 "12.000000000000002".
- 1066113 cpu_core_0 "12.000000000000002".
- 1066188 cpu_core_0 "12.000000000000002".
- 1066232 cpu_core_0 "12.000000000000002".
- 1066374 cpu_core_0 "12.000000000000002".
- 1066521 cpu_core_0 "12.000000000000002".
- 1066567 cpu_core_0 "12.000000000000002".
- 1066584 cpu_core_0 "12.000000000000002".
- 1066613 cpu_core_0 "12.000000000000002".
- 1066693 cpu_core_0 "12.000000000000002".
- 1066708 cpu_core_0 "12.000000000000002".
- 1066718 cpu_core_0 "12.000000000000002".
- 1066839 cpu_core_0 "12.000000000000002".
- 1066852 cpu_core_0 "12.000000000000002".
- 1067044 cpu_core_0 "12.000000000000002".
- 1067053 cpu_core_0 "12.000000000000002".
- 1067091 cpu_core_0 "12.000000000000002".
- 1067177 cpu_core_0 "12.000000000000002".
- 1067192 cpu_core_0 "12.000000000000002".
- 1067274 cpu_core_0 "12.000000000000002".
- 1067308 cpu_core_0 "12.000000000000002".
- 1067338 cpu_core_0 "12.000000000000002".
- 1067399 cpu_core_0 "12.000000000000002".
- 1067481 cpu_core_0 "12.000000000000002".
- 1067486 cpu_core_0 "12.000000000000002".
- 1067487 cpu_core_0 "12.000000000000002".
- 1067515 cpu_core_0 "12.000000000000002".
- 1067534 cpu_core_0 "12.000000000000002".
- 1067544 cpu_core_0 "12.000000000000002".
- 1067584 cpu_core_0 "12.000000000000002".
- 1067654 cpu_core_0 "12.000000000000002".
- 1067665 cpu_core_0 "12.000000000000002".
- 1067699 cpu_core_0 "12.000000000000002".
- 1067772 cpu_core_0 "12.000000000000002".
- 1067779 cpu_core_0 "12.000000000000002".
- 1067796 cpu_core_0 "12.000000000000002".
- 1067798 cpu_core_0 "12.000000000000002".
- 1067832 cpu_core_0 "12.000000000000002".
- 1067971 cpu_core_0 "12.000000000000002".
- 1067993 cpu_core_0 "12.000000000000002".
- 1068030 cpu_core_0 "12.000000000000002".
- 1068044 cpu_core_0 "12.000000000000002".
- 1068045 cpu_core_0 "12.000000000000002".
- 1068082 cpu_core_0 "12.000000000000002".
- 1068157 cpu_core_0 "12.000000000000002".
- 1068412 cpu_core_0 "12.000000000000002".
- 1068510 cpu_core_0 "12.000000000000002".
- 1068523 cpu_core_0 "12.000000000000002".
- 1068622 cpu_core_0 "12.000000000000002".
- 1068625 cpu_core_0 "12.000000000000002".
- 1068628 cpu_core_0 "12.000000000000002".
- 1068786 cpu_core_0 "12.000000000000002".
- 1068873 cpu_core_0 "12.000000000000002".
- 1068908 cpu_core_0 "12.000000000000002".
- 1068968 cpu_core_0 "12.000000000000002".
- 1068983 cpu_core_0 "12.000000000000002".
- 1068992 cpu_core_0 "12.000000000000002".
- 1069010 cpu_core_0 "12.000000000000002".
- 1069085 cpu_core_0 "12.000000000000002".
- 1069146 cpu_core_0 "12.000000000000002".
- 1069227 cpu_core_0 "12.000000000000002".
- 1069316 cpu_core_0 "12.000000000000002".
- 1069324 cpu_core_0 "12.000000000000002".
- 1069338 cpu_core_0 "12.000000000000002".
- 1069394 cpu_core_0 "12.000000000000002".
- 1069433 cpu_core_0 "12.000000000000002".
- 1069573 cpu_core_0 "12.000000000000002".
- 1069702 cpu_core_0 "12.000000000000002".
- 1069761 cpu_core_0 "12.000000000000002".
- 1069858 cpu_core_0 "12.000000000000002".
- 1069950 cpu_core_0 "12.000000000000002".
- 1069988 cpu_core_0 "12.000000000000002".
- 1070061 cpu_core_0 "12.000000000000002".
- 1070074 cpu_core_0 "12.000000000000002".