Matches in ISWC2014 Benchmark for { ?s ?p 6.000000000000001. }
- 1021646 cpu_core_0 "6.000000000000001".
- 1021664 cpu_core_0 "6.000000000000001".
- 1021714 cpu_core_0 "6.000000000000001".
- 1021733 cpu_core_0 "6.000000000000001".
- 1021791 cpu_core_0 "6.000000000000001".
- 1021853 cpu_core_0 "6.000000000000001".
- 1021870 cpu_core_0 "6.000000000000001".
- 1021908 cpu_core_0 "6.000000000000001".
- 1021926 cpu_core_0 "6.000000000000001".
- 1021936 cpu_core_0 "6.000000000000001".
- 1021948 cpu_core_0 "6.000000000000001".
- 1021950 cpu_core_0 "6.000000000000001".
- 1021953 cpu_core_0 "6.000000000000001".
- 1021955 cpu_core_0 "6.000000000000001".
- 1022008 cpu_core_0 "6.000000000000001".
- 1022035 cpu_core_0 "6.000000000000001".
- 1022183 cpu_core_0 "6.000000000000001".
- 1022195 cpu_core_0 "6.000000000000001".
- 1022198 cpu_core_0 "6.000000000000001".
- 1022256 cpu_core_0 "6.000000000000001".
- 1022268 cpu_core_0 "6.000000000000001".
- 1022362 cpu_core_0 "6.000000000000001".
- 1022365 cpu_core_0 "6.000000000000001".
- 1022401 cpu_core_0 "6.000000000000001".
- 1022407 cpu_core_0 "6.000000000000001".
- 1022447 cpu_core_0 "6.000000000000001".
- 1022534 cpu_core_0 "6.000000000000001".
- 1022540 cpu_core_0 "6.000000000000001".
- 1022607 cpu_core_0 "6.000000000000001".
- 1022673 cpu_core_0 "6.000000000000001".
- 1022781 cpu_core_0 "6.000000000000001".
- 1022806 cpu_core_0 "6.000000000000001".
- 1022910 cpu_core_0 "6.000000000000001".
- 1023013 cpu_core_0 "6.000000000000001".
- 1023028 cpu_core_0 "6.000000000000001".
- 1023038 cpu_core_0 "6.000000000000001".
- 1023048 cpu_core_0 "6.000000000000001".
- 1023051 cpu_core_0 "6.000000000000001".
- 1023110 cpu_core_0 "6.000000000000001".
- 1023230 cpu_core_0 "6.000000000000001".
- 1023295 cpu_core_0 "6.000000000000001".
- 1023312 cpu_core_0 "6.000000000000001".
- 1023313 cpu_core_0 "6.000000000000001".
- 1023333 cpu_core_0 "6.000000000000001".
- 1023369 cpu_core_0 "6.000000000000001".
- 1023456 cpu_core_0 "6.000000000000001".
- 1023510 cpu_core_0 "6.000000000000001".
- 1023600 cpu_core_0 "6.000000000000001".
- 1023723 cpu_core_0 "6.000000000000001".
- 1023826 cpu_core_0 "6.000000000000001".
- 1023865 cpu_core_0 "6.000000000000001".
- 1023945 cpu_core_0 "6.000000000000001".
- 1023946 cpu_core_0 "6.000000000000001".
- 1023955 cpu_core_0 "6.000000000000001".
- 1024048 cpu_core_0 "6.000000000000001".
- 1024126 cpu_core_0 "6.000000000000001".
- 1024194 cpu_core_0 "6.000000000000001".
- 1024341 cpu_core_0 "6.000000000000001".
- 1024370 cpu_core_0 "6.000000000000001".
- 1024421 cpu_core_0 "6.000000000000001".
- 1024718 cpu_core_0 "6.000000000000001".
- 1024899 cpu_core_0 "6.000000000000001".
- 1024964 cpu_core_0 "6.000000000000001".
- 1025148 cpu_core_0 "6.000000000000001".
- 1025178 cpu_core_0 "6.000000000000001".
- 1025291 cpu_core_0 "6.000000000000001".
- 1025296 cpu_core_0 "6.000000000000001".
- 1025363 cpu_core_0 "6.000000000000001".
- 1025386 cpu_core_0 "6.000000000000001".
- 1025440 cpu_core_0 "6.000000000000001".
- 1025489 cpu_core_0 "6.000000000000001".
- 1025522 cpu_core_0 "6.000000000000001".
- 1025553 cpu_core_0 "6.000000000000001".
- 1025600 cpu_core_0 "6.000000000000001".
- 1025611 cpu_core_0 "6.000000000000001".
- 1025678 cpu_core_0 "6.000000000000001".
- 1025728 cpu_core_0 "6.000000000000001".
- 1025785 cpu_core_0 "6.000000000000001".
- 1025801 cpu_core_0 "6.000000000000001".
- 1025805 cpu_core_0 "6.000000000000001".
- 1025813 cpu_core_0 "6.000000000000001".
- 1025834 cpu_core_0 "6.000000000000001".
- 1025901 cpu_core_0 "6.000000000000001".
- 1025989 cpu_core_0 "6.000000000000001".
- 1026174 cpu_core_0 "6.000000000000001".
- 1026217 cpu_core_0 "6.000000000000001".
- 1026377 cpu_core_0 "6.000000000000001".
- 1026419 cpu_core_0 "6.000000000000001".
- 1026525 cpu_core_0 "6.000000000000001".
- 1026535 cpu_core_0 "6.000000000000001".
- 1026585 cpu_core_0 "6.000000000000001".
- 1026611 cpu_core_0 "6.000000000000001".
- 1026659 cpu_core_0 "6.000000000000001".
- 1026707 cpu_core_0 "6.000000000000001".
- 1026729 cpu_core_0 "6.000000000000001".
- 1026736 cpu_core_0 "6.000000000000001".
- 1026765 cpu_core_0 "6.000000000000001".
- 1027258 cpu_core_0 "6.000000000000001".
- 1027393 cpu_core_0 "6.000000000000001".
- 1027448 cpu_core_0 "6.000000000000001".