Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1013487 cpu_core_0 "12.745098039215685".
- 1015977 cpu_core_0 "12.745098039215685".
- 1016470 cpu_core_0 "12.745098039215685".
- 1016490 cpu_core_0 "12.745098039215685".
- 1017143 cpu_core_0 "12.745098039215685".
- 1017971 cpu_core_0 "12.745098039215685".
- 1018346 cpu_core_0 "12.745098039215685".
- 1018556 cpu_core_0 "12.745098039215685".
- 1018593 cpu_core_0 "12.745098039215685".
- 1019123 cpu_core_0 "12.745098039215685".
- 1019656 cpu_core_0 "12.745098039215685".
- 1019892 cpu_core_0 "12.745098039215685".
- 1020274 cpu_core_0 "12.745098039215685".
- 1021727 cpu_core_0 "12.745098039215685".
- 1021841 cpu_core_0 "12.745098039215685".
- 1022510 cpu_core_0 "12.745098039215685".
- 1022980 cpu_core_0 "12.745098039215685".
- 1023578 cpu_core_0 "12.745098039215685".
- 1024009 cpu_core_0 "12.745098039215685".
- 1024441 cpu_core_0 "12.745098039215685".
- 1024724 cpu_core_0 "12.745098039215685".
- 1025335 cpu_core_0 "12.745098039215685".
- 1025685 cpu_core_0 "12.745098039215685".
- 1025892 cpu_core_0 "12.745098039215685".
- 1025897 cpu_core_0 "12.745098039215685".
- 1026777 cpu_core_0 "12.745098039215685".
- 1027210 cpu_core_0 "12.745098039215685".
- 1027677 cpu_core_0 "12.745098039215685".
- 1028526 cpu_core_0 "12.745098039215685".
- 1029346 cpu_core_0 "12.745098039215685".
- 1030678 cpu_core_0 "12.745098039215685".
- 1031023 cpu_core_0 "12.745098039215685".
- 1031525 cpu_core_0 "12.745098039215685".
- 1032669 cpu_core_0 "12.745098039215685".
- 1032726 cpu_core_0 "12.745098039215685".
- 1033755 cpu_core_0 "12.745098039215685".
- 1034844 cpu_core_0 "12.745098039215685".
- 1035476 cpu_core_0 "12.745098039215685".
- 1035833 cpu_core_0 "12.745098039215685".
- 1035871 cpu_core_0 "12.745098039215685".
- 1036096 cpu_core_0 "12.745098039215685".
- 1036430 cpu_core_0 "12.745098039215685".
- 1036463 cpu_core_0 "12.745098039215685".
- 1038693 cpu_core_0 "12.745098039215685".
- 1038985 cpu_core_0 "12.745098039215685".
- 1039208 cpu_core_0 "12.745098039215685".
- 1039612 cpu_core_0 "12.745098039215685".
- 1040130 cpu_core_0 "12.745098039215685".
- 1040184 cpu_core_0 "12.745098039215685".
- 1040267 cpu_core_0 "12.745098039215685".
- 1040645 cpu_core_0 "12.745098039215685".
- 1041098 cpu_core_0 "12.745098039215685".
- 1044055 cpu_core_0 "12.745098039215685".
- 1044855 cpu_core_0 "12.745098039215685".
- 1045222 cpu_core_0 "12.745098039215685".
- 1045569 cpu_core_0 "12.745098039215685".
- 1045734 cpu_core_0 "12.745098039215685".
- 1047329 cpu_core_0 "12.745098039215685".
- 1048635 cpu_core_0 "12.745098039215685".
- 1048768 cpu_core_0 "12.745098039215685".
- 1049094 cpu_core_0 "12.745098039215685".
- 1049660 cpu_core_0 "12.745098039215685".
- 1050195 cpu_core_0 "12.745098039215685".
- 1050508 cpu_core_0 "12.745098039215685".
- 1052120 cpu_core_0 "12.745098039215685".
- 1052658 cpu_core_0 "12.745098039215685".
- 1052789 cpu_core_0 "12.745098039215685".
- 1052995 cpu_core_0 "12.745098039215685".
- 1053830 cpu_core_0 "12.745098039215685".
- 1055007 cpu_core_0 "12.745098039215685".
- 1055161 cpu_core_0 "12.745098039215685".
- 1056223 cpu_core_0 "12.745098039215685".
- 1056461 cpu_core_0 "12.745098039215685".
- 1056707 cpu_core_0 "12.745098039215685".
- 1057764 cpu_core_0 "12.745098039215685".
- 1058031 cpu_core_0 "12.745098039215685".
- 1058208 cpu_core_0 "12.745098039215685".
- 1058340 cpu_core_0 "12.745098039215685".
- 1058416 cpu_core_0 "12.745098039215685".
- 1058515 cpu_core_0 "12.745098039215685".
- 1059209 cpu_core_0 "12.745098039215685".
- 1059350 cpu_core_0 "12.745098039215685".
- 1060214 cpu_core_0 "12.745098039215685".
- 1060230 cpu_core_0 "12.745098039215685".
- 1060749 cpu_core_0 "12.745098039215685".
- 1062619 cpu_core_0 "12.745098039215685".
- 1063474 cpu_core_0 "12.745098039215685".
- 1064602 cpu_core_0 "12.745098039215685".
- 1065563 cpu_core_0 "12.745098039215685".
- 1066357 cpu_core_0 "12.745098039215685".
- 1068129 cpu_core_0 "12.745098039215685".
- 1068490 cpu_core_0 "12.745098039215685".
- 1069234 cpu_core_0 "12.745098039215685".
- 1069333 cpu_core_0 "12.745098039215685".
- 1069447 cpu_core_0 "12.745098039215685".
- 1069627 cpu_core_0 "12.745098039215685".
- 1069853 cpu_core_0 "12.745098039215685".
- 1070100 cpu_core_0 "12.745098039215685".
- 1070218 cpu_core_0 "12.745098039215685".
- 1073343 cpu_core_0 "12.745098039215685".