Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1006319 cpu_core_0 "5.88235294117647".
- 1014531 cpu_core_0 "5.88235294117647".
- 1017576 cpu_core_0 "5.88235294117647".
- 1019426 cpu_core_0 "5.88235294117647".
- 1023821 cpu_core_0 "5.88235294117647".
- 1025064 cpu_core_0 "5.88235294117647".
- 1025177 cpu_core_0 "5.88235294117647".
- 1025273 cpu_core_0 "5.88235294117647".
- 1025643 cpu_core_0 "5.88235294117647".
- 1025842 cpu_core_0 "5.88235294117647".
- 1025887 cpu_core_0 "5.88235294117647".
- 1026691 cpu_core_0 "5.88235294117647".
- 1027480 cpu_core_0 "5.88235294117647".
- 1029166 cpu_core_0 "5.88235294117647".
- 1031978 cpu_core_0 "5.88235294117647".
- 1032517 cpu_core_0 "5.88235294117647".
- 1032634 cpu_core_0 "5.88235294117647".
- 1033458 cpu_core_0 "5.88235294117647".
- 1033800 cpu_core_0 "5.88235294117647".
- 1034717 cpu_core_0 "5.88235294117647".
- 1035080 cpu_core_0 "5.88235294117647".
- 1035843 cpu_core_0 "5.88235294117647".
- 1036402 cpu_core_0 "5.88235294117647".
- 1036734 cpu_core_0 "5.88235294117647".
- 1037202 cpu_core_0 "5.88235294117647".
- 1037792 cpu_core_0 "5.88235294117647".
- 1037971 cpu_core_0 "5.88235294117647".
- 1038566 cpu_core_0 "5.88235294117647".
- 1038915 cpu_core_0 "5.88235294117647".
- 1040147 cpu_core_0 "5.88235294117647".
- 1040810 cpu_core_0 "5.88235294117647".
- 1042996 cpu_core_0 "5.88235294117647".
- 1045526 cpu_core_0 "5.88235294117647".
- 1045601 cpu_core_0 "5.88235294117647".
- 1045831 cpu_core_0 "5.88235294117647".
- 1050571 cpu_core_0 "5.88235294117647".
- 1050744 cpu_core_0 "5.88235294117647".
- 1051225 cpu_core_0 "5.88235294117647".
- 1053793 cpu_core_0 "5.88235294117647".
- 1053984 cpu_core_0 "5.88235294117647".
- 1054201 cpu_core_0 "5.88235294117647".
- 1054347 cpu_core_0 "5.88235294117647".
- 1055317 cpu_core_0 "5.88235294117647".
- 1055470 cpu_core_0 "5.88235294117647".
- 1055607 cpu_core_0 "5.88235294117647".
- 1056199 cpu_core_0 "5.88235294117647".
- 1057271 cpu_core_0 "5.88235294117647".
- 1057760 cpu_core_0 "5.88235294117647".
- 1058246 cpu_core_0 "5.88235294117647".
- 1058649 cpu_core_0 "5.88235294117647".
- 1059203 cpu_core_0 "5.88235294117647".
- 1059355 cpu_core_0 "5.88235294117647".
- 1060459 cpu_core_0 "5.88235294117647".
- 1061031 cpu_core_0 "5.88235294117647".
- 1063490 cpu_core_0 "5.88235294117647".
- 1064038 cpu_core_0 "5.88235294117647".
- 1064059 cpu_core_0 "5.88235294117647".
- 1065012 cpu_core_0 "5.88235294117647".
- 1065042 cpu_core_0 "5.88235294117647".
- 1065956 cpu_core_0 "5.88235294117647".
- 1069312 cpu_core_0 "5.88235294117647".
- 1071434 cpu_core_0 "5.88235294117647".
- 1071496 cpu_core_0 "5.88235294117647".
- 1071504 cpu_core_0 "5.88235294117647".
- 1073377 cpu_core_0 "5.88235294117647".
- 1074456 cpu_core_0 "5.88235294117647".
- 1075801 cpu_core_0 "5.88235294117647".
- 1081028 cpu_core_0 "5.88235294117647".
- 1081078 cpu_core_0 "5.88235294117647".
- 1081659 cpu_core_0 "5.88235294117647".
- 1081814 cpu_core_0 "5.88235294117647".
- 1082084 cpu_core_0 "5.88235294117647".
- 1084429 cpu_core_0 "5.88235294117647".
- 1084673 cpu_core_0 "5.88235294117647".
- 1084951 cpu_core_0 "5.88235294117647".
- 1087957 cpu_core_0 "5.88235294117647".
- 1088646 cpu_core_0 "5.88235294117647".
- 1089644 cpu_core_0 "5.88235294117647".
- 1090649 cpu_core_0 "5.88235294117647".
- 1091029 cpu_core_0 "5.88235294117647".
- 1092317 cpu_core_0 "5.88235294117647".
- 1094712 cpu_core_0 "5.88235294117647".
- 1096387 cpu_core_0 "5.88235294117647".
- 1097233 cpu_core_0 "5.88235294117647".
- 1097538 cpu_core_0 "5.88235294117647".
- 1098570 cpu_core_0 "5.88235294117647".
- 1100600 cpu_core_0 "5.88235294117647".
- 1100798 cpu_core_0 "5.88235294117647".
- 1100810 cpu_core_0 "5.88235294117647".
- 1101598 cpu_core_0 "5.88235294117647".
- 1101658 cpu_core_0 "5.88235294117647".
- 1103731 cpu_core_0 "5.88235294117647".
- 1106316 cpu_core_0 "5.88235294117647".
- 1106772 cpu_core_0 "5.88235294117647".
- 1108720 cpu_core_0 "5.88235294117647".
- 1108813 cpu_core_0 "5.88235294117647".
- 1108924 cpu_core_0 "5.88235294117647".
- 1111926 cpu_core_0 "5.88235294117647".
- 1112687 cpu_core_0 "5.88235294117647".
- 1112795 cpu_core_0 "5.88235294117647".