Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1028858 cpu_core_0 "15.841584158415841".
- 1029010 cpu_core_0 "15.841584158415841".
- 1029011 cpu_core_0 "15.841584158415841".
- 1029056 cpu_core_0 "15.841584158415841".
- 1029238 cpu_core_0 "15.841584158415841".
- 1029554 cpu_core_0 "15.841584158415841".
- 1029725 cpu_core_0 "15.841584158415841".
- 1029907 cpu_core_0 "15.841584158415841".
- 1030016 cpu_core_0 "15.841584158415841".
- 1030451 cpu_core_0 "15.841584158415841".
- 1030458 cpu_core_0 "15.841584158415841".
- 1030567 cpu_core_0 "15.841584158415841".
- 1030585 cpu_core_0 "15.841584158415841".
- 1030616 cpu_core_0 "15.841584158415841".
- 1030734 cpu_core_0 "15.841584158415841".
- 1030736 cpu_core_0 "15.841584158415841".
- 1031223 cpu_core_0 "15.841584158415841".
- 1031295 cpu_core_0 "15.841584158415841".
- 1031303 cpu_core_0 "15.841584158415841".
- 1031522 cpu_core_0 "15.841584158415841".
- 1031592 cpu_core_0 "15.841584158415841".
- 1031638 cpu_core_0 "15.841584158415841".
- 1031666 cpu_core_0 "15.841584158415841".
- 1031963 cpu_core_0 "15.841584158415841".
- 1032331 cpu_core_0 "15.841584158415841".
- 1032505 cpu_core_0 "15.841584158415841".
- 1032574 cpu_core_0 "15.841584158415841".
- 1032652 cpu_core_0 "15.841584158415841".
- 1032737 cpu_core_0 "15.841584158415841".
- 1033091 cpu_core_0 "15.841584158415841".
- 1033099 cpu_core_0 "15.841584158415841".
- 1033323 cpu_core_0 "15.841584158415841".
- 1033422 cpu_core_0 "15.841584158415841".
- 1033503 cpu_core_0 "15.841584158415841".
- 1033511 cpu_core_0 "15.841584158415841".
- 1033518 cpu_core_0 "15.841584158415841".
- 1033520 cpu_core_0 "15.841584158415841".
- 1033632 cpu_core_0 "15.841584158415841".
- 1033779 cpu_core_0 "15.841584158415841".
- 1033858 cpu_core_0 "15.841584158415841".
- 1034062 cpu_core_0 "15.841584158415841".
- 1034192 cpu_core_0 "15.841584158415841".
- 1034247 cpu_core_0 "15.841584158415841".
- 1034281 cpu_core_0 "15.841584158415841".
- 1034384 cpu_core_0 "15.841584158415841".
- 1034702 cpu_core_0 "15.841584158415841".
- 1034704 cpu_core_0 "15.841584158415841".
- 1034817 cpu_core_0 "15.841584158415841".
- 1034826 cpu_core_0 "15.841584158415841".
- 1034936 cpu_core_0 "15.841584158415841".
- 1035034 cpu_core_0 "15.841584158415841".
- 1035353 cpu_core_0 "15.841584158415841".
- 1035553 cpu_core_0 "15.841584158415841".
- 1035582 cpu_core_0 "15.841584158415841".
- 1035696 cpu_core_0 "15.841584158415841".
- 1035708 cpu_core_0 "15.841584158415841".
- 1035966 cpu_core_0 "15.841584158415841".
- 1035992 cpu_core_0 "15.841584158415841".
- 1036060 cpu_core_0 "15.841584158415841".
- 1036171 cpu_core_0 "15.841584158415841".
- 1036180 cpu_core_0 "15.841584158415841".
- 1036201 cpu_core_0 "15.841584158415841".
- 1037110 cpu_core_0 "15.841584158415841".
- 1037155 cpu_core_0 "15.841584158415841".
- 1037167 cpu_core_0 "15.841584158415841".
- 1037303 cpu_core_0 "15.841584158415841".
- 1037893 cpu_core_0 "15.841584158415841".
- 1038307 cpu_core_0 "15.841584158415841".
- 1038371 cpu_core_0 "15.841584158415841".
- 1038466 cpu_core_0 "15.841584158415841".
- 1038605 cpu_core_0 "15.841584158415841".
- 1039165 cpu_core_0 "15.841584158415841".
- 1039406 cpu_core_0 "15.841584158415841".
- 1039417 cpu_core_0 "15.841584158415841".
- 1039654 cpu_core_0 "15.841584158415841".
- 1039809 cpu_core_0 "15.841584158415841".
- 1039904 cpu_core_0 "15.841584158415841".
- 1040023 cpu_core_0 "15.841584158415841".
- 1040250 cpu_core_0 "15.841584158415841".
- 1040408 cpu_core_0 "15.841584158415841".
- 1040429 cpu_core_0 "15.841584158415841".
- 1040520 cpu_core_0 "15.841584158415841".
- 1040628 cpu_core_0 "15.841584158415841".
- 1040745 cpu_core_0 "15.841584158415841".
- 1040760 cpu_core_0 "15.841584158415841".
- 1040762 cpu_core_0 "15.841584158415841".
- 1040884 cpu_core_0 "15.841584158415841".
- 1040921 cpu_core_0 "15.841584158415841".
- 1041002 cpu_core_0 "15.841584158415841".
- 1041123 cpu_core_0 "15.841584158415841".
- 1041132 cpu_core_0 "15.841584158415841".
- 1041295 cpu_core_0 "15.841584158415841".
- 1041527 cpu_core_0 "15.841584158415841".
- 1041537 cpu_core_0 "15.841584158415841".
- 1041852 cpu_core_0 "15.841584158415841".
- 1041870 cpu_core_0 "15.841584158415841".
- 1041880 cpu_core_0 "15.841584158415841".
- 1041945 cpu_core_0 "15.841584158415841".
- 1042078 cpu_core_0 "15.841584158415841".
- 1042296 cpu_core_0 "15.841584158415841".