Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1423961 cpu_core_0 "5.940594059405941".
- 1424001 cpu_core_0 "5.940594059405941".
- 1424065 cpu_core_0 "5.940594059405941".
- 1424130 cpu_core_0 "5.940594059405941".
- 1424245 cpu_core_0 "5.940594059405941".
- 1424250 cpu_core_0 "5.940594059405941".
- 1424500 cpu_core_0 "5.940594059405941".
- 1424515 cpu_core_0 "5.940594059405941".
- 1424641 cpu_core_0 "5.940594059405941".
- 1424902 cpu_core_0 "5.940594059405941".
- 1424990 cpu_core_0 "5.940594059405941".
- 1425022 cpu_core_0 "5.940594059405941".
- 1425078 cpu_core_0 "5.940594059405941".
- 1425171 cpu_core_0 "5.940594059405941".
- 1425421 cpu_core_0 "5.940594059405941".
- 1425522 cpu_core_0 "5.940594059405941".
- 1425670 cpu_core_0 "5.940594059405941".
- 1425702 cpu_core_0 "5.940594059405941".
- 1425844 cpu_core_0 "5.940594059405941".
- 1425903 cpu_core_0 "5.940594059405941".
- 1426124 cpu_core_0 "5.940594059405941".
- 1426301 cpu_core_0 "5.940594059405941".
- 1426500 cpu_core_0 "5.940594059405941".
- 1426523 cpu_core_0 "5.940594059405941".
- 1426757 cpu_core_0 "5.940594059405941".
- 1426857 cpu_core_0 "5.940594059405941".
- 1426912 cpu_core_0 "5.940594059405941".
- 1427897 cpu_core_0 "5.940594059405941".
- 1428206 cpu_core_0 "5.940594059405941".
- 1428272 cpu_core_0 "5.940594059405941".
- 1428367 cpu_core_0 "5.940594059405941".
- 1428379 cpu_core_0 "5.940594059405941".
- 1428405 cpu_core_0 "5.940594059405941".
- 1428475 cpu_core_0 "5.940594059405941".
- 1428960 cpu_core_0 "5.940594059405941".
- 1428975 cpu_core_0 "5.940594059405941".
- 1429240 cpu_core_0 "5.940594059405941".
- 1429376 cpu_core_0 "5.940594059405941".
- 1429623 cpu_core_0 "5.940594059405941".
- 1429745 cpu_core_0 "5.940594059405941".
- 1429840 cpu_core_0 "5.940594059405941".
- 1429966 cpu_core_0 "5.940594059405941".
- 1430214 cpu_core_0 "5.940594059405941".
- 1430265 cpu_core_0 "5.940594059405941".
- 1430297 cpu_core_0 "5.940594059405941".
- 1430356 cpu_core_0 "5.940594059405941".
- 1430473 cpu_core_0 "5.940594059405941".
- 1430512 cpu_core_0 "5.940594059405941".
- 1430566 cpu_core_0 "5.940594059405941".
- 1430720 cpu_core_0 "5.940594059405941".
- 1430818 cpu_core_0 "5.940594059405941".
- 1430857 cpu_core_0 "5.940594059405941".
- 1431129 cpu_core_0 "5.940594059405941".
- 1431465 cpu_core_0 "5.940594059405941".
- 1431480 cpu_core_0 "5.940594059405941".
- 1431490 cpu_core_0 "5.940594059405941".
- 1431498 cpu_core_0 "5.940594059405941".
- 1431603 cpu_core_0 "5.940594059405941".
- 1431613 cpu_core_0 "5.940594059405941".
- 1431715 cpu_core_0 "5.940594059405941".
- 1431894 cpu_core_0 "5.940594059405941".
- 1432041 cpu_core_0 "5.940594059405941".
- 1432076 cpu_core_0 "5.940594059405941".
- 1432196 cpu_core_0 "5.940594059405941".
- 1432210 cpu_core_0 "5.940594059405941".
- 1432246 cpu_core_0 "5.940594059405941".
- 1432301 cpu_core_0 "5.940594059405941".
- 1432318 cpu_core_0 "5.940594059405941".
- 1432403 cpu_core_0 "5.940594059405941".
- 1432441 cpu_core_0 "5.940594059405941".
- 1432679 cpu_core_0 "5.940594059405941".
- 1432791 cpu_core_0 "5.940594059405941".
- 1432890 cpu_core_0 "5.940594059405941".
- 1432970 cpu_core_0 "5.940594059405941".
- 1433403 cpu_core_0 "5.940594059405941".
- 1433624 cpu_core_0 "5.940594059405941".
- 1433632 cpu_core_0 "5.940594059405941".
- 1434109 cpu_core_0 "5.940594059405941".
- 1434153 cpu_core_0 "5.940594059405941".
- 1434340 cpu_core_0 "5.940594059405941".
- 1434441 cpu_core_0 "5.940594059405941".
- 1434632 cpu_core_0 "5.940594059405941".
- 1434803 cpu_core_0 "5.940594059405941".
- 1434839 cpu_core_0 "5.940594059405941".
- 1434916 cpu_core_0 "5.940594059405941".
- 1434959 cpu_core_0 "5.940594059405941".
- 1434981 cpu_core_0 "5.940594059405941".
- 1435072 cpu_core_0 "5.940594059405941".
- 1435108 cpu_core_0 "5.940594059405941".
- 1435206 cpu_core_0 "5.940594059405941".
- 1435214 cpu_core_0 "5.940594059405941".
- 1435470 cpu_core_0 "5.940594059405941".
- 1435603 cpu_core_0 "5.940594059405941".
- 1435647 cpu_core_0 "5.940594059405941".
- 1435800 cpu_core_0 "5.940594059405941".
- 1436175 cpu_core_0 "5.940594059405941".
- 1436184 cpu_core_0 "5.940594059405941".
- 1436194 cpu_core_0 "5.940594059405941".
- 1436210 cpu_core_0 "5.940594059405941".
- 1436659 cpu_core_0 "5.940594059405941".