Matches in ISWC2014 Benchmark for { ?s ?p 3.9603960396039604. }
- 1028398 cpu_core_0 "3.9603960396039604".
- 1028442 cpu_core_0 "3.9603960396039604".
- 1028508 cpu_core_0 "3.9603960396039604".
- 1028829 cpu_core_0 "3.9603960396039604".
- 1029693 cpu_core_0 "3.9603960396039604".
- 1029941 cpu_core_0 "3.9603960396039604".
- 1030004 cpu_core_0 "3.9603960396039604".
- 1030142 cpu_core_0 "3.9603960396039604".
- 1030460 cpu_core_0 "3.9603960396039604".
- 1030648 cpu_core_0 "3.9603960396039604".
- 1030654 cpu_core_0 "3.9603960396039604".
- 1031457 cpu_core_0 "3.9603960396039604".
- 1031476 cpu_core_0 "3.9603960396039604".
- 1031693 cpu_core_0 "3.9603960396039604".
- 1031859 cpu_core_0 "3.9603960396039604".
- 1031933 cpu_core_0 "3.9603960396039604".
- 1032004 cpu_core_0 "3.9603960396039604".
- 1032238 cpu_core_0 "3.9603960396039604".
- 1032261 cpu_core_0 "3.9603960396039604".
- 1032303 cpu_core_0 "3.9603960396039604".
- 1032478 cpu_core_0 "3.9603960396039604".
- 1032559 cpu_core_0 "3.9603960396039604".
- 1032704 cpu_core_0 "3.9603960396039604".
- 1032887 cpu_core_0 "3.9603960396039604".
- 1033108 cpu_core_0 "3.9603960396039604".
- 1033150 cpu_core_0 "3.9603960396039604".
- 1033566 cpu_core_0 "3.9603960396039604".
- 1033825 cpu_core_0 "3.9603960396039604".
- 1033834 cpu_core_0 "3.9603960396039604".
- 1034103 cpu_core_0 "3.9603960396039604".
- 1034208 cpu_core_0 "3.9603960396039604".
- 1034308 cpu_core_0 "3.9603960396039604".
- 1034367 cpu_core_0 "3.9603960396039604".
- 1034389 cpu_core_0 "3.9603960396039604".
- 1034554 cpu_core_0 "3.9603960396039604".
- 1034675 cpu_core_0 "3.9603960396039604".
- 1034696 cpu_core_0 "3.9603960396039604".
- 1034752 cpu_core_0 "3.9603960396039604".
- 1034782 cpu_core_0 "3.9603960396039604".
- 1034871 cpu_core_0 "3.9603960396039604".
- 1035314 cpu_core_0 "3.9603960396039604".
- 1035435 cpu_core_0 "3.9603960396039604".
- 1035505 cpu_core_0 "3.9603960396039604".
- 1035560 cpu_core_0 "3.9603960396039604".
- 1035859 cpu_core_0 "3.9603960396039604".
- 1035911 cpu_core_0 "3.9603960396039604".
- 1036544 cpu_core_0 "3.9603960396039604".
- 1036721 cpu_core_0 "3.9603960396039604".
- 1036767 cpu_core_0 "3.9603960396039604".
- 1036805 cpu_core_0 "3.9603960396039604".
- 1036898 cpu_core_0 "3.9603960396039604".
- 1037101 cpu_core_0 "3.9603960396039604".
- 1037337 cpu_core_0 "3.9603960396039604".
- 1037561 cpu_core_0 "3.9603960396039604".
- 1038061 cpu_core_0 "3.9603960396039604".
- 1038144 cpu_core_0 "3.9603960396039604".
- 1038176 cpu_core_0 "3.9603960396039604".
- 1038216 cpu_core_0 "3.9603960396039604".
- 1038218 cpu_core_0 "3.9603960396039604".
- 1038377 cpu_core_0 "3.9603960396039604".
- 1038382 cpu_core_0 "3.9603960396039604".
- 1038409 cpu_core_0 "3.9603960396039604".
- 1038417 cpu_core_0 "3.9603960396039604".
- 1038818 cpu_core_0 "3.9603960396039604".
- 1038913 cpu_core_0 "3.9603960396039604".
- 1039102 cpu_core_0 "3.9603960396039604".
- 1039445 cpu_core_0 "3.9603960396039604".
- 1039547 cpu_core_0 "3.9603960396039604".
- 1039691 cpu_core_0 "3.9603960396039604".
- 1039718 cpu_core_0 "3.9603960396039604".
- 1039730 cpu_core_0 "3.9603960396039604".
- 1039754 cpu_core_0 "3.9603960396039604".
- 1039887 cpu_core_0 "3.9603960396039604".
- 1039924 cpu_core_0 "3.9603960396039604".
- 1040082 cpu_core_0 "3.9603960396039604".
- 1040334 cpu_core_0 "3.9603960396039604".
- 1040412 cpu_core_0 "3.9603960396039604".
- 1041156 cpu_core_0 "3.9603960396039604".
- 1041315 cpu_core_0 "3.9603960396039604".
- 1041328 cpu_core_0 "3.9603960396039604".
- 1041341 cpu_core_0 "3.9603960396039604".
- 1041877 cpu_core_0 "3.9603960396039604".
- 10421 cpu_core_0 "3.9603960396039604".
- 1042624 cpu_core_0 "3.9603960396039604".
- 1042744 cpu_core_0 "3.9603960396039604".
- 1042763 cpu_core_0 "3.9603960396039604".
- 1042775 cpu_core_0 "3.9603960396039604".
- 1043011 cpu_core_0 "3.9603960396039604".
- 1043106 cpu_core_0 "3.9603960396039604".
- 1043463 cpu_core_0 "3.9603960396039604".
- 1043660 cpu_core_0 "3.9603960396039604".
- 1043663 cpu_core_0 "3.9603960396039604".
- 1043746 cpu_core_0 "3.9603960396039604".
- 1043836 cpu_core_0 "3.9603960396039604".
- 1044041 cpu_core_0 "3.9603960396039604".
- 1044123 cpu_core_0 "3.9603960396039604".
- 1044626 cpu_core_0 "3.9603960396039604".
- 1044662 cpu_core_0 "3.9603960396039604".
- 1044771 cpu_core_0 "3.9603960396039604".
- 1044989 cpu_core_0 "3.9603960396039604".