Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1112274 cpu_core_0 "15.841584158415841".
- 1112321 cpu_core_0 "15.841584158415841".
- 1112560 cpu_core_0 "15.841584158415841".
- 1112770 cpu_core_0 "15.841584158415841".
- 1113246 cpu_core_0 "15.841584158415841".
- 1113749 cpu_core_0 "15.841584158415841".
- 1113923 cpu_core_0 "15.841584158415841".
- 1114069 cpu_core_0 "15.841584158415841".
- 1114256 cpu_core_0 "15.841584158415841".
- 1114272 cpu_core_0 "15.841584158415841".
- 1114284 cpu_core_0 "15.841584158415841".
- 1114308 cpu_core_0 "15.841584158415841".
- 1114376 cpu_core_0 "15.841584158415841".
- 1114514 cpu_core_0 "15.841584158415841".
- 1114681 cpu_core_0 "15.841584158415841".
- 1114692 cpu_core_0 "15.841584158415841".
- 1114752 cpu_core_0 "15.841584158415841".
- 1114806 cpu_core_0 "15.841584158415841".
- 1114886 cpu_core_0 "15.841584158415841".
- 1115008 cpu_core_0 "15.841584158415841".
- 1115133 cpu_core_0 "15.841584158415841".
- 1115136 cpu_core_0 "15.841584158415841".
- 1115290 cpu_core_0 "15.841584158415841".
- 1115328 cpu_core_0 "15.841584158415841".
- 1115493 cpu_core_0 "15.841584158415841".
- 1115586 cpu_core_0 "15.841584158415841".
- 1115596 cpu_core_0 "15.841584158415841".
- 1115700 cpu_core_0 "15.841584158415841".
- 1115832 cpu_core_0 "15.841584158415841".
- 1115942 cpu_core_0 "15.841584158415841".
- 1116178 cpu_core_0 "15.841584158415841".
- 1116191 cpu_core_0 "15.841584158415841".
- 1116300 cpu_core_0 "15.841584158415841".
- 1116471 cpu_core_0 "15.841584158415841".
- 1116486 cpu_core_0 "15.841584158415841".
- 1116611 cpu_core_0 "15.841584158415841".
- 1116922 cpu_core_0 "15.841584158415841".
- 1117381 cpu_core_0 "15.841584158415841".
- 1117432 cpu_core_0 "15.841584158415841".
- 1117640 cpu_core_0 "15.841584158415841".
- 1117797 cpu_core_0 "15.841584158415841".
- 1117853 cpu_core_0 "15.841584158415841".
- 1117925 cpu_core_0 "15.841584158415841".
- 1117971 cpu_core_0 "15.841584158415841".
- 1118247 cpu_core_0 "15.841584158415841".
- 1118415 cpu_core_0 "15.841584158415841".
- 1118539 cpu_core_0 "15.841584158415841".
- 1118754 cpu_core_0 "15.841584158415841".
- 1118991 cpu_core_0 "15.841584158415841".
- 1119186 cpu_core_0 "15.841584158415841".
- 1119361 cpu_core_0 "15.841584158415841".
- 1119839 cpu_core_0 "15.841584158415841".
- 1120017 cpu_core_0 "15.841584158415841".
- 1120045 cpu_core_0 "15.841584158415841".
- 1120221 cpu_core_0 "15.841584158415841".
- 1120430 cpu_core_0 "15.841584158415841".
- 1120584 cpu_core_0 "15.841584158415841".
- 1120629 cpu_core_0 "15.841584158415841".
- 1120630 cpu_core_0 "15.841584158415841".
- 1120636 cpu_core_0 "15.841584158415841".
- 1120737 cpu_core_0 "15.841584158415841".
- 1120743 cpu_core_0 "15.841584158415841".
- 1120773 cpu_core_0 "15.841584158415841".
- 1120881 cpu_core_0 "15.841584158415841".
- 1120893 cpu_core_0 "15.841584158415841".
- 1120902 cpu_core_0 "15.841584158415841".
- 1120916 cpu_core_0 "15.841584158415841".
- 1120931 cpu_core_0 "15.841584158415841".
- 1121138 cpu_core_0 "15.841584158415841".
- 1121409 cpu_core_0 "15.841584158415841".
- 1121461 cpu_core_0 "15.841584158415841".
- 1121492 cpu_core_0 "15.841584158415841".
- 1121499 cpu_core_0 "15.841584158415841".
- 1121712 cpu_core_0 "15.841584158415841".
- 1121852 cpu_core_0 "15.841584158415841".
- 1121859 cpu_core_0 "15.841584158415841".
- 1122184 cpu_core_0 "15.841584158415841".
- 1122343 cpu_core_0 "15.841584158415841".
- 1122461 cpu_core_0 "15.841584158415841".
- 1122495 cpu_core_0 "15.841584158415841".
- 1122610 cpu_core_0 "15.841584158415841".
- 1122700 cpu_core_0 "15.841584158415841".
- 1122855 cpu_core_0 "15.841584158415841".
- 1122893 cpu_core_0 "15.841584158415841".
- 1122935 cpu_core_0 "15.841584158415841".
- 1122938 cpu_core_0 "15.841584158415841".
- 1123021 cpu_core_0 "15.841584158415841".
- 1123088 cpu_core_0 "15.841584158415841".
- 1123325 cpu_core_0 "15.841584158415841".
- 1123348 cpu_core_0 "15.841584158415841".
- 1123410 cpu_core_0 "15.841584158415841".
- 1123423 cpu_core_0 "15.841584158415841".
- 1123445 cpu_core_0 "15.841584158415841".
- 1123536 cpu_core_0 "15.841584158415841".
- 1123542 cpu_core_0 "15.841584158415841".
- 1123563 cpu_core_0 "15.841584158415841".
- 1123630 cpu_core_0 "15.841584158415841".
- 1123877 cpu_core_0 "15.841584158415841".
- 1123891 cpu_core_0 "15.841584158415841".
- 1123989 cpu_core_0 "15.841584158415841".