Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1082963 cpu_core_0 "12.000000000000002".
- 1083155 cpu_core_0 "12.000000000000002".
- 1083276 cpu_core_0 "12.000000000000002".
- 1083354 cpu_core_0 "12.000000000000002".
- 1083382 cpu_core_0 "12.000000000000002".
- 1083592 cpu_core_0 "12.000000000000002".
- 1083741 cpu_core_0 "12.000000000000002".
- 1084149 cpu_core_0 "12.000000000000002".
- 1084163 cpu_core_0 "12.000000000000002".
- 1084206 cpu_core_0 "12.000000000000002".
- 1084272 cpu_core_0 "12.000000000000002".
- 1084279 cpu_core_0 "12.000000000000002".
- 1084292 cpu_core_0 "12.000000000000002".
- 1084299 cpu_core_0 "12.000000000000002".
- 1084327 cpu_core_0 "12.000000000000002".
- 1084329 cpu_core_0 "12.000000000000002".
- 1084343 cpu_core_0 "12.000000000000002".
- 1084449 cpu_core_0 "12.000000000000002".
- 1084495 cpu_core_0 "12.000000000000002".
- 1084512 cpu_core_0 "12.000000000000002".
- 1084520 cpu_core_0 "12.000000000000002".
- 1084581 cpu_core_0 "12.000000000000002".
- 1084629 cpu_core_0 "12.000000000000002".
- 1084638 cpu_core_0 "12.000000000000002".
- 1084643 cpu_core_0 "12.000000000000002".
- 1084679 cpu_core_0 "12.000000000000002".
- 1084692 cpu_core_0 "12.000000000000002".
- 1084748 cpu_core_0 "12.000000000000002".
- 1084870 cpu_core_0 "12.000000000000002".
- 1084872 cpu_core_0 "12.000000000000002".
- 1084918 cpu_core_0 "12.000000000000002".
- 1085056 cpu_core_0 "12.000000000000002".
- 1085137 cpu_core_0 "12.000000000000002".
- 1085189 cpu_core_0 "12.000000000000002".
- 1085306 cpu_core_0 "12.000000000000002".
- 1085361 cpu_core_0 "12.000000000000002".
- 1085371 cpu_core_0 "12.000000000000002".
- 1085397 cpu_core_0 "12.000000000000002".
- 1085418 cpu_core_0 "12.000000000000002".
- 1085465 cpu_core_0 "12.000000000000002".
- 1085468 cpu_core_0 "12.000000000000002".
- 1085709 cpu_core_0 "12.000000000000002".
- 1085738 cpu_core_0 "12.000000000000002".
- 1085752 cpu_core_0 "12.000000000000002".
- 1085786 cpu_core_0 "12.000000000000002".
- 1085896 cpu_core_0 "12.000000000000002".
- 1085953 cpu_core_0 "12.000000000000002".
- 1085974 cpu_core_0 "12.000000000000002".
- 1086101 cpu_core_0 "12.000000000000002".
- 1086106 cpu_core_0 "12.000000000000002".
- 1086116 cpu_core_0 "12.000000000000002".
- 1086319 cpu_core_0 "12.000000000000002".
- 1086337 cpu_core_0 "12.000000000000002".
- 1086346 cpu_core_0 "12.000000000000002".
- 1086371 cpu_core_0 "12.000000000000002".
- 1086442 cpu_core_0 "12.000000000000002".
- 1086500 cpu_core_0 "12.000000000000002".
- 1086542 cpu_core_0 "12.000000000000002".
- 1086565 cpu_core_0 "12.000000000000002".
- 1086627 cpu_core_0 "12.000000000000002".
- 1086715 cpu_core_0 "12.000000000000002".
- 1086733 cpu_core_0 "12.000000000000002".
- 1086790 cpu_core_0 "12.000000000000002".
- 1086831 cpu_core_0 "12.000000000000002".
- 1086859 cpu_core_0 "12.000000000000002".
- 1086904 cpu_core_0 "12.000000000000002".
- 1087095 cpu_core_0 "12.000000000000002".
- 1087173 cpu_core_0 "12.000000000000002".
- 1087176 cpu_core_0 "12.000000000000002".
- 1087701 cpu_core_0 "12.000000000000002".
- 1087742 cpu_core_0 "12.000000000000002".
- 1087809 cpu_core_0 "12.000000000000002".
- 1087834 cpu_core_0 "12.000000000000002".
- 1087898 cpu_core_0 "12.000000000000002".
- 1088023 cpu_core_0 "12.000000000000002".
- 1088062 cpu_core_0 "12.000000000000002".
- 1088335 cpu_core_0 "12.000000000000002".
- 1088345 cpu_core_0 "12.000000000000002".
- 1088411 cpu_core_0 "12.000000000000002".
- 1088427 cpu_core_0 "12.000000000000002".
- 1088495 cpu_core_0 "12.000000000000002".
- 1088668 cpu_core_0 "12.000000000000002".
- 1088953 cpu_core_0 "12.000000000000002".
- 1089133 cpu_core_0 "12.000000000000002".
- 1089457 cpu_core_0 "12.000000000000002".
- 1089467 cpu_core_0 "12.000000000000002".
- 1089473 cpu_core_0 "12.000000000000002".
- 1089590 cpu_core_0 "12.000000000000002".
- 1090016 cpu_core_0 "12.000000000000002".
- 1090402 cpu_core_0 "12.000000000000002".
- 1090404 cpu_core_0 "12.000000000000002".
- 1090502 cpu_core_0 "12.000000000000002".
- 1090527 cpu_core_0 "12.000000000000002".
- 1090588 cpu_core_0 "12.000000000000002".
- 1090595 cpu_core_0 "12.000000000000002".
- 1090601 cpu_core_0 "12.000000000000002".
- 1090737 cpu_core_0 "12.000000000000002".
- 1090833 cpu_core_0 "12.000000000000002".
- 1090854 cpu_core_0 "12.000000000000002".
- 1090937 cpu_core_0 "12.000000000000002".