Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1070126 cpu_core_0 "12.000000000000002".
- 1070161 cpu_core_0 "12.000000000000002".
- 1070162 cpu_core_0 "12.000000000000002".
- 1070204 cpu_core_0 "12.000000000000002".
- 1070550 cpu_core_0 "12.000000000000002".
- 1070639 cpu_core_0 "12.000000000000002".
- 1070934 cpu_core_0 "12.000000000000002".
- 1070952 cpu_core_0 "12.000000000000002".
- 1071120 cpu_core_0 "12.000000000000002".
- 1071132 cpu_core_0 "12.000000000000002".
- 1071270 cpu_core_0 "12.000000000000002".
- 1071429 cpu_core_0 "12.000000000000002".
- 1071481 cpu_core_0 "12.000000000000002".
- 1071640 cpu_core_0 "12.000000000000002".
- 1071740 cpu_core_0 "12.000000000000002".
- 1071765 cpu_core_0 "12.000000000000002".
- 1071789 cpu_core_0 "12.000000000000002".
- 1071808 cpu_core_0 "12.000000000000002".
- 1071865 cpu_core_0 "12.000000000000002".
- 1071904 cpu_core_0 "12.000000000000002".
- 1072053 cpu_core_0 "12.000000000000002".
- 1072253 cpu_core_0 "12.000000000000002".
- 1072278 cpu_core_0 "12.000000000000002".
- 1072380 cpu_core_0 "12.000000000000002".
- 1072450 cpu_core_0 "12.000000000000002".
- 1072484 cpu_core_0 "12.000000000000002".
- 1072564 cpu_core_0 "12.000000000000002".
- 1072714 cpu_core_0 "12.000000000000002".
- 1072961 cpu_core_0 "12.000000000000002".
- 1073028 cpu_core_0 "12.000000000000002".
- 1073042 cpu_core_0 "12.000000000000002".
- 1073089 cpu_core_0 "12.000000000000002".
- 1073101 cpu_core_0 "12.000000000000002".
- 1073124 cpu_core_0 "12.000000000000002".
- 1073144 cpu_core_0 "12.000000000000002".
- 1073224 cpu_core_0 "12.000000000000002".
- 1073272 cpu_core_0 "12.000000000000002".
- 1073291 cpu_core_0 "12.000000000000002".
- 1073321 cpu_core_0 "12.000000000000002".
- 1073338 cpu_core_0 "12.000000000000002".
- 1073466 cpu_core_0 "12.000000000000002".
- 1073505 cpu_core_0 "12.000000000000002".
- 1073523 cpu_core_0 "12.000000000000002".
- 1073593 cpu_core_0 "12.000000000000002".
- 1073654 cpu_core_0 "12.000000000000002".
- 1073697 cpu_core_0 "12.000000000000002".
- 1073711 cpu_core_0 "12.000000000000002".
- 1073734 cpu_core_0 "12.000000000000002".
- 1073742 cpu_core_0 "12.000000000000002".
- 1073761 cpu_core_0 "12.000000000000002".
- 1073800 cpu_core_0 "12.000000000000002".
- 1073817 cpu_core_0 "12.000000000000002".
- 1073820 cpu_core_0 "12.000000000000002".
- 1073821 cpu_core_0 "12.000000000000002".
- 1073862 cpu_core_0 "12.000000000000002".
- 1074070 cpu_core_0 "12.000000000000002".
- 1074078 cpu_core_0 "12.000000000000002".
- 1074090 cpu_core_0 "12.000000000000002".
- 1074101 cpu_core_0 "12.000000000000002".
- 1074108 cpu_core_0 "12.000000000000002".
- 1074200 cpu_core_0 "12.000000000000002".
- 1074369 cpu_core_0 "12.000000000000002".
- 1074431 cpu_core_0 "12.000000000000002".
- 1074449 cpu_core_0 "12.000000000000002".
- 1074560 cpu_core_0 "12.000000000000002".
- 1074575 cpu_core_0 "12.000000000000002".
- 1074587 cpu_core_0 "12.000000000000002".
- 1074599 cpu_core_0 "12.000000000000002".
- 1074606 cpu_core_0 "12.000000000000002".
- 1074734 cpu_core_0 "12.000000000000002".
- 1074905 cpu_core_0 "12.000000000000002".
- 1074908 cpu_core_0 "12.000000000000002".
- 1074920 cpu_core_0 "12.000000000000002".
- 1074968 cpu_core_0 "12.000000000000002".
- 1075003 cpu_core_0 "12.000000000000002".
- 1075030 cpu_core_0 "12.000000000000002".
- 1075046 cpu_core_0 "12.000000000000002".
- 1075076 cpu_core_0 "12.000000000000002".
- 1075097 cpu_core_0 "12.000000000000002".
- 1075144 cpu_core_0 "12.000000000000002".
- 1075243 cpu_core_0 "12.000000000000002".
- 1075274 cpu_core_0 "12.000000000000002".
- 1075308 cpu_core_0 "12.000000000000002".
- 1075330 cpu_core_0 "12.000000000000002".
- 1075371 cpu_core_0 "12.000000000000002".
- 1075422 cpu_core_0 "12.000000000000002".
- 1075428 cpu_core_0 "12.000000000000002".
- 1075497 cpu_core_0 "12.000000000000002".
- 1075535 cpu_core_0 "12.000000000000002".
- 1075653 cpu_core_0 "12.000000000000002".
- 1075689 cpu_core_0 "12.000000000000002".
- 1075754 cpu_core_0 "12.000000000000002".
- 1075881 cpu_core_0 "12.000000000000002".
- 1075901 cpu_core_0 "12.000000000000002".
- 1075914 cpu_core_0 "12.000000000000002".
- 1075923 cpu_core_0 "12.000000000000002".
- 1076029 cpu_core_0 "12.000000000000002".
- 1076044 cpu_core_0 "12.000000000000002".
- 1076079 cpu_core_0 "12.000000000000002".
- 1076121 cpu_core_0 "12.000000000000002".