Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1002735 cpu_core_0 "9.000000000000002".
- 1006974 cpu_core_0 "9.000000000000002".
- 1011132 cpu_core_0 "9.000000000000002".
- 1011238 cpu_core_0 "9.000000000000002".
- 1011341 cpu_core_0 "9.000000000000002".
- 1015658 cpu_core_0 "9.000000000000002".
- 1015787 cpu_core_0 "9.000000000000002".
- 1015861 cpu_core_0 "9.000000000000002".
- 1016044 cpu_core_0 "9.000000000000002".
- 1016477 cpu_core_0 "9.000000000000002".
- 1016731 cpu_core_0 "9.000000000000002".
- 1016746 cpu_core_0 "9.000000000000002".
- 1017327 cpu_core_0 "9.000000000000002".
- 1017425 cpu_core_0 "9.000000000000002".
- 1017515 cpu_core_0 "9.000000000000002".
- 1017571 cpu_core_0 "9.000000000000002".
- 1017573 cpu_core_0 "9.000000000000002".
- 1017756 cpu_core_0 "9.000000000000002".
- 1018304 cpu_core_0 "9.000000000000002".
- 1018519 cpu_core_0 "9.000000000000002".
- 1018674 cpu_core_0 "9.000000000000002".
- 1018692 cpu_core_0 "9.000000000000002".
- 1019275 cpu_core_0 "9.000000000000002".
- 1019397 cpu_core_0 "9.000000000000002".
- 1019626 cpu_core_0 "9.000000000000002".
- 1019885 cpu_core_0 "9.000000000000002".
- 1019945 cpu_core_0 "9.000000000000002".
- 1020278 cpu_core_0 "9.000000000000002".
- 1020339 cpu_core_0 "9.000000000000002".
- 1020491 cpu_core_0 "9.000000000000002".
- 1020917 cpu_core_0 "9.000000000000002".
- 1021088 cpu_core_0 "9.000000000000002".
- 1021196 cpu_core_0 "9.000000000000002".
- 1021653 cpu_core_0 "9.000000000000002".
- 1021966 cpu_core_0 "9.000000000000002".
- 1022123 cpu_core_0 "9.000000000000002".
- 1022392 cpu_core_0 "9.000000000000002".
- 1022960 cpu_core_0 "9.000000000000002".
- 1023204 cpu_core_0 "9.000000000000002".
- 1023415 cpu_core_0 "9.000000000000002".
- 1023698 cpu_core_0 "9.000000000000002".
- 1025022 cpu_core_0 "9.000000000000002".
- 1025210 cpu_core_0 "9.000000000000002".
- 1025629 cpu_core_0 "9.000000000000002".
- 1026281 cpu_core_0 "9.000000000000002".
- 1026602 cpu_core_0 "9.000000000000002".
- 1027202 cpu_core_0 "9.000000000000002".
- 1027209 cpu_core_0 "9.000000000000002".
- 1027216 cpu_core_0 "9.000000000000002".
- 1027507 cpu_core_0 "9.000000000000002".
- 1027519 cpu_core_0 "9.000000000000002".
- 1027920 cpu_core_0 "9.000000000000002".
- 1027947 cpu_core_0 "9.000000000000002".
- 1027966 cpu_core_0 "9.000000000000002".
- 1028127 cpu_core_0 "9.000000000000002".
- 1028132 cpu_core_0 "9.000000000000002".
- 1028142 cpu_core_0 "9.000000000000002".
- 1028277 cpu_core_0 "9.000000000000002".
- 1028375 cpu_core_0 "9.000000000000002".
- 1028462 cpu_core_0 "9.000000000000002".
- 1028524 cpu_core_0 "9.000000000000002".
- 1028697 cpu_core_0 "9.000000000000002".
- 1028717 cpu_core_0 "9.000000000000002".
- 1028749 cpu_core_0 "9.000000000000002".
- 1029054 cpu_core_0 "9.000000000000002".
- 1029090 cpu_core_0 "9.000000000000002".
- 1029123 cpu_core_0 "9.000000000000002".
- 1029437 cpu_core_0 "9.000000000000002".
- 1029592 cpu_core_0 "9.000000000000002".
- 1029701 cpu_core_0 "9.000000000000002".
- 1030384 cpu_core_0 "9.000000000000002".
- 1031007 cpu_core_0 "9.000000000000002".
- 1031243 cpu_core_0 "9.000000000000002".
- 1031484 cpu_core_0 "9.000000000000002".
- 1031489 cpu_core_0 "9.000000000000002".
- 1031512 cpu_core_0 "9.000000000000002".
- 1031645 cpu_core_0 "9.000000000000002".
- 1031749 cpu_core_0 "9.000000000000002".
- 1032221 cpu_core_0 "9.000000000000002".
- 1032842 cpu_core_0 "9.000000000000002".
- 1032856 cpu_core_0 "9.000000000000002".
- 1033026 cpu_core_0 "9.000000000000002".
- 1033083 cpu_core_0 "9.000000000000002".
- 1033102 cpu_core_0 "9.000000000000002".
- 1033340 cpu_core_0 "9.000000000000002".
- 1033408 cpu_core_0 "9.000000000000002".
- 1034302 cpu_core_0 "9.000000000000002".
- 1034468 cpu_core_0 "9.000000000000002".
- 1034624 cpu_core_0 "9.000000000000002".
- 1034940 cpu_core_0 "9.000000000000002".
- 1034958 cpu_core_0 "9.000000000000002".
- 1035023 cpu_core_0 "9.000000000000002".
- 1035264 cpu_core_0 "9.000000000000002".
- 1035270 cpu_core_0 "9.000000000000002".
- 1035392 cpu_core_0 "9.000000000000002".
- 1035826 cpu_core_0 "9.000000000000002".
- 1036663 cpu_core_0 "9.000000000000002".
- 1036671 cpu_core_0 "9.000000000000002".
- 1036855 cpu_core_0 "9.000000000000002".
- 1037902 cpu_core_0 "9.000000000000002".