Matches in ISWC2014 Benchmark for { ?s ?p 24.000000000000004. }
- 1000025 cpu_core_0 "24.000000000000004".
- 1002613 cpu_core_0 "24.000000000000004".
- 1003576 cpu_core_0 "24.000000000000004".
- 1006097 cpu_core_0 "24.000000000000004".
- 1006374 cpu_core_0 "24.000000000000004".
- 1007134 cpu_core_0 "24.000000000000004".
- 1008470 cpu_core_0 "24.000000000000004".
- 1009419 cpu_core_0 "24.000000000000004".
- 1009684 cpu_core_0 "24.000000000000004".
- 1009701 cpu_core_0 "24.000000000000004".
- 1009890 cpu_core_0 "24.000000000000004".
- 1010408 cpu_core_0 "24.000000000000004".
- 1010608 cpu_core_0 "24.000000000000004".
- 1010823 cpu_core_0 "24.000000000000004".
- 1010937 cpu_core_0 "24.000000000000004".
- 1011060 cpu_core_0 "24.000000000000004".
- 1011167 cpu_core_0 "24.000000000000004".
- 1011201 cpu_core_0 "24.000000000000004".
- 1011211 cpu_core_0 "24.000000000000004".
- 1012769 cpu_core_0 "24.000000000000004".
- 1013754 cpu_core_0 "24.000000000000004".
- 1014081 cpu_core_0 "24.000000000000004".
- 1014674 cpu_core_0 "24.000000000000004".
- 1016396 cpu_core_0 "24.000000000000004".
- 1017957 cpu_core_0 "24.000000000000004".
- 1019880 cpu_core_0 "24.000000000000004".
- 1020153 cpu_core_0 "24.000000000000004".
- 1020316 cpu_core_0 "24.000000000000004".
- 1022057 cpu_core_0 "24.000000000000004".
- 1025121 cpu_core_0 "24.000000000000004".
- 1027523 cpu_core_0 "24.000000000000004".
- 1027731 cpu_core_0 "24.000000000000004".
- 1027850 cpu_core_0 "24.000000000000004".
- 1028022 cpu_core_0 "24.000000000000004".
- 1029431 cpu_core_0 "24.000000000000004".
- 1029961 cpu_core_0 "24.000000000000004".
- 1031629 cpu_core_0 "24.000000000000004".
- 1031837 cpu_core_0 "24.000000000000004".
- 1032633 cpu_core_0 "24.000000000000004".
- 1032942 cpu_core_0 "24.000000000000004".
- 1033373 cpu_core_0 "24.000000000000004".
- 1039136 cpu_core_0 "24.000000000000004".
- 1041587 cpu_core_0 "24.000000000000004".
- 1042911 cpu_core_0 "24.000000000000004".
- 1043326 cpu_core_0 "24.000000000000004".
- 1043688 cpu_core_0 "24.000000000000004".
- 1046802 cpu_core_0 "24.000000000000004".
- 1047768 cpu_core_0 "24.000000000000004".
- 1049987 cpu_core_0 "24.000000000000004".
- 1050930 cpu_core_0 "24.000000000000004".
- 1051027 cpu_core_0 "24.000000000000004".
- 1052846 cpu_core_0 "24.000000000000004".
- 1053558 cpu_core_0 "24.000000000000004".
- 1058407 cpu_core_0 "24.000000000000004".
- 1061422 cpu_core_0 "24.000000000000004".
- 1062795 cpu_core_0 "24.000000000000004".
- 1063887 cpu_core_0 "24.000000000000004".
- 1064161 cpu_core_0 "24.000000000000004".
- 1065571 cpu_core_0 "24.000000000000004".
- 1065856 cpu_core_0 "24.000000000000004".
- 1068511 cpu_core_0 "24.000000000000004".
- 1068634 cpu_core_0 "24.000000000000004".
- 1069290 cpu_core_0 "24.000000000000004".
- 1070694 cpu_core_0 "24.000000000000004".
- 1071610 cpu_core_0 "24.000000000000004".
- 1076111 cpu_core_0 "24.000000000000004".
- 1078174 cpu_core_0 "24.000000000000004".
- 1079410 cpu_core_0 "24.000000000000004".
- 1080588 cpu_core_0 "24.000000000000004".
- 1080673 cpu_core_0 "24.000000000000004".
- 1083745 cpu_core_0 "24.000000000000004".
- 1086060 cpu_core_0 "24.000000000000004".
- 1086217 cpu_core_0 "24.000000000000004".
- 1086315 cpu_core_0 "24.000000000000004".
- 1086624 cpu_core_0 "24.000000000000004".
- 1087104 cpu_core_0 "24.000000000000004".
- 1087227 cpu_core_0 "24.000000000000004".
- 1087640 cpu_core_0 "24.000000000000004".
- 1087644 cpu_core_0 "24.000000000000004".
- 1087649 cpu_core_0 "24.000000000000004".
- 1088172 cpu_core_0 "24.000000000000004".
- 1090335 cpu_core_0 "24.000000000000004".
- 1091822 cpu_core_0 "24.000000000000004".
- 1092098 cpu_core_0 "24.000000000000004".
- 1092390 cpu_core_0 "24.000000000000004".
- 1092927 cpu_core_0 "24.000000000000004".
- 1093363 cpu_core_0 "24.000000000000004".
- 1093743 cpu_core_0 "24.000000000000004".
- 1094450 cpu_core_0 "24.000000000000004".
- 1095001 cpu_core_0 "24.000000000000004".
- 1095677 cpu_core_0 "24.000000000000004".
- 1098393 cpu_core_0 "24.000000000000004".
- 1098640 cpu_core_0 "24.000000000000004".
- 1099443 cpu_core_0 "24.000000000000004".
- 1100903 cpu_core_0 "24.000000000000004".
- 1106357 cpu_core_0 "24.000000000000004".
- 1108260 cpu_core_0 "24.000000000000004".
- 1109930 cpu_core_0 "24.000000000000004".
- 1110392 cpu_core_0 "24.000000000000004".
- 1113351 cpu_core_0 "24.000000000000004".