Matches in ISWC2014 Benchmark for { ?s ?p 3.9215686274509802. }
- 1255419 cpu_core_0 "3.9215686274509802".
- 1255582 cpu_core_0 "3.9215686274509802".
- 1257545 cpu_core_0 "3.9215686274509802".
- 1258391 cpu_core_0 "3.9215686274509802".
- 1258422 cpu_core_0 "3.9215686274509802".
- 1259008 cpu_core_0 "3.9215686274509802".
- 1259324 cpu_core_0 "3.9215686274509802".
- 1259575 cpu_core_0 "3.9215686274509802".
- 1260173 cpu_core_0 "3.9215686274509802".
- 1260183 cpu_core_0 "3.9215686274509802".
- 1260655 cpu_core_0 "3.9215686274509802".
- 126143 cpu_core_0 "3.9215686274509802".
- 1261487 cpu_core_0 "3.9215686274509802".
- 1262319 cpu_core_0 "3.9215686274509802".
- 1262325 cpu_core_0 "3.9215686274509802".
- 1262469 cpu_core_0 "3.9215686274509802".
- 1262502 cpu_core_0 "3.9215686274509802".
- 1263662 cpu_core_0 "3.9215686274509802".
- 1264910 cpu_core_0 "3.9215686274509802".
- 1265675 cpu_core_0 "3.9215686274509802".
- 1265775 cpu_core_0 "3.9215686274509802".
- 1266810 cpu_core_0 "3.9215686274509802".
- 1267386 cpu_core_0 "3.9215686274509802".
- 1267577 cpu_core_0 "3.9215686274509802".
- 1267730 cpu_core_0 "3.9215686274509802".
- 1268000 cpu_core_0 "3.9215686274509802".
- 1268774 cpu_core_0 "3.9215686274509802".
- 1269434 cpu_core_0 "3.9215686274509802".
- 1269726 cpu_core_0 "3.9215686274509802".
- 1269918 cpu_core_0 "3.9215686274509802".
- 1270390 cpu_core_0 "3.9215686274509802".
- 1271123 cpu_core_0 "3.9215686274509802".
- 1271464 cpu_core_0 "3.9215686274509802".
- 1271704 cpu_core_0 "3.9215686274509802".
- 1272007 cpu_core_0 "3.9215686274509802".
- 1273145 cpu_core_0 "3.9215686274509802".
- 1274222 cpu_core_0 "3.9215686274509802".
- 1274593 cpu_core_0 "3.9215686274509802".
- 1274921 cpu_core_0 "3.9215686274509802".
- 1275188 cpu_core_0 "3.9215686274509802".
- 1275596 cpu_core_0 "3.9215686274509802".
- 1276050 cpu_core_0 "3.9215686274509802".
- 1276647 cpu_core_0 "3.9215686274509802".
- 1276722 cpu_core_0 "3.9215686274509802".
- 1276994 cpu_core_0 "3.9215686274509802".
- 1277051 cpu_core_0 "3.9215686274509802".
- 1277115 cpu_core_0 "3.9215686274509802".
- 1277251 cpu_core_0 "3.9215686274509802".
- 1278320 cpu_core_0 "3.9215686274509802".
- 1278378 cpu_core_0 "3.9215686274509802".
- 1279210 cpu_core_0 "3.9215686274509802".
- 1279532 cpu_core_0 "3.9215686274509802".
- 1280252 cpu_core_0 "3.9215686274509802".
- 1280380 cpu_core_0 "3.9215686274509802".
- 1280489 cpu_core_0 "3.9215686274509802".
- 1280813 cpu_core_0 "3.9215686274509802".
- 1281874 cpu_core_0 "3.9215686274509802".
- 1282239 cpu_core_0 "3.9215686274509802".
- 1282397 cpu_core_0 "3.9215686274509802".
- 1282718 cpu_core_0 "3.9215686274509802".
- 1283959 cpu_core_0 "3.9215686274509802".
- 1284017 cpu_core_0 "3.9215686274509802".
- 1284922 cpu_core_0 "3.9215686274509802".
- 1286185 cpu_core_0 "3.9215686274509802".
- 1286606 cpu_core_0 "3.9215686274509802".
- 1286638 cpu_core_0 "3.9215686274509802".
- 1286854 cpu_core_0 "3.9215686274509802".
- 1287132 cpu_core_0 "3.9215686274509802".
- 1287386 cpu_core_0 "3.9215686274509802".
- 1287574 cpu_core_0 "3.9215686274509802".
- 1287668 cpu_core_0 "3.9215686274509802".
- 1287686 cpu_core_0 "3.9215686274509802".
- 1287916 cpu_core_0 "3.9215686274509802".
- 1289910 cpu_core_0 "3.9215686274509802".
- 1290419 cpu_core_0 "3.9215686274509802".
- 1290895 cpu_core_0 "3.9215686274509802".
- 1291489 cpu_core_0 "3.9215686274509802".
- 1291577 cpu_core_0 "3.9215686274509802".
- 1292638 cpu_core_0 "3.9215686274509802".
- 1292732 cpu_core_0 "3.9215686274509802".
- 1292940 cpu_core_0 "3.9215686274509802".
- 1293013 cpu_core_0 "3.9215686274509802".
- 1293130 cpu_core_0 "3.9215686274509802".
- 1293900 cpu_core_0 "3.9215686274509802".
- 1294022 cpu_core_0 "3.9215686274509802".
- 1294890 cpu_core_0 "3.9215686274509802".
- 1295760 cpu_core_0 "3.9215686274509802".
- 1296144 cpu_core_0 "3.9215686274509802".
- 1296253 cpu_core_0 "3.9215686274509802".
- 1296255 cpu_core_0 "3.9215686274509802".
- 1296319 cpu_core_0 "3.9215686274509802".
- 1296994 cpu_core_0 "3.9215686274509802".
- 1297080 cpu_core_0 "3.9215686274509802".
- 1297177 cpu_core_0 "3.9215686274509802".
- 1297418 cpu_core_0 "3.9215686274509802".
- 129789 cpu_core_0 "3.9215686274509802".
- 1298987 cpu_core_0 "3.9215686274509802".
- 1299117 cpu_core_0 "3.9215686274509802".
- 129916 cpu_core_0 "3.9215686274509802".
- 1299945 cpu_core_0 "3.9215686274509802".