Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1003292 cpu_core_0 "12.000000000000002".
- 1013557 cpu_core_0 "12.000000000000002".
- 1015610 cpu_core_0 "12.000000000000002".
- 1015640 cpu_core_0 "12.000000000000002".
- 1015696 cpu_core_0 "12.000000000000002".
- 1015754 cpu_core_0 "12.000000000000002".
- 1015775 cpu_core_0 "12.000000000000002".
- 1015800 cpu_core_0 "12.000000000000002".
- 1015806 cpu_core_0 "12.000000000000002".
- 1015888 cpu_core_0 "12.000000000000002".
- 1015943 cpu_core_0 "12.000000000000002".
- 1016003 cpu_core_0 "12.000000000000002".
- 1016037 cpu_core_0 "12.000000000000002".
- 1016113 cpu_core_0 "12.000000000000002".
- 1016132 cpu_core_0 "12.000000000000002".
- 1016137 cpu_core_0 "12.000000000000002".
- 1016168 cpu_core_0 "12.000000000000002".
- 1016191 cpu_core_0 "12.000000000000002".
- 1016229 cpu_core_0 "12.000000000000002".
- 1016239 cpu_core_0 "12.000000000000002".
- 1016259 cpu_core_0 "12.000000000000002".
- 1016266 cpu_core_0 "12.000000000000002".
- 1016381 cpu_core_0 "12.000000000000002".
- 1016411 cpu_core_0 "12.000000000000002".
- 1016541 cpu_core_0 "12.000000000000002".
- 1016550 cpu_core_0 "12.000000000000002".
- 1016586 cpu_core_0 "12.000000000000002".
- 1016605 cpu_core_0 "12.000000000000002".
- 1016633 cpu_core_0 "12.000000000000002".
- 1016651 cpu_core_0 "12.000000000000002".
- 1016715 cpu_core_0 "12.000000000000002".
- 1016872 cpu_core_0 "12.000000000000002".
- 1016874 cpu_core_0 "12.000000000000002".
- 1017336 cpu_core_0 "12.000000000000002".
- 1017341 cpu_core_0 "12.000000000000002".
- 1017358 cpu_core_0 "12.000000000000002".
- 1017368 cpu_core_0 "12.000000000000002".
- 1017379 cpu_core_0 "12.000000000000002".
- 1017433 cpu_core_0 "12.000000000000002".
- 1017541 cpu_core_0 "12.000000000000002".
- 1017621 cpu_core_0 "12.000000000000002".
- 1017634 cpu_core_0 "12.000000000000002".
- 1017700 cpu_core_0 "12.000000000000002".
- 1017755 cpu_core_0 "12.000000000000002".
- 1017822 cpu_core_0 "12.000000000000002".
- 1017826 cpu_core_0 "12.000000000000002".
- 1017907 cpu_core_0 "12.000000000000002".
- 1017915 cpu_core_0 "12.000000000000002".
- 1017918 cpu_core_0 "12.000000000000002".
- 1017993 cpu_core_0 "12.000000000000002".
- 1018056 cpu_core_0 "12.000000000000002".
- 1018070 cpu_core_0 "12.000000000000002".
- 1018234 cpu_core_0 "12.000000000000002".
- 1018264 cpu_core_0 "12.000000000000002".
- 1018564 cpu_core_0 "12.000000000000002".
- 1018575 cpu_core_0 "12.000000000000002".
- 1018781 cpu_core_0 "12.000000000000002".
- 1018882 cpu_core_0 "12.000000000000002".
- 1018906 cpu_core_0 "12.000000000000002".
- 1018921 cpu_core_0 "12.000000000000002".
- 1019040 cpu_core_0 "12.000000000000002".
- 1019147 cpu_core_0 "12.000000000000002".
- 1019181 cpu_core_0 "12.000000000000002".
- 1019305 cpu_core_0 "12.000000000000002".
- 1019312 cpu_core_0 "12.000000000000002".
- 1019352 cpu_core_0 "12.000000000000002".
- 1019535 cpu_core_0 "12.000000000000002".
- 1019596 cpu_core_0 "12.000000000000002".
- 1019652 cpu_core_0 "12.000000000000002".
- 1019770 cpu_core_0 "12.000000000000002".
- 1019969 cpu_core_0 "12.000000000000002".
- 1020034 cpu_core_0 "12.000000000000002".
- 1020156 cpu_core_0 "12.000000000000002".
- 1020245 cpu_core_0 "12.000000000000002".
- 1020309 cpu_core_0 "12.000000000000002".
- 1020341 cpu_core_0 "12.000000000000002".
- 1020376 cpu_core_0 "12.000000000000002".
- 1020380 cpu_core_0 "12.000000000000002".
- 1020448 cpu_core_0 "12.000000000000002".
- 1020540 cpu_core_0 "12.000000000000002".
- 1020926 cpu_core_0 "12.000000000000002".
- 1020939 cpu_core_0 "12.000000000000002".
- 1021039 cpu_core_0 "12.000000000000002".
- 1021044 cpu_core_0 "12.000000000000002".
- 1021059 cpu_core_0 "12.000000000000002".
- 1021076 cpu_core_0 "12.000000000000002".
- 1021079 cpu_core_0 "12.000000000000002".
- 1021091 cpu_core_0 "12.000000000000002".
- 1021108 cpu_core_0 "12.000000000000002".
- 1021123 cpu_core_0 "12.000000000000002".
- 1021404 cpu_core_0 "12.000000000000002".
- 1021412 cpu_core_0 "12.000000000000002".
- 1021421 cpu_core_0 "12.000000000000002".
- 1021522 cpu_core_0 "12.000000000000002".
- 1021534 cpu_core_0 "12.000000000000002".
- 1021555 cpu_core_0 "12.000000000000002".
- 1021588 cpu_core_0 "12.000000000000002".
- 1021686 cpu_core_0 "12.000000000000002".
- 1021687 cpu_core_0 "12.000000000000002".
- 1021701 cpu_core_0 "12.000000000000002".