Matches in ISWC2014 Benchmark for { ?s ?p 5.9405940594059405. }
- 983225 cpu_core_0 "5.9405940594059405".
- 984410 cpu_core_0 "5.9405940594059405".
- 984468 cpu_core_0 "5.9405940594059405".
- 985096 cpu_core_0 "5.9405940594059405".
- 986232 cpu_core_0 "5.9405940594059405".
- 989347 cpu_core_0 "5.9405940594059405".
- 993795 cpu_core_0 "5.9405940594059405".
- 1000012 cpu_core_1 "5.9405940594059405".
- 1000051 cpu_core_1 "5.9405940594059405".
- 1000692 cpu_core_1 "5.9405940594059405".
- 1000781 cpu_core_1 "5.9405940594059405".
- 1000982 cpu_core_1 "5.9405940594059405".
- 1001656 cpu_core_1 "5.9405940594059405".
- 1002166 cpu_core_1 "5.9405940594059405".
- 1002524 cpu_core_1 "5.9405940594059405".
- 1002783 cpu_core_1 "5.9405940594059405".
- 1002838 cpu_core_1 "5.9405940594059405".
- 1003779 cpu_core_1 "5.9405940594059405".
- 1004070 cpu_core_1 "5.9405940594059405".
- 1004407 cpu_core_1 "5.9405940594059405".
- 1005424 cpu_core_1 "5.9405940594059405".
- 1005711 cpu_core_1 "5.9405940594059405".
- 1005964 cpu_core_1 "5.9405940594059405".
- 1006093 cpu_core_1 "5.9405940594059405".
- 1006802 cpu_core_1 "5.9405940594059405".
- 1006823 cpu_core_1 "5.9405940594059405".
- 1006939 cpu_core_1 "5.9405940594059405".
- 1007765 cpu_core_1 "5.9405940594059405".
- 1010152 cpu_core_1 "5.9405940594059405".
- 1010197 cpu_core_1 "5.9405940594059405".
- 1010222 cpu_core_1 "5.9405940594059405".
- 1010549 cpu_core_1 "5.9405940594059405".
- 1010683 cpu_core_1 "5.9405940594059405".
- 1011019 cpu_core_1 "5.9405940594059405".
- 1011038 cpu_core_1 "5.9405940594059405".
- 1011290 cpu_core_1 "5.9405940594059405".
- 1013448 cpu_core_1 "5.9405940594059405".
- 1013850 cpu_core_1 "5.9405940594059405".
- 1014187 cpu_core_1 "5.9405940594059405".
- 1014407 cpu_core_1 "5.9405940594059405".
- 1014536 cpu_core_1 "5.9405940594059405".
- 1015195 cpu_core_1 "5.9405940594059405".
- 1017440 cpu_core_1 "5.9405940594059405".
- 1018184 cpu_core_1 "5.9405940594059405".
- 1026382 cpu_core_1 "5.9405940594059405".
- 1026463 cpu_core_1 "5.9405940594059405".
- 1026743 cpu_core_1 "5.9405940594059405".
- 1027929 cpu_core_1 "5.9405940594059405".
- 1033434 cpu_core_1 "5.9405940594059405".
- 1041792 cpu_core_1 "5.9405940594059405".
- 1042706 cpu_core_1 "5.9405940594059405".
- 1042926 cpu_core_1 "5.9405940594059405".
- 1046649 cpu_core_1 "5.9405940594059405".
- 1060783 cpu_core_1 "5.9405940594059405".
- 1065618 cpu_core_1 "5.9405940594059405".
- 1067647 cpu_core_1 "5.9405940594059405".
- 1068793 cpu_core_1 "5.9405940594059405".
- 1072312 cpu_core_1 "5.9405940594059405".
- 1074004 cpu_core_1 "5.9405940594059405".
- 1080437 cpu_core_1 "5.9405940594059405".
- 1080851 cpu_core_1 "5.9405940594059405".
- 1081751 cpu_core_1 "5.9405940594059405".
- 1084379 cpu_core_1 "5.9405940594059405".
- 1085701 cpu_core_1 "5.9405940594059405".
- 1085854 cpu_core_1 "5.9405940594059405".
- 1093126 cpu_core_1 "5.9405940594059405".
- 1095557 cpu_core_1 "5.9405940594059405".
- 1096190 cpu_core_1 "5.9405940594059405".
- 1096493 cpu_core_1 "5.9405940594059405".
- 1097296 cpu_core_1 "5.9405940594059405".
- 1100904 cpu_core_1 "5.9405940594059405".
- 1101069 cpu_core_1 "5.9405940594059405".
- 1104008 cpu_core_1 "5.9405940594059405".
- 1105680 cpu_core_1 "5.9405940594059405".
- 1105993 cpu_core_1 "5.9405940594059405".
- 1109700 cpu_core_1 "5.9405940594059405".
- 1111194 cpu_core_1 "5.9405940594059405".
- 1116313 cpu_core_1 "5.9405940594059405".
- 1117799 cpu_core_1 "5.9405940594059405".
- 1119354 cpu_core_1 "5.9405940594059405".
- 1120205 cpu_core_1 "5.9405940594059405".
- 1120859 cpu_core_1 "5.9405940594059405".
- 112409 cpu_core_1 "5.9405940594059405".
- 1126113 cpu_core_1 "5.9405940594059405".
- 1127621 cpu_core_1 "5.9405940594059405".
- 1133062 cpu_core_1 "5.9405940594059405".
- 1134122 cpu_core_1 "5.9405940594059405".
- 1134957 cpu_core_1 "5.9405940594059405".
- 1140529 cpu_core_1 "5.9405940594059405".
- 1140590 cpu_core_1 "5.9405940594059405".
- 1145341 cpu_core_1 "5.9405940594059405".
- 1147289 cpu_core_1 "5.9405940594059405".
- 1148558 cpu_core_1 "5.9405940594059405".
- 1149331 cpu_core_1 "5.9405940594059405".
- 1150572 cpu_core_1 "5.9405940594059405".
- 1161018 cpu_core_1 "5.9405940594059405".
- 1162173 cpu_core_1 "5.9405940594059405".
- 1163443 cpu_core_1 "5.9405940594059405".
- 1163575 cpu_core_1 "5.9405940594059405".
- 1167748 cpu_core_1 "5.9405940594059405".