Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623762. }
- 1001240 cpu_core_0 "23.762376237623762".
- 1004021 cpu_core_0 "23.762376237623762".
- 1006350 cpu_core_0 "23.762376237623762".
- 1006472 cpu_core_0 "23.762376237623762".
- 1008978 cpu_core_0 "23.762376237623762".
- 1009219 cpu_core_0 "23.762376237623762".
- 1009342 cpu_core_0 "23.762376237623762".
- 1010203 cpu_core_0 "23.762376237623762".
- 1010214 cpu_core_0 "23.762376237623762".
- 1010575 cpu_core_0 "23.762376237623762".
- 1011716 cpu_core_0 "23.762376237623762".
- 1012805 cpu_core_0 "23.762376237623762".
- 1012940 cpu_core_0 "23.762376237623762".
- 1015479 cpu_core_0 "23.762376237623762".
- 1016007 cpu_core_0 "23.762376237623762".
- 1016031 cpu_core_0 "23.762376237623762".
- 1016295 cpu_core_0 "23.762376237623762".
- 1017343 cpu_core_0 "23.762376237623762".
- 1017469 cpu_core_0 "23.762376237623762".
- 1018870 cpu_core_0 "23.762376237623762".
- 1019418 cpu_core_0 "23.762376237623762".
- 1020746 cpu_core_0 "23.762376237623762".
- 1021318 cpu_core_0 "23.762376237623762".
- 1021787 cpu_core_0 "23.762376237623762".
- 1021832 cpu_core_0 "23.762376237623762".
- 1023357 cpu_core_0 "23.762376237623762".
- 1024124 cpu_core_0 "23.762376237623762".
- 1024296 cpu_core_0 "23.762376237623762".
- 1024345 cpu_core_0 "23.762376237623762".
- 1024830 cpu_core_0 "23.762376237623762".
- 1026156 cpu_core_0 "23.762376237623762".
- 1027899 cpu_core_0 "23.762376237623762".
- 1028401 cpu_core_0 "23.762376237623762".
- 1028516 cpu_core_0 "23.762376237623762".
- 1029807 cpu_core_0 "23.762376237623762".
- 1030270 cpu_core_0 "23.762376237623762".
- 1030586 cpu_core_0 "23.762376237623762".
- 1030865 cpu_core_0 "23.762376237623762".
- 1033189 cpu_core_0 "23.762376237623762".
- 1034516 cpu_core_0 "23.762376237623762".
- 1035366 cpu_core_0 "23.762376237623762".
- 1037361 cpu_core_0 "23.762376237623762".
- 1037391 cpu_core_0 "23.762376237623762".
- 1037718 cpu_core_0 "23.762376237623762".
- 1038085 cpu_core_0 "23.762376237623762".
- 1038485 cpu_core_0 "23.762376237623762".
- 1038549 cpu_core_0 "23.762376237623762".
- 1040149 cpu_core_0 "23.762376237623762".
- 1041111 cpu_core_0 "23.762376237623762".
- 1042175 cpu_core_0 "23.762376237623762".
- 1042534 cpu_core_0 "23.762376237623762".
- 1043991 cpu_core_0 "23.762376237623762".
- 1044315 cpu_core_0 "23.762376237623762".
- 1045254 cpu_core_0 "23.762376237623762".
- 1045851 cpu_core_0 "23.762376237623762".
- 1046588 cpu_core_0 "23.762376237623762".
- 1047152 cpu_core_0 "23.762376237623762".
- 1047177 cpu_core_0 "23.762376237623762".
- 1047512 cpu_core_0 "23.762376237623762".
- 1047569 cpu_core_0 "23.762376237623762".
- 1048309 cpu_core_0 "23.762376237623762".
- 1049116 cpu_core_0 "23.762376237623762".
- 1049246 cpu_core_0 "23.762376237623762".
- 1049617 cpu_core_0 "23.762376237623762".
- 1049852 cpu_core_0 "23.762376237623762".
- 1049969 cpu_core_0 "23.762376237623762".
- 1050026 cpu_core_0 "23.762376237623762".
- 1052318 cpu_core_0 "23.762376237623762".
- 1053011 cpu_core_0 "23.762376237623762".
- 1053715 cpu_core_0 "23.762376237623762".
- 1053859 cpu_core_0 "23.762376237623762".
- 1054101 cpu_core_0 "23.762376237623762".
- 1054464 cpu_core_0 "23.762376237623762".
- 1054908 cpu_core_0 "23.762376237623762".
- 1059963 cpu_core_0 "23.762376237623762".
- 1060038 cpu_core_0 "23.762376237623762".
- 1060137 cpu_core_0 "23.762376237623762".
- 1060153 cpu_core_0 "23.762376237623762".
- 1060282 cpu_core_0 "23.762376237623762".
- 1060457 cpu_core_0 "23.762376237623762".
- 1060507 cpu_core_0 "23.762376237623762".
- 1062637 cpu_core_0 "23.762376237623762".
- 1063365 cpu_core_0 "23.762376237623762".
- 1065236 cpu_core_0 "23.762376237623762".
- 1067957 cpu_core_0 "23.762376237623762".
- 1069443 cpu_core_0 "23.762376237623762".
- 1073405 cpu_core_0 "23.762376237623762".
- 1073848 cpu_core_0 "23.762376237623762".
- 1074088 cpu_core_0 "23.762376237623762".
- 1074760 cpu_core_0 "23.762376237623762".
- 1076714 cpu_core_0 "23.762376237623762".
- 1076740 cpu_core_0 "23.762376237623762".
- 1076891 cpu_core_0 "23.762376237623762".
- 1076929 cpu_core_0 "23.762376237623762".
- 1077066 cpu_core_0 "23.762376237623762".
- 1078030 cpu_core_0 "23.762376237623762".
- 1078607 cpu_core_0 "23.762376237623762".
- 1079775 cpu_core_0 "23.762376237623762".
- 1080918 cpu_core_0 "23.762376237623762".
- 1081527 cpu_core_0 "23.762376237623762".