Matches in ISWC2014 Benchmark for { ?s ?p 3.9603960396039604. }
- 1146962 cpu_core_0 "3.9603960396039604".
- 1147121 cpu_core_0 "3.9603960396039604".
- 1147482 cpu_core_0 "3.9603960396039604".
- 1147611 cpu_core_0 "3.9603960396039604".
- 1147670 cpu_core_0 "3.9603960396039604".
- 1147765 cpu_core_0 "3.9603960396039604".
- 1148126 cpu_core_0 "3.9603960396039604".
- 1148324 cpu_core_0 "3.9603960396039604".
- 1148422 cpu_core_0 "3.9603960396039604".
- 1148435 cpu_core_0 "3.9603960396039604".
- 1148482 cpu_core_0 "3.9603960396039604".
- 1148544 cpu_core_0 "3.9603960396039604".
- 1148566 cpu_core_0 "3.9603960396039604".
- 1148765 cpu_core_0 "3.9603960396039604".
- 1149081 cpu_core_0 "3.9603960396039604".
- 1149083 cpu_core_0 "3.9603960396039604".
- 1149136 cpu_core_0 "3.9603960396039604".
- 1149243 cpu_core_0 "3.9603960396039604".
- 1149323 cpu_core_0 "3.9603960396039604".
- 1149329 cpu_core_0 "3.9603960396039604".
- 1149443 cpu_core_0 "3.9603960396039604".
- 1149469 cpu_core_0 "3.9603960396039604".
- 1149560 cpu_core_0 "3.9603960396039604".
- 1149705 cpu_core_0 "3.9603960396039604".
- 1149988 cpu_core_0 "3.9603960396039604".
- 1150050 cpu_core_0 "3.9603960396039604".
- 1150180 cpu_core_0 "3.9603960396039604".
- 1150248 cpu_core_0 "3.9603960396039604".
- 1150304 cpu_core_0 "3.9603960396039604".
- 1150479 cpu_core_0 "3.9603960396039604".
- 1150481 cpu_core_0 "3.9603960396039604".
- 1150657 cpu_core_0 "3.9603960396039604".
- 1150748 cpu_core_0 "3.9603960396039604".
- 1150921 cpu_core_0 "3.9603960396039604".
- 1151007 cpu_core_0 "3.9603960396039604".
- 1151100 cpu_core_0 "3.9603960396039604".
- 1151354 cpu_core_0 "3.9603960396039604".
- 1151697 cpu_core_0 "3.9603960396039604".
- 1151845 cpu_core_0 "3.9603960396039604".
- 1151972 cpu_core_0 "3.9603960396039604".
- 1152070 cpu_core_0 "3.9603960396039604".
- 1152088 cpu_core_0 "3.9603960396039604".
- 1152349 cpu_core_0 "3.9603960396039604".
- 1152812 cpu_core_0 "3.9603960396039604".
- 1152826 cpu_core_0 "3.9603960396039604".
- 1152863 cpu_core_0 "3.9603960396039604".
- 1152964 cpu_core_0 "3.9603960396039604".
- 1153018 cpu_core_0 "3.9603960396039604".
- 1153034 cpu_core_0 "3.9603960396039604".
- 1153513 cpu_core_0 "3.9603960396039604".
- 1153677 cpu_core_0 "3.9603960396039604".
- 1153924 cpu_core_0 "3.9603960396039604".
- 115471 cpu_core_0 "3.9603960396039604".
- 1154762 cpu_core_0 "3.9603960396039604".
- 115484 cpu_core_0 "3.9603960396039604".
- 1154886 cpu_core_0 "3.9603960396039604".
- 1154901 cpu_core_0 "3.9603960396039604".
- 1155102 cpu_core_0 "3.9603960396039604".
- 1155120 cpu_core_0 "3.9603960396039604".
- 1155302 cpu_core_0 "3.9603960396039604".
- 1155364 cpu_core_0 "3.9603960396039604".
- 1155366 cpu_core_0 "3.9603960396039604".
- 1155544 cpu_core_0 "3.9603960396039604".
- 1155644 cpu_core_0 "3.9603960396039604".
- 1155699 cpu_core_0 "3.9603960396039604".
- 1156479 cpu_core_0 "3.9603960396039604".
- 1157039 cpu_core_0 "3.9603960396039604".
- 1157066 cpu_core_0 "3.9603960396039604".
- 115713 cpu_core_0 "3.9603960396039604".
- 1157467 cpu_core_0 "3.9603960396039604".
- 1157529 cpu_core_0 "3.9603960396039604".
- 1157533 cpu_core_0 "3.9603960396039604".
- 1157976 cpu_core_0 "3.9603960396039604".
- 1158283 cpu_core_0 "3.9603960396039604".
- 1158403 cpu_core_0 "3.9603960396039604".
- 1158807 cpu_core_0 "3.9603960396039604".
- 1158886 cpu_core_0 "3.9603960396039604".
- 1158951 cpu_core_0 "3.9603960396039604".
- 1158980 cpu_core_0 "3.9603960396039604".
- 1159001 cpu_core_0 "3.9603960396039604".
- 1159079 cpu_core_0 "3.9603960396039604".
- 1159316 cpu_core_0 "3.9603960396039604".
- 1159750 cpu_core_0 "3.9603960396039604".
- 1159780 cpu_core_0 "3.9603960396039604".
- 1160245 cpu_core_0 "3.9603960396039604".
- 1160349 cpu_core_0 "3.9603960396039604".
- 1160716 cpu_core_0 "3.9603960396039604".
- 1160781 cpu_core_0 "3.9603960396039604".
- 1160895 cpu_core_0 "3.9603960396039604".
- 1161068 cpu_core_0 "3.9603960396039604".
- 1161106 cpu_core_0 "3.9603960396039604".
- 1161333 cpu_core_0 "3.9603960396039604".
- 1161413 cpu_core_0 "3.9603960396039604".
- 1161487 cpu_core_0 "3.9603960396039604".
- 1161493 cpu_core_0 "3.9603960396039604".
- 1161533 cpu_core_0 "3.9603960396039604".
- 1161667 cpu_core_0 "3.9603960396039604".
- 1161725 cpu_core_0 "3.9603960396039604".
- 1161874 cpu_core_0 "3.9603960396039604".
- 1162010 cpu_core_0 "3.9603960396039604".