Matches in ISWC2014 Benchmark for { ?s ?p 56.00000000000001. }
- 1000371 cpu_core_0 "56.00000000000001".
- 1000457 cpu_core_0 "56.00000000000001".
- 1000522 cpu_core_0 "56.00000000000001".
- 1000762 cpu_core_0 "56.00000000000001".
- 1000800 cpu_core_0 "56.00000000000001".
- 1000937 cpu_core_0 "56.00000000000001".
- 1001340 cpu_core_0 "56.00000000000001".
- 1001581 cpu_core_0 "56.00000000000001".
- 1001597 cpu_core_0 "56.00000000000001".
- 1001625 cpu_core_0 "56.00000000000001".
- 1001731 cpu_core_0 "56.00000000000001".
- 1002129 cpu_core_0 "56.00000000000001".
- 1002189 cpu_core_0 "56.00000000000001".
- 1002348 cpu_core_0 "56.00000000000001".
- 1002390 cpu_core_0 "56.00000000000001".
- 1002471 cpu_core_0 "56.00000000000001".
- 1002631 cpu_core_0 "56.00000000000001".
- 1002661 cpu_core_0 "56.00000000000001".
- 1003069 cpu_core_0 "56.00000000000001".
- 1003142 cpu_core_0 "56.00000000000001".
- 1003375 cpu_core_0 "56.00000000000001".
- 1003426 cpu_core_0 "56.00000000000001".
- 1003551 cpu_core_0 "56.00000000000001".
- 1003596 cpu_core_0 "56.00000000000001".
- 1003704 cpu_core_0 "56.00000000000001".
- 1003812 cpu_core_0 "56.00000000000001".
- 1004137 cpu_core_0 "56.00000000000001".
- 1004174 cpu_core_0 "56.00000000000001".
- 1004459 cpu_core_0 "56.00000000000001".
- 1004626 cpu_core_0 "56.00000000000001".
- 1005039 cpu_core_0 "56.00000000000001".
- 1005189 cpu_core_0 "56.00000000000001".
- 1005232 cpu_core_0 "56.00000000000001".
- 1005328 cpu_core_0 "56.00000000000001".
- 1005542 cpu_core_0 "56.00000000000001".
- 1005868 cpu_core_0 "56.00000000000001".
- 1005883 cpu_core_0 "56.00000000000001".
- 1006134 cpu_core_0 "56.00000000000001".
- 1006197 cpu_core_0 "56.00000000000001".
- 1006872 cpu_core_0 "56.00000000000001".
- 1006889 cpu_core_0 "56.00000000000001".
- 1006905 cpu_core_0 "56.00000000000001".
- 1007146 cpu_core_0 "56.00000000000001".
- 1007373 cpu_core_0 "56.00000000000001".
- 1007385 cpu_core_0 "56.00000000000001".
- 1007498 cpu_core_0 "56.00000000000001".
- 1007527 cpu_core_0 "56.00000000000001".
- 1007701 cpu_core_0 "56.00000000000001".
- 1007723 cpu_core_0 "56.00000000000001".
- 1007821 cpu_core_0 "56.00000000000001".
- 1007849 cpu_core_0 "56.00000000000001".
- 1008223 cpu_core_0 "56.00000000000001".
- 1008273 cpu_core_0 "56.00000000000001".
- 1008375 cpu_core_0 "56.00000000000001".
- 1008500 cpu_core_0 "56.00000000000001".
- 1008760 cpu_core_0 "56.00000000000001".
- 1008902 cpu_core_0 "56.00000000000001".
- 1009025 cpu_core_0 "56.00000000000001".
- 1009244 cpu_core_0 "56.00000000000001".
- 1009517 cpu_core_0 "56.00000000000001".
- 1009967 cpu_core_0 "56.00000000000001".
- 1010037 cpu_core_0 "56.00000000000001".
- 1010419 cpu_core_0 "56.00000000000001".
- 1010822 cpu_core_0 "56.00000000000001".
- 1013618 cpu_core_0 "56.00000000000001".
- 1013678 cpu_core_0 "56.00000000000001".
- 1013895 cpu_core_0 "56.00000000000001".
- 1014064 cpu_core_0 "56.00000000000001".
- 1014457 cpu_core_0 "56.00000000000001".
- 1014508 cpu_core_0 "56.00000000000001".
- 1014581 cpu_core_0 "56.00000000000001".
- 1014596 cpu_core_0 "56.00000000000001".
- 1014662 cpu_core_0 "56.00000000000001".
- 1014970 cpu_core_0 "56.00000000000001".
- 1015236 cpu_core_0 "56.00000000000001".
- 1023695 cpu_core_0 "56.00000000000001".
- 1026955 cpu_core_0 "56.00000000000001".
- 1030829 cpu_core_0 "56.00000000000001".
- 1030949 cpu_core_0 "56.00000000000001".
- 1035444 cpu_core_0 "56.00000000000001".
- 1050264 cpu_core_0 "56.00000000000001".
- 1055603 cpu_core_0 "56.00000000000001".
- 1055707 cpu_core_0 "56.00000000000001".
- 1055844 cpu_core_0 "56.00000000000001".
- 1058761 cpu_core_0 "56.00000000000001".
- 1060785 cpu_core_0 "56.00000000000001".
- 1061104 cpu_core_0 "56.00000000000001".
- 1061135 cpu_core_0 "56.00000000000001".
- 1061213 cpu_core_0 "56.00000000000001".
- 1066975 cpu_core_0 "56.00000000000001".
- 1066994 cpu_core_0 "56.00000000000001".
- 1078107 cpu_core_0 "56.00000000000001".
- 1078151 cpu_core_0 "56.00000000000001".
- 1083972 cpu_core_0 "56.00000000000001".
- 1090133 cpu_core_0 "56.00000000000001".
- 1090190 cpu_core_0 "56.00000000000001".
- 1094545 cpu_core_0 "56.00000000000001".
- 1095166 cpu_core_0 "56.00000000000001".
- 1106857 cpu_core_0 "56.00000000000001".
- 1107727 cpu_core_0 "56.00000000000001".