Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1217952 cpu_core_0 "5.940594059405941".
- 1218012 cpu_core_0 "5.940594059405941".
- 1218490 cpu_core_0 "5.940594059405941".
- 1218539 cpu_core_0 "5.940594059405941".
- 1219026 cpu_core_0 "5.940594059405941".
- 1236277 cpu_core_0 "5.940594059405941".
- 1237436 cpu_core_0 "5.940594059405941".
- 1237671 cpu_core_0 "5.940594059405941".
- 1237825 cpu_core_0 "5.940594059405941".
- 1237994 cpu_core_0 "5.940594059405941".
- 1238010 cpu_core_0 "5.940594059405941".
- 1238057 cpu_core_0 "5.940594059405941".
- 1238073 cpu_core_0 "5.940594059405941".
- 1238138 cpu_core_0 "5.940594059405941".
- 1238286 cpu_core_0 "5.940594059405941".
- 1238324 cpu_core_0 "5.940594059405941".
- 1238459 cpu_core_0 "5.940594059405941".
- 1238847 cpu_core_0 "5.940594059405941".
- 1239190 cpu_core_0 "5.940594059405941".
- 1239268 cpu_core_0 "5.940594059405941".
- 1239274 cpu_core_0 "5.940594059405941".
- 1239399 cpu_core_0 "5.940594059405941".
- 1239710 cpu_core_0 "5.940594059405941".
- 1239815 cpu_core_0 "5.940594059405941".
- 1239894 cpu_core_0 "5.940594059405941".
- 1240018 cpu_core_0 "5.940594059405941".
- 1240255 cpu_core_0 "5.940594059405941".
- 1240295 cpu_core_0 "5.940594059405941".
- 1240339 cpu_core_0 "5.940594059405941".
- 1240387 cpu_core_0 "5.940594059405941".
- 1240554 cpu_core_0 "5.940594059405941".
- 1240612 cpu_core_0 "5.940594059405941".
- 1240637 cpu_core_0 "5.940594059405941".
- 1240710 cpu_core_0 "5.940594059405941".
- 1240946 cpu_core_0 "5.940594059405941".
- 1241037 cpu_core_0 "5.940594059405941".
- 1241192 cpu_core_0 "5.940594059405941".
- 124130 cpu_core_0 "5.940594059405941".
- 1241320 cpu_core_0 "5.940594059405941".
- 1241408 cpu_core_0 "5.940594059405941".
- 1241432 cpu_core_0 "5.940594059405941".
- 1241442 cpu_core_0 "5.940594059405941".
- 1241741 cpu_core_0 "5.940594059405941".
- 1241764 cpu_core_0 "5.940594059405941".
- 1241803 cpu_core_0 "5.940594059405941".
- 1241811 cpu_core_0 "5.940594059405941".
- 1242015 cpu_core_0 "5.940594059405941".
- 1242067 cpu_core_0 "5.940594059405941".
- 1242283 cpu_core_0 "5.940594059405941".
- 1242345 cpu_core_0 "5.940594059405941".
- 1242495 cpu_core_0 "5.940594059405941".
- 1242647 cpu_core_0 "5.940594059405941".
- 1242766 cpu_core_0 "5.940594059405941".
- 1242801 cpu_core_0 "5.940594059405941".
- 1242813 cpu_core_0 "5.940594059405941".
- 1242975 cpu_core_0 "5.940594059405941".
- 1243158 cpu_core_0 "5.940594059405941".
- 1243403 cpu_core_0 "5.940594059405941".
- 1243469 cpu_core_0 "5.940594059405941".
- 1243648 cpu_core_0 "5.940594059405941".
- 1243984 cpu_core_0 "5.940594059405941".
- 1244038 cpu_core_0 "5.940594059405941".
- 1244097 cpu_core_0 "5.940594059405941".
- 1244129 cpu_core_0 "5.940594059405941".
- 1244157 cpu_core_0 "5.940594059405941".
- 1244283 cpu_core_0 "5.940594059405941".
- 1244356 cpu_core_0 "5.940594059405941".
- 1244491 cpu_core_0 "5.940594059405941".
- 1244507 cpu_core_0 "5.940594059405941".
- 1244618 cpu_core_0 "5.940594059405941".
- 1244819 cpu_core_0 "5.940594059405941".
- 1244859 cpu_core_0 "5.940594059405941".
- 1245146 cpu_core_0 "5.940594059405941".
- 1245196 cpu_core_0 "5.940594059405941".
- 1245282 cpu_core_0 "5.940594059405941".
- 1245352 cpu_core_0 "5.940594059405941".
- 1245475 cpu_core_0 "5.940594059405941".
- 1245603 cpu_core_0 "5.940594059405941".
- 1245800 cpu_core_0 "5.940594059405941".
- 1245804 cpu_core_0 "5.940594059405941".
- 1245979 cpu_core_0 "5.940594059405941".
- 1246019 cpu_core_0 "5.940594059405941".
- 1246743 cpu_core_0 "5.940594059405941".
- 1246848 cpu_core_0 "5.940594059405941".
- 1246962 cpu_core_0 "5.940594059405941".
- 1246991 cpu_core_0 "5.940594059405941".
- 1247045 cpu_core_0 "5.940594059405941".
- 1247170 cpu_core_0 "5.940594059405941".
- 1247346 cpu_core_0 "5.940594059405941".
- 1247630 cpu_core_0 "5.940594059405941".
- 1248051 cpu_core_0 "5.940594059405941".
- 1248280 cpu_core_0 "5.940594059405941".
- 1248319 cpu_core_0 "5.940594059405941".
- 1248324 cpu_core_0 "5.940594059405941".
- 1248427 cpu_core_0 "5.940594059405941".
- 1248567 cpu_core_0 "5.940594059405941".
- 1248768 cpu_core_0 "5.940594059405941".
- 1248895 cpu_core_0 "5.940594059405941".
- 1249090 cpu_core_0 "5.940594059405941".
- 1249879 cpu_core_0 "5.940594059405941".