Matches in ISWC2014 Benchmark for { ?s ?p 3.9215686274509802. }
- 1015972 cpu_core_0 "3.9215686274509802".
- 1016101 cpu_core_0 "3.9215686274509802".
- 1016693 cpu_core_0 "3.9215686274509802".
- 1016933 cpu_core_0 "3.9215686274509802".
- 1018113 cpu_core_0 "3.9215686274509802".
- 1018479 cpu_core_0 "3.9215686274509802".
- 1020183 cpu_core_0 "3.9215686274509802".
- 1021327 cpu_core_0 "3.9215686274509802".
- 1021570 cpu_core_0 "3.9215686274509802".
- 1022249 cpu_core_0 "3.9215686274509802".
- 1022797 cpu_core_0 "3.9215686274509802".
- 1023536 cpu_core_0 "3.9215686274509802".
- 1023651 cpu_core_0 "3.9215686274509802".
- 1023738 cpu_core_0 "3.9215686274509802".
- 1023940 cpu_core_0 "3.9215686274509802".
- 1024121 cpu_core_0 "3.9215686274509802".
- 1024678 cpu_core_0 "3.9215686274509802".
- 1025008 cpu_core_0 "3.9215686274509802".
- 1025383 cpu_core_0 "3.9215686274509802".
- 1025669 cpu_core_0 "3.9215686274509802".
- 1025848 cpu_core_0 "3.9215686274509802".
- 1025894 cpu_core_0 "3.9215686274509802".
- 1026545 cpu_core_0 "3.9215686274509802".
- 1027438 cpu_core_0 "3.9215686274509802".
- 1028201 cpu_core_0 "3.9215686274509802".
- 1029629 cpu_core_0 "3.9215686274509802".
- 1029717 cpu_core_0 "3.9215686274509802".
- 1029953 cpu_core_0 "3.9215686274509802".
- 1031043 cpu_core_0 "3.9215686274509802".
- 1032256 cpu_core_0 "3.9215686274509802".
- 1032414 cpu_core_0 "3.9215686274509802".
- 1032416 cpu_core_0 "3.9215686274509802".
- 1032595 cpu_core_0 "3.9215686274509802".
- 1033750 cpu_core_0 "3.9215686274509802".
- 1033764 cpu_core_0 "3.9215686274509802".
- 1035151 cpu_core_0 "3.9215686274509802".
- 1035772 cpu_core_0 "3.9215686274509802".
- 1038166 cpu_core_0 "3.9215686274509802".
- 1039112 cpu_core_0 "3.9215686274509802".
- 1039850 cpu_core_0 "3.9215686274509802".
- 1041758 cpu_core_0 "3.9215686274509802".
- 1042156 cpu_core_0 "3.9215686274509802".
- 1043269 cpu_core_0 "3.9215686274509802".
- 1043434 cpu_core_0 "3.9215686274509802".
- 1043503 cpu_core_0 "3.9215686274509802".
- 1046045 cpu_core_0 "3.9215686274509802".
- 1048119 cpu_core_0 "3.9215686274509802".
- 1048324 cpu_core_0 "3.9215686274509802".
- 1048521 cpu_core_0 "3.9215686274509802".
- 1048891 cpu_core_0 "3.9215686274509802".
- 1048914 cpu_core_0 "3.9215686274509802".
- 1049603 cpu_core_0 "3.9215686274509802".
- 1049649 cpu_core_0 "3.9215686274509802".
- 1049906 cpu_core_0 "3.9215686274509802".
- 1050084 cpu_core_0 "3.9215686274509802".
- 1050747 cpu_core_0 "3.9215686274509802".
- 1051682 cpu_core_0 "3.9215686274509802".
- 1051881 cpu_core_0 "3.9215686274509802".
- 1051929 cpu_core_0 "3.9215686274509802".
- 1054150 cpu_core_0 "3.9215686274509802".
- 1055369 cpu_core_0 "3.9215686274509802".
- 1058282 cpu_core_0 "3.9215686274509802".
- 1058545 cpu_core_0 "3.9215686274509802".
- 1059177 cpu_core_0 "3.9215686274509802".
- 1059412 cpu_core_0 "3.9215686274509802".
- 1059717 cpu_core_0 "3.9215686274509802".
- 1061479 cpu_core_0 "3.9215686274509802".
- 1061791 cpu_core_0 "3.9215686274509802".
- 1062320 cpu_core_0 "3.9215686274509802".
- 1063960 cpu_core_0 "3.9215686274509802".
- 1064064 cpu_core_0 "3.9215686274509802".
- 1064450 cpu_core_0 "3.9215686274509802".
- 1064668 cpu_core_0 "3.9215686274509802".
- 1066454 cpu_core_0 "3.9215686274509802".
- 1067298 cpu_core_0 "3.9215686274509802".
- 1068310 cpu_core_0 "3.9215686274509802".
- 1070231 cpu_core_0 "3.9215686274509802".
- 1070250 cpu_core_0 "3.9215686274509802".
- 1070575 cpu_core_0 "3.9215686274509802".
- 1070809 cpu_core_0 "3.9215686274509802".
- 1071035 cpu_core_0 "3.9215686274509802".
- 1071238 cpu_core_0 "3.9215686274509802".
- 1072543 cpu_core_0 "3.9215686274509802".
- 1074843 cpu_core_0 "3.9215686274509802".
- 1075117 cpu_core_0 "3.9215686274509802".
- 1075767 cpu_core_0 "3.9215686274509802".
- 1076743 cpu_core_0 "3.9215686274509802".
- 1077512 cpu_core_0 "3.9215686274509802".
- 1078941 cpu_core_0 "3.9215686274509802".
- 1079829 cpu_core_0 "3.9215686274509802".
- 1080782 cpu_core_0 "3.9215686274509802".
- 1081384 cpu_core_0 "3.9215686274509802".
- 1082576 cpu_core_0 "3.9215686274509802".
- 1083115 cpu_core_0 "3.9215686274509802".
- 1083296 cpu_core_0 "3.9215686274509802".
- 1085090 cpu_core_0 "3.9215686274509802".
- 1085299 cpu_core_0 "3.9215686274509802".
- 1085523 cpu_core_0 "3.9215686274509802".
- 1086532 cpu_core_0 "3.9215686274509802".
- 1087772 cpu_core_0 "3.9215686274509802".