Matches in ISWC2014 Benchmark for { ?s ?p 12.371134020618557. }
- 1925140 cpu_core_0 "12.371134020618557".
- 1925235 cpu_core_0 "12.371134020618557".
- 1925547 cpu_core_0 "12.371134020618557".
- 1925583 cpu_core_0 "12.371134020618557".
- 1925733 cpu_core_0 "12.371134020618557".
- 1925827 cpu_core_0 "12.371134020618557".
- 1925949 cpu_core_0 "12.371134020618557".
- 1926057 cpu_core_0 "12.371134020618557".
- 1926077 cpu_core_0 "12.371134020618557".
- 1926180 cpu_core_0 "12.371134020618557".
- 1926310 cpu_core_0 "12.371134020618557".
- 1926446 cpu_core_0 "12.371134020618557".
- 1926917 cpu_core_0 "12.371134020618557".
- 1926934 cpu_core_0 "12.371134020618557".
- 1927136 cpu_core_0 "12.371134020618557".
- 1927290 cpu_core_0 "12.371134020618557".
- 1927576 cpu_core_0 "12.371134020618557".
- 218771 cpu_core_0 "12.371134020618557".
- 218777 cpu_core_0 "12.371134020618557".
- 222720 cpu_core_0 "12.371134020618557".
- 222761 cpu_core_0 "12.371134020618557".
- 248018 cpu_core_0 "12.371134020618557".
- 285720 cpu_core_0 "12.371134020618557".
- 285798 cpu_core_0 "12.371134020618557".
- 294893 cpu_core_0 "12.371134020618557".
- 303520 cpu_core_0 "12.371134020618557".
- 305230 cpu_core_0 "12.371134020618557".
- 363938 cpu_core_0 "12.371134020618557".
- 406622 cpu_core_0 "12.371134020618557".
- 514941 cpu_core_0 "12.371134020618557".
- 515328 cpu_core_0 "12.371134020618557".
- 515493 cpu_core_0 "12.371134020618557".
- 515911 cpu_core_0 "12.371134020618557".
- 516848 cpu_core_0 "12.371134020618557".
- 517678 cpu_core_0 "12.371134020618557".
- 600704 cpu_core_0 "12.371134020618557".
- 602056 cpu_core_0 "12.371134020618557".
- 659965 cpu_core_0 "12.371134020618557".
- 700520 cpu_core_0 "12.371134020618557".
- 702148 cpu_core_0 "12.371134020618557".
- 702185 cpu_core_0 "12.371134020618557".
- 702191 cpu_core_0 "12.371134020618557".
- 702562 cpu_core_0 "12.371134020618557".
- 791459 cpu_core_0 "12.371134020618557".
- 792508 cpu_core_0 "12.371134020618557".
- 795555 cpu_core_0 "12.371134020618557".
- 796243 cpu_core_0 "12.371134020618557".
- 796295 cpu_core_0 "12.371134020618557".
- 796646 cpu_core_0 "12.371134020618557".
- 796653 cpu_core_0 "12.371134020618557".
- 796664 cpu_core_0 "12.371134020618557".
- 796852 cpu_core_0 "12.371134020618557".
- 796913 cpu_core_0 "12.371134020618557".
- 903603 cpu_core_0 "12.371134020618557".
- 903784 cpu_core_0 "12.371134020618557".
- 909377 cpu_core_0 "12.371134020618557".
- 909598 cpu_core_0 "12.371134020618557".
- 909843 cpu_core_0 "12.371134020618557".
- 909879 cpu_core_0 "12.371134020618557".
- 909965 cpu_core_0 "12.371134020618557".
- 910160 cpu_core_0 "12.371134020618557".
- 910165 cpu_core_0 "12.371134020618557".
- 990692 cpu_core_0 "12.371134020618557".
- 993160 cpu_core_0 "12.371134020618557".
- 993193 cpu_core_0 "12.371134020618557".
- 1011449 cpu_core_1 "12.371134020618557".
- 1011662 cpu_core_1 "12.371134020618557".
- 1011719 cpu_core_1 "12.371134020618557".
- 1011951 cpu_core_1 "12.371134020618557".
- 1011987 cpu_core_1 "12.371134020618557".
- 1012057 cpu_core_1 "12.371134020618557".
- 1012069 cpu_core_1 "12.371134020618557".
- 1012135 cpu_core_1 "12.371134020618557".
- 1012218 cpu_core_1 "12.371134020618557".
- 1012378 cpu_core_1 "12.371134020618557".
- 1012401 cpu_core_1 "12.371134020618557".
- 1012436 cpu_core_1 "12.371134020618557".
- 1012478 cpu_core_1 "12.371134020618557".
- 1012621 cpu_core_1 "12.371134020618557".
- 1012658 cpu_core_1 "12.371134020618557".
- 1012688 cpu_core_1 "12.371134020618557".
- 1012708 cpu_core_1 "12.371134020618557".
- 1012735 cpu_core_1 "12.371134020618557".
- 1012796 cpu_core_1 "12.371134020618557".
- 1012911 cpu_core_1 "12.371134020618557".
- 1012932 cpu_core_1 "12.371134020618557".
- 1013004 cpu_core_1 "12.371134020618557".
- 1013019 cpu_core_1 "12.371134020618557".
- 1013030 cpu_core_1 "12.371134020618557".
- 1013115 cpu_core_1 "12.371134020618557".
- 1013174 cpu_core_1 "12.371134020618557".
- 1013197 cpu_core_1 "12.371134020618557".
- 1013380 cpu_core_1 "12.371134020618557".
- 1013381 cpu_core_1 "12.371134020618557".
- 1019028 cpu_core_1 "12.371134020618557".
- 1213504 cpu_core_1 "12.371134020618557".
- 1217838 cpu_core_1 "12.371134020618557".
- 1236667 cpu_core_1 "12.371134020618557".
- 1408221 cpu_core_1 "12.371134020618557".
- 1673805 cpu_core_1 "12.371134020618557".