Matches in ISWC2014 Benchmark for { ?s ?p 6.000000000000001. }
- 1040063 cpu_core_0 "6.000000000000001".
- 1040259 cpu_core_0 "6.000000000000001".
- 1040261 cpu_core_0 "6.000000000000001".
- 1040294 cpu_core_0 "6.000000000000001".
- 1040308 cpu_core_0 "6.000000000000001".
- 1040387 cpu_core_0 "6.000000000000001".
- 1040437 cpu_core_0 "6.000000000000001".
- 1040487 cpu_core_0 "6.000000000000001".
- 1040642 cpu_core_0 "6.000000000000001".
- 1040718 cpu_core_0 "6.000000000000001".
- 1040719 cpu_core_0 "6.000000000000001".
- 1040778 cpu_core_0 "6.000000000000001".
- 1040796 cpu_core_0 "6.000000000000001".
- 1040817 cpu_core_0 "6.000000000000001".
- 1040862 cpu_core_0 "6.000000000000001".
- 1041033 cpu_core_0 "6.000000000000001".
- 1041100 cpu_core_0 "6.000000000000001".
- 1041108 cpu_core_0 "6.000000000000001".
- 1041143 cpu_core_0 "6.000000000000001".
- 1041154 cpu_core_0 "6.000000000000001".
- 1041167 cpu_core_0 "6.000000000000001".
- 1041216 cpu_core_0 "6.000000000000001".
- 1041224 cpu_core_0 "6.000000000000001".
- 1041330 cpu_core_0 "6.000000000000001".
- 1041342 cpu_core_0 "6.000000000000001".
- 1041352 cpu_core_0 "6.000000000000001".
- 1041377 cpu_core_0 "6.000000000000001".
- 1041478 cpu_core_0 "6.000000000000001".
- 1041540 cpu_core_0 "6.000000000000001".
- 1041598 cpu_core_0 "6.000000000000001".
- 1041624 cpu_core_0 "6.000000000000001".
- 1041796 cpu_core_0 "6.000000000000001".
- 1041841 cpu_core_0 "6.000000000000001".
- 1041920 cpu_core_0 "6.000000000000001".
- 1042016 cpu_core_0 "6.000000000000001".
- 1042088 cpu_core_0 "6.000000000000001".
- 1042096 cpu_core_0 "6.000000000000001".
- 1042125 cpu_core_0 "6.000000000000001".
- 1042194 cpu_core_0 "6.000000000000001".
- 1042361 cpu_core_0 "6.000000000000001".
- 1042373 cpu_core_0 "6.000000000000001".
- 1042427 cpu_core_0 "6.000000000000001".
- 1042449 cpu_core_0 "6.000000000000001".
- 1042488 cpu_core_0 "6.000000000000001".
- 1042492 cpu_core_0 "6.000000000000001".
- 1042570 cpu_core_0 "6.000000000000001".
- 1042578 cpu_core_0 "6.000000000000001".
- 1042784 cpu_core_0 "6.000000000000001".
- 1042792 cpu_core_0 "6.000000000000001".
- 1042797 cpu_core_0 "6.000000000000001".
- 1042850 cpu_core_0 "6.000000000000001".
- 1042929 cpu_core_0 "6.000000000000001".
- 1043033 cpu_core_0 "6.000000000000001".
- 1043090 cpu_core_0 "6.000000000000001".
- 1043238 cpu_core_0 "6.000000000000001".
- 1043252 cpu_core_0 "6.000000000000001".
- 1043303 cpu_core_0 "6.000000000000001".
- 1043315 cpu_core_0 "6.000000000000001".
- 1043407 cpu_core_0 "6.000000000000001".
- 1043451 cpu_core_0 "6.000000000000001".
- 1043572 cpu_core_0 "6.000000000000001".
- 1043639 cpu_core_0 "6.000000000000001".
- 1043650 cpu_core_0 "6.000000000000001".
- 1043655 cpu_core_0 "6.000000000000001".
- 1043732 cpu_core_0 "6.000000000000001".
- 1043819 cpu_core_0 "6.000000000000001".
- 1043913 cpu_core_0 "6.000000000000001".
- 1043950 cpu_core_0 "6.000000000000001".
- 1044029 cpu_core_0 "6.000000000000001".
- 1044098 cpu_core_0 "6.000000000000001".
- 1044610 cpu_core_0 "6.000000000000001".
- 1044628 cpu_core_0 "6.000000000000001".
- 1044725 cpu_core_0 "6.000000000000001".
- 1044779 cpu_core_0 "6.000000000000001".
- 1044785 cpu_core_0 "6.000000000000001".
- 1044845 cpu_core_0 "6.000000000000001".
- 1044893 cpu_core_0 "6.000000000000001".
- 1044929 cpu_core_0 "6.000000000000001".
- 1044933 cpu_core_0 "6.000000000000001".
- 1044990 cpu_core_0 "6.000000000000001".
- 1045006 cpu_core_0 "6.000000000000001".
- 1045247 cpu_core_0 "6.000000000000001".
- 1045250 cpu_core_0 "6.000000000000001".
- 1045403 cpu_core_0 "6.000000000000001".
- 1045405 cpu_core_0 "6.000000000000001".
- 1045421 cpu_core_0 "6.000000000000001".
- 1045464 cpu_core_0 "6.000000000000001".
- 1045489 cpu_core_0 "6.000000000000001".
- 1045669 cpu_core_0 "6.000000000000001".
- 1045733 cpu_core_0 "6.000000000000001".
- 1045906 cpu_core_0 "6.000000000000001".
- 1046100 cpu_core_0 "6.000000000000001".
- 1046118 cpu_core_0 "6.000000000000001".
- 1046173 cpu_core_0 "6.000000000000001".
- 1046312 cpu_core_0 "6.000000000000001".
- 1046419 cpu_core_0 "6.000000000000001".
- 1046506 cpu_core_0 "6.000000000000001".
- 1046595 cpu_core_0 "6.000000000000001".
- 1046601 cpu_core_0 "6.000000000000001".
- 1046609 cpu_core_0 "6.000000000000001".