Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1000021 cpu_core_0 "25.742574257425744".
- 1002340 cpu_core_0 "25.742574257425744".
- 1004031 cpu_core_0 "25.742574257425744".
- 1007284 cpu_core_0 "25.742574257425744".
- 1007670 cpu_core_0 "25.742574257425744".
- 1008948 cpu_core_0 "25.742574257425744".
- 1009079 cpu_core_0 "25.742574257425744".
- 1009201 cpu_core_0 "25.742574257425744".
- 1009563 cpu_core_0 "25.742574257425744".
- 1009634 cpu_core_0 "25.742574257425744".
- 1009845 cpu_core_0 "25.742574257425744".
- 1010101 cpu_core_0 "25.742574257425744".
- 1010258 cpu_core_0 "25.742574257425744".
- 1010328 cpu_core_0 "25.742574257425744".
- 1010639 cpu_core_0 "25.742574257425744".
- 1010837 cpu_core_0 "25.742574257425744".
- 1012074 cpu_core_0 "25.742574257425744".
- 1012548 cpu_core_0 "25.742574257425744".
- 1015301 cpu_core_0 "25.742574257425744".
- 1016356 cpu_core_0 "25.742574257425744".
- 1017815 cpu_core_0 "25.742574257425744".
- 1018551 cpu_core_0 "25.742574257425744".
- 1019183 cpu_core_0 "25.742574257425744".
- 1020387 cpu_core_0 "25.742574257425744".
- 1020399 cpu_core_0 "25.742574257425744".
- 1022308 cpu_core_0 "25.742574257425744".
- 1023339 cpu_core_0 "25.742574257425744".
- 1023829 cpu_core_0 "25.742574257425744".
- 1025996 cpu_core_0 "25.742574257425744".
- 1026040 cpu_core_0 "25.742574257425744".
- 1029172 cpu_core_0 "25.742574257425744".
- 1029485 cpu_core_0 "25.742574257425744".
- 1030027 cpu_core_0 "25.742574257425744".
- 1034989 cpu_core_0 "25.742574257425744".
- 1035127 cpu_core_0 "25.742574257425744".
- 1035357 cpu_core_0 "25.742574257425744".
- 1036214 cpu_core_0 "25.742574257425744".
- 1036219 cpu_core_0 "25.742574257425744".
- 1036812 cpu_core_0 "25.742574257425744".
- 1036952 cpu_core_0 "25.742574257425744".
- 1037401 cpu_core_0 "25.742574257425744".
- 1037703 cpu_core_0 "25.742574257425744".
- 1038617 cpu_core_0 "25.742574257425744".
- 1038839 cpu_core_0 "25.742574257425744".
- 1040571 cpu_core_0 "25.742574257425744".
- 1040911 cpu_core_0 "25.742574257425744".
- 1042081 cpu_core_0 "25.742574257425744".
- 1043361 cpu_core_0 "25.742574257425744".
- 1043862 cpu_core_0 "25.742574257425744".
- 1045330 cpu_core_0 "25.742574257425744".
- 1045635 cpu_core_0 "25.742574257425744".
- 1045654 cpu_core_0 "25.742574257425744".
- 1046267 cpu_core_0 "25.742574257425744".
- 1047338 cpu_core_0 "25.742574257425744".
- 1048488 cpu_core_0 "25.742574257425744".
- 1048593 cpu_core_0 "25.742574257425744".
- 1049858 cpu_core_0 "25.742574257425744".
- 1049933 cpu_core_0 "25.742574257425744".
- 1049957 cpu_core_0 "25.742574257425744".
- 1051103 cpu_core_0 "25.742574257425744".
- 1051281 cpu_core_0 "25.742574257425744".
- 1055173 cpu_core_0 "25.742574257425744".
- 1055648 cpu_core_0 "25.742574257425744".
- 1057406 cpu_core_0 "25.742574257425744".
- 1057745 cpu_core_0 "25.742574257425744".
- 1057915 cpu_core_0 "25.742574257425744".
- 1057996 cpu_core_0 "25.742574257425744".
- 1060474 cpu_core_0 "25.742574257425744".
- 1060758 cpu_core_0 "25.742574257425744".
- 1061067 cpu_core_0 "25.742574257425744".
- 1061649 cpu_core_0 "25.742574257425744".
- 1063242 cpu_core_0 "25.742574257425744".
- 1063464 cpu_core_0 "25.742574257425744".
- 1063772 cpu_core_0 "25.742574257425744".
- 1063783 cpu_core_0 "25.742574257425744".
- 1065950 cpu_core_0 "25.742574257425744".
- 1066069 cpu_core_0 "25.742574257425744".
- 1066787 cpu_core_0 "25.742574257425744".
- 1067751 cpu_core_0 "25.742574257425744".
- 1070417 cpu_core_0 "25.742574257425744".
- 1070531 cpu_core_0 "25.742574257425744".
- 1071403 cpu_core_0 "25.742574257425744".
- 1071526 cpu_core_0 "25.742574257425744".
- 1071754 cpu_core_0 "25.742574257425744".
- 1072683 cpu_core_0 "25.742574257425744".
- 1074047 cpu_core_0 "25.742574257425744".
- 1074650 cpu_core_0 "25.742574257425744".
- 1074819 cpu_core_0 "25.742574257425744".
- 1075480 cpu_core_0 "25.742574257425744".
- 1076094 cpu_core_0 "25.742574257425744".
- 1076220 cpu_core_0 "25.742574257425744".
- 1076620 cpu_core_0 "25.742574257425744".
- 1076957 cpu_core_0 "25.742574257425744".
- 1077101 cpu_core_0 "25.742574257425744".
- 1077412 cpu_core_0 "25.742574257425744".
- 1077428 cpu_core_0 "25.742574257425744".
- 1077465 cpu_core_0 "25.742574257425744".
- 1077856 cpu_core_0 "25.742574257425744".
- 1077932 cpu_core_0 "25.742574257425744".
- 1079592 cpu_core_0 "25.742574257425744".