Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1048414 cpu_core_0 "12.000000000000002".
- 1048570 cpu_core_0 "12.000000000000002".
- 1048765 cpu_core_0 "12.000000000000002".
- 1048944 cpu_core_0 "12.000000000000002".
- 1049243 cpu_core_0 "12.000000000000002".
- 1049251 cpu_core_0 "12.000000000000002".
- 1049292 cpu_core_0 "12.000000000000002".
- 1049301 cpu_core_0 "12.000000000000002".
- 1049388 cpu_core_0 "12.000000000000002".
- 1049431 cpu_core_0 "12.000000000000002".
- 1049540 cpu_core_0 "12.000000000000002".
- 1049696 cpu_core_0 "12.000000000000002".
- 1049749 cpu_core_0 "12.000000000000002".
- 1049947 cpu_core_0 "12.000000000000002".
- 1049992 cpu_core_0 "12.000000000000002".
- 1050563 cpu_core_0 "12.000000000000002".
- 1050581 cpu_core_0 "12.000000000000002".
- 1050640 cpu_core_0 "12.000000000000002".
- 1050643 cpu_core_0 "12.000000000000002".
- 1050739 cpu_core_0 "12.000000000000002".
- 1050804 cpu_core_0 "12.000000000000002".
- 1050809 cpu_core_0 "12.000000000000002".
- 1050810 cpu_core_0 "12.000000000000002".
- 1050821 cpu_core_0 "12.000000000000002".
- 1050829 cpu_core_0 "12.000000000000002".
- 1050848 cpu_core_0 "12.000000000000002".
- 1050864 cpu_core_0 "12.000000000000002".
- 1050922 cpu_core_0 "12.000000000000002".
- 1050926 cpu_core_0 "12.000000000000002".
- 1050931 cpu_core_0 "12.000000000000002".
- 1050932 cpu_core_0 "12.000000000000002".
- 1050954 cpu_core_0 "12.000000000000002".
- 1050997 cpu_core_0 "12.000000000000002".
- 1051026 cpu_core_0 "12.000000000000002".
- 1051033 cpu_core_0 "12.000000000000002".
- 1051193 cpu_core_0 "12.000000000000002".
- 1051207 cpu_core_0 "12.000000000000002".
- 1051212 cpu_core_0 "12.000000000000002".
- 1051453 cpu_core_0 "12.000000000000002".
- 1051457 cpu_core_0 "12.000000000000002".
- 1051485 cpu_core_0 "12.000000000000002".
- 1051570 cpu_core_0 "12.000000000000002".
- 1051635 cpu_core_0 "12.000000000000002".
- 1051686 cpu_core_0 "12.000000000000002".
- 1051778 cpu_core_0 "12.000000000000002".
- 1051793 cpu_core_0 "12.000000000000002".
- 1051893 cpu_core_0 "12.000000000000002".
- 1051988 cpu_core_0 "12.000000000000002".
- 1052005 cpu_core_0 "12.000000000000002".
- 1052081 cpu_core_0 "12.000000000000002".
- 1052181 cpu_core_0 "12.000000000000002".
- 1052279 cpu_core_0 "12.000000000000002".
- 1052380 cpu_core_0 "12.000000000000002".
- 1052391 cpu_core_0 "12.000000000000002".
- 1052490 cpu_core_0 "12.000000000000002".
- 1052607 cpu_core_0 "12.000000000000002".
- 1052721 cpu_core_0 "12.000000000000002".
- 1052923 cpu_core_0 "12.000000000000002".
- 1052971 cpu_core_0 "12.000000000000002".
- 1053088 cpu_core_0 "12.000000000000002".
- 1053405 cpu_core_0 "12.000000000000002".
- 1053424 cpu_core_0 "12.000000000000002".
- 1053428 cpu_core_0 "12.000000000000002".
- 1053480 cpu_core_0 "12.000000000000002".
- 1053495 cpu_core_0 "12.000000000000002".
- 1053580 cpu_core_0 "12.000000000000002".
- 1053677 cpu_core_0 "12.000000000000002".
- 1053718 cpu_core_0 "12.000000000000002".
- 1053801 cpu_core_0 "12.000000000000002".
- 1053805 cpu_core_0 "12.000000000000002".
- 1054104 cpu_core_0 "12.000000000000002".
- 1054119 cpu_core_0 "12.000000000000002".
- 1054128 cpu_core_0 "12.000000000000002".
- 1054276 cpu_core_0 "12.000000000000002".
- 1054292 cpu_core_0 "12.000000000000002".
- 1054337 cpu_core_0 "12.000000000000002".
- 1054350 cpu_core_0 "12.000000000000002".
- 1054361 cpu_core_0 "12.000000000000002".
- 1054780 cpu_core_0 "12.000000000000002".
- 1054787 cpu_core_0 "12.000000000000002".
- 1054795 cpu_core_0 "12.000000000000002".
- 1054827 cpu_core_0 "12.000000000000002".
- 1054963 cpu_core_0 "12.000000000000002".
- 1055015 cpu_core_0 "12.000000000000002".
- 1055073 cpu_core_0 "12.000000000000002".
- 1055164 cpu_core_0 "12.000000000000002".
- 1055176 cpu_core_0 "12.000000000000002".
- 1055241 cpu_core_0 "12.000000000000002".
- 1055353 cpu_core_0 "12.000000000000002".
- 1055393 cpu_core_0 "12.000000000000002".
- 1055452 cpu_core_0 "12.000000000000002".
- 1055573 cpu_core_0 "12.000000000000002".
- 1055940 cpu_core_0 "12.000000000000002".
- 1055947 cpu_core_0 "12.000000000000002".
- 1055989 cpu_core_0 "12.000000000000002".
- 1056093 cpu_core_0 "12.000000000000002".
- 1056138 cpu_core_0 "12.000000000000002".
- 1056142 cpu_core_0 "12.000000000000002".
- 1056184 cpu_core_0 "12.000000000000002".
- 1056240 cpu_core_0 "12.000000000000002".