Matches in ISWC2014 Benchmark for { ?s ?p 46.875. }
- 1011761 cpu_core_0 "46.875".
- 1011980 cpu_core_0 "46.875".
- 1012039 cpu_core_0 "46.875".
- 1012060 cpu_core_0 "46.875".
- 1012684 cpu_core_0 "46.875".
- 1013042 cpu_core_0 "46.875".
- 1213498 cpu_core_0 "46.875".
- 1670925 cpu_core_0 "46.875".
- 1670936 cpu_core_0 "46.875".
- 218654 cpu_core_0 "46.875".
- 247912 cpu_core_0 "46.875".
- 363727 cpu_core_0 "46.875".
- 364070 cpu_core_0 "46.875".
- 364251 cpu_core_0 "46.875".
- 402808 cpu_core_0 "46.875".
- 403368 cpu_core_0 "46.875".
- 403871 cpu_core_0 "46.875".
- 403886 cpu_core_0 "46.875".
- 403988 cpu_core_0 "46.875".
- 404034 cpu_core_0 "46.875".
- 404040 cpu_core_0 "46.875".
- 514736 cpu_core_0 "46.875".
- 514851 cpu_core_0 "46.875".
- 515247 cpu_core_0 "46.875".
- 515811 cpu_core_0 "46.875".
- 515842 cpu_core_0 "46.875".
- 516271 cpu_core_0 "46.875".
- 516368 cpu_core_0 "46.875".
- 517513 cpu_core_0 "46.875".
- 602120 cpu_core_0 "46.875".
- 602241 cpu_core_0 "46.875".
- 658910 cpu_core_0 "46.875".
- 660039 cpu_core_0 "46.875".
- 698671 cpu_core_0 "46.875".
- 699109 cpu_core_0 "46.875".
- 699275 cpu_core_0 "46.875".
- 700040 cpu_core_0 "46.875".
- 700047 cpu_core_0 "46.875".
- 700096 cpu_core_0 "46.875".
- 700203 cpu_core_0 "46.875".
- 902512 cpu_core_0 "46.875".
- 903735 cpu_core_0 "46.875".
- 905009 cpu_core_0 "46.875".
- 993400 cpu_core_0 "46.875".
- 994013 cpu_core_0 "46.875".
- 994089 cpu_core_0 "46.875".
- 994186 cpu_core_0 "46.875".
- 995226 cpu_core_0 "46.875".
- 240373 cpu_core_1 "46.875".
- 285924 cpu_core_1 "46.875".
- 362913 cpu_core_1 "46.875".
- 363389 cpu_core_1 "46.875".
- 402070 cpu_core_1 "46.875".
- 402141 cpu_core_1 "46.875".
- 403779 cpu_core_1 "46.875".
- 514870 cpu_core_1 "46.875".
- 515213 cpu_core_1 "46.875".
- 515370 cpu_core_1 "46.875".
- 515671 cpu_core_1 "46.875".
- 516402 cpu_core_1 "46.875".
- 516912 cpu_core_1 "46.875".
- 517219 cpu_core_1 "46.875".
- 517295 cpu_core_1 "46.875".
- 600393 cpu_core_1 "46.875".
- 601398 cpu_core_1 "46.875".
- 601586 cpu_core_1 "46.875".
- 601640 cpu_core_1 "46.875".
- 601959 cpu_core_1 "46.875".
- 659314 cpu_core_1 "46.875".
- 659484 cpu_core_1 "46.875".
- 659628 cpu_core_1 "46.875".
- 659946 cpu_core_1 "46.875".
- 698690 cpu_core_1 "46.875".
- 902148 cpu_core_1 "46.875".
- 902592 cpu_core_1 "46.875".
- 902799 cpu_core_1 "46.875".
- 903166 cpu_core_1 "46.875".
- 903536 cpu_core_1 "46.875".
- 903567 cpu_core_1 "46.875".
- 903960 cpu_core_1 "46.875".
- 904081 cpu_core_1 "46.875".
- 904187 cpu_core_1 "46.875".
- 904418 cpu_core_1 "46.875".
- 904776 cpu_core_1 "46.875".
- 993251 cpu_core_1 "46.875".
- 994336 cpu_core_1 "46.875".
- 994341 cpu_core_1 "46.875".
- 994859 cpu_core_1 "46.875".
- 994994 cpu_core_1 "46.875".
- 995068 cpu_core_1 "46.875".
- 285968 cpu_core_2 "46.875".
- 362909 cpu_core_2 "46.875".
- 363870 cpu_core_2 "46.875".
- 402133 cpu_core_2 "46.875".
- 514499 cpu_core_2 "46.875".
- 515081 cpu_core_2 "46.875".
- 515573 cpu_core_2 "46.875".
- 516377 cpu_core_2 "46.875".
- 516439 cpu_core_2 "46.875".
- 516519 cpu_core_2 "46.875".