Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1041350 cpu_core_0 "12.000000000000002".
- 1041401 cpu_core_0 "12.000000000000002".
- 1041450 cpu_core_0 "12.000000000000002".
- 1041520 cpu_core_0 "12.000000000000002".
- 1041655 cpu_core_0 "12.000000000000002".
- 1041692 cpu_core_0 "12.000000000000002".
- 1041723 cpu_core_0 "12.000000000000002".
- 1041825 cpu_core_0 "12.000000000000002".
- 1041924 cpu_core_0 "12.000000000000002".
- 1041962 cpu_core_0 "12.000000000000002".
- 1042240 cpu_core_0 "12.000000000000002".
- 1042299 cpu_core_0 "12.000000000000002".
- 1042351 cpu_core_0 "12.000000000000002".
- 1042376 cpu_core_0 "12.000000000000002".
- 1042421 cpu_core_0 "12.000000000000002".
- 1042445 cpu_core_0 "12.000000000000002".
- 1042469 cpu_core_0 "12.000000000000002".
- 1042473 cpu_core_0 "12.000000000000002".
- 1042537 cpu_core_0 "12.000000000000002".
- 1042699 cpu_core_0 "12.000000000000002".
- 1042787 cpu_core_0 "12.000000000000002".
- 1042800 cpu_core_0 "12.000000000000002".
- 1042825 cpu_core_0 "12.000000000000002".
- 1042899 cpu_core_0 "12.000000000000002".
- 1043065 cpu_core_0 "12.000000000000002".
- 1043165 cpu_core_0 "12.000000000000002".
- 1043290 cpu_core_0 "12.000000000000002".
- 1043370 cpu_core_0 "12.000000000000002".
- 1043376 cpu_core_0 "12.000000000000002".
- 1043441 cpu_core_0 "12.000000000000002".
- 1043536 cpu_core_0 "12.000000000000002".
- 1043547 cpu_core_0 "12.000000000000002".
- 1043736 cpu_core_0 "12.000000000000002".
- 1043758 cpu_core_0 "12.000000000000002".
- 1043780 cpu_core_0 "12.000000000000002".
- 1043857 cpu_core_0 "12.000000000000002".
- 1043946 cpu_core_0 "12.000000000000002".
- 1043972 cpu_core_0 "12.000000000000002".
- 1043993 cpu_core_0 "12.000000000000002".
- 1044116 cpu_core_0 "12.000000000000002".
- 1044367 cpu_core_0 "12.000000000000002".
- 1044381 cpu_core_0 "12.000000000000002".
- 1044444 cpu_core_0 "12.000000000000002".
- 1044491 cpu_core_0 "12.000000000000002".
- 1044496 cpu_core_0 "12.000000000000002".
- 1044512 cpu_core_0 "12.000000000000002".
- 1044521 cpu_core_0 "12.000000000000002".
- 1044557 cpu_core_0 "12.000000000000002".
- 1044572 cpu_core_0 "12.000000000000002".
- 1044678 cpu_core_0 "12.000000000000002".
- 1044801 cpu_core_0 "12.000000000000002".
- 1044872 cpu_core_0 "12.000000000000002".
- 1044971 cpu_core_0 "12.000000000000002".
- 1044976 cpu_core_0 "12.000000000000002".
- 1045019 cpu_core_0 "12.000000000000002".
- 1045022 cpu_core_0 "12.000000000000002".
- 1045048 cpu_core_0 "12.000000000000002".
- 1045051 cpu_core_0 "12.000000000000002".
- 1045117 cpu_core_0 "12.000000000000002".
- 1045139 cpu_core_0 "12.000000000000002".
- 1045229 cpu_core_0 "12.000000000000002".
- 1045257 cpu_core_0 "12.000000000000002".
- 1045377 cpu_core_0 "12.000000000000002".
- 1045422 cpu_core_0 "12.000000000000002".
- 1045425 cpu_core_0 "12.000000000000002".
- 1045541 cpu_core_0 "12.000000000000002".
- 1045547 cpu_core_0 "12.000000000000002".
- 1045600 cpu_core_0 "12.000000000000002".
- 1045650 cpu_core_0 "12.000000000000002".
- 1045689 cpu_core_0 "12.000000000000002".
- 1045693 cpu_core_0 "12.000000000000002".
- 1045822 cpu_core_0 "12.000000000000002".
- 1046003 cpu_core_0 "12.000000000000002".
- 1046007 cpu_core_0 "12.000000000000002".
- 1046009 cpu_core_0 "12.000000000000002".
- 1046060 cpu_core_0 "12.000000000000002".
- 1046191 cpu_core_0 "12.000000000000002".
- 1046311 cpu_core_0 "12.000000000000002".
- 1046443 cpu_core_0 "12.000000000000002".
- 1046462 cpu_core_0 "12.000000000000002".
- 1046505 cpu_core_0 "12.000000000000002".
- 1046663 cpu_core_0 "12.000000000000002".
- 1046899 cpu_core_0 "12.000000000000002".
- 1046956 cpu_core_0 "12.000000000000002".
- 1047151 cpu_core_0 "12.000000000000002".
- 1047185 cpu_core_0 "12.000000000000002".
- 1047205 cpu_core_0 "12.000000000000002".
- 1047255 cpu_core_0 "12.000000000000002".
- 1047280 cpu_core_0 "12.000000000000002".
- 1047389 cpu_core_0 "12.000000000000002".
- 1047417 cpu_core_0 "12.000000000000002".
- 1047552 cpu_core_0 "12.000000000000002".
- 1047673 cpu_core_0 "12.000000000000002".
- 1047678 cpu_core_0 "12.000000000000002".
- 1047681 cpu_core_0 "12.000000000000002".
- 1047743 cpu_core_0 "12.000000000000002".
- 1047904 cpu_core_0 "12.000000000000002".
- 1048238 cpu_core_0 "12.000000000000002".
- 1048386 cpu_core_0 "12.000000000000002".
- 1048397 cpu_core_0 "12.000000000000002".