From 55c5602427e87263c3a0a9386b6d68686de13a71 Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Thu, 5 Jun 2025 09:50:57 +0200 Subject: [PATCH 01/13] Added flags to FastDownward model --- FastDownward/FeatureModel.xml | 99 ++++++++++++----------------------- 1 file changed, 33 insertions(+), 66 deletions(-) diff --git a/FastDownward/FeatureModel.xml b/FastDownward/FeatureModel.xml index a2ed300..2e5343d 100644 --- a/FastDownward/FeatureModel.xml +++ b/FastDownward/FeatureModel.xml @@ -29,8 +29,7 @@ mergeAndShrink - - + mergeAndShrink @@ -62,8 +61,7 @@ blind - - + blind @@ -95,8 +93,7 @@ max - - + hMax @@ -128,8 +125,7 @@ iPDB - - + iPDB @@ -161,8 +157,7 @@ noiPDB - - + noiPDB @@ -174,8 +169,7 @@ canonicalPDB - - + canonicalPDB @@ -207,8 +201,7 @@ labelReduction - - + @@ -233,8 +226,7 @@ exactGeneralizedLR - - + @@ -246,8 +238,7 @@ shrinkStrat - - + @@ -272,8 +263,7 @@ bisimulation - - + bisimulation @@ -318,8 +308,7 @@ fPreserving - - + fPreserving @@ -346,8 +335,7 @@ mergeStrat - - + @@ -411,8 +399,7 @@ landmarkCut - - + lmCut @@ -444,8 +431,7 @@ landmarkCount - - + lmCount @@ -503,8 +489,7 @@ exhaustiveLM - - + exhaustiveLM @@ -520,8 +505,7 @@ hmLM - - + hmLM @@ -537,8 +521,7 @@ RHWLM - - + RHWLM @@ -554,8 +537,7 @@ zhuGivanLM - - + zhuGivanLM @@ -571,8 +553,7 @@ resonableOrders - - + reasonableOrders @@ -597,8 +578,7 @@ onlyCausalLMs - - + onlyCausalLMs @@ -623,8 +603,7 @@ disjunctiveLMs - - + disjunctiveLMs @@ -649,8 +628,7 @@ conjunctiveLMs - - + conjunctiveLMs @@ -675,8 +653,7 @@ noOrders - - + noOrders @@ -771,8 +748,7 @@ beforeShrinking - - + beforeShrinking @@ -815,8 +791,7 @@ beforeMerging - - + beforeMerging @@ -903,8 +878,7 @@ allSystems - - + allSystems @@ -950,8 +924,7 @@ twoSystems - - + twoSystems @@ -997,8 +970,7 @@ allSystemsWithFixpoint - - + allSystemsFP @@ -1046,8 +1018,7 @@ pdbMaxSize - - + pdbMaxSize= @@ -1100,8 +1071,7 @@ collectionMaxSize - - + collectionMaxSize= @@ -1126,8 +1096,7 @@ numSamples - - + numSamples= @@ -1152,8 +1121,7 @@ minImprovement - - + minImprovement= @@ -1178,8 +1146,7 @@ random - - + random= From eb88557ceee252cc035aecf104efc238d6c005c7 Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Wed, 11 Jun 2025 10:49:37 +0200 Subject: [PATCH 02/13] Added boolean constraints on FastDownward model matching current release --- FastDownward/FeatureModel.xml | 23 ++++------------------- 1 file changed, 4 insertions(+), 19 deletions(-) diff --git a/FastDownward/FeatureModel.xml b/FastDownward/FeatureModel.xml index 2e5343d..0dacce6 100644 --- a/FastDownward/FeatureModel.xml +++ b/FastDownward/FeatureModel.xml @@ -155,18 +155,6 @@ - - noiPDB - noiPDB - - - - - root - - - True - canonicalPDB canonicalPDB @@ -1171,16 +1159,13 @@ - iPDB | noiPDB - !iPDB | !noiPDB - beforeShrinking | beforeMerging + beforeShrinking | beforeMerging + onlyCausalLMs => ( exhaustiveLM | RHWLM) + disjunctiveLMs => ( RHWLM ) + conjunctiveLMs => ( hmLM ) - noiPDB * minImprovement = 1 - noiPDB * numSamples = 100 - noiPDB * collectionMaxSize = 10000 - noiPDB * pdbMaxSize = 100000 bisimulation * random = 1 blind * random = 1 max * random = 1 From 1b8c6f63ea8e2ac26a7b94591186b2ec55fb4101 Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Wed, 11 Jun 2025 16:18:33 +0200 Subject: [PATCH 03/13] Fix name of reasonableOrders argument --- FastDownward/FeatureModel.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/FastDownward/FeatureModel.xml b/FastDownward/FeatureModel.xml index 0dacce6..e36fb07 100644 --- a/FastDownward/FeatureModel.xml +++ b/FastDownward/FeatureModel.xml @@ -540,7 +540,7 @@ False - resonableOrders + reasonableOrders reasonableOrders From 036a2d2721a3e7a8779d0a5a33d34b9af564da83 Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Thu, 3 Jul 2025 07:57:36 +0200 Subject: [PATCH 04/13] Updated Opus feature model to create correct flags --- Opus/FeatureModel.xml | 85 +++++++++++++------------------------------ 1 file changed, 26 insertions(+), 59 deletions(-) diff --git a/Opus/FeatureModel.xml b/Opus/FeatureModel.xml index 18f4b68..013df9c 100644 --- a/Opus/FeatureModel.xml +++ b/Opus/FeatureModel.xml @@ -16,9 +16,7 @@ mode - - mode - + @@ -44,8 +42,7 @@ audio - - + @@ -57,9 +54,7 @@ cbr - - cbr - + -cbr @@ -71,9 +66,7 @@ cvbr - - cvbr - + -cvbr @@ -99,9 +92,7 @@ bandwidth - - bandwidth - + @@ -127,10 +118,8 @@ NB - - - - + -bandwidth NB + bandwidth @@ -145,10 +134,8 @@ WB - - - - + -bandwidth WB + bandwidth @@ -163,10 +150,8 @@ FB - - - - + -bandwidth FB + bandwidth @@ -181,9 +166,7 @@ frameSize - - frameSize - + @@ -209,10 +192,8 @@ lowest - - - - + -framesize 2.5 + frameSize @@ -241,10 +222,8 @@ highest - - - - + -framesize 120 + frameSize @@ -257,8 +236,7 @@ forcemono - - + -forcemono @@ -270,10 +248,8 @@ MB - - - - + -bandwidth MB + bandwidth @@ -288,10 +264,8 @@ SWB - - - - + -bandwidth SWB + bandwidth @@ -308,9 +282,7 @@ channels - - channels - + @@ -338,8 +310,7 @@ samplingRate - - + samplingRate @@ -353,9 +324,7 @@ bitRate - - bitRate - + bitRate @@ -383,10 +352,8 @@ complexity - - - - + + -complexity root From d3be6aa2c4c3f635632efd3f54cd22d27d874d11 Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Thu, 3 Jul 2025 08:26:07 +0200 Subject: [PATCH 05/13] Added lrzip feature model --- lrzip/FeatureModel.xml | 328 ++--------------------------------------- 1 file changed, 11 insertions(+), 317 deletions(-) diff --git a/lrzip/FeatureModel.xml b/lrzip/FeatureModel.xml index d33ab33..dfd58ad 100644 --- a/lrzip/FeatureModel.xml +++ b/lrzip/FeatureModel.xml @@ -1,22 +1,8 @@ - - encryption - encryption - - - - - - - - - - True - compression - compression + @@ -30,7 +16,7 @@ compressionBzip2 - compressionBzip2 + --bzip2 @@ -42,13 +28,12 @@ compressionGzip compressionLzo compressionZpaq - compressionLrzip False compressionGzip - compressionGzip + --gzip @@ -60,13 +45,12 @@ compressionBzip2 compressionLzo compressionZpaq - compressionLrzip False compressionLzo - compressionLzo + --lzo @@ -78,31 +62,12 @@ compressionBzip2 compressionGzip compressionZpaq - compressionLrzip False compressionZpaq - compressionZpaq - - - - - compression - - - - compressionBzip2 - compressionGzip - compressionLzo - compressionLrzip - - False - - - compressionLrzip - compressionLrzip + --zpaq @@ -114,135 +79,12 @@ compressionBzip2 compressionGzip compressionLzo - compressionZpaq - - False - - - preset - preset - - - - - - - - - - True - - - lrunzip - lrunzip - - - - - preset - - - - lrzcat - lrz - - False - - - lrzcat - lrzcat - - - - - preset - - - - lrunzip - lrz False - - - - 469074b4a59d26566d388680a1154c522d9395c7 - - main.c - - 310 - 10 - - - 310 - 15 - - - - - - lrz - lrz - - - - - preset - - - - lrunzip - lrzcat - - False - - - - 469074b4a59d26566d388680a1154c522d9395c7 - - main.c - - 310 - 26 - - - 310 - 31 - - - - - - unlimitedWindowSize - unlimitedWindowSize - - - - - - - - - - True disableCompressibilityTesting - disableCompressibilityTesting - - - - - - - - - - True - - - recursive - recursive + --threshold @@ -253,124 +95,12 @@ True - - - - 469074b4a59d26566d388680a1154c522d9395c7 - - main.c - - 310 - 42 - - - 310 - 48 - - - - - - suffix - suffix - - - - - - - - - - outname - - True - - - - 469074b4a59d26566d388680a1154c522d9395c7 - - lrzip_private.h - - 413 - 11 - - - 413 - 16 - - - - - - outname - outname - - - - - - - - - - outdir - - True - - - - 469074b4a59d26566d388680a1154c522d9395c7 - - lrzip_private.h - - 396 - 11 - - - 496 - 17 - - - - - - outdir - outdir - - - - - - - - - - outname - - True - - - - 469074b4a59d26566d388680a1154c522d9395c7 - - lrzip_private.h - - 399 - 11 - - - 499 - 16 - - - compressionLevel - compressionLevel + --level @@ -400,41 +130,9 @@ - - maxRAM - maxRAM - - - - - - - - - - 1 - 87960930222 - maxRAM + 1 - - - - 469074b4a59d26566d388680a1154c522d9395c7 - - lrzip_private.h - - 421 - 9 - - - 421 - 15 - - - - threads - threads + --threads @@ -444,9 +142,7 @@ - 1 - 32767 - threads + 1 + 1;2;4;8 @@ -466,7 +162,7 @@ windowSize - windowSize + --window @@ -476,9 +172,7 @@ - 0 - 9223372036854775807 - windowSize + 1 + 1;2;4;8 From 0f9fa3e379ab218d40a7bf52af1cbd988051041e Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Mon, 7 Jul 2025 17:15:27 +0200 Subject: [PATCH 06/13] Pulled in Feature models for picosat and bzip2 --- bzip2/FeatureModel.xml | 1311 ++++++++++++++++++-- picosat/FeatureModel.xml | 2429 ++++++++++++++++++++++++++++++-------- 2 files changed, 3149 insertions(+), 591 deletions(-) diff --git a/bzip2/FeatureModel.xml b/bzip2/FeatureModel.xml index 9831584..6d672cc 100755 --- a/bzip2/FeatureModel.xml +++ b/bzip2/FeatureModel.xml @@ -1,164 +1,1000 @@ - + root - - - - - - + + forceOverwrite + keepInputFiles + level + opMode + quiet + smallMode + stdout + verbosity + False + + forceOverwrite + -f + root + True + + + + 977101ad5f833f5c0a574bfeea408e5301a6b052 + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + + bzip2.c + + 257 + 9 + + + 257 + 22 + + + + + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + + bzip2.c + + 280 + 9 + + + 280 + 22 + + + + + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + 099d844292f60f9d58914da29e5773204dc55e7a + + bzip2.c + + 291 + 9 + + + 291 + 22 + + + + + 099d844292f60f9d58914da29e5773204dc55e7a + f10a33538e9bab6deb61779b3d8aae168824ef48 + + bzip2.c + + 277 + 9 + + + 277 + 22 + + + + + f10a33538e9bab6deb61779b3d8aae168824ef48 + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + + bzip2.c + + 185 + 9 + + + 185 + 22 + + + + + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 161 + 9 + + + 161 + 22 + + + + + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 168 + 9 + + + 168 + 22 + + + + keepInputFiles - - - + -k + root + False + + + + 33d134030248633ffa7d60c0a35a783c46da034b + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + + bzip2.c + + 330 + 9 + + + 330 + 22 + + + + + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + 977101ad5f833f5c0a574bfeea408e5301a6b052 + + bzip2.c + + 336 + 9 + + + 336 + 22 + + + + + 977101ad5f833f5c0a574bfeea408e5301a6b052 + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + + bzip2.c + + 256 + 9 + + + 256 + 22 + + + + + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + + bzip2.c + + 279 + 9 + + + 279 + 22 + + + + + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + 099d844292f60f9d58914da29e5773204dc55e7a + + bzip2.c + + 290 + 9 + + + 290 + 22 + + + + + 099d844292f60f9d58914da29e5773204dc55e7a + f10a33538e9bab6deb61779b3d8aae168824ef48 + + bzip2.c + + 276 + 9 + + + 276 + 22 + + + + + f10a33538e9bab6deb61779b3d8aae168824ef48 + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + + bzip2.c + + 184 + 9 + + + 184 + 22 + + + + + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 160 + 9 + + + 160 + 22 + + + + + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 167 + 9 + + + 167 + 22 + + + + + + opMode + root + + compress + decompress + + False + + + compress + -z + opMode + + decompress + + False + + + + 33d134030248633ffa7d60c0a35a783c46da034b + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + + bzip2.c + + 3341 + 6 + + + 3341 + 13 + + + + + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + 977101ad5f833f5c0a574bfeea408e5301a6b052 + + bzip2.c + + 3347 + 6 + + + 3347 + 13 + + + + + 977101ad5f833f5c0a574bfeea408e5301a6b052 + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + + bzip2.c + + 847 + 6 + + + 847 + 13 + + + + + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + + bzip2.c + + 900 + 6 + + + 900 + 13 + + + + + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + 099d844292f60f9d58914da29e5773204dc55e7a + + bzip2.c + + 1199 + 6 + + + 1199 + 13 + + + + + 099d844292f60f9d58914da29e5773204dc55e7a + 4d540bfc95a4b0eefc1d1f388ec33534aaeb3a2f + + bzip2.c + + 1202 + 6 + + + 1202 + 13 + + + + + 4d540bfc95a4b0eefc1d1f388ec33534aaeb3a2f + f10a33538e9bab6deb61779b3d8aae168824ef48 + + bzip2.c + + 1206 + 6 + + + 1206 + 13 + + + + + f10a33538e9bab6deb61779b3d8aae168824ef48 + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + + bzip2.c + + 1133 + 6 + + + 1133 + 13 + + + + + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + 56c83990866ffbde228869e98fca7f26566c85bd + + bzip2.c + + 1109 + 6 + + + 1109 + 13 + + + + + 56c83990866ffbde228869e98fca7f26566c85bd + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 1117 + 6 + + + 1117 + 13 + + + + + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 1124 + 6 + + + 1124 + 13 + + + + + + decompress + -d + opMode + + compress + + False + + + + 33d134030248633ffa7d60c0a35a783c46da034b + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + + bzip2.c + + 3462 + 6 + + + 3462 + 15 + + + + + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + 977101ad5f833f5c0a574bfeea408e5301a6b052 + + bzip2.c + + 3467 + 6 + + + 3467 + 15 + + + + + 977101ad5f833f5c0a574bfeea408e5301a6b052 + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + + bzip2.c + + 968 + 6 + + + 968 + 15 + + + + + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + + bzip2.c + + 1042 + 6 + + + 1042 + 15 + + + + + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + 099d844292f60f9d58914da29e5773204dc55e7a + + bzip2.c + + 1360 + 6 + + + 1360 + 15 + + + + + 099d844292f60f9d58914da29e5773204dc55e7a + 4d540bfc95a4b0eefc1d1f388ec33534aaeb3a2f + + bzip2.c + + 1383 + 6 + + + 1383 + 15 + + + + + 4d540bfc95a4b0eefc1d1f388ec33534aaeb3a2f + f10a33538e9bab6deb61779b3d8aae168824ef48 + + bzip2.c + + 1387 + 6 + + + 1387 + 15 + + + + + f10a33538e9bab6deb61779b3d8aae168824ef48 + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + + bzip2.c + + 1314 + 6 + + + 1314 + 15 + + + + + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + 56c83990866ffbde228869e98fca7f26566c85bd + + bzip2.c + + 1290 + 6 + + + 1290 + 15 + + + + + 56c83990866ffbde228869e98fca7f26566c85bd + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 1298 + 6 + + + 1298 + 15 + + + + + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 1305 + 6 + + + 1305 + 15 + + + + + + quiet + -q + root + True + + + + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + + bzip2.c + + 280 + 41 + + + 280 + 45 + + + + + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + 099d844292f60f9d58914da29e5773204dc55e7a + + bzip2.c + + 291 + 56 + + + 291 + 60 + + + + + 099d844292f60f9d58914da29e5773204dc55e7a + f10a33538e9bab6deb61779b3d8aae168824ef48 + + bzip2.c + + 277 + 56 + + + 277 + 60 + + + + + f10a33538e9bab6deb61779b3d8aae168824ef48 + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + + bzip2.c + + 185 + 56 + + + 185 + 60 + + + + + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 161 + 56 + + + 161 + 60 + + + + + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 168 + 56 + + + 168 + 60 + + + + + + smallMode + -s root - - True - + + + 33d134030248633ffa7d60c0a35a783c46da034b + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + + bzip2.c + + 330 + 25 + + + 330 + 33 + + + + + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + 977101ad5f833f5c0a574bfeea408e5301a6b052 + + bzip2.c + + 336 + 25 + + + 336 + 33 + + + + + 977101ad5f833f5c0a574bfeea408e5301a6b052 + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + + bzip2.c + + 256 + 25 + + + 256 + 33 + + + + + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + + bzip2.c + + 279 + 25 + + + 279 + 33 + + + + + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + 099d844292f60f9d58914da29e5773204dc55e7a + + bzip2.c + + 290 + 25 + + + 290 + 33 + + + + + 099d844292f60f9d58914da29e5773204dc55e7a + f10a33538e9bab6deb61779b3d8aae168824ef48 + + bzip2.c + + 276 + 25 + + + 276 + 33 + + + + + f10a33538e9bab6deb61779b3d8aae168824ef48 + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + + bzip2.c + + 184 + 25 + + + 184 + 33 + + + + + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 160 + 25 + + + 160 + 33 + + + - 1ea1ac188ad4b9cb662e3f8314673c63df95a589 + 4c0d43f0f861893dbc065adf03286880ecc754e5 bzip2.c 167 - 9 + 25 167 - 22 + 33 - forceOverwrite - - - + stdout + -c root - - True - + - 1ea1ac188ad4b9cb662e3f8314673c63df95a589 + 33d134030248633ffa7d60c0a35a783c46da034b + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 bzip2.c - 168 + 346 9 - 168 - 22 + 346 + 15 - - - - quiet - - - - root - - - True - - + - 1ea1ac188ad4b9cb662e3f8314673c63df95a589 + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + 977101ad5f833f5c0a574bfeea408e5301a6b052 bzip2.c - 168 - 56 + 352 + 9 - 168 - 60 + 352 + 15 - - - - smallMode - - - - root - - - True - - + - 1ea1ac188ad4b9cb662e3f8314673c63df95a589 + 977101ad5f833f5c0a574bfeea408e5301a6b052 + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 bzip2.c - 167 - 25 + 272 + 9 - 167 - 33 + 272 + 15 - - - - - - opMode - - - - root - - - 1 - 3 - opMode + 1 - - + + + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + + bzip2.c + + 295 + 9 + + + 295 + 15 + + + - 1ea1ac188ad4b9cb662e3f8314673c63df95a589 + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + 099d844292f60f9d58914da29e5773204dc55e7a bzip2.c - 182 + 306 9 - 182 - 14 + 306 + 15 - - - - srcMode - - - - root - - - 1 - 3 - srcMode + 1 - - + - 1ea1ac188ad4b9cb662e3f8314673c63df95a589 + 099d844292f60f9d58914da29e5773204dc55e7a + f10a33538e9bab6deb61779b3d8aae168824ef48 + + bzip2.c + + 292 + 9 + + + 292 + 15 + + + + + f10a33538e9bab6deb61779b3d8aae168824ef48 + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + + bzip2.c + + 200 + 9 + + + 200 + 15 + + + + + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 176 + 9 + + + 176 + 15 + + + + + 4c0d43f0f861893dbc065adf03286880ecc754e5 bzip2.c @@ -174,19 +1010,133 @@ verbosity - - - + -v root - - - 0 - 4 - verbosity + 1 + True - + + + 33d134030248633ffa7d60c0a35a783c46da034b + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + + bzip2.c + + 329 + 9 + + + 329 + 17 + + + + + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + 977101ad5f833f5c0a574bfeea408e5301a6b052 + + bzip2.c + + 335 + 9 + + + 335 + 17 + + + + + 977101ad5f833f5c0a574bfeea408e5301a6b052 + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + + bzip2.c + + 255 + 9 + + + 255 + 17 + + + + + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + + bzip2.c + + 278 + 9 + + + 278 + 17 + + + + + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + 099d844292f60f9d58914da29e5773204dc55e7a + + bzip2.c + + 289 + 9 + + + 289 + 17 + + + + + 099d844292f60f9d58914da29e5773204dc55e7a + f10a33538e9bab6deb61779b3d8aae168824ef48 + + bzip2.c + + 275 + 9 + + + 275 + 17 + + + + + f10a33538e9bab6deb61779b3d8aae168824ef48 + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + + bzip2.c + + 183 + 9 + + + 183 + 17 + + + + + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 159 + 9 + + + 159 + 17 + + + - 1ea1ac188ad4b9cb662e3f8314673c63df95a589 + 4c0d43f0f861893dbc065adf03286880ecc754e5 bzip2.c @@ -200,21 +1150,140 @@ + + - blockSize100k - - - + level + - root - - + False 1 9 - blockSize100k + 1 + level + 1 - + + + 33d134030248633ffa7d60c0a35a783c46da034b + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + + bzip2.c + + 440 + 8 + + + 440 + 20 + + + + + 1eb67a9d8f7f05ae310bc9ef297d176f3a3f8a37 + 977101ad5f833f5c0a574bfeea408e5301a6b052 + + bzip2.c + + 446 + 8 + + + 446 + 20 + + + + + 977101ad5f833f5c0a574bfeea408e5301a6b052 + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + + bzip2.c + + 258 + 42 + + + 258 + 54 + + + + + f93cd82a9a7094ad90fd19bbc6ccf6f4627f8060 + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + + bzip2.c + + 281 + 42 + + + 281 + 54 + + + + + 795b859eee96c700e8f3c3fe68e6a9a39d95797c + 099d844292f60f9d58914da29e5773204dc55e7a + + bzip2.c + + 292 + 42 + + + 292 + 54 + + + + + 099d844292f60f9d58914da29e5773204dc55e7a + f10a33538e9bab6deb61779b3d8aae168824ef48 + + bzip2.c + + 278 + 42 + + + 278 + 54 + + + + + f10a33538e9bab6deb61779b3d8aae168824ef48 + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + + bzip2.c + + 186 + 42 + + + 186 + 54 + + + + + 15255b553e7c095fb7a26d4dc5819a11352ebba1 + 4c0d43f0f861893dbc065adf03286880ecc754e5 + + bzip2.c + + 162 + 42 + + + 162 + 54 + + + - 1ea1ac188ad4b9cb662e3f8314673c63df95a589 + 4c0d43f0f861893dbc065adf03286880ecc754e5 bzip2.c @@ -229,7 +1298,5 @@ - - - + diff --git a/picosat/FeatureModel.xml b/picosat/FeatureModel.xml index 9fa41f3..ccdd034 100644 --- a/picosat/FeatureModel.xml +++ b/picosat/FeatureModel.xml @@ -2,561 +2,2052 @@ root - - - - - - - - - - False - Solutions - - - - - - + Plain + --plain root - - - False - - - All - --all - - - - - Solutions - - - Partial - - False + True - - + - 33c685e82213228726364980814f0183e435de78 + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 - app.c - - 523 - 46 - - - 523 - 51 - + picosat.c + 51651 + 51658 - - + - 5adb977fd9095cde5a51ffd25821c53f50e7eb38 - 1f7d3325021c5f8296e5dfc3b057bd6c5c3a6c8e + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 - app.c - - 397 - 46 - - - 397 - 51 - + picosat.c + 49991 + 49998 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 50351 + 50358 + + Solutions + root + True + Partial --partial - - - - Solutions - - - All - False - - + - 33c685e82213228726364980814f0183e435de78 + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba - app.c - - 523 - 54 - - - 523 - 60 - + picosat.c + 84461 + 844621 - - + - 5adb977fd9095cde5a51ffd25821c53f50e7eb38 - 1f7d3325021c5f8296e5dfc3b057bd6c5c3a6c8e + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 - app.c - - 397 - 54 - - - 397 - 60 - + picosat.c + 85351 + 853521 - - - - Verbose - -v - - - - - root - - - True - - - IgnoreInvalidHeader - -f - - - - - root - - - True - - - + - 33c685e82213228726364980814f0183e435de78 + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 - app.c - - 521 - 52 - - - 521 - 56 - + picosat.c + 85681 + 856821 - - + - 5adb977fd9095cde5a51ffd25821c53f50e7eb38 - 1f7d3325021c5f8296e5dfc3b057bd6c5c3a6c8e + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 - app.c - - 395 - 52 - - - 395 - 56 - + picosat.c + 84251 + 842521 - - - - NoPrintAssignment - -n - - - - - root - - - True - - - + - 33c685e82213228726364980814f0183e435de78 + cc872137c2837adcb662456f02ee0b210e744f14 - app.c - - 521 - 23 - - - 521 - 49 - + picosat.c + 84821 + 848221 - - + - 5adb977fd9095cde5a51ffd25821c53f50e7eb38 - 1f7d3325021c5f8296e5dfc3b057bd6c5c3a6c8e + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba - app.c - - 395 - 23 - - - 395 - 49 - + picosat.c + 69531 + 69536 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 70651 + 70656 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 70981 + 70986 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 69561 + 69566 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 69981 + 69986 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 69781 + 697810 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 70901 + 709010 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 71211 + 712110 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 69791 + 697910 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 70211 + 702110 CompactTrace -t compactTraceFileName - - - - root - - True - - + - 33c685e82213228726364980814f0183e435de78 + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 - app.c - - 522 - 15 - - - 522 - 32 - + picosat.c + 44681 + 446813 - - + - 5adb977fd9095cde5a51ffd25821c53f50e7eb38 - 1f7d3325021c5f8296e5dfc3b057bd6c5c3a6c8e + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b - app.c - - 396 - 15 - - - 396 - 32 - + picosat.c + 48301 + 483027 - - - - ExtendedTrace - -T extendedTraceFileName - - - - - root - - - True - - - + - 33c685e82213228726364980814f0183e435de78 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc - app.c - - 522 - 36 - - - 522 - 54 - + picosat.c + 64961 + 649627 - - + - 5adb977fd9095cde5a51ffd25821c53f50e7eb38 - 1f7d3325021c5f8296e5dfc3b057bd6c5c3a6c8e + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a - app.c - - 396 - 36 - - - 396 - 54 - + picosat.c + 67341 + 673427 - - - - ReverseUnitPropagationProof - -r rupFileName - - - - - root - - - True - - - + - 33c685e82213228726364980814f0183e435de78 + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab - app.c - - 522 - 59 - - - 522 - 72 - + picosat.c + 71961 + 719627 - - + - 5adb977fd9095cde5a51ffd25821c53f50e7eb38 - 1f7d3325021c5f8296e5dfc3b057bd6c5c3a6c8e + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba - app.c - - 396 - 59 - - - 396 - 72 - + picosat.c + 78711 + 787127 - - - - ClausalCoreFile - -c coreFileName - - - - - root - - - True - - - + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 79871 + 798727 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 80201 + 802027 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 78811 + 788127 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 79261 + 792627 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 42511 + 42519 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 58381 + 58389 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 59571 + 59579 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 61551 + 61559 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 62031 + 62039 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 63021 + 63029 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 63061 + 63069 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61411 + 61419 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61821 + 61829 + + + + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + + picosat.c + 40671 + 406711 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 42791 + 427911 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 58661 + 586611 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 59851 + 598511 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 61831 + 618311 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 62311 + 623111 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 63301 + 633011 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 63341 + 633411 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61691 + 616911 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 62101 + 621011 + + + + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + + picosat.c + 41171 + 411711 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 43551 + 435511 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 59421 + 594211 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 60611 + 606111 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 62591 + 625911 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 63041 + 630411 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 64031 + 640311 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 64071 + 640711 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 62421 + 624211 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 62831 + 628311 + + - 33c685e82213228726364980814f0183e435de78 + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 app.c - - 524 - 16 - - - 524 - 32 - + 1761 + 17613 - - + - 5adb977fd9095cde5a51ffd25821c53f50e7eb38 - 1f7d3325021c5f8296e5dfc3b057bd6c5c3a6c8e + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b app.c - - 398 - 16 - - - 398 - 32 - + 2041 + 20413 - - - - FileListingCoreVariables - -V varFileName - - - - - root - - - True - - - + - 33c685e82213228726364980814f0183e435de78 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a app.c - - 524 - 37 - - - 524 - 54 - + 2541 + 25413 - - + - 5adb977fd9095cde5a51ffd25821c53f50e7eb38 - 1f7d3325021c5f8296e5dfc3b057bd6c5c3a6c8e + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab app.c - - 398 - 37 - - - 398 - 54 - + 3121 + 31213 - - - - PrintToFile - -o outputFileName - - - - - root - - - True - - - + - 33c685e82213228726364980814f0183e435de78 + c35ee4c944806eb283d02ca853d1fae67b147aab + cc872137c2837adcb662456f02ee0b210e744f14 app.c - - 525 - 28 - - - 525 - 38 - + 3211 + 32113 - - + - 5adb977fd9095cde5a51ffd25821c53f50e7eb38 - 1f7d3325021c5f8296e5dfc3b057bd6c5c3a6c8e + cc872137c2837adcb662456f02ee0b210e744f14 app.c - - 399 - 28 - - - 399 - 38 - + 3251 + 32513 - - - - - - Defaultphase_val - -i - - - - - root - - - 0 - 1 - Defaultphase_val + 1 - - - - - 33c685e82213228726364980814f0183e435de78 - - app.c - - 523 - 32 - - - 523 - 43 - - - - - - 5adb977fd9095cde5a51ffd25821c53f50e7eb38 - 1f7d3325021c5f8296e5dfc3b057bd6c5c3a6c8e - - app.c - - 397 - 32 - - - 397 - 43 - - - - - - RandomSeed_val - -s - - - - - root - - - 1;42;1337 - - - - - + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 45261 + 452631 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 61191 + 611931 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 62761 + 627631 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 64751 + 647531 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 65511 + 655131 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 66521 + 665231 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 66561 + 665631 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 64911 + 649131 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 65321 + 653231 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 42341 + 423410 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 58211 + 582110 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 59401 + 594010 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 61381 + 613810 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 61891 + 618910 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 62881 + 628810 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 62921 + 629210 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61271 + 612710 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61681 + 616810 + + + + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + + picosat.c + 41011 + 410112 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 42571 + 425712 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 58441 + 584412 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 59631 + 596312 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 61611 + 616112 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 62091 + 620912 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 63081 + 630812 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 63121 + 631212 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61471 + 614712 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61881 + 618812 + + + + + + ExtendedTrace + -T extendedTraceFileName + root + True + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 48371 + 483728 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 65031 + 650328 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 67411 + 674128 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 72031 + 720328 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 78781 + 787828 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 79941 + 799428 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 80271 + 802728 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 78881 + 788828 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 79331 + 793328 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 42511 + 42519 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 58381 + 58389 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 59571 + 59579 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 61551 + 61559 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 62031 + 62039 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 63021 + 63029 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 63061 + 63069 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61411 + 61419 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61821 + 61829 + + + + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + + picosat.c + 40671 + 406711 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 42791 + 427911 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 58661 + 586611 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 59851 + 598511 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 61831 + 618311 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 62311 + 623111 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 63301 + 633011 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 63341 + 633411 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61691 + 616911 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 62101 + 621011 + + + + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + + picosat.c + 41171 + 411711 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 43551 + 435511 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 59421 + 594211 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 60611 + 606111 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 62591 + 625911 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 63041 + 630411 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 64031 + 640311 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 64071 + 640711 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 62421 + 624211 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 62831 + 628311 + + + + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + + app.c + 1761 + 17613 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + app.c + 2041 + 20413 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + app.c + 2541 + 25413 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + app.c + 3121 + 31213 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + cc872137c2837adcb662456f02ee0b210e744f14 + + app.c + 3211 + 32113 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + app.c + 3251 + 32513 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 45261 + 452631 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 61191 + 611931 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 62761 + 627631 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 64751 + 647531 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 65511 + 655131 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 66521 + 665231 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 66561 + 665631 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 64911 + 649131 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 65321 + 653231 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 42341 + 423410 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 58211 + 582110 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 59401 + 594010 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 61381 + 613810 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 61891 + 618910 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 62881 + 628810 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 62921 + 629210 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61271 + 612710 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61681 + 616810 + + + + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + + picosat.c + 41011 + 410112 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 42571 + 425712 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 58441 + 584412 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 59631 + 596312 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 61611 + 616112 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 62091 + 620912 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 63081 + 630812 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 63121 + 631212 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61471 + 614712 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61881 + 618812 + + + + + ReverseUnitPropagationProof + -r rupFileName + root + True + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 48441 + 484423 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 65101 + 651023 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 67481 + 674823 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 72101 + 721023 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 78851 + 788523 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 80011 + 800123 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 80341 + 803423 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 78951 + 789523 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 79401 + 794023 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 15881 + 158816 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 22131 + 221316 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 22781 + 227816 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 23141 + 231416 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 23511 + 235116 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 24021 + 240216 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 24031 + 240316 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 22311 + 223116 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 22611 + 226116 + + + + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + + picosat.c + 41171 + 411711 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 43551 + 435511 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 59421 + 594211 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 60611 + 606111 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 62591 + 625911 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 63041 + 630411 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 64031 + 640311 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 64071 + 640711 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 62421 + 624211 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 62831 + 628311 + + + + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + + app.c + 1761 + 17613 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + app.c + 2041 + 20413 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + app.c + 2541 + 25413 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + app.c + 3121 + 31213 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + cc872137c2837adcb662456f02ee0b210e744f14 + + app.c + 3211 + 32113 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + app.c + 3251 + 32513 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 45261 + 452631 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 61191 + 611931 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 62761 + 627631 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 64751 + 647531 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 65511 + 655131 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 66521 + 665231 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 66561 + 665631 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 64911 + 649131 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 65321 + 653231 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 42341 + 423410 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 58211 + 582110 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 59401 + 594010 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 61381 + 613810 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 61891 + 618910 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 62881 + 628810 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 62921 + 629210 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61271 + 612710 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61681 + 616810 + + + + 1fc66915bedfc16aa90827f3e211eeb777890e46 + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + + picosat.c + 41011 + 410112 + + + + 069444d807feb49fe7bb39fb85ba77b855cc3f28 + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + + picosat.c + 42571 + 425712 + + + + ddd8c9d281225a8b7bac9b8cdc0ade4d2e44294b + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + + picosat.c + 58441 + 584412 + + + + c393de3702aa3a4dbe5c5d4571b7fb942d99dcfc + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + + picosat.c + 59631 + 596312 + + + + 9841fb1f5d665cf813d4156ed2d682a0ae4e216a + c35ee4c944806eb283d02ca853d1fae67b147aab + + picosat.c + 61611 + 616112 + + + + c35ee4c944806eb283d02ca853d1fae67b147aab + f5f9228b11766f2a93dbb428cf905e18220bbcba + + picosat.c + 62091 + 620912 + + + + f5f9228b11766f2a93dbb428cf905e18220bbcba + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + + picosat.c + 63081 + 630812 + + + + 4500bfb6c945cff7d5b73e78618b02ac36a1af78 + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + + picosat.c + 63121 + 631212 + + + + 020058fdc617b4f0a8ac5cdb70fbf356d766baf5 + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61471 + 614712 + + + + cc872137c2837adcb662456f02ee0b210e744f14 + + picosat.c + 61881 + 618812 + + + + From 9396bfd7c0806fb5dea0850dcdb35c1ee89c6ae5 Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Mon, 14 Jul 2025 12:46:42 +0200 Subject: [PATCH 07/13] Added feature model for Opus Tools --- OpusTools/FeatureModel.xml | 369 +++++++++++++++++++++++++++++++++++++ 1 file changed, 369 insertions(+) create mode 100644 OpusTools/FeatureModel.xml diff --git a/OpusTools/FeatureModel.xml b/OpusTools/FeatureModel.xml new file mode 100644 index 0000000..9ff6d66 --- /dev/null +++ b/OpusTools/FeatureModel.xml @@ -0,0 +1,369 @@ + + + + root + + + + + + + + + + + False + + + mode + + + + + + root + + + False + + + src/opus_demo.c + + 216 + 18 + + + 216 + 20 + + OpusEncoder::mode + + + + + audio + + + + + + mode + + + False + + + cbr + --hard-cbr + + + + + root + + + True + + + cvbr + --cvbr + + + + + root + + + True + + + src/opus_demo.c + + 216 + 18 + + + 216 + 20 + + OpusEncoder::use_vbr + + + + + bandwidth + + + + + + root + + + False + + + src/opus_demo.c + + 216 + 18 + + + 216 + 20 + + OpusEncoder::bandwidth + + + + + NB + --set-ctl-int 4008=1101 + + + + bandwidth + + + WB + FB + MB + SWB + + False + + + WB + --set-ctl-int 4008=1103 + + + + bandwidth + + + NB + FB + MB + SWB + + False + + + FB + --set-ctl-int 4008=1105 + + + + bandwidth + + + NB + WB + MB + SWB + + False + + + frameSize + + + + + + root + + + False + + + src/opus_demo.c + + 216 + 18 + + + 216 + 20 + + OpusEncoder::Fs + + + + + lowest + --framesize=2.5 + + + + frameSize + + + default + highest + + False + + + default + + + + + + frameSize + + + lowest + highest + + False + + + highest + --framesize=60 + + + + frameSize + + + lowest + default + + False + + + forcemono + --downmix-mono + + + + + root + + + True + + + MB + --set-ctl-int 4008=1102 + + + + bandwidth + + + NB + WB + FB + SWB + + False + + + SWB + --set-ctl-int 4008=1104 + + + + bandwidth + + + NB + WB + FB + MB + + False + + + + + channels + --raw-chan + + + + + root + + + 1 + 2 + channels + 1 + + + src/opus_demo.c + + 216 + 18 + + + 216 + 20 + + OpusEncoder::channels + + + + + samplingRate + --raw-rate + + + + + root + + + 8000 + 24000 + samplingRate + 8000 + + + bitRate + --bitrate + + + + + root + + + 6 + 216 + bitRate * 6 + + + src/opus_demo.c + + 216 + 18 + + + 216 + 20 + + OpusEncoder::bitrate_bps + + + + + complexity + + --comp + + + root + + + 0 + 10 + complexity + 5 + + + + + + From cf338175e6c4b6bc12698d9fd969cb2339486977 Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Fri, 25 Jul 2025 13:23:51 +0200 Subject: [PATCH 08/13] Removed unused options --- FastDownward/FeatureModel.xml | 162 ---------------------------------- 1 file changed, 162 deletions(-) diff --git a/FastDownward/FeatureModel.xml b/FastDownward/FeatureModel.xml index e36fb07..debca6f 100644 --- a/FastDownward/FeatureModel.xml +++ b/FastDownward/FeatureModel.xml @@ -321,70 +321,6 @@ - - mergeStrat - - - - - - mergeAndShrink - - - False - - - merge_precompute - - - - - - - mergeStrat - - - False - - - merge_tree - - - - - - - merge_precompute - - - False - - - src/search/merge_and_shrink/merge_strategy_precomputed.h - - 9 - 7 - - - 9 - 15 - - - - - - linear - - - - - - - merge_tree - - - False - landmarkCut lmCut @@ -664,76 +600,6 @@ - - maxTime - - - - - - - iPDB - - - False - - - src/search/pdbs/pattern_collection_generator_hillclimbing.h - - 41 - 18 - - - 41 - 25 - - - - - - maxTimeDomPruning - - - - - - - iPDB - - - False - - - - 3a27ea77f85f41486c57286f5e73a5cac96cc35c - - src/search/pdbs/canonical_pdbs_heuristic.cc - - 39 - 12 - - - 39 - 37 - - - - - fd21c6b0d070fcb8556db06fc65807e3f31389a6 - 3a27ea77f85f41486c57286f5e73a5cac96cc35c - - src/search/pdbs/canonical_pdbs_heuristic.cc - - 38 - 12 - - - 38 - 37 - - - - beforeShrinking beforeShrinking @@ -1029,34 +895,6 @@ - - m - - - - - - - hmLM - - - 2 - 2 - m + 1 - - - src/search/landmarks/landmark_factory_h_m.h - - 92 - 15 - - - 92 - 16 - - - - collectionMaxSize collectionMaxSize= From a49eb71c9bb2f8cc8d32779ff0b18448893fd095 Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Fri, 25 Jul 2025 17:17:38 +0200 Subject: [PATCH 09/13] Changed feature models to one-hot-encoding --- OpusTools/FeatureModel.xml | 235 +++++++++++++++++++++++++++++-------- bzip2/FeatureModel.xml | 164 +++++++++++++++++++++++++- 2 files changed, 346 insertions(+), 53 deletions(-) diff --git a/OpusTools/FeatureModel.xml b/OpusTools/FeatureModel.xml index 9ff6d66..4a1a03d 100644 --- a/OpusTools/FeatureModel.xml +++ b/OpusTools/FeatureModel.xml @@ -277,11 +277,13 @@ False - - channels - --raw-chan + + + + + @@ -289,27 +291,44 @@ root - 1 - 2 - channels + 1 - - - src/opus_demo.c - - 216 - 18 - - - 216 - 20 - - OpusEncoder::channels - - + False + + + channels_1 + --raw-chan 1 + + + + + channels + + + + + False + + + channels_2 + --raw-chan 2 + + + + + channels + + + + + False - samplingRate - --raw-rate + samplingRate + + + + + + @@ -317,12 +336,60 @@ root - 8000 - 24000 - samplingRate + 8000 + False - bitRate + samplingRate_8000 + --raw-rate 8000 + + + + + samplingRate + + + + + + False + + + samplingRate_16000 + --raw-rate 16000 + + + + + samplingRate + + + + + + False + + + samplingRate_24000 + --raw-rate 24000 + + + + + samplingRate + + + + + + False + + + bitRate + + + + + --bitrate @@ -331,37 +398,111 @@ root - 6 - 216 - bitRate * 6 - - - src/opus_demo.c - - 216 - 18 - - - 216 - 20 - - OpusEncoder::bitrate_bps - - + False + + + bitRate_6 + --bitrate 6 + + + + + bitRate + + + + + + False + + + bitRate_36 + --bitrate 36 + + + + + bitRate + + + + + + False + + + bitRate_216 + --bitrate 216 + + + + + bitRate + + + + + + False complexity - --comp + root - 0 - 10 - complexity + 5 + False + + + complexity_0 + --comp 0 + + + + + complexity + + + + + + False + + + complexity_5 + --comp 5 + + + + + complexity + + + + + + False + + + complexity_10 + --comp 10 + + + + + complexity + + + + + + False + + diff --git a/bzip2/FeatureModel.xml b/bzip2/FeatureModel.xml index 6d672cc..9ca01a4 100755 --- a/bzip2/FeatureModel.xml +++ b/bzip2/FeatureModel.xml @@ -1150,16 +1150,22 @@ - - level - - + + level_1 + level_2 + level_3 + level_4 + level_5 + level_6 + level_7 + level_8 + level_9 + + root False - 1 - 9 - level + 1 @@ -1297,6 +1303,152 @@ + + level_1 + -1 + level + + level_2 + level_3 + level_4 + level_5 + level_6 + level_7 + level_8 + level_9 + + False + + + level_2 + -2 + level + + level_1 + level_3 + level_4 + level_5 + level_6 + level_7 + level_8 + level_9 + + False + + + level_3 + -3 + level + + level_2 + level_1 + level_4 + level_5 + level_6 + level_7 + level_8 + level_9 + + False + + + level_4 + -4 + level + + level_2 + level_3 + level_1 + level_5 + level_6 + level_7 + level_8 + level_9 + + False + + + level_5 + -5 + level + + level_2 + level_3 + level_4 + level_1 + level_6 + level_7 + level_8 + level_9 + + False + + + level_6 + -6 + level + + level_2 + level_3 + level_4 + level_5 + level_1 + level_7 + level_8 + level_9 + + False + + + level_7 + -7 + level + + level_2 + level_3 + level_4 + level_5 + level_6 + level_1 + level_8 + level_9 + + False + + + level_8 + -8 + level + + level_2 + level_3 + level_4 + level_5 + level_6 + level_7 + level_1 + level_9 + + False + + + level_9 + -9 + level + + level_2 + level_3 + level_4 + level_5 + level_6 + level_7 + level_8 + level_1 + + False + + + From 7d95dc437d2c4fe174b3dc32e52627a0d906c40f Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Fri, 25 Jul 2025 17:22:56 +0200 Subject: [PATCH 10/13] Change FD to one-hot encoding --- FastDownward/FeatureModel.xml | 270 +++++++++++++++++++++++++++++++--- 1 file changed, 250 insertions(+), 20 deletions(-) diff --git a/FastDownward/FeatureModel.xml b/FastDownward/FeatureModel.xml index debca6f..88b72cf 100644 --- a/FastDownward/FeatureModel.xml +++ b/FastDownward/FeatureModel.xml @@ -868,11 +868,14 @@ - - pdbMaxSize - pdbMaxSize= + + + + + + pdbMaxSize_100000 + pdbMaxSize=100000 + pdbMaxSize + + + + + + False + + + pdbMaxSize_2000000 + pdbMaxSize=2000000 + pdbMaxSize + + + + + + False + + + pdbMaxSize_10000000 + pdbMaxSize=10000000 + pdbMaxSize + + + + + + False + collectionMaxSize - collectionMaxSize= + + + + + + @@ -905,7 +946,7 @@ iPDB - 10000;200000;10000000 + False src/search/pdbs/pattern_collection_generator_hillclimbing.h @@ -920,9 +961,59 @@ + + collectionMaxSize_10000 + collectionMaxSize=10000 + + + + + collectionMaxSize + + + + + + False + + + collectionMaxSize_200000 + collectionMaxSize=200000 + + + + + collectionMaxSize + + + + + + False + + + collectionMaxSize_10000000 + collectionMaxSize=10000000 + + + + + collectionMaxSize + + + + + + False + numSamples - numSamples= + + + + + + @@ -930,7 +1021,7 @@ iPDB - 100;1000;10000 + False src/search/pdbs/pattern_collection_generator_hillclimbing.h @@ -945,9 +1036,54 @@ + + numSamples_100 + numSamples=100 + + + + + numSamples + + + + + + False + + + numSamples_1000 + numSamples=1000 + + + + + numSamples + + + + + + False + + + numSamples_10000 + numSamples=10000 + + + + + numSamples + + + + + + False + minImprovement - minImprovement= + @@ -955,7 +1091,12 @@ iPDB - 1;10;15 + False + + + + + src/search/pdbs/pattern_collection_generator_hillclimbing.h @@ -970,9 +1111,60 @@ + + minImprovement_1 + minImprovement=1 + + + + + minImprovement + + + + + + False + + + minImprovement_10 + minImprovement=10 + + + + + minImprovement + + + + + + False + + + minImprovement_15 + minImprovement=15 + + + + + minImprovement + + + + + + False + random - random= + + False + + + + + @@ -980,7 +1172,6 @@ root - 1;42;1337 src/search/utils/rng_options.cc @@ -995,6 +1186,53 @@ + + random_1 + random=1 + + + + + random + + + + + + False + + + random_42 + random=42 + + + + + random + + + + + + False + + + random_1337 + random=1337 + + + + + random + + + + + + False + + + beforeShrinking | beforeMerging @@ -1003,12 +1241,4 @@ conjunctiveLMs => ( hmLM ) - - bisimulation * random = 1 - blind * random = 1 - max * random = 1 - canonicalPDB * random = 1 - landmarkCount * random = 1 - landmarkCut * random = 1 - From 9f08e84c8629728b55e5d1f1ed4f188e7683cf69 Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Fri, 25 Jul 2025 18:22:56 +0200 Subject: [PATCH 11/13] Fix feature model syntax --- FastDownward/FeatureModel.xml | 120 ++++++++++++++++++---------------- OpusTools/FeatureModel.xml | 68 +++++++++---------- bzip2/FeatureModel.xml | 4 +- 3 files changed, 99 insertions(+), 93 deletions(-) diff --git a/FastDownward/FeatureModel.xml b/FastDownward/FeatureModel.xml index 88b72cf..b70a946 100644 --- a/FastDownward/FeatureModel.xml +++ b/FastDownward/FeatureModel.xml @@ -871,16 +871,16 @@ pdbMaxSize - - - @@ -915,8 +915,8 @@ pdbMaxSize - - + pdbMaxSize_100000 + pdbMaxSize_10000000 False @@ -926,24 +926,24 @@ pdbMaxSize - - + pdbMaxSize_2000000 + pdbMaxSize_100000 False collectionMaxSize - - - - - iPDB + + collectionMaxSize_10000 + collectionMaxSize_200000 + collectionMaxSize_10000000 + False @@ -971,8 +971,8 @@ collectionMaxSize - - + collectionMaxSize_200000 + collectionMaxSize_10000000 False @@ -986,8 +986,8 @@ collectionMaxSize - - + collectionMaxSize_10000 + collectionMaxSize_10000000 False @@ -1001,24 +1001,24 @@ collectionMaxSize - - + collectionMaxSize_200000 + collectionMaxSize_10000 False numSamples - - - - - iPDB + + numSamples_100 + numSamples_1000 + numSamples_10000 + False @@ -1046,8 +1046,8 @@ numSamples - - + numSamples_1000 + numSamples_10000 False @@ -1061,8 +1061,8 @@ numSamples - - + numSamples_100 + numSamples_10000 False @@ -1076,8 +1076,8 @@ numSamples - - + numSamples_1000 + numSamples_100 False @@ -1089,14 +1089,14 @@ iPDB + + minImprovement_1 + minImprovement_10 + minImprovement_15 + False - - - - - src/search/pdbs/pattern_collection_generator_hillclimbing.h @@ -1121,8 +1121,8 @@ minImprovement - - + minImprovement_10 + minImprovement_15 False @@ -1136,8 +1136,8 @@ minImprovement - - + minImprovement_1 + minImprovement_15 False @@ -1151,27 +1151,27 @@ minImprovement - - + minImprovement_10 + minImprovement_1 False random - False - - - - - root + + random_1 + random_42 + random_1337 + + False src/search/utils/rng_options.cc @@ -1196,8 +1196,8 @@ random - - + random_1337 + random_42 False @@ -1211,8 +1211,8 @@ random - - + random_1 + random_1337 False @@ -1226,8 +1226,8 @@ random - - + random_1 + random_42 False @@ -1235,10 +1235,16 @@ - beforeShrinking | beforeMerging + exactGeneralizedLR => (beforeShrinking | beforeMerging) onlyCausalLMs => ( exhaustiveLM | RHWLM) disjunctiveLMs => ( RHWLM ) conjunctiveLMs => ( hmLM ) + random => ( !bisimulation ) + random => ( !blind ) + random => ( !max ) + random => ( !canonicalPDB ) + random => ( !landmarkCount ) + random => ( !landmarkCut ) diff --git a/OpusTools/FeatureModel.xml b/OpusTools/FeatureModel.xml index 4a1a03d..e5515d9 100644 --- a/OpusTools/FeatureModel.xml +++ b/OpusTools/FeatureModel.xml @@ -279,16 +279,16 @@ channels - - - - root + + channels_1 + channels_2 + False @@ -303,7 +303,7 @@ channels - + channels_2 False @@ -317,23 +317,23 @@ channels - + channels_1 False samplingRate - - - - - root + + samplingRate_8000 + samplingRate_16000 + samplingRate_24000 + False @@ -348,8 +348,8 @@ samplingRate - - + samplingRate_16000 + samplingRate_24000 False @@ -363,8 +363,8 @@ samplingRate - - + samplingRate_8000 + samplingRate_24000 False @@ -378,24 +378,24 @@ samplingRate - - + samplingRate_8000 + samplingRate_16000 False bitRate - - - - - --bitrate root + + bitRate_6 + bitRate_36 + bitRate_216 + False @@ -410,8 +410,8 @@ bitRate - - + bitRate_36 + bitRate_216 False @@ -425,8 +425,8 @@ bitRate - - + bitRate_6 + bitRate_216 False @@ -440,8 +440,8 @@ bitRate - - + bitRate_36 + bitRate_6 False @@ -466,8 +466,8 @@ complexity - - + complexity_5 + complexity_10 False @@ -481,8 +481,8 @@ complexity - - + complexity_0 + complexity_10 False @@ -496,8 +496,8 @@ complexity - - + complexity_5 + complexity_0 False diff --git a/bzip2/FeatureModel.xml b/bzip2/FeatureModel.xml index 9ca01a4..e4ec81c 100755 --- a/bzip2/FeatureModel.xml +++ b/bzip2/FeatureModel.xml @@ -1152,6 +1152,8 @@ level + + root level_1 level_2 @@ -1163,8 +1165,6 @@ level_8 level_9 - - root False From e8aea3809ec13fa2447c71ff7a97971589316e14 Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Tue, 18 Nov 2025 10:42:03 +0100 Subject: [PATCH 12/13] First version of Pragma Feature model for SQLite --- SQLite/FeatureModel-Pragma.xml | 524 +++++++++++++++++++++++++++++++++ 1 file changed, 524 insertions(+) create mode 100644 SQLite/FeatureModel-Pragma.xml diff --git a/SQLite/FeatureModel-Pragma.xml b/SQLite/FeatureModel-Pragma.xml new file mode 100644 index 0000000..51a6a20 --- /dev/null +++ b/SQLite/FeatureModel-Pragma.xml @@ -0,0 +1,524 @@ + + + + OperatingSystemCharacteristics + + + + + + + + + + + False + + + DeferForeignKeys + defer_foreign_keys + + + + + ForeignKeys + + + + + True + + + ForeignKeys + foreign_keys + + + + + Options + + + + + True + + + JournalMode + + + + + + Options + + + + + False + + + Delete + journal_mode=DELETE + + + + + JournalMode + + + + + Truncate + Persist + Memory + WAL + Off + + False + + + Truncate + journal_mode=TRUNCATE + + + + + JournalMode + + + + + Delete + Persist + Memory + WAL + Off + + False + + + Persist + journal_mode=PERSIST + + + + + JournalMode + + + + + Truncate + Delete + Memory + WAL + Off + + False + + + Memory + journal_mode=Memory + + + + + JournalMode + + + + + Truncate + Delete + Persist + WAL + Off + + False + + + WAL + journal_mode=WAL + + + + + JournalMode + + + + + Truncate + Delete + Memory + Persist + Off + + False + + + Off + journal_mode=OFF + + + + + JournalMode + + + + + Truncate + Delete + Memory + WAL + Persist + + False + + + JournalSizeLimit + + + + + + Options + + + + + + True + + + JournalSize_Unlimited + journal_size_limit=-1 + + + + + JournalSizeLimit + + + + + JournalSize_64MB + JournalSize_4MB + + False + + + JournalSize_4MB + journal_size_limit=4194304 + + + + + JournalSizeLimit + + + + + JournalSize_64MB + JournalSize_Unlimited + + False + + + JournalSize_64MB + journal_size_limit=67108864 + + + + + JournalSizeLimit + + + + + JournalSize_4MB + JournalSize_Unlimited + + False + + + SQLITE_SECURE_DELETE + SQLITE_SECURE_DELETE + + + + + OperatingSystemCharacteristics + + + + True + + + ChooseSQLITE_TEMP_STORE + + + + + + OperatingSystemCharacteristics + + + + False + + + SQLITE_TEMP_STOREzero + SQLITE_TEMP_STORE 0 + + + + + ChooseSQLITE_TEMP_STORE + + + + SQLITE_TEMP_STOREone + SQLITE_TEMP_STOREtwo + + False + + + SQLITE_TEMP_STOREone + SQLITE_TEMP_STORE 1 + + + + + ChooseSQLITE_TEMP_STORE + + + + SQLITE_TEMP_STOREzero + SQLITE_TEMP_STOREtwo + + False + + + SQLITE_TEMP_STOREtwo + SQLITE_TEMP_STORE 2 + + + + + ChooseSQLITE_TEMP_STORE + + + + SQLITE_TEMP_STOREzero + SQLITE_TEMP_STOREone + + False + + + Options + + + + + + + + + + + False + + + SetCacheSize + + + + + + Options + + + + False + + + StandardCacheSize + SQLITE_DEFAULT_CACHE_SIZE 2000 + + + + + SetCacheSize + + + + LowerCacheSize + HigherCacheSize + + False + + + LowerCacheSize + SQLITE_DEFAULT_CACHE_SIZE 1000 + + + + + SetCacheSize + + + + StandardCacheSize + HigherCacheSize + + False + + + HigherCacheSize + SQLITE_DEFAULT_CACHE_SIZE 4000 + + + + + SetCacheSize + + + + StandardCacheSize + LowerCacheSize + + False + + + LockingMode + + + + + + Options + + + + False + + + ExclusiveLock + SQLITE_DEFAULT_LOCKING_MODE 1 + + + + + LockingMode + + + + NormalLockingMode + + False + + + NormalLockingMode + SQLITE_DEFAULT_LOCKING_MODE 0 + + + + + LockingMode + + + + ExclusiveLock + + False + + + PageSize + + + + + + Options + + + + False + + + StandardPageSize + SQLITE_DEFAULT_PAGE_SIZE 1024 + + + + + PageSize + + + + HighestPageSize + LowerPageSize + HigherPageSize + + False + + + LowerPageSize + SQLITE_DEFAULT_PAGE_SIZE 512 + + + + + PageSize + + + + HighestPageSize + HigherPageSize + StandardPageSize + + False + + + HigherPageSize + SQLITE_DEFAULT_PAGE_SIZE 2048 + + + + + PageSize + + + + HighestPageSize + LowerPageSize + StandardPageSize + + False + + + HighestPageSize + SQLITE_DEFAULT_PAGE_SIZE 8096 + + + + + PageSize + + + + StandardPageSize + LowerPageSize + HigherPageSize + + False + + + + + JournalSizeLimit => ( Persist | ExclusiveLock ) + + + From 89578acfe18d843f23f773a1ab9c59732c2c7caa Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Tue, 16 Dec 2025 11:21:08 +0100 Subject: [PATCH 13/13] Fixed output strings --- SQLite/FeatureModel-Pragma.xml | 209 ++++++++++++--------------------- 1 file changed, 74 insertions(+), 135 deletions(-) diff --git a/SQLite/FeatureModel-Pragma.xml b/SQLite/FeatureModel-Pragma.xml index 51a6a20..48717dc 100644 --- a/SQLite/FeatureModel-Pragma.xml +++ b/SQLite/FeatureModel-Pragma.xml @@ -118,7 +118,7 @@ Memory - journal_mode=Memory + journal_mode=MEMORY @@ -177,86 +177,68 @@ False - JournalSizeLimit + SecureDelete - Options - + OperatingSystemCharacteristics - - + True - JournalSize_Unlimited - journal_size_limit=-1 + SecureDelete_On + secure_delete=true - JournalSizeLimit - + SecureDelete - JournalSize_64MB - JournalSize_4MB + SecureDelete_Off + SecureDelete_Fast False - JournalSize_4MB - journal_size_limit=4194304 + SecureDelete_Off + secure_delete=false - JournalSizeLimit - + SecureDelete - JournalSize_64MB - JournalSize_Unlimited + SecureDelete_On + SecureDelete_Fast False - JournalSize_64MB - journal_size_limit=67108864 + SecureDelete_Fast + secure_delete=fast - JournalSizeLimit - + SecureDelete - JournalSize_4MB - JournalSize_Unlimited + SecureDelete_On + SecureDelete_Off False - - - SQLITE_SECURE_DELETE - SQLITE_SECURE_DELETE - - - - - OperatingSystemCharacteristics - - - - True - + - ChooseSQLITE_TEMP_STORE + TempStore @@ -269,50 +251,50 @@ False - SQLITE_TEMP_STOREzero - SQLITE_TEMP_STORE 0 + TempStore_Default + temp_store=DEFAULT - ChooseSQLITE_TEMP_STORE + TempStore - SQLITE_TEMP_STOREone - SQLITE_TEMP_STOREtwo + TempStore_File + TempStore_Memory False - SQLITE_TEMP_STOREone - SQLITE_TEMP_STORE 1 + TempStore_File + temp_store=FILE - ChooseSQLITE_TEMP_STORE + TempStore - SQLITE_TEMP_STOREzero - SQLITE_TEMP_STOREtwo + TempStore_Default + TempStore_Memory False - SQLITE_TEMP_STOREtwo - SQLITE_TEMP_STORE 2 + TempStore_Memory + temp_store=MEMORY - ChooseSQLITE_TEMP_STORE + TempStore - SQLITE_TEMP_STOREzero - SQLITE_TEMP_STOREone + TempStore_Default + TempStore_File False @@ -331,7 +313,7 @@ False - SetCacheSize + LockingMode @@ -344,56 +326,38 @@ False - StandardCacheSize - SQLITE_DEFAULT_CACHE_SIZE 2000 - - - - - SetCacheSize - - - - LowerCacheSize - HigherCacheSize - - False - - - LowerCacheSize - SQLITE_DEFAULT_CACHE_SIZE 1000 + ExclusiveLock + locking_mode=EXCLUSIVE - SetCacheSize + LockingMode - StandardCacheSize - HigherCacheSize + NormalLockingMode False - HigherCacheSize - SQLITE_DEFAULT_CACHE_SIZE 4000 + NormalLockingMode + locking_mode=NORMAL - SetCacheSize + LockingMode - StandardCacheSize - LowerCacheSize + ExclusiveLock False - LockingMode - + ReadUncommitted + read_uncommitted @@ -402,40 +366,36 @@ - False + True - ExclusiveLock - SQLITE_DEFAULT_LOCKING_MODE 1 + RecursiveTriggers + recursive_triggers - LockingMode + Options - - NormalLockingMode - - False + + True - NormalLockingMode - SQLITE_DEFAULT_LOCKING_MODE 0 + ReverseUnorderedSelects + reverse_unordered_selects - LockingMode + Options - - ExclusiveLock - - False + + True - PageSize + SynchronousMode @@ -448,77 +408,56 @@ False - StandardPageSize - SQLITE_DEFAULT_PAGE_SIZE 1024 - - - - - PageSize - - - - HighestPageSize - LowerPageSize - HigherPageSize - - False - - - LowerPageSize - SQLITE_DEFAULT_PAGE_SIZE 512 + SynchronousMode_Off + synchronous=OFF - PageSize + SynchronousMode - HighestPageSize - HigherPageSize - StandardPageSize + SynchronousMode_Normal + SynchronousMode_Full False - HigherPageSize - SQLITE_DEFAULT_PAGE_SIZE 2048 + SynchronousMode_Normal + synchronous=NORMAL - PageSize + SynchronousMode - HighestPageSize - LowerPageSize - StandardPageSize + SynchronousMode_Off + SynchronousMode_Full False - HighestPageSize - SQLITE_DEFAULT_PAGE_SIZE 8096 + SynchronousMode_Full + synchronous=FULL - PageSize + SynchronousMode - StandardPageSize - LowerPageSize - HigherPageSize + SynchronousMode_Normal + SynchronousMode_Off False - JournalSizeLimit => ( Persist | ExclusiveLock )