Matches in ISWC2014 Benchmark for { ?s ?p 7.8431372549019605. }
- 1005466 cpu_core_0 "7.8431372549019605".
- 1016762 cpu_core_0 "7.8431372549019605".
- 1021441 cpu_core_0 "7.8431372549019605".
- 1022068 cpu_core_0 "7.8431372549019605".
- 1023823 cpu_core_0 "7.8431372549019605".
- 1023937 cpu_core_0 "7.8431372549019605".
- 1024770 cpu_core_0 "7.8431372549019605".
- 1025742 cpu_core_0 "7.8431372549019605".
- 1025761 cpu_core_0 "7.8431372549019605".
- 1026298 cpu_core_0 "7.8431372549019605".
- 1029085 cpu_core_0 "7.8431372549019605".
- 1030693 cpu_core_0 "7.8431372549019605".
- 1032503 cpu_core_0 "7.8431372549019605".
- 1032798 cpu_core_0 "7.8431372549019605".
- 1032936 cpu_core_0 "7.8431372549019605".
- 1036443 cpu_core_0 "7.8431372549019605".
- 1036585 cpu_core_0 "7.8431372549019605".
- 1037700 cpu_core_0 "7.8431372549019605".
- 1038948 cpu_core_0 "7.8431372549019605".
- 1039100 cpu_core_0 "7.8431372549019605".
- 1039671 cpu_core_0 "7.8431372549019605".
- 1041645 cpu_core_0 "7.8431372549019605".
- 1042972 cpu_core_0 "7.8431372549019605".
- 1047921 cpu_core_0 "7.8431372549019605".
- 1050949 cpu_core_0 "7.8431372549019605".
- 1051711 cpu_core_0 "7.8431372549019605".
- 1051897 cpu_core_0 "7.8431372549019605".
- 1052710 cpu_core_0 "7.8431372549019605".
- 1053409 cpu_core_0 "7.8431372549019605".
- 1055287 cpu_core_0 "7.8431372549019605".
- 1057075 cpu_core_0 "7.8431372549019605".
- 1058451 cpu_core_0 "7.8431372549019605".
- 1058871 cpu_core_0 "7.8431372549019605".
- 1061966 cpu_core_0 "7.8431372549019605".
- 1064140 cpu_core_0 "7.8431372549019605".
- 1064645 cpu_core_0 "7.8431372549019605".
- 1065326 cpu_core_0 "7.8431372549019605".
- 1067707 cpu_core_0 "7.8431372549019605".
- 1067878 cpu_core_0 "7.8431372549019605".
- 1068206 cpu_core_0 "7.8431372549019605".
- 1069195 cpu_core_0 "7.8431372549019605".
- 1069733 cpu_core_0 "7.8431372549019605".
- 1070927 cpu_core_0 "7.8431372549019605".
- 1073843 cpu_core_0 "7.8431372549019605".
- 1074702 cpu_core_0 "7.8431372549019605".
- 1074953 cpu_core_0 "7.8431372549019605".
- 1075505 cpu_core_0 "7.8431372549019605".
- 1076612 cpu_core_0 "7.8431372549019605".
- 1077902 cpu_core_0 "7.8431372549019605".
- 1080868 cpu_core_0 "7.8431372549019605".
- 1083322 cpu_core_0 "7.8431372549019605".
- 1085009 cpu_core_0 "7.8431372549019605".
- 1085217 cpu_core_0 "7.8431372549019605".
- 1087380 cpu_core_0 "7.8431372549019605".
- 1088252 cpu_core_0 "7.8431372549019605".
- 1093552 cpu_core_0 "7.8431372549019605".
- 1096716 cpu_core_0 "7.8431372549019605".
- 1098031 cpu_core_0 "7.8431372549019605".
- 1098190 cpu_core_0 "7.8431372549019605".
- 1099595 cpu_core_0 "7.8431372549019605".
- 1099795 cpu_core_0 "7.8431372549019605".
- 1100283 cpu_core_0 "7.8431372549019605".
- 1100830 cpu_core_0 "7.8431372549019605".
- 1102546 cpu_core_0 "7.8431372549019605".
- 1102564 cpu_core_0 "7.8431372549019605".
- 1105853 cpu_core_0 "7.8431372549019605".
- 1105916 cpu_core_0 "7.8431372549019605".
- 1106858 cpu_core_0 "7.8431372549019605".
- 1108854 cpu_core_0 "7.8431372549019605".
- 1109631 cpu_core_0 "7.8431372549019605".
- 1112043 cpu_core_0 "7.8431372549019605".
- 1112088 cpu_core_0 "7.8431372549019605".
- 1114126 cpu_core_0 "7.8431372549019605".
- 1114921 cpu_core_0 "7.8431372549019605".
- 1117965 cpu_core_0 "7.8431372549019605".
- 1118000 cpu_core_0 "7.8431372549019605".
- 1120184 cpu_core_0 "7.8431372549019605".
- 1120293 cpu_core_0 "7.8431372549019605".
- 1120296 cpu_core_0 "7.8431372549019605".
- 1120329 cpu_core_0 "7.8431372549019605".
- 1120822 cpu_core_0 "7.8431372549019605".
- 1121866 cpu_core_0 "7.8431372549019605".
- 1123050 cpu_core_0 "7.8431372549019605".
- 1124154 cpu_core_0 "7.8431372549019605".
- 1126158 cpu_core_0 "7.8431372549019605".
- 1126916 cpu_core_0 "7.8431372549019605".
- 1127501 cpu_core_0 "7.8431372549019605".
- 1129135 cpu_core_0 "7.8431372549019605".
- 1129793 cpu_core_0 "7.8431372549019605".
- 1131193 cpu_core_0 "7.8431372549019605".
- 1131451 cpu_core_0 "7.8431372549019605".
- 1132083 cpu_core_0 "7.8431372549019605".
- 1132673 cpu_core_0 "7.8431372549019605".
- 1136313 cpu_core_0 "7.8431372549019605".
- 1136401 cpu_core_0 "7.8431372549019605".
- 1137252 cpu_core_0 "7.8431372549019605".
- 1137271 cpu_core_0 "7.8431372549019605".
- 1140716 cpu_core_0 "7.8431372549019605".
- 1141645 cpu_core_0 "7.8431372549019605".
- 1148351 cpu_core_0 "7.8431372549019605".