Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1021730 cpu_core_0 "12.000000000000002".
- 1021766 cpu_core_0 "12.000000000000002".
- 1021768 cpu_core_0 "12.000000000000002".
- 1021818 cpu_core_0 "12.000000000000002".
- 1021896 cpu_core_0 "12.000000000000002".
- 1021944 cpu_core_0 "12.000000000000002".
- 1021963 cpu_core_0 "12.000000000000002".
- 1022124 cpu_core_0 "12.000000000000002".
- 1022131 cpu_core_0 "12.000000000000002".
- 1022266 cpu_core_0 "12.000000000000002".
- 1022271 cpu_core_0 "12.000000000000002".
- 1022310 cpu_core_0 "12.000000000000002".
- 1022480 cpu_core_0 "12.000000000000002".
- 1022502 cpu_core_0 "12.000000000000002".
- 1022512 cpu_core_0 "12.000000000000002".
- 1022777 cpu_core_0 "12.000000000000002".
- 1022878 cpu_core_0 "12.000000000000002".
- 1022882 cpu_core_0 "12.000000000000002".
- 1022973 cpu_core_0 "12.000000000000002".
- 1023027 cpu_core_0 "12.000000000000002".
- 1023035 cpu_core_0 "12.000000000000002".
- 1023127 cpu_core_0 "12.000000000000002".
- 1023219 cpu_core_0 "12.000000000000002".
- 1023263 cpu_core_0 "12.000000000000002".
- 1023328 cpu_core_0 "12.000000000000002".
- 1023361 cpu_core_0 "12.000000000000002".
- 1023406 cpu_core_0 "12.000000000000002".
- 1023414 cpu_core_0 "12.000000000000002".
- 1023447 cpu_core_0 "12.000000000000002".
- 1023475 cpu_core_0 "12.000000000000002".
- 1023644 cpu_core_0 "12.000000000000002".
- 1023806 cpu_core_0 "12.000000000000002".
- 1023833 cpu_core_0 "12.000000000000002".
- 1023932 cpu_core_0 "12.000000000000002".
- 1023987 cpu_core_0 "12.000000000000002".
- 1024093 cpu_core_0 "12.000000000000002".
- 1024330 cpu_core_0 "12.000000000000002".
- 1024612 cpu_core_0 "12.000000000000002".
- 1024942 cpu_core_0 "12.000000000000002".
- 1024974 cpu_core_0 "12.000000000000002".
- 1025011 cpu_core_0 "12.000000000000002".
- 1025033 cpu_core_0 "12.000000000000002".
- 1025117 cpu_core_0 "12.000000000000002".
- 1025128 cpu_core_0 "12.000000000000002".
- 1025191 cpu_core_0 "12.000000000000002".
- 1025319 cpu_core_0 "12.000000000000002".
- 1025362 cpu_core_0 "12.000000000000002".
- 1025443 cpu_core_0 "12.000000000000002".
- 1025496 cpu_core_0 "12.000000000000002".
- 1025498 cpu_core_0 "12.000000000000002".
- 1025551 cpu_core_0 "12.000000000000002".
- 1025637 cpu_core_0 "12.000000000000002".
- 1025646 cpu_core_0 "12.000000000000002".
- 1025665 cpu_core_0 "12.000000000000002".
- 1025839 cpu_core_0 "12.000000000000002".
- 1025889 cpu_core_0 "12.000000000000002".
- 1025910 cpu_core_0 "12.000000000000002".
- 1025988 cpu_core_0 "12.000000000000002".
- 1026049 cpu_core_0 "12.000000000000002".
- 1026357 cpu_core_0 "12.000000000000002".
- 1026530 cpu_core_0 "12.000000000000002".
- 1027002 cpu_core_0 "12.000000000000002".
- 1027042 cpu_core_0 "12.000000000000002".
- 1027140 cpu_core_0 "12.000000000000002".
- 1027158 cpu_core_0 "12.000000000000002".
- 1027175 cpu_core_0 "12.000000000000002".
- 1027218 cpu_core_0 "12.000000000000002".
- 1027317 cpu_core_0 "12.000000000000002".
- 1027327 cpu_core_0 "12.000000000000002".
- 1027333 cpu_core_0 "12.000000000000002".
- 1027344 cpu_core_0 "12.000000000000002".
- 1027383 cpu_core_0 "12.000000000000002".
- 1027422 cpu_core_0 "12.000000000000002".
- 1027488 cpu_core_0 "12.000000000000002".
- 1027491 cpu_core_0 "12.000000000000002".
- 1027530 cpu_core_0 "12.000000000000002".
- 1027566 cpu_core_0 "12.000000000000002".
- 1027621 cpu_core_0 "12.000000000000002".
- 1027652 cpu_core_0 "12.000000000000002".
- 1027655 cpu_core_0 "12.000000000000002".
- 1027748 cpu_core_0 "12.000000000000002".
- 1027806 cpu_core_0 "12.000000000000002".
- 1027815 cpu_core_0 "12.000000000000002".
- 1027943 cpu_core_0 "12.000000000000002".
- 1027982 cpu_core_0 "12.000000000000002".
- 1028006 cpu_core_0 "12.000000000000002".
- 1028044 cpu_core_0 "12.000000000000002".
- 1028115 cpu_core_0 "12.000000000000002".
- 1028231 cpu_core_0 "12.000000000000002".
- 1028284 cpu_core_0 "12.000000000000002".
- 1028286 cpu_core_0 "12.000000000000002".
- 1028352 cpu_core_0 "12.000000000000002".
- 1028499 cpu_core_0 "12.000000000000002".
- 1028623 cpu_core_0 "12.000000000000002".
- 1028632 cpu_core_0 "12.000000000000002".
- 1028655 cpu_core_0 "12.000000000000002".
- 1028729 cpu_core_0 "12.000000000000002".
- 1028811 cpu_core_0 "12.000000000000002".
- 1028818 cpu_core_0 "12.000000000000002".
- 1028849 cpu_core_0 "12.000000000000002".