Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1010656 cpu_core_0 "11.76470588235294".
- 1011260 cpu_core_0 "11.76470588235294".
- 1013541 cpu_core_0 "11.76470588235294".
- 1014544 cpu_core_0 "11.76470588235294".
- 1016164 cpu_core_0 "11.76470588235294".
- 1016252 cpu_core_0 "11.76470588235294".
- 1016613 cpu_core_0 "11.76470588235294".
- 1017835 cpu_core_0 "11.76470588235294".
- 1017865 cpu_core_0 "11.76470588235294".
- 1018433 cpu_core_0 "11.76470588235294".
- 1019622 cpu_core_0 "11.76470588235294".
- 1019724 cpu_core_0 "11.76470588235294".
- 1019835 cpu_core_0 "11.76470588235294".
- 1020990 cpu_core_0 "11.76470588235294".
- 1023044 cpu_core_0 "11.76470588235294".
- 1026162 cpu_core_0 "11.76470588235294".
- 1026246 cpu_core_0 "11.76470588235294".
- 1027090 cpu_core_0 "11.76470588235294".
- 1027804 cpu_core_0 "11.76470588235294".
- 1028283 cpu_core_0 "11.76470588235294".
- 1028340 cpu_core_0 "11.76470588235294".
- 1029098 cpu_core_0 "11.76470588235294".
- 1029340 cpu_core_0 "11.76470588235294".
- 1030340 cpu_core_0 "11.76470588235294".
- 1030766 cpu_core_0 "11.76470588235294".
- 1031716 cpu_core_0 "11.76470588235294".
- 1031942 cpu_core_0 "11.76470588235294".
- 1032357 cpu_core_0 "11.76470588235294".
- 1032665 cpu_core_0 "11.76470588235294".
- 1032719 cpu_core_0 "11.76470588235294".
- 1034250 cpu_core_0 "11.76470588235294".
- 1035230 cpu_core_0 "11.76470588235294".
- 1035782 cpu_core_0 "11.76470588235294".
- 1035820 cpu_core_0 "11.76470588235294".
- 1036580 cpu_core_0 "11.76470588235294".
- 1036588 cpu_core_0 "11.76470588235294".
- 1037543 cpu_core_0 "11.76470588235294".
- 1037950 cpu_core_0 "11.76470588235294".
- 1039182 cpu_core_0 "11.76470588235294".
- 1039210 cpu_core_0 "11.76470588235294".
- 1039461 cpu_core_0 "11.76470588235294".
- 1040281 cpu_core_0 "11.76470588235294".
- 1040502 cpu_core_0 "11.76470588235294".
- 1040999 cpu_core_0 "11.76470588235294".
- 1041844 cpu_core_0 "11.76470588235294".
- 1041983 cpu_core_0 "11.76470588235294".
- 1043074 cpu_core_0 "11.76470588235294".
- 1043806 cpu_core_0 "11.76470588235294".
- 1044646 cpu_core_0 "11.76470588235294".
- 1045041 cpu_core_0 "11.76470588235294".
- 1045855 cpu_core_0 "11.76470588235294".
- 1046071 cpu_core_0 "11.76470588235294".
- 1046569 cpu_core_0 "11.76470588235294".
- 1046661 cpu_core_0 "11.76470588235294".
- 1047303 cpu_core_0 "11.76470588235294".
- 1047746 cpu_core_0 "11.76470588235294".
- 1050117 cpu_core_0 "11.76470588235294".
- 1051347 cpu_core_0 "11.76470588235294".
- 1051689 cpu_core_0 "11.76470588235294".
- 1052187 cpu_core_0 "11.76470588235294".
- 1052202 cpu_core_0 "11.76470588235294".
- 1052760 cpu_core_0 "11.76470588235294".
- 1053224 cpu_core_0 "11.76470588235294".
- 1056017 cpu_core_0 "11.76470588235294".
- 1057203 cpu_core_0 "11.76470588235294".
- 1057325 cpu_core_0 "11.76470588235294".
- 1057464 cpu_core_0 "11.76470588235294".
- 1057800 cpu_core_0 "11.76470588235294".
- 1059372 cpu_core_0 "11.76470588235294".
- 1060094 cpu_core_0 "11.76470588235294".
- 1060196 cpu_core_0 "11.76470588235294".
- 1061727 cpu_core_0 "11.76470588235294".
- 1061874 cpu_core_0 "11.76470588235294".
- 1061997 cpu_core_0 "11.76470588235294".
- 1062073 cpu_core_0 "11.76470588235294".
- 1062550 cpu_core_0 "11.76470588235294".
- 1063510 cpu_core_0 "11.76470588235294".
- 1063605 cpu_core_0 "11.76470588235294".
- 1063963 cpu_core_0 "11.76470588235294".
- 1064400 cpu_core_0 "11.76470588235294".
- 1064452 cpu_core_0 "11.76470588235294".
- 1064512 cpu_core_0 "11.76470588235294".
- 1065080 cpu_core_0 "11.76470588235294".
- 1065096 cpu_core_0 "11.76470588235294".
- 1066426 cpu_core_0 "11.76470588235294".
- 1067270 cpu_core_0 "11.76470588235294".
- 1067723 cpu_core_0 "11.76470588235294".
- 1068896 cpu_core_0 "11.76470588235294".
- 1069244 cpu_core_0 "11.76470588235294".
- 1069256 cpu_core_0 "11.76470588235294".
- 1069526 cpu_core_0 "11.76470588235294".
- 1069803 cpu_core_0 "11.76470588235294".
- 1070094 cpu_core_0 "11.76470588235294".
- 1070786 cpu_core_0 "11.76470588235294".
- 1071628 cpu_core_0 "11.76470588235294".
- 1072637 cpu_core_0 "11.76470588235294".
- 1072977 cpu_core_0 "11.76470588235294".
- 1073597 cpu_core_0 "11.76470588235294".
- 1073683 cpu_core_0 "11.76470588235294".
- 1073836 cpu_core_0 "11.76470588235294".