Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1034767 cpu_core_0 "12.000000000000002".
- 1034791 cpu_core_0 "12.000000000000002".
- 1034835 cpu_core_0 "12.000000000000002".
- 1034850 cpu_core_0 "12.000000000000002".
- 1034877 cpu_core_0 "12.000000000000002".
- 1034982 cpu_core_0 "12.000000000000002".
- 1035089 cpu_core_0 "12.000000000000002".
- 1035098 cpu_core_0 "12.000000000000002".
- 1035143 cpu_core_0 "12.000000000000002".
- 1035212 cpu_core_0 "12.000000000000002".
- 1035237 cpu_core_0 "12.000000000000002".
- 1035241 cpu_core_0 "12.000000000000002".
- 1035260 cpu_core_0 "12.000000000000002".
- 1035382 cpu_core_0 "12.000000000000002".
- 1035383 cpu_core_0 "12.000000000000002".
- 1035390 cpu_core_0 "12.000000000000002".
- 1035659 cpu_core_0 "12.000000000000002".
- 1035662 cpu_core_0 "12.000000000000002".
- 1035677 cpu_core_0 "12.000000000000002".
- 1035700 cpu_core_0 "12.000000000000002".
- 1035709 cpu_core_0 "12.000000000000002".
- 1035724 cpu_core_0 "12.000000000000002".
- 1035750 cpu_core_0 "12.000000000000002".
- 1035754 cpu_core_0 "12.000000000000002".
- 1035798 cpu_core_0 "12.000000000000002".
- 1035896 cpu_core_0 "12.000000000000002".
- 1035918 cpu_core_0 "12.000000000000002".
- 1035967 cpu_core_0 "12.000000000000002".
- 1036049 cpu_core_0 "12.000000000000002".
- 1036097 cpu_core_0 "12.000000000000002".
- 1036170 cpu_core_0 "12.000000000000002".
- 1036177 cpu_core_0 "12.000000000000002".
- 1036193 cpu_core_0 "12.000000000000002".
- 1036317 cpu_core_0 "12.000000000000002".
- 1036337 cpu_core_0 "12.000000000000002".
- 1036515 cpu_core_0 "12.000000000000002".
- 1036765 cpu_core_0 "12.000000000000002".
- 1036806 cpu_core_0 "12.000000000000002".
- 1037187 cpu_core_0 "12.000000000000002".
- 1037364 cpu_core_0 "12.000000000000002".
- 1037399 cpu_core_0 "12.000000000000002".
- 1037417 cpu_core_0 "12.000000000000002".
- 1037433 cpu_core_0 "12.000000000000002".
- 1037560 cpu_core_0 "12.000000000000002".
- 1037660 cpu_core_0 "12.000000000000002".
- 1037772 cpu_core_0 "12.000000000000002".
- 1037892 cpu_core_0 "12.000000000000002".
- 1037912 cpu_core_0 "12.000000000000002".
- 1038030 cpu_core_0 "12.000000000000002".
- 1038084 cpu_core_0 "12.000000000000002".
- 1038090 cpu_core_0 "12.000000000000002".
- 1038094 cpu_core_0 "12.000000000000002".
- 1038188 cpu_core_0 "12.000000000000002".
- 1038318 cpu_core_0 "12.000000000000002".
- 1038592 cpu_core_0 "12.000000000000002".
- 1038723 cpu_core_0 "12.000000000000002".
- 1038732 cpu_core_0 "12.000000000000002".
- 1038761 cpu_core_0 "12.000000000000002".
- 1038769 cpu_core_0 "12.000000000000002".
- 1038860 cpu_core_0 "12.000000000000002".
- 1038886 cpu_core_0 "12.000000000000002".
- 1038960 cpu_core_0 "12.000000000000002".
- 1038973 cpu_core_0 "12.000000000000002".
- 1039046 cpu_core_0 "12.000000000000002".
- 1039170 cpu_core_0 "12.000000000000002".
- 1039181 cpu_core_0 "12.000000000000002".
- 1039197 cpu_core_0 "12.000000000000002".
- 1039201 cpu_core_0 "12.000000000000002".
- 1039242 cpu_core_0 "12.000000000000002".
- 1039253 cpu_core_0 "12.000000000000002".
- 1039314 cpu_core_0 "12.000000000000002".
- 1039322 cpu_core_0 "12.000000000000002".
- 1039520 cpu_core_0 "12.000000000000002".
- 1039537 cpu_core_0 "12.000000000000002".
- 1039575 cpu_core_0 "12.000000000000002".
- 1039641 cpu_core_0 "12.000000000000002".
- 1039663 cpu_core_0 "12.000000000000002".
- 1039734 cpu_core_0 "12.000000000000002".
- 1039835 cpu_core_0 "12.000000000000002".
- 1039948 cpu_core_0 "12.000000000000002".
- 1040048 cpu_core_0 "12.000000000000002".
- 1040095 cpu_core_0 "12.000000000000002".
- 1040156 cpu_core_0 "12.000000000000002".
- 1040166 cpu_core_0 "12.000000000000002".
- 1040195 cpu_core_0 "12.000000000000002".
- 1040204 cpu_core_0 "12.000000000000002".
- 1040484 cpu_core_0 "12.000000000000002".
- 1040490 cpu_core_0 "12.000000000000002".
- 1040534 cpu_core_0 "12.000000000000002".
- 1040556 cpu_core_0 "12.000000000000002".
- 1040625 cpu_core_0 "12.000000000000002".
- 1040662 cpu_core_0 "12.000000000000002".
- 1040840 cpu_core_0 "12.000000000000002".
- 1040873 cpu_core_0 "12.000000000000002".
- 1040997 cpu_core_0 "12.000000000000002".
- 1041042 cpu_core_0 "12.000000000000002".
- 1041119 cpu_core_0 "12.000000000000002".
- 1041231 cpu_core_0 "12.000000000000002".
- 1041242 cpu_core_0 "12.000000000000002".
- 1041279 cpu_core_0 "12.000000000000002".