Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1013498 cpu_core_0 "3.061224489795918".
- 1013558 cpu_core_0 "3.061224489795918".
- 1015952 cpu_core_0 "3.061224489795918".
- 1017498 cpu_core_0 "3.061224489795918".
- 1018350 cpu_core_0 "3.061224489795918".
- 1018432 cpu_core_0 "3.061224489795918".
- 1018980 cpu_core_0 "3.061224489795918".
- 1019364 cpu_core_0 "3.061224489795918".
- 1019683 cpu_core_0 "3.061224489795918".
- 1019791 cpu_core_0 "3.061224489795918".
- 1022007 cpu_core_0 "3.061224489795918".
- 1022138 cpu_core_0 "3.061224489795918".
- 1022524 cpu_core_0 "3.061224489795918".
- 1022679 cpu_core_0 "3.061224489795918".
- 1023621 cpu_core_0 "3.061224489795918".
- 1023714 cpu_core_0 "3.061224489795918".
- 1024122 cpu_core_0 "3.061224489795918".
- 1024377 cpu_core_0 "3.061224489795918".
- 1024692 cpu_core_0 "3.061224489795918".
- 1024814 cpu_core_0 "3.061224489795918".
- 1025937 cpu_core_0 "3.061224489795918".
- 1028234 cpu_core_0 "3.061224489795918".
- 1028479 cpu_core_0 "3.061224489795918".
- 1029024 cpu_core_0 "3.061224489795918".
- 1031470 cpu_core_0 "3.061224489795918".
- 1031867 cpu_core_0 "3.061224489795918".
- 1032635 cpu_core_0 "3.061224489795918".
- 1033943 cpu_core_0 "3.061224489795918".
- 1034555 cpu_core_0 "3.061224489795918".
- 1035436 cpu_core_0 "3.061224489795918".
- 1037201 cpu_core_0 "3.061224489795918".
- 1037534 cpu_core_0 "3.061224489795918".
- 1037701 cpu_core_0 "3.061224489795918".
- 1037959 cpu_core_0 "3.061224489795918".
- 1038834 cpu_core_0 "3.061224489795918".
- 1039644 cpu_core_0 "3.061224489795918".
- 1041170 cpu_core_0 "3.061224489795918".
- 1041359 cpu_core_0 "3.061224489795918".
- 1043196 cpu_core_0 "3.061224489795918".
- 1044998 cpu_core_0 "3.061224489795918".
- 1045347 cpu_core_0 "3.061224489795918".
- 1045652 cpu_core_0 "3.061224489795918".
- 1046330 cpu_core_0 "3.061224489795918".
- 1046567 cpu_core_0 "3.061224489795918".
- 1047504 cpu_core_0 "3.061224489795918".
- 1049175 cpu_core_0 "3.061224489795918".
- 1049225 cpu_core_0 "3.061224489795918".
- 1049260 cpu_core_0 "3.061224489795918".
- 1051882 cpu_core_0 "3.061224489795918".
- 1052033 cpu_core_0 "3.061224489795918".
- 1053403 cpu_core_0 "3.061224489795918".
- 1053513 cpu_core_0 "3.061224489795918".
- 1053771 cpu_core_0 "3.061224489795918".
- 105419 cpu_core_0 "3.061224489795918".
- 1054533 cpu_core_0 "3.061224489795918".
- 1054873 cpu_core_0 "3.061224489795918".
- 1055192 cpu_core_0 "3.061224489795918".
- 1055228 cpu_core_0 "3.061224489795918".
- 1055302 cpu_core_0 "3.061224489795918".
- 1056373 cpu_core_0 "3.061224489795918".
- 1059171 cpu_core_0 "3.061224489795918".
- 1059610 cpu_core_0 "3.061224489795918".
- 1059823 cpu_core_0 "3.061224489795918".
- 1060078 cpu_core_0 "3.061224489795918".
- 1062328 cpu_core_0 "3.061224489795918".
- 1062468 cpu_core_0 "3.061224489795918".
- 1062618 cpu_core_0 "3.061224489795918".
- 1064069 cpu_core_0 "3.061224489795918".
- 1066034 cpu_core_0 "3.061224489795918".
- 1067186 cpu_core_0 "3.061224489795918".
- 1067466 cpu_core_0 "3.061224489795918".
- 1067582 cpu_core_0 "3.061224489795918".
- 1068552 cpu_core_0 "3.061224489795918".
- 1068556 cpu_core_0 "3.061224489795918".
- 1070124 cpu_core_0 "3.061224489795918".
- 1070325 cpu_core_0 "3.061224489795918".
- 1071182 cpu_core_0 "3.061224489795918".
- 1072544 cpu_core_0 "3.061224489795918".
- 1072748 cpu_core_0 "3.061224489795918".
- 1074484 cpu_core_0 "3.061224489795918".
- 1074593 cpu_core_0 "3.061224489795918".
- 1074610 cpu_core_0 "3.061224489795918".
- 1074844 cpu_core_0 "3.061224489795918".
- 1075627 cpu_core_0 "3.061224489795918".
- 1076584 cpu_core_0 "3.061224489795918".
- 1077513 cpu_core_0 "3.061224489795918".
- 1077516 cpu_core_0 "3.061224489795918".
- 1079707 cpu_core_0 "3.061224489795918".
- 1081460 cpu_core_0 "3.061224489795918".
- 1082053 cpu_core_0 "3.061224489795918".
- 1082808 cpu_core_0 "3.061224489795918".
- 1083582 cpu_core_0 "3.061224489795918".
- 1083593 cpu_core_0 "3.061224489795918".
- 1083637 cpu_core_0 "3.061224489795918".
- 1085007 cpu_core_0 "3.061224489795918".
- 1085813 cpu_core_0 "3.061224489795918".
- 1085993 cpu_core_0 "3.061224489795918".
- 1086290 cpu_core_0 "3.061224489795918".
- 1086510 cpu_core_0 "3.061224489795918".
- 1086975 cpu_core_0 "3.061224489795918".