Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623762. }
- 1082556 cpu_core_0 "23.762376237623762".
- 1082606 cpu_core_0 "23.762376237623762".
- 1082624 cpu_core_0 "23.762376237623762".
- 1082765 cpu_core_0 "23.762376237623762".
- 1083406 cpu_core_0 "23.762376237623762".
- 1083431 cpu_core_0 "23.762376237623762".
- 1084383 cpu_core_0 "23.762376237623762".
- 1086078 cpu_core_0 "23.762376237623762".
- 1087148 cpu_core_0 "23.762376237623762".
- 1087807 cpu_core_0 "23.762376237623762".
- 1088142 cpu_core_0 "23.762376237623762".
- 1088634 cpu_core_0 "23.762376237623762".
- 1089620 cpu_core_0 "23.762376237623762".
- 1092498 cpu_core_0 "23.762376237623762".
- 1092522 cpu_core_0 "23.762376237623762".
- 1092883 cpu_core_0 "23.762376237623762".
- 1093656 cpu_core_0 "23.762376237623762".
- 1094584 cpu_core_0 "23.762376237623762".
- 1096467 cpu_core_0 "23.762376237623762".
- 1099943 cpu_core_0 "23.762376237623762".
- 1100350 cpu_core_0 "23.762376237623762".
- 1101265 cpu_core_0 "23.762376237623762".
- 1101436 cpu_core_0 "23.762376237623762".
- 1101602 cpu_core_0 "23.762376237623762".
- 1102210 cpu_core_0 "23.762376237623762".
- 1105114 cpu_core_0 "23.762376237623762".
- 1106151 cpu_core_0 "23.762376237623762".
- 1106196 cpu_core_0 "23.762376237623762".
- 1106305 cpu_core_0 "23.762376237623762".
- 1106634 cpu_core_0 "23.762376237623762".
- 1107201 cpu_core_0 "23.762376237623762".
- 1107323 cpu_core_0 "23.762376237623762".
- 1107378 cpu_core_0 "23.762376237623762".
- 1108021 cpu_core_0 "23.762376237623762".
- 1109455 cpu_core_0 "23.762376237623762".
- 1109918 cpu_core_0 "23.762376237623762".
- 1111228 cpu_core_0 "23.762376237623762".
- 1113044 cpu_core_0 "23.762376237623762".
- 1113059 cpu_core_0 "23.762376237623762".
- 1113792 cpu_core_0 "23.762376237623762".
- 1116705 cpu_core_0 "23.762376237623762".
- 1117787 cpu_core_0 "23.762376237623762".
- 1118146 cpu_core_0 "23.762376237623762".
- 1118282 cpu_core_0 "23.762376237623762".
- 1119196 cpu_core_0 "23.762376237623762".
- 1119533 cpu_core_0 "23.762376237623762".
- 1120036 cpu_core_0 "23.762376237623762".
- 1120752 cpu_core_0 "23.762376237623762".
- 1121164 cpu_core_0 "23.762376237623762".
- 1121959 cpu_core_0 "23.762376237623762".
- 1122489 cpu_core_0 "23.762376237623762".
- 1123827 cpu_core_0 "23.762376237623762".
- 1124419 cpu_core_0 "23.762376237623762".
- 1125133 cpu_core_0 "23.762376237623762".
- 1125984 cpu_core_0 "23.762376237623762".
- 1126279 cpu_core_0 "23.762376237623762".
- 1126467 cpu_core_0 "23.762376237623762".
- 1127280 cpu_core_0 "23.762376237623762".
- 1128132 cpu_core_0 "23.762376237623762".
- 1129075 cpu_core_0 "23.762376237623762".
- 1130190 cpu_core_0 "23.762376237623762".
- 1130369 cpu_core_0 "23.762376237623762".
- 1130764 cpu_core_0 "23.762376237623762".
- 1130783 cpu_core_0 "23.762376237623762".
- 1131266 cpu_core_0 "23.762376237623762".
- 1133016 cpu_core_0 "23.762376237623762".
- 1135506 cpu_core_0 "23.762376237623762".
- 1135530 cpu_core_0 "23.762376237623762".
- 1136440 cpu_core_0 "23.762376237623762".
- 1136844 cpu_core_0 "23.762376237623762".
- 1140394 cpu_core_0 "23.762376237623762".
- 1140460 cpu_core_0 "23.762376237623762".
- 1140884 cpu_core_0 "23.762376237623762".
- 1140951 cpu_core_0 "23.762376237623762".
- 1141257 cpu_core_0 "23.762376237623762".
- 1141575 cpu_core_0 "23.762376237623762".
- 1141608 cpu_core_0 "23.762376237623762".
- 1141956 cpu_core_0 "23.762376237623762".
- 1142146 cpu_core_0 "23.762376237623762".
- 1142576 cpu_core_0 "23.762376237623762".
- 1142773 cpu_core_0 "23.762376237623762".
- 1144048 cpu_core_0 "23.762376237623762".
- 1144991 cpu_core_0 "23.762376237623762".
- 1145067 cpu_core_0 "23.762376237623762".
- 1145124 cpu_core_0 "23.762376237623762".
- 1145323 cpu_core_0 "23.762376237623762".
- 1145581 cpu_core_0 "23.762376237623762".
- 1146344 cpu_core_0 "23.762376237623762".
- 1147635 cpu_core_0 "23.762376237623762".
- 1147749 cpu_core_0 "23.762376237623762".
- 1148122 cpu_core_0 "23.762376237623762".
- 1150216 cpu_core_0 "23.762376237623762".
- 1150245 cpu_core_0 "23.762376237623762".
- 1151997 cpu_core_0 "23.762376237623762".
- 1152104 cpu_core_0 "23.762376237623762".
- 1152743 cpu_core_0 "23.762376237623762".
- 1153063 cpu_core_0 "23.762376237623762".
- 1153494 cpu_core_0 "23.762376237623762".
- 1153551 cpu_core_0 "23.762376237623762".
- 1154034 cpu_core_0 "23.762376237623762".