{"entities":{"Q1777389":{"pageid":1788131,"ns":120,"title":"Item:Q1777389","lastrevid":68933808,"modified":"2026-04-13T03:12:32Z","type":"item","id":"Q1777389","labels":{"en":{"language":"en","value":"On SAT instance classes and a method for reliable performance experiments with SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168181"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$C92B62AB-44BD-4B0C-80F3-B73DF03925C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dec3f7e230b616b801ae178eab9102b6fd164f1d","datavalue":{"value":{"text":"On SAT instance classes and a method for reliable performance experiments with SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777389$B1648B4E-F4E8-4C84-AAD3-9D2B4A9FC13B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3ac1b9f53404b5b211a8da3a72f838a945f8236","datavalue":{"value":"1100.68575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777389$4D619FEA-A495-4707-81FD-50400CE054E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3acb93b8eb5bafd163038f2ecd650bd52e95edf5","datavalue":{"value":{"entity-type":"item","numeric-id":1606808,"id":"Q1606808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$B7E5D71A-0E46-482F-BC6F-5AC3CD54D779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d76068fd93824ecde1cb5542b87f88971fa03118","datavalue":{"value":{"entity-type":"item","numeric-id":1777388,"id":"Q1777388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$FDA2AFDD-9BA0-478A-A4DC-D317A9CEC4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9624f6496afb7988a03f86080738a83c88471b12","datavalue":{"value":{"entity-type":"item","numeric-id":864029,"id":"Q864029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$661D7230-2AA1-4870-9635-0D65B8F5813F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$EA077FB5-BAEA-4E48-AAE5-5E4AE239284B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c64595f4f39ba5aa8c317730455f9500451c9c2e","datavalue":{"value":{"time":"+2005-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777389$6AF4A7E6-C3F8-4690-A1D4-D2A13CE0F165","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777389$8B864952-6070-455D-B6A3-A271C59376B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777389$D2B3BCCA-CF23-4F88-8703-E908BE11C83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9958736d5aa4439df2da6b4b66ae0359375b0701","datavalue":{"value":"62N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777389$718AF10E-D8E6-4D31-9A59-8CE3B14F7A1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a7cce3863bc9c29f1bbdbdddc57f49c7b568f5f","datavalue":{"value":"2168181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777389$D9D605E2-8408-4C5A-B47D-44644C316F25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777389$37643038-8E25-4474-8FD3-FEE8FAF06612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777389$80220732-8651-460B-8DAA-D18B8417D2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1413856faefc21fbe403cafe86436fc7cc4906","datavalue":{"value":"equivalence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777389$79F9A3E7-3AAD-407F-A6AC-4CA2D2BFA4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be6e03050f5fdcc2926b9d1765e704765af2f90","datavalue":{"value":"experimental design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777389$273D85B8-192F-4E5C-A804-8F575B6ADF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b629977c67f5588bf99b358c18d1775d29b2628f","datavalue":{"value":"exponential and heavy-tail distributions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777389$6AD734F7-7174-46F3-ACE4-681DBE113F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"493ce1f22be4b5e97f592b530102597d7df81db4","datavalue":{"value":"reliability function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777389$C1FDA48A-88C2-4E0F-91C7-EB4D91B85EF3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f45483019c7f9e14c0a19d95a0b3886ffd24bf0","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$994B7AAB-3338-4E54-AD64-9A8D7C54D68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$B9F454F7-A339-4181-82E3-19791FDCF7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68889b620f959d2410d5024f9adee923736e93c3","datavalue":{"value":{"entity-type":"item","numeric-id":16818,"id":"Q16818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$E23FB358-A5BE-4102-BD05-98F05A32BBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$01FE72FD-57F1-427D-980B-9EC5A4E1C1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"593225e35565bc9b6cbd92dadddd5563d424d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":14294,"id":"Q14294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$633C37C4-C46E-4C54-B353-299BD904BBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b03ea1b50cfcc83c65dc6f11e6a28ace876d748c","datavalue":{"value":{"entity-type":"item","numeric-id":16628,"id":"Q16628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$63E346E1-A4D2-49FC-B912-7A4A425EACF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$0058D2E4-F8F4-438C-A3BE-D0812582445B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$BC568832-8BFE-40BD-860E-0A44C2542895","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b36568420544681398fb93b22b18d6cc74946d0","datavalue":{"value":"https://doi.org/10.1007/s10472-005-0417-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777389$65855AA4-2991-462C-8A9E-069FAFDA6B1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae52164e987802715da7603fe38b4123d5fdcc5c","datavalue":{"value":"W4251990699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777389$F0AAADEB-730B-4008-B07C-333365EE9218","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7289b076353108e4c7dbafff9bc92b9fd3afd6d","datavalue":{"value":{"entity-type":"item","numeric-id":4176810,"id":"Q4176810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$DC94BF66-3BE6-49F8-89D3-5259FE70AAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e642a9f318d50d8673c8669d5f5316bc93e192ae","datavalue":{"value":{"entity-type":"item","numeric-id":4473023,"id":"Q4473023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$687BB075-54DA-4E4F-B87D-D49902157788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$629DCF38-4740-4E3E-9E38-F9104253189A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea59ed69a44e2cade4067c5bb4c76a473c843f0e","datavalue":{"value":{"entity-type":"item","numeric-id":3268609,"id":"Q3268609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$2944A4B2-4754-4842-9F1F-33D9EFDAC6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$379052AB-1936-4C2C-A65C-6A937A4545D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$C4A1B1D9-41E9-4B75-99AC-B3C2185F7E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31924ed1ff225544f564ea6fac23d6b168acfce0","datavalue":{"value":{"entity-type":"item","numeric-id":4386921,"id":"Q4386921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$E9F9F4F3-9954-492A-A888-4A9D9E9D6EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df78167f6da212f52872db822f417acaf4aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$100A58DF-4D3D-42D6-B556-25F21C77906B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c9acf1b75da828e4dffc26ec2864903e8bff96c","datavalue":{"value":{"entity-type":"item","numeric-id":1199914,"id":"Q1199914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$B73ABF3B-6A7A-4A3D-8F98-F9195A50E04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bb0d350d264fd4c81a07c336cf16b8ef6f347c2","datavalue":{"value":{"entity-type":"item","numeric-id":1606809,"id":"Q1606809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$5215ACF0-8C77-44B5-A5FC-1086DCC3E8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc877b42f4324f220c66a0727f2695f21979a84","datavalue":{"value":{"entity-type":"item","numeric-id":1777395,"id":"Q1777395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$5A146F67-8AF3-46E7-8382-94F666CF27D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d2913ea9b1da0eff271d8ee3902caa554bd412","datavalue":{"value":{"entity-type":"item","numeric-id":1922626,"id":"Q1922626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$336E664E-7C55-4083-8F0F-D66B96ED5EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b325e78fa1241ebd3f506e8e3881a45aed61363d","datavalue":{"value":{"entity-type":"item","numeric-id":4301284,"id":"Q4301284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$647FB7F8-3914-46E7-B1EE-29F155945699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8f01cdc114ba8e6a7d8622eb101fdbae16a5f5","datavalue":{"value":{"entity-type":"item","numeric-id":2749854,"id":"Q2749854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$BF001A59-A41C-4B03-8AFE-467EDE4135B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$33E2DDA2-DD01-464C-B0AB-1B212EF2A575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fb9b8519bc41f62e2af02173987e2f047897d7","datavalue":{"value":{"entity-type":"item","numeric-id":5325850,"id":"Q5325850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$0D49648A-389C-4B99-AC40-822E19C032C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea8838064920d52fb9ce07f4e885671e41b9a7f","datavalue":{"value":{"entity-type":"item","numeric-id":4665450,"id":"Q4665450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$3B278260-808A-4C85-ADF2-0CBF89D75683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73356b4cd12e3fa4aa828000637c6f57bf016591","datavalue":{"value":{"entity-type":"item","numeric-id":3865185,"id":"Q3865185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$7585E5A3-DBBB-49A0-AD1C-7961EBE607F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd159cc3c9022e1a0bb1c0aa7510f444309e9ef","datavalue":{"value":{"entity-type":"item","numeric-id":4541342,"id":"Q4541342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$64107A1D-FD07-4C0E-A1D4-54A72F6F73F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2398065202f3b8392da467e985db897681401576","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$C6E0E164-0B5F-4C6B-A3E1-5AC6EE6DE837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2f70c72acaa5a9a2b40052993c53abbb6301cbb","datavalue":{"value":{"entity-type":"item","numeric-id":5269371,"id":"Q5269371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$E1208D0B-2D21-429F-A33B-D595E9099448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92e7470da55d1a625e4aa5625769711d5a3fe88","datavalue":{"value":{"entity-type":"item","numeric-id":5687277,"id":"Q5687277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$024C1B35-E8E9-4152-8A0F-4DD663FCC7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5325820f1da9bdbe993d9d54d34a90dc88d69e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4869540,"id":"Q4869540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$398EDFA4-6592-4D33-8A37-0DF5DBDEBC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$F7832C26-3FDF-4CA1-8D56-1E519453F10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d7ad2afc195e9af77b77cfa37dbc077ef8b89be","datavalue":{"value":{"entity-type":"item","numeric-id":2749864,"id":"Q2749864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777389$41DCABFC-0F05-4373-9786-4AF9C203362C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"115058e059d99b5396a71880a912a25c87c1a0e7","datavalue":{"value":"10.1007/S10472-005-0417-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777389$8C63D232-90B1-4055-82AB-661F4362A756","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c50987a1246554721c2832df9f37573cbf16b1","datavalue":{"value":{"entity-type":"item","numeric-id":4930590,"id":"Q4930590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9535ba564488b3ca3c73829a7f984b5428edd8a","datavalue":{"value":{"amount":"+0.7831325531005859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777389$93B3B43C-1495-4848-A96D-DD052F76940D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1538b896f8276a68c0efcd05027f0a01090ace32","datavalue":{"value":{"entity-type":"item","numeric-id":3523084,"id":"Q3523084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"444666d17faa698966debebe2526f5a129d44cdd","datavalue":{"value":{"amount":"+0.7657938003540039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777389$66D12F64-5997-4382-BF83-41137270F908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2384784e67b746c941848cc6fcfe27e81759712f","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8aad47b8c62c6755ac3ffa09f5b8652853027fc","datavalue":{"value":{"amount":"+0.7609127759933472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777389$D9AC7F93-DFB5-4211-973E-E47F2671578A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09749d399a284b984ebb0856e41560b6817e00d","datavalue":{"value":{"entity-type":"item","numeric-id":2674180,"id":"Q2674180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2ca5b8490aed2fbffa70c9b351adf5dc3a0e23","datavalue":{"value":{"amount":"+0.7486553192138672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777389$3C931BB3-7214-4934-8BED-158E10034DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df5bae8a895d8e223b4e0c8677cddc3e39057fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5325849,"id":"Q5325849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8de2c96bdf1e41ba4eb13bdb389da559d17c37c","datavalue":{"value":{"amount":"+0.7440583109855652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777389$703C3BEF-ACF3-460D-9DA1-17F062A4CFC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On SAT instance classes and a method for reliable performance experiments with SAT solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_SAT_instance_classes_and_a_method_for_reliable_performance_experiments_with_SAT_solvers"}}}}}