Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1016412 cpu_core_0 "13.725490196078432".
- 1016992 cpu_core_0 "13.725490196078432".
- 1017674 cpu_core_0 "13.725490196078432".
- 1018142 cpu_core_0 "13.725490196078432".
- 1018625 cpu_core_0 "13.725490196078432".
- 1018958 cpu_core_0 "13.725490196078432".
- 1020356 cpu_core_0 "13.725490196078432".
- 1021191 cpu_core_0 "13.725490196078432".
- 1021531 cpu_core_0 "13.725490196078432".
- 1023012 cpu_core_0 "13.725490196078432".
- 1023485 cpu_core_0 "13.725490196078432".
- 1025017 cpu_core_0 "13.725490196078432".
- 1027064 cpu_core_0 "13.725490196078432".
- 1027171 cpu_core_0 "13.725490196078432".
- 1027262 cpu_core_0 "13.725490196078432".
- 1027571 cpu_core_0 "13.725490196078432".
- 1031357 cpu_core_0 "13.725490196078432".
- 1032793 cpu_core_0 "13.725490196078432".
- 1033705 cpu_core_0 "13.725490196078432".
- 1036390 cpu_core_0 "13.725490196078432".
- 1037223 cpu_core_0 "13.725490196078432".
- 1037227 cpu_core_0 "13.725490196078432".
- 1037786 cpu_core_0 "13.725490196078432".
- 1039250 cpu_core_0 "13.725490196078432".
- 1040451 cpu_core_0 "13.725490196078432".
- 1040508 cpu_core_0 "13.725490196078432".
- 1040684 cpu_core_0 "13.725490196078432".
- 1041102 cpu_core_0 "13.725490196078432".
- 1042072 cpu_core_0 "13.725490196078432".
- 1042410 cpu_core_0 "13.725490196078432".
- 1043087 cpu_core_0 "13.725490196078432".
- 1045285 cpu_core_0 "13.725490196078432".
- 1046357 cpu_core_0 "13.725490196078432".
- 1046594 cpu_core_0 "13.725490196078432".
- 1047907 cpu_core_0 "13.725490196078432".
- 1048134 cpu_core_0 "13.725490196078432".
- 1050453 cpu_core_0 "13.725490196078432".
- 1050580 cpu_core_0 "13.725490196078432".
- 1050718 cpu_core_0 "13.725490196078432".
- 1052076 cpu_core_0 "13.725490196078432".
- 1052199 cpu_core_0 "13.725490196078432".
- 1052874 cpu_core_0 "13.725490196078432".
- 1053118 cpu_core_0 "13.725490196078432".
- 1054692 cpu_core_0 "13.725490196078432".
- 1055021 cpu_core_0 "13.725490196078432".
- 1056941 cpu_core_0 "13.725490196078432".
- 1059079 cpu_core_0 "13.725490196078432".
- 1059732 cpu_core_0 "13.725490196078432".
- 1063221 cpu_core_0 "13.725490196078432".
- 1064153 cpu_core_0 "13.725490196078432".
- 1064209 cpu_core_0 "13.725490196078432".
- 1066373 cpu_core_0 "13.725490196078432".
- 1067159 cpu_core_0 "13.725490196078432".
- 1068780 cpu_core_0 "13.725490196078432".
- 1070524 cpu_core_0 "13.725490196078432".
- 1070549 cpu_core_0 "13.725490196078432".
- 1072527 cpu_core_0 "13.725490196078432".
- 1073358 cpu_core_0 "13.725490196078432".
- 1073981 cpu_core_0 "13.725490196078432".
- 1074284 cpu_core_0 "13.725490196078432".
- 1074962 cpu_core_0 "13.725490196078432".
- 1075774 cpu_core_0 "13.725490196078432".
- 1076448 cpu_core_0 "13.725490196078432".
- 1077288 cpu_core_0 "13.725490196078432".
- 1077364 cpu_core_0 "13.725490196078432".
- 1077470 cpu_core_0 "13.725490196078432".
- 1077721 cpu_core_0 "13.725490196078432".
- 1078677 cpu_core_0 "13.725490196078432".
- 1079787 cpu_core_0 "13.725490196078432".
- 1081957 cpu_core_0 "13.725490196078432".
- 1082367 cpu_core_0 "13.725490196078432".
- 1082626 cpu_core_0 "13.725490196078432".
- 1082951 cpu_core_0 "13.725490196078432".
- 1085481 cpu_core_0 "13.725490196078432".
- 1086095 cpu_core_0 "13.725490196078432".
- 1087179 cpu_core_0 "13.725490196078432".
- 1088708 cpu_core_0 "13.725490196078432".
- 1089326 cpu_core_0 "13.725490196078432".
- 1090348 cpu_core_0 "13.725490196078432".
- 1090427 cpu_core_0 "13.725490196078432".
- 1090674 cpu_core_0 "13.725490196078432".
- 1092788 cpu_core_0 "13.725490196078432".
- 1094076 cpu_core_0 "13.725490196078432".
- 1095049 cpu_core_0 "13.725490196078432".
- 1095216 cpu_core_0 "13.725490196078432".
- 1095905 cpu_core_0 "13.725490196078432".
- 1096553 cpu_core_0 "13.725490196078432".
- 1096800 cpu_core_0 "13.725490196078432".
- 1097198 cpu_core_0 "13.725490196078432".
- 1097842 cpu_core_0 "13.725490196078432".
- 1099403 cpu_core_0 "13.725490196078432".
- 1099469 cpu_core_0 "13.725490196078432".
- 1099810 cpu_core_0 "13.725490196078432".
- 1101143 cpu_core_0 "13.725490196078432".
- 1103374 cpu_core_0 "13.725490196078432".
- 1103521 cpu_core_0 "13.725490196078432".
- 1104842 cpu_core_0 "13.725490196078432".
- 1105286 cpu_core_0 "13.725490196078432".
- 1105634 cpu_core_0 "13.725490196078432".
- 1106407 cpu_core_0 "13.725490196078432".