Matches in ISWC2014 Benchmark for { ?s ?p 13.26530612244898. }
- 961978 cpu_core_0 "13.26530612244898".
- 962402 cpu_core_0 "13.26530612244898".
- 962594 cpu_core_0 "13.26530612244898".
- 967056 cpu_core_0 "13.26530612244898".
- 968936 cpu_core_0 "13.26530612244898".
- 973781 cpu_core_0 "13.26530612244898".
- 974200 cpu_core_0 "13.26530612244898".
- 974632 cpu_core_0 "13.26530612244898".
- 974717 cpu_core_0 "13.26530612244898".
- 984254 cpu_core_0 "13.26530612244898".
- 985673 cpu_core_0 "13.26530612244898".
- 990780 cpu_core_0 "13.26530612244898".
- 992551 cpu_core_0 "13.26530612244898".
- 993394 cpu_core_0 "13.26530612244898".
- 993451 cpu_core_0 "13.26530612244898".
- 993605 cpu_core_0 "13.26530612244898".
- 994047 cpu_core_0 "13.26530612244898".
- 994486 cpu_core_0 "13.26530612244898".
- 994491 cpu_core_0 "13.26530612244898".
- 994754 cpu_core_0 "13.26530612244898".
- 994779 cpu_core_0 "13.26530612244898".
- 994848 cpu_core_0 "13.26530612244898".
- 1006692 cpu_core_1 "13.26530612244898".
- 1010198 cpu_core_1 "13.26530612244898".
- 1010204 cpu_core_1 "13.26530612244898".
- 1010798 cpu_core_1 "13.26530612244898".
- 1011551 cpu_core_1 "13.26530612244898".
- 1011653 cpu_core_1 "13.26530612244898".
- 1011742 cpu_core_1 "13.26530612244898".
- 1011899 cpu_core_1 "13.26530612244898".
- 1012045 cpu_core_1 "13.26530612244898".
- 1012084 cpu_core_1 "13.26530612244898".
- 1012213 cpu_core_1 "13.26530612244898".
- 1012222 cpu_core_1 "13.26530612244898".
- 1012267 cpu_core_1 "13.26530612244898".
- 1012331 cpu_core_1 "13.26530612244898".
- 1012367 cpu_core_1 "13.26530612244898".
- 1012508 cpu_core_1 "13.26530612244898".
- 1012556 cpu_core_1 "13.26530612244898".
- 1012586 cpu_core_1 "13.26530612244898".
- 1012634 cpu_core_1 "13.26530612244898".
- 1012722 cpu_core_1 "13.26530612244898".
- 1012870 cpu_core_1 "13.26530612244898".
- 1013021 cpu_core_1 "13.26530612244898".
- 1013034 cpu_core_1 "13.26530612244898".
- 1013214 cpu_core_1 "13.26530612244898".
- 1013248 cpu_core_1 "13.26530612244898".
- 1013296 cpu_core_1 "13.26530612244898".
- 1013306 cpu_core_1 "13.26530612244898".
- 1013348 cpu_core_1 "13.26530612244898".
- 1013393 cpu_core_1 "13.26530612244898".
- 1017062 cpu_core_1 "13.26530612244898".
- 1022371 cpu_core_1 "13.26530612244898".
- 1026568 cpu_core_1 "13.26530612244898".
- 1027622 cpu_core_1 "13.26530612244898".
- 1031530 cpu_core_1 "13.26530612244898".
- 1032788 cpu_core_1 "13.26530612244898".
- 1034031 cpu_core_1 "13.26530612244898".
- 1038362 cpu_core_1 "13.26530612244898".
- 1038642 cpu_core_1 "13.26530612244898".
- 1040175 cpu_core_1 "13.26530612244898".
- 1040606 cpu_core_1 "13.26530612244898".
- 1044060 cpu_core_1 "13.26530612244898".
- 1044617 cpu_core_1 "13.26530612244898".
- 1044890 cpu_core_1 "13.26530612244898".
- 1046299 cpu_core_1 "13.26530612244898".
- 1046856 cpu_core_1 "13.26530612244898".
- 1047884 cpu_core_1 "13.26530612244898".
- 1048940 cpu_core_1 "13.26530612244898".
- 1049179 cpu_core_1 "13.26530612244898".
- 1050859 cpu_core_1 "13.26530612244898".
- 1052400 cpu_core_1 "13.26530612244898".
- 1054406 cpu_core_1 "13.26530612244898".
- 1055113 cpu_core_1 "13.26530612244898".
- 1056192 cpu_core_1 "13.26530612244898".
- 1058244 cpu_core_1 "13.26530612244898".
- 1058517 cpu_core_1 "13.26530612244898".
- 1059183 cpu_core_1 "13.26530612244898".
- 1059983 cpu_core_1 "13.26530612244898".
- 1063560 cpu_core_1 "13.26530612244898".
- 1064638 cpu_core_1 "13.26530612244898".
- 1065357 cpu_core_1 "13.26530612244898".
- 1065825 cpu_core_1 "13.26530612244898".
- 1066442 cpu_core_1 "13.26530612244898".
- 1067477 cpu_core_1 "13.26530612244898".
- 1070089 cpu_core_1 "13.26530612244898".
- 1073580 cpu_core_1 "13.26530612244898".
- 1074399 cpu_core_1 "13.26530612244898".
- 1074759 cpu_core_1 "13.26530612244898".
- 1074818 cpu_core_1 "13.26530612244898".
- 1075026 cpu_core_1 "13.26530612244898".
- 1076079 cpu_core_1 "13.26530612244898".
- 1076596 cpu_core_1 "13.26530612244898".
- 1077207 cpu_core_1 "13.26530612244898".
- 1079321 cpu_core_1 "13.26530612244898".
- 1079958 cpu_core_1 "13.26530612244898".
- 1079961 cpu_core_1 "13.26530612244898".
- 1081653 cpu_core_1 "13.26530612244898".
- 1082130 cpu_core_1 "13.26530612244898".
- 1082556 cpu_core_1 "13.26530612244898".