Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1106773 cpu_core_0 "12.000000000000002".
- 1106870 cpu_core_0 "12.000000000000002".
- 1106948 cpu_core_0 "12.000000000000002".
- 1107064 cpu_core_0 "12.000000000000002".
- 1107185 cpu_core_0 "12.000000000000002".
- 1107397 cpu_core_0 "12.000000000000002".
- 1107466 cpu_core_0 "12.000000000000002".
- 1107570 cpu_core_0 "12.000000000000002".
- 1107997 cpu_core_0 "12.000000000000002".
- 1108017 cpu_core_0 "12.000000000000002".
- 1108076 cpu_core_0 "12.000000000000002".
- 1108111 cpu_core_0 "12.000000000000002".
- 1108116 cpu_core_0 "12.000000000000002".
- 1108139 cpu_core_0 "12.000000000000002".
- 1108146 cpu_core_0 "12.000000000000002".
- 1108228 cpu_core_0 "12.000000000000002".
- 1108313 cpu_core_0 "12.000000000000002".
- 1108317 cpu_core_0 "12.000000000000002".
- 1108329 cpu_core_0 "12.000000000000002".
- 1108387 cpu_core_0 "12.000000000000002".
- 1108418 cpu_core_0 "12.000000000000002".
- 1108435 cpu_core_0 "12.000000000000002".
- 1108443 cpu_core_0 "12.000000000000002".
- 1108456 cpu_core_0 "12.000000000000002".
- 1108488 cpu_core_0 "12.000000000000002".
- 1108505 cpu_core_0 "12.000000000000002".
- 1108517 cpu_core_0 "12.000000000000002".
- 1108548 cpu_core_0 "12.000000000000002".
- 1108573 cpu_core_0 "12.000000000000002".
- 1108620 cpu_core_0 "12.000000000000002".
- 1108679 cpu_core_0 "12.000000000000002".
- 1108709 cpu_core_0 "12.000000000000002".
- 1108800 cpu_core_0 "12.000000000000002".
- 1108864 cpu_core_0 "12.000000000000002".
- 1108903 cpu_core_0 "12.000000000000002".
- 1108937 cpu_core_0 "12.000000000000002".
- 1108966 cpu_core_0 "12.000000000000002".
- 1109045 cpu_core_0 "12.000000000000002".
- 1109405 cpu_core_0 "12.000000000000002".
- 1109531 cpu_core_0 "12.000000000000002".
- 1109542 cpu_core_0 "12.000000000000002".
- 1109597 cpu_core_0 "12.000000000000002".
- 1109624 cpu_core_0 "12.000000000000002".
- 1109696 cpu_core_0 "12.000000000000002".
- 1109742 cpu_core_0 "12.000000000000002".
- 1109746 cpu_core_0 "12.000000000000002".
- 1109881 cpu_core_0 "12.000000000000002".
- 1109913 cpu_core_0 "12.000000000000002".
- 1110016 cpu_core_0 "12.000000000000002".
- 1110053 cpu_core_0 "12.000000000000002".
- 1110064 cpu_core_0 "12.000000000000002".
- 1110133 cpu_core_0 "12.000000000000002".
- 1110159 cpu_core_0 "12.000000000000002".
- 1110240 cpu_core_0 "12.000000000000002".
- 1110283 cpu_core_0 "12.000000000000002".
- 1110293 cpu_core_0 "12.000000000000002".
- 1110305 cpu_core_0 "12.000000000000002".
- 1110341 cpu_core_0 "12.000000000000002".
- 1110376 cpu_core_0 "12.000000000000002".
- 1110390 cpu_core_0 "12.000000000000002".
- 1110434 cpu_core_0 "12.000000000000002".
- 1110488 cpu_core_0 "12.000000000000002".
- 1110600 cpu_core_0 "12.000000000000002".
- 1110621 cpu_core_0 "12.000000000000002".
- 1110657 cpu_core_0 "12.000000000000002".
- 1110869 cpu_core_0 "12.000000000000002".
- 1110909 cpu_core_0 "12.000000000000002".
- 1110985 cpu_core_0 "12.000000000000002".
- 1111079 cpu_core_0 "12.000000000000002".
- 1111101 cpu_core_0 "12.000000000000002".
- 1111114 cpu_core_0 "12.000000000000002".
- 1111249 cpu_core_0 "12.000000000000002".
- 1111320 cpu_core_0 "12.000000000000002".
- 1111332 cpu_core_0 "12.000000000000002".
- 1111343 cpu_core_0 "12.000000000000002".
- 1111462 cpu_core_0 "12.000000000000002".
- 1111513 cpu_core_0 "12.000000000000002".
- 1111599 cpu_core_0 "12.000000000000002".
- 1111625 cpu_core_0 "12.000000000000002".
- 1111794 cpu_core_0 "12.000000000000002".
- 1111864 cpu_core_0 "12.000000000000002".
- 1111945 cpu_core_0 "12.000000000000002".
- 1112098 cpu_core_0 "12.000000000000002".
- 1112149 cpu_core_0 "12.000000000000002".
- 1112173 cpu_core_0 "12.000000000000002".
- 1112230 cpu_core_0 "12.000000000000002".
- 1112330 cpu_core_0 "12.000000000000002".
- 1112348 cpu_core_0 "12.000000000000002".
- 1112349 cpu_core_0 "12.000000000000002".
- 1112426 cpu_core_0 "12.000000000000002".
- 1112529 cpu_core_0 "12.000000000000002".
- 1112757 cpu_core_0 "12.000000000000002".
- 1112883 cpu_core_0 "12.000000000000002".
- 1112886 cpu_core_0 "12.000000000000002".
- 1113001 cpu_core_0 "12.000000000000002".
- 1113106 cpu_core_0 "12.000000000000002".
- 1113235 cpu_core_0 "12.000000000000002".
- 1113838 cpu_core_0 "12.000000000000002".
- 1113918 cpu_core_0 "12.000000000000002".
- 1113925 cpu_core_0 "12.000000000000002".