Matches in ISWC2014 Benchmark for { ?s ?p 5.9405940594059405. }
- 1011312 cpu_core_0 "5.9405940594059405".
- 1011322 cpu_core_0 "5.9405940594059405".
- 1013496 cpu_core_0 "5.9405940594059405".
- 1017293 cpu_core_0 "5.9405940594059405".
- 1018697 cpu_core_0 "5.9405940594059405".
- 1021725 cpu_core_0 "5.9405940594059405".
- 1022033 cpu_core_0 "5.9405940594059405".
- 1023716 cpu_core_0 "5.9405940594059405".
- 1030109 cpu_core_0 "5.9405940594059405".
- 1033829 cpu_core_0 "5.9405940594059405".
- 1037100 cpu_core_0 "5.9405940594059405".
- 103780 cpu_core_0 "5.9405940594059405".
- 1039715 cpu_core_0 "5.9405940594059405".
- 1042730 cpu_core_0 "5.9405940594059405".
- 10434 cpu_core_0 "5.9405940594059405".
- 1044033 cpu_core_0 "5.9405940594059405".
- 1044377 cpu_core_0 "5.9405940594059405".
- 1060737 cpu_core_0 "5.9405940594059405".
- 1063387 cpu_core_0 "5.9405940594059405".
- 1068887 cpu_core_0 "5.9405940594059405".
- 1068987 cpu_core_0 "5.9405940594059405".
- 1070027 cpu_core_0 "5.9405940594059405".
- 1072428 cpu_core_0 "5.9405940594059405".
- 1074313 cpu_core_0 "5.9405940594059405".
- 1074467 cpu_core_0 "5.9405940594059405".
- 1077638 cpu_core_0 "5.9405940594059405".
- 1087373 cpu_core_0 "5.9405940594059405".
- 109289 cpu_core_0 "5.9405940594059405".
- 1094054 cpu_core_0 "5.9405940594059405".
- 1100671 cpu_core_0 "5.9405940594059405".
- 1102973 cpu_core_0 "5.9405940594059405".
- 1107104 cpu_core_0 "5.9405940594059405".
- 1109461 cpu_core_0 "5.9405940594059405".
- 1109735 cpu_core_0 "5.9405940594059405".
- 1111468 cpu_core_0 "5.9405940594059405".
- 1114974 cpu_core_0 "5.9405940594059405".
- 1115414 cpu_core_0 "5.9405940594059405".
- 1117286 cpu_core_0 "5.9405940594059405".
- 1120157 cpu_core_0 "5.9405940594059405".
- 1120917 cpu_core_0 "5.9405940594059405".
- 1123010 cpu_core_0 "5.9405940594059405".
- 1126034 cpu_core_0 "5.9405940594059405".
- 1127885 cpu_core_0 "5.9405940594059405".
- 1129824 cpu_core_0 "5.9405940594059405".
- 113149 cpu_core_0 "5.9405940594059405".
- 1134881 cpu_core_0 "5.9405940594059405".
- 1138357 cpu_core_0 "5.9405940594059405".
- 1140050 cpu_core_0 "5.9405940594059405".
- 1140878 cpu_core_0 "5.9405940594059405".
- 1143025 cpu_core_0 "5.9405940594059405".
- 1147687 cpu_core_0 "5.9405940594059405".
- 1150769 cpu_core_0 "5.9405940594059405".
- 1152092 cpu_core_0 "5.9405940594059405".
- 115583 cpu_core_0 "5.9405940594059405".
- 1161771 cpu_core_0 "5.9405940594059405".
- 1173275 cpu_core_0 "5.9405940594059405".
- 1176142 cpu_core_0 "5.9405940594059405".
- 1177326 cpu_core_0 "5.9405940594059405".
- 1177460 cpu_core_0 "5.9405940594059405".
- 1183963 cpu_core_0 "5.9405940594059405".
- 1184424 cpu_core_0 "5.9405940594059405".
- 1186238 cpu_core_0 "5.9405940594059405".
- 1188293 cpu_core_0 "5.9405940594059405".
- 1190696 cpu_core_0 "5.9405940594059405".
- 119569 cpu_core_0 "5.9405940594059405".
- 1197012 cpu_core_0 "5.9405940594059405".
- 1197094 cpu_core_0 "5.9405940594059405".
- 1197100 cpu_core_0 "5.9405940594059405".
- 119743 cpu_core_0 "5.9405940594059405".
- 1200676 cpu_core_0 "5.9405940594059405".
- 1203611 cpu_core_0 "5.9405940594059405".
- 1207873 cpu_core_0 "5.9405940594059405".
- 1208711 cpu_core_0 "5.9405940594059405".
- 1208836 cpu_core_0 "5.9405940594059405".
- 1209192 cpu_core_0 "5.9405940594059405".
- 1209194 cpu_core_0 "5.9405940594059405".
- 1210752 cpu_core_0 "5.9405940594059405".
- 1211113 cpu_core_0 "5.9405940594059405".
- 1211464 cpu_core_0 "5.9405940594059405".
- 1211834 cpu_core_0 "5.9405940594059405".
- 1212184 cpu_core_0 "5.9405940594059405".
- 1212550 cpu_core_0 "5.9405940594059405".
- 1213726 cpu_core_0 "5.9405940594059405".
- 1213958 cpu_core_0 "5.9405940594059405".
- 1214043 cpu_core_0 "5.9405940594059405".
- 1214315 cpu_core_0 "5.9405940594059405".
- 1214745 cpu_core_0 "5.9405940594059405".
- 1214926 cpu_core_0 "5.9405940594059405".
- 1215230 cpu_core_0 "5.9405940594059405".
- 1215454 cpu_core_0 "5.9405940594059405".
- 1215602 cpu_core_0 "5.9405940594059405".
- 1215910 cpu_core_0 "5.9405940594059405".
- 1215960 cpu_core_0 "5.9405940594059405".
- 1216000 cpu_core_0 "5.9405940594059405".
- 1216040 cpu_core_0 "5.9405940594059405".
- 1216084 cpu_core_0 "5.9405940594059405".
- 1216441 cpu_core_0 "5.9405940594059405".
- 1216461 cpu_core_0 "5.9405940594059405".
- 1216712 cpu_core_0 "5.9405940594059405".
- 1216929 cpu_core_0 "5.9405940594059405".