BenchmarkRC2-2018UWrMaxSATOpen-WBO-msmaxino2018Open-WBO-gOpen-WBO-ms-preMaxHSQMaxSAT2018
MaxSATQueriesinInterpretableClassifiers/heart_train_0_DNF_3_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1195.98 (45)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/heart_train_0_DNF_2_1.wcnf2.33404 (45)2.71946 (45)31.3593 (45)55.2265 (45)32.3053 (45)12.9505 (45)15.1946 (45)19.6888 (45)
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_1_DNF_1_1.wcnf0.144948 (18)0.0374821 (18)6.14252 (18)0.0185081 (18)0.666227 (18)0.281539 (18)0.562529 (18)0.58562 (18)
MaxSATQueriesinInterpretableClassifiers/wdbc_train_1_CNF_1_1.wcnf0.190209 (29)0.0570749 (29)0.963924 (29)0.040899 (29)0.314049 (29)0.565109 (29)1.40342 (29)0.549296 (29)
MaxSATQueriesinInterpretableClassifiers/tictactoe_train_1_CNF_3_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/titanic_train_1_CNF_2_1.wcnf1.38904 (245)1.29168 (245)227.657 (245)19.5956 (245)211.826 (245)195.007 (245)14.4575 (245)38.2814 (245)
MaxSATQueriesinInterpretableClassifiers/titanic_train_0_CNF_4_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/titanic_train_1_CNF_5_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/wdbc_train_0_CNF_3_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1921.04 (19)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/compas_train_1_CNF_5_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/adult_train_1_DNF_2_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/toms_test_0_CNF_4_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/credit_train_0_CNF_4_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/twitter_test_1_CNF_5_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/credit_train_1_CNF_5_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/ilpd_train_4_CNF_2_1.wcnf0.428965 (150)0.265741 (150)8.45644 (150)2.42949 (150)11.2864 (150)4.43054 (150)2.30809 (150)3.0219 (150)
MaxSATQueriesinInterpretableClassifiers/tictactoe_train_3_DNF_1_1.wcnf0.698009 (267)0.324252 (267)6.56248 (267)0.813435 (267)1.17528 (267)6.0774 (267)12.3218 (267)3.70935 (267)
MaxSATQueriesinInterpretableClassifiers/pima_train_5_CNF_2_1.wcnf8.42244 (161)12.7444 (161)917.28 (161)437.567 (161)1440.19 (161)113.634 (161)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/parkinsons_train_6_DNF_4_1.wcnf3.63967 (11)0.691229 (11)7.15926 (11)2.21382 (11)0.246637 (11)7.14766 (11)4.63014 (11)2.32402 (11)
MaxSATQueriesinInterpretableClassifiers/titanic_train_9_CNF_2_1.wcnf3.15037 (244)1.78083 (244)326.022 (244)79.0648 (244)213.027 (244)168.936 (244)27.8028 (244)41.9935 (244)
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_2_CNF_2_1.wcnf3600.0 (-)1081.78 (24)1375.79 (24)3600.0 (-)3600.0 (-)241.032 (24)3600.0 (-)1491.07 (24)
MaxSATQueriesinInterpretableClassifiers/compas_train_9_DNF_3_1.wcnf632.722 (2133)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1664.08 (2133)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_1_CNF_5_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/compas_train_8_CNF_2_1.wcnf70.021 (2149)80.1753 (2149)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/adult_train_5_CNF_2_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/twitter_test_0_CNF_2_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/toms_test_1_DNF_5_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/toms_train_2_CNF_5_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/adult_train_8_CNF_3_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers/twitter_test_9_CNF_4_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaximumCommonSub-GraphExtraction/g3_n30e43_n40e53_n44e48.wcnf82.7261 (33)301.044 (33)165.36 (33)553.511 (33)3600.0 (-)134.495 (33)3600.0 (-)201.779 (33)
MaximumCommonSub-GraphExtraction/g7_n13e12_n13e12_n13e12_n13e12_n14e13_n15e14_n24e31.wcnf364.217 (3)66.371 (3)45.5812 (3)59.4694 (3)70.1573 (3)80.7086 (3)479.728 (3)3600.0 (-)
MaximumCommonSub-GraphExtraction/g2_n42e55_n44e53.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaximumCommonSub-GraphExtraction/g2_n26e25_n48e52.wcnf0.368 (8)0.187784 (8)1.76595 (8)0.311195 (8)0.195684 (8)3.72116 (8)997.754 (8)0.2517 (8)
MaximumCommonSub-GraphExtraction/g3_n26e25_n27e26_n42e48.wcnf2147.07 (14)2373.54 (14)1350.71 (14)2922.47 (14)3600.0 (-)885.216 (14)3600.0 (-)1941.47 (14)
MaximumCommonSub-GraphExtraction/g2_n45e48_n47e54.wcnf182.794 (30)77.6797 (30)38.4901 (30)196.443 (30)113.961 (30)53.3291 (30)976.078 (30)253.705 (30)
MaximumCommonSub-GraphExtraction/g3_n34e43_n59e60_n71e84.wcnf36.4259 (33)114.847 (33)43.6508 (33)164.526 (33)505.977 (33)40.7598 (33)518.361 (33)217.853 (33)
MaximumCommonSub-GraphExtraction/g2_n38e52_n53e67.wcnf22.7844 (19)12.9291 (19)26.7978 (19)64.1357 (19)22.9471 (19)15.6891 (19)3600.0 (-)63.7204 (19)
MaximumCommonSub-GraphExtraction/g3_n30e43_n32e44_n40e53.wcnf227.62 (26)260.898 (26)78.3326 (26)465.298 (26)1240.12 (26)70.7505 (26)3600.0 (-)168.579 (26)
MaximumCommonSub-GraphExtraction/g2_n44e59_n69e83.wcnf516.853 (43)477.592 (43)207.563 (43)3154.74 (43)1637.48 (43)199.037 (43)3600.0 (-)699.578 (43)
MaximumCommonSub-GraphExtraction/g2_n67e83_n68e73.wcnf436.79 (50)640.277 (50)286.573 (50)1235.54 (50)1347.63 (50)173.672 (50)3600.0 (-)3600.0 (-)
MaximumCommonSub-GraphExtraction/g3_n35e48_n41e57_n56e65.wcnf3600.0 (-)354.133 (34)81.8478 (34)432.389 (34)141.692 (34)3600.0 (-)3600.0 (-)241.546 (34)
MaximumCommonSub-GraphExtraction/g2_n38e39_n146e164.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaximumCommonSub-GraphExtraction/g3_n37e36_n37e35_n39e39.wcnf1816.21 (17)200.407 (17)142.803 (17)762.568 (17)1737.39 (17)102.242 (17)1507.04 (17)702.981 (17)
MaximumCommonSub-GraphExtraction/g3_n39e42_n61e85_n72e77.wcnf230.379 (31)2708.47 (31)143.262 (31)2256.96 (31)1105.98 (31)149.285 (31)483.632 (31)3600.0 (-)
MaximumCommonSub-GraphExtraction/g2_n92e110_n96e105.wcnf2.21777 (67)1.23649 (67)5.51148 (67)1.51313 (67)1.54395 (67)6.24318 (67)56.7058 (67)47.7942 (67)
MaximumCommonSub-GraphExtraction/g3_n52e77_n57e74_n58e75.wcnf6.59097 (54)35.5849 (54)144.043 (54)12.6735 (54)92.9078 (54)28.5451 (54)3600.0 (-)346.7 (54)
MaximumCommonSub-GraphExtraction/g2_n37e45_n71e77.wcnf1.11807 (21)0.65712 (21)6.02752 (21)1.58562 (21)0.886461 (21)6.05109 (21)64.4914 (21)9.6178 (21)
MaximumCommonSub-GraphExtraction/g2_n50e50_n58e61.wcnf4.18071 (19)11.6514 (19)15.5616 (19)20.8095 (19)13.5654 (19)11.8177 (19)2604.96 (19)470.761 (19)
MaximumCommonSub-GraphExtraction/g3_n66e77_n66e72_n94e112.wcnf223.759 (50)56.6599 (50)193.66 (50)118.496 (50)532.552 (50)253.745 (50)3600.0 (-)2670.01 (50)
MaximumCommonSub-GraphExtraction/g6_n25e24_n28e29_n32e33_n37e37_n38e39_n40e39.wcnf26.9041 (10)41.6681 (10)40.1709 (10)55.3085 (10)24.3034 (10)49.8466 (10)370.128 (10)60.6322 (10)
MaximumCommonSub-GraphExtraction/g3_n66e77_n74e84_n94e112.wcnf9.70928 (52)15.1734 (52)68.5954 (52)30.521 (52)58.3223 (52)31.7159 (52)3600.0 (-)201.861 (52)
MaximumCommonSub-GraphExtraction/g2_n61e85_n120e154.wcnf50.2277 (51)46.1562 (51)61.1323 (51)79.1592 (51)158.397 (51)32.2808 (51)664.242 (51)3600.0 (-)
MaximumCommonSub-GraphExtraction/g3_n39e39_n81e90_n91e99.wcnf0.914221 (18)0.265912 (18)5.80375 (18)0.255657 (18)0.922326 (18)5.37413 (18)4.93421 (18)1.01898 (18)
MaximumCommonSub-GraphExtraction/g8_n44e59_n44e58_n47e63_n58e76_n67e94_n75e107_n123e161_n133e175.wcnf15.7238 (20)11.9683 (20)21.3938 (20)11.9812 (20)17.5539 (20)37.2964 (20)541.624 (20)102.279 (20)
MaximumCommonSub-GraphExtraction/g3_n67e86_n89e98_n130e150.wcnf2.73468 (59)3.04194 (59)155.736 (59)10.1588 (59)297.795 (59)77.2158 (59)585.731 (59)3600.0 (-)
MaximumCommonSub-GraphExtraction/g4_n58e71_n61e85_n100e127_n104e131.wcnf17.4723 (55)14.7836 (55)25.4088 (55)20.7538 (55)143.844 (55)28.0599 (55)373.041 (55)37.4343 (55)
MaximumCommonSub-GraphExtraction/g5_n39e38_n43e43_n61e61_n67e68_n82e119.wcnf8.38701 (22)43.5996 (22)538.91 (22)103.804 (22)1220.12 (22)28.1162 (22)962.06 (22)165.135 (22)
MaximumCommonSub-GraphExtraction/g4_n47e57_n58e61_n133e169_n141e184.wcnf3.30742 (39)1.07862 (39)7.67623 (39)1.49229 (39)3.00806 (39)10.6363 (39)177.795 (39)38.6003 (39)
MaximumCommonSub-GraphExtraction/g4_n69e80_n69e80_n69e80_n79e87.wcnf3600.0 (-)0.626108 (58)5.56074 (58)0.775144 (58)1.05816 (58)6.80619 (58)12.7412 (58)1.24836 (58)
ConsistentQueryAnswering/real-6.wcnf10.8339 (356)3.22793 (356)2.22206 (356)1.36041 (356)0.746867 (356)28.8147 (356)3.21034 (356)0.556162 (356)
ConsistentQueryAnswering/real-2.wcnf7.07131 (368)2.48378 (368)5.15092 (368)1.1506 (368)4.5166 (368)4.96795 (368)2.77547 (368)0.464475 (368)
ConsistentQueryAnswering/synthetic-12.wcnf66.3517 (17989)3600.0 (-)0.17658 (17989)1.46059 (17989)0.155425 (17989)0.959508 (17989)0.320844 (17989)31.6525 (17989)
ConsistentQueryAnswering/synthetic-21.wcnf40.4246 (21342)0.322734 (21342)2.39132 (21342)1.19915 (21342)2.36099 (21342)1.29697 (21342)0.388228 (21342)102.359 (21342)
ConsistentQueryAnswering/real-5.wcnf235.13 (31589)3.30112 (31589)11.1115 (31589)6.6295 (31589)9.63678 (31589)6.51452 (31589)3.23848 (31589)84.661 (31589)
ConsistentQueryAnswering/synthetic-14.wcnf3.52979 (5728)0.0828401 (5728)0.0617829 (5728)0.104684 (5728)0.0588411 (5728)0.340413 (5728)0.103609 (5728)4.80294 (5728)
min-fill/MinFill_R0_queen6_6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R10_anna.wcnf2.61474 (37)21.4624 (37)2948.57 (37)30.6146 (37)3600.0 (-)3600.0 (-)3.6418 (37)71.0662 (37)
min-fill/MinFill_R0_myciel4.wcnf0.803888 (46)1.57498 (46)3600.0 (-)5.54269 (46)3600.0 (-)3600.0 (-)1.76173 (46)2265.93 (46)
min-fill/MinFill_R0_queen8_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_myciel5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)275.251 (196)3600.0 (-)
min-fill/MinFill_R3_david.wcnf914.06 (61)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)58.0079 (61)2547.51 (61)
min-fill/MinFill_R0_miles1500.wcnf262.313 (218)3600.0 (-)3600.0 (-)550.785 (218)3600.0 (-)3600.0 (-)515.389 (218)3600.0 (-)
min-fill/MinFill_R1_games120.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_myciel6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R4_miles500.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_queen8_12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_mulsol.i.2.wcnf269.094 (240)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)396.17 (240)3600.0 (-)
min-fill/MinFill_R0_queen11_11.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R3_miles750.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R3_miles1000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_mulsol.i.3.wcnf257.115 (240)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)376.363 (240)3600.0 (-)
min-fill/MinFill_R0_myciel7.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill/MinFill_R0_mulsol.i.4.wcnf272.864 (240)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)370.362 (240)3600.0 (-)
maxclique/san200_0.9_3.clq.wcnf7.88546 (156)5.20916 (156)801.557 (156)3600.0 (-)1008.21 (156)1952.58 (156)0.382384 (156)3600.0 (-)
maxclique/keller4.clq.wcnf8.24305 (160)3.02564 (160)45.409 (160)29.8416 (160)16.7008 (160)81.5372 (160)21.7134 (160)7.06432 (160)
maxclique/brock200_2.clq.wcnf12.6665 (188)11.7442 (188)74.6844 (188)49.2789 (188)39.7214 (188)41.6691 (188)116.952 (188)14.6729 (188)
maxclique/brock400_4.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/p_hat300-1.clq.wcnf4.63239 (292)4.12885 (292)54.2861 (292)26.3212 (292)42.2933 (292)60.2028 (292)286.73 (292)8.87111 (292)
maxclique/p_hat300-2.clq.wcnf10.8777 (275)15.3856 (275)243.359 (275)964.867 (275)596.772 (275)191.777 (275)256.739 (275)964.515 (275)
maxclique/keller5.clq.wcnf3600.0 (-)3600.0 (-)656.186 (749)3600.0 (-)3129.17 (749)709.24 (749)3600.0 (-)3600.0 (-)
maxclique/p_hat700-3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique/san1000.clq.wcnf3.92773 (985)4.13892 (985)71.6024 (985)3600.0 (-)53.9198 (985)230.802 (985)2.61481 (985)3600.0 (-)
maxclique/c-fat500-2.clq.wcnf1.37241 (474)0.471446 (474)22.5681 (474)0.517751 (474)17.5089 (474)30.3748 (474)40.0274 (474)0.49641 (474)
drmx-cryptogen/geffe128_5.wcnf45.7942 (800)3600.0 (-)55.8017 (800)8.08919 (800)13.9086 (800)3600.0 (-)21.7065 (800)3600.0 (-)
drmx-cryptogen/geffe128_1.wcnf51.4293 (800)8.26699 (800)13.7974 (800)186.777 (800)26.9257 (800)3600.0 (-)47.0589 (800)3600.0 (-)
drmx-cryptogen/geffe128_4.wcnf36.1194 (800)479.48 (800)37.2293 (800)377.391 (800)108.065 (800)3600.0 (-)7.38317 (800)3600.0 (-)
drmx-cryptogen/geffe128_8.wcnf117.072 (800)53.082 (800)81.1818 (800)244.109 (800)444.061 (800)3600.0 (-)29.0775 (800)3600.0 (-)
drmx-cryptogen/threshold128_5.wcnf174.302 (800)12.519 (800)99.0394 (800)256.969 (800)333.575 (800)3600.0 (-)57.856 (800)3600.0 (-)
drmx-cryptogen/threshold128_3.wcnf156.747 (800)3.20516 (800)40.3947 (800)130.768 (800)73.3613 (800)3600.0 (-)1.19599 (800)3600.0 (-)
drmx-cryptogen/threshold128_2.wcnf576.309 (800)143.24 (800)82.3076 (800)398.49 (800)168.927 (800)3600.0 (-)65.892 (800)3600.0 (-)
drmx-cryptogen/threshold128_6.wcnf36.0284 (800)71.6346 (800)54.3036 (800)144.115 (800)91.4436 (800)3600.0 (-)38.3823 (800)3600.0 (-)
drmx-cryptogen/wolfram72_7.wcnf193.119 (9288)4.4832 (9288)69.6393 (9288)4.97854 (9288)23.7748 (9288)3600.0 (-)5.9206 (9288)3600.0 (-)
drmx-cryptogen/threshold128_0.wcnf101.58 (800)116.351 (800)67.3465 (800)107.139 (800)169.211 (800)3600.0 (-)65.1299 (800)3600.0 (-)
drmx-cryptogen/threshold128_4.wcnf82.166 (800)92.5904 (800)73.5734 (800)170.611 (800)33.3844 (800)3600.0 (-)3.7533 (800)3600.0 (-)
drmx-cryptogen/threshold128_8.wcnf2457.11 (800)759.675 (800)214.242 (800)935.439 (800)67.3429 (800)3600.0 (-)65.7146 (800)3600.0 (-)
drmx-cryptogen/wolfram72_8.wcnf195.933 (9288)5.21636 (9288)82.2523 (9288)23.6314 (9288)31.0661 (9288)3600.0 (-)24.285 (9288)3600.0 (-)
drmx-cryptogen/wolfram72_1.wcnf201.212 (9288)6.88889 (9288)69.749 (9288)7.30996 (9288)26.7833 (9288)3600.0 (-)5.93989 (9288)3600.0 (-)
drmx-cryptogen/wolfram72_5.wcnf203.422 (9288)10.799 (9288)103.595 (9288)5.83379 (9288)31.4504 (9288)3600.0 (-)19.2562 (9288)3600.0 (-)
drmx-cryptogen/wolfram72_9.wcnf206.539 (9288)3.96476 (9288)90.8165 (9288)15.1142 (9288)38.321 (9288)3600.0 (-)1.32623 (9288)3600.0 (-)
drmx-cryptogen/wolfram80_5.wcnf333.004 (11440)13.2579 (11440)102.055 (11440)206.329 (11440)80.1552 (11440)3600.0 (-)35.8973 (11440)3600.0 (-)
drmx-cryptogen/wolfram80_9.wcnf298.341 (11440)40.9809 (11440)161.469 (11440)10.2497 (11440)40.8228 (11440)3600.0 (-)6.36325 (11440)3600.0 (-)
drmx-cryptogen/wolfram80_6.wcnf294.157 (11440)14.81 (11440)134.861 (11440)22.7651 (11440)37.0252 (11440)3600.0 (-)21.2838 (11440)3600.0 (-)
drmx-cryptogen/wolfram80_1.wcnf305.34 (11440)20.3371 (11440)142.173 (11440)125.331 (11440)84.2523 (11440)3600.0 (-)30.0392 (11440)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3387.76 (9)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)982.8 (7)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_4_10_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)114.44 (8)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_100_0.05_0_30_3.wcnf17.1039 (20)3.0558 (20)3600.0 (-)0.535464 (20)3600.0 (-)9.1893 (20)58.3778 (20)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_150_0.2_4_8_3.wcnf5.73225 (20)3.71105 (20)3600.0 (-)0.321216 (20)3600.0 (-)8.44887 (20)305.001 (20)3600.0 (-)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_0_10_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)125.259 (9)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_150_0.05_0_15_2.wcnf12.4972 (39)3600.0 (-)56.4532 (39)1.71177 (39)15.5138 (39)16.0617 (39)115.651 (39)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_150_0.05_4_15_1.wcnf10.4403 (43)8.50176 (43)43.4132 (43)0.632782 (43)15.1446 (43)21.8106 (43)308.397 (43)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_200_0.2_1_10_0.wcnf11.3101 (16)8.17465 (16)3600.0 (-)0.525044 (16)3600.0 (-)24.524 (16)8.78621 (16)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_150_0.05_3_30_0.wcnf15.8964 (33)11.7663 (33)303.793 (33)0.935626 (33)309.604 (33)33.8519 (33)243.432 (33)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_200_0.05_4_20_3.wcnf33.1834 (49)25.8164 (49)3600.0 (-)1.06952 (49)3600.0 (-)46.0661 (49)788.745 (49)3600.0 (-)
extension-enforcement/extension-enforcement_strict_com_200_0.05_1_40_1.wcnf27.8862 (17)19.2366 (17)93.3365 (17)2.60649 (17)2.5518 (17)13.8512 (17)15.049 (17)3600.0 (-)
atcoss/atcoss_sugar_02.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_sugar_01.wcnf48.1899 (20)33.9435 (20)134.244 (20)33.4043 (20)72.7088 (20)104.757 (20)37.6309 (20)18.8922 (20)
atcoss/atcoss_sugar_12.wcnf50.8001 (12)19.2962 (12)162.697 (12)19.0709 (12)58.7779 (12)130.238 (12)167.934 (12)33.824 (12)
atcoss/atcoss_sugar_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_sugar_18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_sugar_05.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_sugar_19.wcnf993.369 (8)75.1035 (8)127.722 (8)164.086 (8)2425.83 (8)88.5775 (8)104.131 (8)1616.63 (8)
atcoss/atcoss_sugar_04.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_mesat_03.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_mesat_01.wcnf195.289 (20)51.3988 (20)368.256 (20)46.8142 (20)202.074 (20)149.512 (20)58.6869 (20)74.6526 (20)
atcoss/atcoss_mesat_10.wcnf3600.0 (-)521.641 (13)3532.45 (13)1297.01 (13)3600.0 (-)836.101 (13)2383.38 (13)1618.69 (13)
atcoss/atcoss_mesat_06.wcnf360.213 (20)62.6802 (20)537.566 (20)85.0004 (20)382.368 (20)156.17 (20)91.9984 (20)353.849 (20)
atcoss/atcoss_mesat_12.wcnf54.3228 (12)9.69535 (12)110.207 (12)7.88483 (12)67.2867 (12)50.3967 (12)9.53183 (12)74.749 (12)
atcoss/atcoss_mesat_04.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss/atcoss_mesat_05.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3248.04 (10)2962.74 (10)3600.0 (-)
atcoss/atcoss_mesat_18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling/GreeceWesternGreeceUniversityInstance4.xml.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
CircuitTraceCompaction/mrisc_mem2wire.wcnf111.822 (5)18.6781 (5)287.4 (5)22.7197 (5)69.8844 (5)127.762 (5)250.014 (5)56.1404 (5)
CircuitTraceCompaction/ctrl.wcnf0.591275 (15)0.134788 (15)1.62828 (15)0.127351 (15)0.273619 (15)0.762026 (15)56.1535 (15)0.143775 (15)
CircuitTraceCompaction/sudoku.wcnf58.0702 (13)6.44878 (13)228.422 (13)3.74068 (13)7.04457 (13)36.3024 (13)3600.0 (-)7.02001 (13)
CircuitTraceCompaction/spi.wcnf11.8594 (46)4.81161 (46)38.1388 (46)1.71019 (46)8.8885 (46)37.6036 (46)3600.0 (-)3.28045 (46)
reversi/rev66-32.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-26.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-22.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-14.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-10.wcnf120.968 (23)178.408 (23)111.527 (23)255.737 (23)127.697 (23)124.238 (23)3600.0 (-)95.8994 (23)
reversi/rev66-6.wcnf2.46565 (32)1.64501 (32)10.0468 (32)2.55022 (32)1.09299 (32)9.80925 (32)43.9106 (32)0.552593 (32)
reversi/rev66-24.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-20.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-28.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-16.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi/rev66-12.wcnf3600.0 (-)3444.59 (21)934.809 (21)3600.0 (-)3600.0 (-)1014.95 (21)3600.0 (-)3310.61 (21)
reversi/rev66-8.wcnf42.7454 (30)47.459 (30)3600.0 (-)59.6985 (30)40.7324 (30)49.6236 (30)3600.0 (-)21.5623 (30)
reversi/rev66-30.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mbd/b14_C-mbd14-0225.wcnf110.533 (24)35.1545 (24)78.8179 (24)1939.83 (24)44.4605 (24)95.4551 (24)629.098 (24)3600.0 (-)
mbd/b20_C-mbd14-0255.wcnf9.01834 (24)2.07038 (24)39.8811 (24)2.06728 (24)4.06564 (24)26.6497 (24)104.106 (24)201.119 (24)
mbd/b14_C-mbd14-0307.wcnf102.295 (21)24.3103 (21)44.2468 (21)106.692 (21)14.6805 (21)265.455 (21)83.4279 (21)495.299 (21)
mbd/b21_C-mbd14-0349.wcnf4.22588 (22)0.788711 (22)28.3119 (22)0.562914 (22)2.00482 (22)14.9668 (22)71.9281 (22)25.2581 (22)
mbd/b20_C-mbd14-0328.wcnf1.8054 (20)1.04547 (20)13.6494 (20)0.49495 (20)1.34497 (20)16.0937 (20)19.0637 (20)29.8301 (20)
mbd/b20_C-mbd14-0354.wcnf2.44622 (27)1.34783 (27)24.7767 (27)0.681584 (27)1.80846 (27)15.4468 (27)31.8053 (27)149.837 (27)
mbd/b21_C-mbd14-0267.wcnf4.45447 (26)1.34075 (26)30.9172 (26)3.84457 (26)5.42542 (26)16.0795 (26)51.9197 (26)161.587 (26)
mbd/b21_C-mbd14-0217.wcnf3600.0 (-)1.05188 (21)31.1307 (21)0.393874 (21)1.59293 (21)20.5338 (21)143.473 (21)31.6371 (21)
mbd/b21_C-mbd14-0295.wcnf35.3475 (21)4.96369 (21)53.9403 (21)12.4222 (21)6.56008 (21)171.364 (21)210.547 (21)536.949 (21)
mbd/b21_C-mbd14-0205.wcnf4.32655 (21)1.64568 (21)25.958 (21)2.54599 (21)3.07197 (21)23.8833 (21)66.5858 (21)113.261 (21)
mbd/b22_C-mbd14-0300.wcnf2.6736 (21)1.52239 (21)1.08616 (21)0.564745 (21)0.89494 (21)12.1625 (21)14.6214 (21)8.37994 (21)
mbd/b22_C-mbd14-0223.wcnf2.00437 (25)0.952751 (25)0.98002 (25)0.432789 (25)0.94613 (25)0.963195 (25)6.52197 (25)15.2106 (25)
mbd/b22_C-mbd14-0222.wcnf2.04748 (26)1.0129 (26)1.01106 (26)0.475158 (26)0.989732 (26)6.79708 (26)6.11067 (26)13.5844 (26)
mbd/b17_C-mbd14-0304.wcnf2.41298 (21)0.941045 (21)0.706179 (21)0.433427 (21)0.6771 (21)1.52497 (21)3.16965 (21)5.31713 (21)
mbd/b17_C-mbd14-0370.wcnf3.27801 (22)1.4919 (22)0.888133 (22)0.587368 (22)0.654877 (22)1.32117 (22)7.96314 (22)39.0676 (22)
mbd/b22_C-mbd14-0240.wcnf2.98507 (22)1.4554 (22)1.779 (22)0.603251 (22)0.936634 (22)3.33348 (22)21.0834 (22)21.5781 (22)
mbd/b22_C-mbd14-0241.wcnf2.33916 (21)1.24929 (21)1.11907 (21)0.518282 (21)1.01626 (21)1.12145 (21)16.2932 (21)5.35303 (21)
set-covering/scpclr12_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpclr10_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)16.0153 (25)3600.0 (-)
set-covering/scpclr11_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpclr13_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc07_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc09_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc10_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc08_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc11_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
set-covering/scpcyc06_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
routing/normalized-s4-4-3-9pb.wcnf1.2706 (68)2.66545 (68)7.77249 (68)2.80992 (68)0.578494 (68)7.22506 (68)8.31085 (68)1.31554 (68)
routing/normalized-s4-4-3-4pb.wcnf3.50604 (60)1.78332 (60)6.2795 (60)2.23926 (60)0.171709 (60)6.0844 (60)13.2379 (60)0.95782 (60)
routing/normalized-s4-4-3-5pb.wcnf4.65038 (60)1.7281 (60)7.03716 (60)1.81338 (60)0.592314 (60)6.32354 (60)31.3199 (60)1.60845 (60)
routing/normalized-s4-4-3-2pb.wcnf10.2992 (64)2.0397 (64)7.92167 (64)2.79957 (64)1.00585 (64)7.03126 (64)67.8675 (64)2.73817 (64)
routing/normalized-s4-4-3-3pb.wcnf6.01029 (62)1.79515 (62)5.91056 (62)2.3962 (62)1.23304 (62)10.0653 (62)42.4006 (62)2.08014 (62)
routing/normalized-s4-4-3-5pb.opb.wcnf4.23484 (60)1.8739 (60)7.14692 (60)1.41997 (60)1.09273 (60)5.70011 (60)60.7263 (60)1.34241 (60)
routing/normalized-s4-4-3-2pb.opb.wcnf6.32489 (64)1.71004 (64)7.87133 (64)3.43637 (64)1.12844 (64)7.49399 (64)49.4201 (64)2.42473 (64)
routing/normalized-s4-4-3-3pb.opb.wcnf9.18188 (62)1.96912 (62)7.61395 (62)2.19279 (62)1.53033 (62)5.8884 (62)32.6888 (62)3.08425 (62)
routing/normalized-s4-4-3-4pb.opb.wcnf4.31528 (60)1.93077 (60)4.93211 (60)2.31094 (60)0.454315 (60)8.72197 (60)22.0418 (60)0.471719 (60)
xai-mindset2/lupus.wcnf0.942536 (111)1.22681 (111)13.973 (111)1.2658 (111)1.80619 (111)8.49703 (111)2.97072 (111)739.373 (111)
xai-mindset2/iris.wcnf1.34577 (87)2.23216 (87)184.483 (87)14.4302 (87)716.785 (87)55.9202 (87)5.72151 (87)1470.19 (87)
xai-mindset2/house-votes-84.wcnf3600.0 (-)3600.0 (-)68.5163 (74)3600.0 (-)57.3357 (74)80.5993 (74)3600.0 (-)107.513 (74)
xai-mindset2/glass2.wcnf1.93898 (90)0.699651 (90)0.174823 (90)20.8182 (90)0.170676 (90)1.29235 (90)0.277575 (90)3600.0 (-)
xai-mindset2/cloud.wcnf4.72424 (254)1.77703 (254)0.318403 (254)6.61277 (254)0.300343 (254)1.54496 (254)0.20615 (254)3600.0 (-)
xai-mindset2/tae.wcnf10.4565 (196)287.793 (196)3600.0 (-)473.768 (196)3600.0 (-)306.999 (196)3600.0 (-)3600.0 (-)
xai-mindset2/new-thyroid.wcnf4.95509 (126)20.7062 (126)48.7141 (126)33.1378 (126)12.7627 (126)57.5794 (126)52.7239 (126)3600.0 (-)
xai-mindset2/heart-h.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/hungarian.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/cleve.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/glass.wcnf403.865 (299)71.8053 (299)265.337 (299)64.0581 (299)218.026 (299)12.7215 (299)0.645396 (299)3600.0 (-)
xai-mindset2/bnn-last-layer-f10.wcnf3600.0 (-)3600.0 (-)1591.7 (1107)3600.0 (-)2991.21 (1107)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/liver-disorder.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/cleveland.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/australian.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/diabetes.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2/soybean.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k4_n20.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n11.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n13.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n9.ra0.wcnf2.05291 (1)1.16982 (1)0.810183 (1)1.17328 (1)1.67675 (1)0.966002 (1)1.1925 (1)3600.0 (-)
ramsey/ram_k3_n15.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k4_n19.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n18.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n17.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n14.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n16.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n19.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k4_n18.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n20.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n10.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey/ram_k3_n12.ra0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery/AES1-76-37.wcnf98.7255 (1)21.248 (1)238.068 (1)91.4986 (1)371.773 (1)176.699 (1)194.154 (1)3600.0 (-)
aes-key-recovery/AES2-72-67.wcnf2674.22 (2)3600.0 (-)3089.45 (2)3600.0 (-)3600.0 (-)814.549 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-74-11.wcnf42.312 (2)13.8226 (2)57.0775 (2)13.271 (2)51.7165 (2)172.998 (2)3600.0 (-)3600.0 (-)
aes-key-recovery/AES2-74-73.wcnf7.04097 (2)3.54055 (2)145.238 (2)2.90502 (2)124.268 (2)44.3729 (2)7.75199 (2)3600.0 (-)
aes-key-recovery/AES2-70-61.wcnf9.78849 (2)8.85599 (2)41.6927 (2)9.89463 (2)28.6084 (2)55.052 (2)338.173 (2)3600.0 (-)
aes-key-recovery/AES1-70-24.wcnf8.68029 (1)3.31442 (1)51.747 (1)3.43387 (1)38.0745 (1)42.0947 (1)93.7757 (1)3600.0 (-)
aes-key-recovery/AES2-50-52.wcnf6.50013 (2)1.57344 (2)37.1459 (2)1.68346 (2)24.0763 (2)33.6422 (2)12.9145 (2)3600.0 (-)
aes-key-recovery/AES1-60-17.wcnf4.95219 (1)1.45244 (1)39.1599 (1)1.2506 (1)24.5277 (1)50.8725 (1)4.08291 (1)3600.0 (-)
aes-key-recovery/AES1-40-7.wcnf4.59541 (1)1.35866 (1)35.333 (1)1.19019 (1)23.0123 (1)42.2254 (1)2.91805 (1)2516.42 (1)
aes-key-recovery/AES1-30-5.wcnf6.74939 (1)1.61377 (1)36.4261 (1)0.87518 (1)23.1264 (1)35.1631 (1)2.94729 (1)265.286 (1)
aes-key-recovery/AES1-40-6.wcnf4.99995 (1)1.32562 (1)42.5883 (1)1.17687 (1)29.9838 (1)42.5893 (1)2.97116 (1)3600.0 (-)
gen-hyper-tw/GenHyperTW_grid4d_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_aim-50-1_6-yes1-3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_par8-4-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_par8-1-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_dubois21.wcnf3600.0 (-)3600.0 (-)807.179 (2)3600.0 (-)3600.0 (-)343.318 (2)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_par8-5-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_hole9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_s208.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw/GenHyperTW_2bitcomp_5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
protein_ins/1bpi_.5pti_.g.wcnf.t.wcnf56.1157 (29)140.17 (29)77.9995 (29)265.176 (29)121.578 (29)314.606 (29)3600.0 (-)27.6125 (29)
protein_ins/1knt_.1bpi_.g.wcnf.t.wcnf108.428 (35)419.602 (35)212.477 (35)411.035 (35)358.537 (35)330.48 (35)3600.0 (-)111.863 (35)
protein_ins/1knt_.5pti_.g.wcnf.t.wcnf109.841 (29)112.645 (29)100.721 (29)296.274 (29)76.6827 (29)262.451 (29)3600.0 (-)57.3295 (29)
protein_ins/1knt_.2knt_.g.wcnf.t.wcnf12.1905 (16)18.5951 (16)11.2501 (16)21.6487 (16)4.24349 (16)128.154 (16)26.5879 (16)1.71994 (16)
protein_ins/3ebx_.6ebx_.g.wcnf.t.wcnf15.9696 (23)27.3868 (23)29.925 (23)49.1022 (23)54.2685 (23)125.685 (23)213.684 (23)9.63091 (23)
protein_ins/1bpi_.2knt_.g.wcnf.t.wcnf162.956 (35)438.617 (35)146.084 (35)345.597 (35)649.424 (35)388.867 (35)3600.0 (-)81.0064 (35)
protein_ins/2knt_.5pti_.g.wcnf.t.wcnf72.6992 (32)157.829 (32)106.921 (32)373.561 (32)139.041 (32)288.03 (32)3600.0 (-)66.1723 (32)
protein_ins/3ebx_.1era_.g.wcnf.t.wcnf230.935 (34)429.866 (34)383.597 (34)726.964 (34)588.981 (34)387.692 (34)3600.0 (-)114.619 (34)
protein_ins/6ebx_.1era_.g.wcnf.t.wcnf56.0088 (30)126.323 (30)74.0999 (30)237.162 (30)73.1957 (30)208.034 (30)3600.0 (-)33.4073 (30)
protein_ins/p1.wcnf.t.wcnf131.449 (35)286.264 (35)177.628 (35)363.839 (35)375.935 (35)377.572 (35)3600.0 (-)71.8933 (35)
protein_ins/sandiaprotein.g.wcnf.t.wcnf44.5091 (28)183.924 (28)93.5607 (28)210.707 (28)214.257 (28)255.718 (28)3600.0 (-)36.6843 (28)
CircuitDebuggingProblems/mrisc-debug.dimacs.wcnf40.9505 (1)13.1134 (1)4.56934 (1)23.3235 (1)3.94287 (1)85.0149 (1)39.7201 (1)510.863 (1)
CircuitDebuggingProblems/divider-debug.dimacs.wcnf764.592 (1)3.37414 (1)2.0416 (1)8.7945 (1)1.86496 (1)26.1102 (1)21.7802 (1)343.277 (1)
CircuitDebuggingProblems/spi-debug.dimacs.wcnf52.5579 (1)17.8371 (1)939.054 (1)70.0842 (1)20.5306 (1)191.356 (1)58.5776 (1)3600.0 (-)
CircuitDebuggingProblems/mem_ctrl-debug.dimacs.wcnf26.065 (1)2.85212 (1)1.90344 (1)4.21211 (1)1.71829 (1)48.609 (1)20.6672 (1)28.7577 (1)
CircuitDebuggingProblems/ac97_ctrl-debug.dimacs.wcnf10.929 (1)1.74029 (1)1.50216 (1)1.60182 (1)1.21796 (1)11.2357 (1)11.9716 (1)23.1496 (1)
CircuitDebuggingProblems/wb-debug.dimacs.wcnf366.782 (28)7.29993 (28)2.98563 (28)34.6498 (28)3.4868 (28)9.67102 (28)21.456 (28)3600.0 (-)
CircuitDebuggingProblems/vga-debug.dimacs.wcnf59.9962 (1)4.77055 (1)3.32697 (1)4.47842 (1)2.8101 (1)24.1632 (1)32.5348 (1)54.6412 (1)
CircuitDebuggingProblems/sudoku-debug.dimacs.wcnf39.533 (1)14.8919 (1)4.52342 (1)14.342 (1)4.10419 (1)91.0879 (1)29.8777 (1)124.043 (1)
CircuitDebuggingProblems/rsdecoder-debug.dimacs.wcnf53.7861 (1)31.1163 (1)4.74476 (1)35.2287 (1)4.31263 (1)260.568 (1)110.886 (1)2056.07 (1)
des/cnf.8.p.7.wcnf19.7882 (8)2.29627 (8)67.7798 (8)13.1173 (8)12.7132 (8)64.9776 (8)105.179 (8)3600.0 (-)
des/cnf.10.p.8.wcnf91.1867 (10)18.1233 (10)174.796 (10)117.736 (10)36.6636 (10)120.294 (10)388.137 (10)3600.0 (-)
des/cnf.9.p.8.wcnf51.0682 (9)7.45501 (9)72.0135 (9)23.0355 (9)19.5412 (9)45.6223 (9)134.451 (9)3600.0 (-)
des/cnf.9.p.10.wcnf77.273 (9)6.02508 (9)102.977 (9)27.9808 (9)17.2048 (9)50.2648 (9)215.333 (9)3600.0 (-)
des/cnf.13.p.8.wcnf111.712 (13)17.5145 (13)121.053 (13)94.369 (13)41.8828 (13)82.8562 (13)247.678 (13)3600.0 (-)
des/cnf.14.t.7.wcnf26.719 (14)5.25285 (14)84.4942 (14)25.0584 (14)14.4879 (14)91.9873 (14)38.5204 (14)3600.0 (-)
des/cnf.18.d.7.wcnf29.1742 (18)5.91564 (18)50.1494 (18)31.654 (18)14.5845 (18)54.1767 (18)16.5451 (18)3600.0 (-)
des/cnf.12.t.9.wcnf41.9452 (12)4.58877 (12)85.2892 (12)20.8231 (12)14.8445 (12)66.8036 (12)18.1298 (12)3600.0 (-)
des/cnf.13.p.9.wcnf169.684 (13)57.4725 (13)107.242 (13)304.634 (13)57.1192 (13)97.7029 (13)413.992 (13)3600.0 (-)
des/cnf.15.p.7.wcnf180.989 (15)45.4578 (15)260.022 (15)138.952 (15)270.422 (15)139.214 (15)578.99 (15)3600.0 (-)
des/cnf.18.p.4.wcnf58.1565 (18)82.5596 (18)174.89 (18)61.2764 (18)35.8702 (18)79.608 (18)166.412 (18)3600.0 (-)
des/cnf.16.p.7.wcnf197.826 (16)41.3567 (16)193.045 (16)158.522 (16)89.8708 (16)120.158 (16)418.206 (16)3600.0 (-)
des/cnf.16.p.6.wcnf89.6569 (16)57.2568 (16)255.412 (16)117.991 (16)283.425 (16)149.825 (16)261.154 (16)3600.0 (-)
des/cnf.18.p.5.wcnf160.017 (18)150.939 (18)171.51 (18)262.64 (18)121.53 (18)154.891 (18)524.468 (18)3600.0 (-)
des/cnf.20.d.10.wcnf28.0006 (20)6.90022 (20)56.4225 (20)54.3017 (20)17.8355 (20)81.4472 (20)16.8247 (20)3600.0 (-)
des/cnf.20.p.5.wcnf197.185 (20)227.16 (20)131.34 (20)124.789 (20)81.6231 (20)84.2391 (20)591.936 (20)3600.0 (-)
des/cnf.17.p.10.wcnf447.902 (17)567.836 (17)373.254 (17)1526.94 (17)446.703 (17)205.757 (17)736.372 (17)3600.0 (-)
des/cnf.18.p.8.wcnf772.658 (18)64.9546 (18)272.191 (18)323.604 (18)379.397 (18)133.069 (18)644.522 (18)3600.0 (-)
des/cnf.18.t.9.wcnf53.7776 (18)7.38897 (18)93.1392 (18)56.7065 (18)23.799 (18)97.7213 (18)51.643 (18)3600.0 (-)
des/cnf.20.p.7.wcnf188.777 (20)471.488 (20)154.719 (20)557.069 (20)270.292 (20)155.949 (20)663.265 (20)3600.0 (-)
drmx-atmostk/drmx-am20-outof-50-emtot.wcnf7.4738 (30)14.7401 (30)2.3889 (30)639.28 (30)0.378665 (30)2.43352 (30)2221.89 (30)0.0861819 (30)
drmx-atmostk/drmx-am24-outof-55-ekmtot.wcnf6.03383 (31)1.20741 (31)2.59734 (31)224.514 (31)0.400162 (31)3.18047 (31)3600.0 (-)0.247014 (31)
drmx-atmostk/drmx-am16-outof-45-ekmtot.wcnf2.17497 (29)2.06303 (29)2.20743 (29)150.077 (29)0.116026 (29)2.07933 (29)267.366 (29)0.110442 (29)
drmx-atmostk/drmx-am32-outof-70-ekmtot.wcnf99.8274 (38)3.41353 (38)2.73785 (38)609.028 (38)0.552862 (38)7.38417 (38)3600.0 (-)0.246871 (38)
drmx-atmostk/drmx-am12-outof-40-etot.wcnf0.881186 (28)0.50157 (28)1.28297 (28)1.07632 (28)0.0733 (28)0.188201 (28)18.6103 (28)0.0127421 (28)
drmx-atmostk/drmx-am24-outof-55-emtot.wcnf10.5221 (31)3.02868 (31)2.45422 (31)616.319 (31)0.367882 (31)3.54984 (31)3600.0 (-)0.171152 (31)
drmx-atmostk/drmx-am28-outof-60-ecardn.wcnf81.8683 (32)20.8665 (32)46.7245 (32)940.842 (32)30.2571 (32)5.24614 (32)3600.0 (-)2.18181 (32)
drmx-atmostk/drmx-am24-outof-55-ecardn.wcnf21.8889 (31)12.0775 (31)25.5847 (31)398.461 (31)22.8102 (31)10.3894 (31)3600.0 (-)4.3104 (31)
drmx-atmostk/drmx-am16-outof-45-eseqc.wcnf1.15241 (29)1.97828 (29)1.24378 (29)5.7302 (29)0.181733 (29)8.06391 (29)3600.0 (-)0.069474 (29)
drmx-atmostk/drmx-am28-outof-60-esortn.wcnf82.2073 (32)18.7103 (32)39.2032 (32)978.362 (32)42.4746 (32)4.11686 (32)3600.0 (-)1.59535 (32)
drmx-atmostk/drmx-am20-outof-50-esortn.wcnf51.4032 (30)15.8581 (30)16.0906 (30)1206.66 (30)14.4678 (30)4.46549 (30)3600.0 (-)3.23338 (30)
drmx-atmostk/drmx-am24-outof-55-esortn.wcnf18.2416 (31)11.1274 (31)6.83826 (31)530.026 (31)4.93542 (31)5.58458 (31)3600.0 (-)4.82188 (31)
drmx-atmostk/drmx-am16-outof-45-esortn.wcnf2.92262 (29)1.66783 (29)3.08875 (29)23.215 (29)0.576087 (29)4.20282 (29)3600.0 (-)0.490977 (29)
drmx-atmostk/drmx-am24-outof-55-etot.wcnf13.5613 (31)4.37983 (31)2.53668 (31)348.61 (31)0.520375 (31)3.05262 (31)3600.0 (-)0.210924 (31)
drmx-atmostk/drmx-am24-outof-55-eseqc.wcnf1.20947 (31)3.00142 (31)3.45818 (31)68.2002 (31)0.479025 (31)8.0133 (31)3600.0 (-)0.178407 (31)
drmx-atmostk/drmx-am32-outof-70-eseqc.wcnf4.14926 (38)14.4107 (38)15.4206 (38)357.178 (38)8.39286 (38)33.8762 (38)3600.0 (-)0.496942 (38)
drmx-atmostk/drmx-am28-outof-60-eseqc.wcnf1.68707 (32)5.03375 (32)6.61626 (32)62.7299 (32)1.70181 (32)20.6245 (32)3600.0 (-)0.283867 (32)
maxcut/san400_0.5_1.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1052.74 (146)620.409 (146)3600.0 (-)
maxcut/sanr200_0.7.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/p_hat300-3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/hamming8-2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/maxcut-140-630-0.8-34.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/maxcut-140-630-0.8-36.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/maxcut-140-630-0.7-15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut/maxcut-140-630-0.7-48.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery/causal_n6_i3_N500_uai14_harddeps_int.wcnf10.8772 (56)3.28958 (56)30.3437 (56)10.2841 (56)5.28923 (56)6.96624 (56)18.7102 (56)16.4915 (56)
causal-discovery/causal_n6_i8_N1000_uai14_constant_int.wcnf3.01698 (26)0.87316 (26)20.7763 (26)2.89073 (26)1.34141 (26)10.2832 (26)19.0821 (26)3.7501 (26)
causal-discovery/causal_n7_i8_N1000_uai14_constant_int.wcnf6.12745 (24)2.02034 (24)36.285 (24)1.13378 (24)3.04844 (24)11.9766 (24)2.42338 (24)19.8338 (24)
causal-discovery/causal_n7_i7_N1000_uai14_harddeps_int.wcnf334.342 (95)397.767 (95)247.007 (95)418.648 (95)133.075 (95)85.0644 (95)270.692 (95)422.192 (95)
causal-discovery/causal_n7_i10_N1000_uai14_constant_int.wcnf23.5024 (42)6.64183 (42)58.2997 (42)9.73928 (42)11.3573 (42)14.0546 (42)72.7002 (42)56.6252 (42)
causal-discovery/causal_n7_i9_N1000_uai14_harddeps_int.wcnf62.4994 (82)22.7162 (82)85.1261 (82)26.074 (82)23.2234 (82)45.7251 (82)173.852 (82)83.4067 (82)
causal-discovery/causal_n5_i8_N10000_uai13_harddeps_int.wcnf15.3105 (18)7.43526 (18)118.752 (18)10.6737 (18)16.7562 (18)26.6523 (18)16.552 (18)11.2292 (18)
causal-discovery/causal_n5_i9_N10000_uai13_constant_int.wcnf7.70084 (12)4.59767 (12)46.4606 (12)3.23234 (12)6.98134 (12)11.4539 (12)13.887 (12)5.09507 (12)
causal-discovery/causal_n6_i1_N500_uai13_harddeps_int.wcnf385.197 (19)140.976 (19)1323.06 (19)439.374 (19)464.712 (19)661.413 (19)384.995 (19)232.701 (19)
causal-discovery/causal_n5_i7_N1000_uai13_harddeps_int.wcnf18.9552 (17)6.9935 (17)175.549 (17)8.13372 (17)30.7883 (17)55.3683 (17)12.5694 (17)13.1282 (17)
wqueens/wqueens18_16.wcsp.dir.wcnf1.11053 (6)0.576035 (6)8.15637 (6)1.7157 (6)0.159913 (6)8.31097 (6)302.054 (6)0.230893 (6)
wqueens/wqueens16_14.wcsp.dir.wcnf1.88066 (5)0.984735 (5)9.58531 (5)0.224575 (5)0.115565 (5)7.88618 (5)203.656 (5)0.0833821 (5)
wqueens/wqueens14_12.wcsp.dir.wcnf0.240395 (4)0.117054 (4)2.11373 (4)0.06549 (4)0.026837 (4)6.73524 (4)15.8009 (4)0.0525551 (4)
SeanSafarpour/wb1.dimacs.filtered.wcnf30.1484 (218)5.50391 (218)1.86659 (218)6.88592 (218)1.73701 (218)2.53761 (218)59.3933 (218)3600.0 (-)
SeanSafarpour/dividers9.dimacs.filtered.wcnf4.27751 (1)1.3706 (1)0.573598 (1)1.7183 (1)0.580974 (1)11.118 (1)85.1742 (1)29.2493 (1)
SeanSafarpour/dividers1.dimacs.filtered.wcnf4.27729 (1)1.04674 (1)0.884261 (1)1.18208 (1)0.440333 (1)11.1318 (1)20.9413 (1)2.34249 (1)
SeanSafarpour/fpu8-problem.dimacs_24.filtered.wcnf14.1196 (1)5.01905 (1)124.778 (1)4.94412 (1)4.76843 (1)80.1072 (1)53.2582 (1)164.897 (1)
SeanSafarpour/c6_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf12.7785 (4)3600.0 (-)1.5976 (4)6.08561 (4)1.53415 (4)14.6928 (4)20.3952 (4)500.854 (4)
SeanSafarpour/rsdecoder-problem.dimacs_34.filtered.wcnf17.3816 (1)6.44714 (1)157.312 (1)12.3605 (1)2.48786 (1)134.941 (1)53.601 (1)286.57 (1)
SeanSafarpour/divider-problem.dimacs_2.filtered.wcnf24.3326 (2)48.8424 (2)292.634 (2)49.842 (2)10.2054 (2)178.316 (2)364.557 (2)179.156 (2)
SeanSafarpour/rsdecoder_fsm1.dimacs.filtered.wcnf25.0045 (1)8.34531 (1)14.2095 (1)10.2169 (1)3.61621 (1)29.7492 (1)182.677 (1)861.103 (1)
SeanSafarpour/wb_conmax3.dimacs.filtered.wcnf76.7279 (33)18.8577 (33)296.833 (33)83.6275 (33)8.17556 (33)104.705 (33)217.598 (33)3600.0 (-)
SeanSafarpour/spi-problem.dimacs_42.filtered.wcnf54.4811 (1)21.769 (1)27.8579 (1)171.481 (1)27.5627 (1)745.235 (1)47.2484 (1)1128.05 (1)
SeanSafarpour/mem_ctrl1.dimacs.filtered.wcnf1902.55 (1)24.3287 (1)67.6773 (1)69.7166 (1)9.61649 (1)149.894 (1)49.6971 (1)2405.4 (1)
SeanSafarpour/wb_4m8s3.dimacs.filtered.wcnf71.3225 (8)13.289 (8)5.05334 (8)15.7593 (8)4.33504 (8)31.2801 (8)24.6622 (8)3600.0 (-)
jobshop/ft10-808-1090.wcnf89.8368 (122)79.8792 (122)519.949 (122)90.2375 (122)72.5812 (122)309.885 (122)247.625 (122)32.4325 (122)
jobshop/orb08-894-1058.wcnf26.055 (5)17.9656 (5)201.808 (5)16.8489 (5)17.1705 (5)91.7322 (5)39.1876 (5)12.7284 (5)
mqc/10tree320p.wcnf2.47468 (42)2.34488 (42)21.8251 (42)4.39713 (42)7.75245 (42)9.45965 (42)12.5346 (42)12.5708 (42)
mqc/10tree825p.wcnf3.63622 (52)2.91445 (52)38.1049 (52)4.22228 (52)17.2917 (52)19.9446 (52)11.8337 (52)18.5465 (52)
mqc/10tree430p.wcnf5.36748 (63)5.14856 (63)86.3102 (63)8.15258 (63)42.1016 (63)18.191 (63)28.195 (63)35.1309 (63)
mqc/15tree101p.wcnf9.92522 (13)6.09357 (13)16.6942 (13)4.56942 (13)3.44249 (13)25.7816 (13)3.43827 (13)43.4846 (13)
mqc/15tree201p.wcnf8.70315 (13)5.89922 (13)18.2278 (13)3.93577 (13)3.99153 (13)26.2925 (13)3.21335 (13)97.7411 (13)
mqc/10tree115p.wcnf6.20298 (29)4.36068 (29)15.847 (29)4.56971 (29)4.3843 (29)14.1259 (29)7.61893 (29)13.1439 (29)
mqc/10tree315p.wcnf7.7377 (30)9.55775 (30)17.2486 (30)6.03232 (30)8.49404 (30)13.891 (30)17.6261 (30)13.6024 (30)
mqc/10tree1020p.wcnf13.028 (42)36.8249 (42)40.4181 (42)15.9581 (42)19.2713 (42)28.6642 (42)33.9763 (42)41.9901 (42)
mqc/10tree125p.wcnf12.0426 (50)130.67 (50)65.1736 (50)22.623 (50)39.2081 (50)27.9917 (50)57.9162 (50)54.9542 (50)
mqc/10tree425p.wcnf15.6379 (51)63.5142 (51)48.869 (51)26.2171 (51)24.7652 (51)32.0595 (51)50.5219 (51)46.2091 (51)
mqc/10tree730p.wcnf24.0026 (63)415.012 (63)161.795 (63)75.2105 (63)91.5529 (63)71.1066 (63)122.348 (63)100.96 (63)
mqc/15tree301posib.wcnf24.8626 (13)9.17728 (13)42.889 (13)5.81548 (13)8.68334 (13)44.2329 (13)15.2328 (13)28.6823 (13)
mqc/15tree401posib.wcnf11.9097 (13)6.07919 (13)44.6388 (13)6.87808 (13)6.89186 (13)42.2232 (13)9.0113 (13)44.3068 (13)
mqc/15tree501p.wcnf27.8526 (13)30.5133 (13)60.5489 (13)12.6153 (13)17.2611 (13)54.8458 (13)20.3832 (13)26.5177 (13)
mqc/15tree701p.wcnf27.2825 (13)23.5128 (13)50.5089 (13)12.1039 (13)17.7142 (13)56.5421 (13)25.5819 (13)308.017 (13)
biorepair/Stat_vs_Exp_72_12.lp.sm-extracted.wcnf31.3519 (5)8.12327 (5)20.3341 (5)1.69074 (5)20.0004 (5)8.75728 (5)4.4666 (5)6.78585 (5)
biorepair/heatShock_WT_43_12.lp.sm-extracted.wcnf22.0229 (3)6.67337 (3)20.4176 (3)1.61869 (3)19.8786 (3)8.96781 (3)3.90013 (3)5.22277 (3)
biorepair/heatShock_WT_161_12.lp.sm-extracted.wcnf19.0687 (2)7.10307 (2)21.6624 (2)1.61551 (2)20.7784 (2)9.83231 (2)3.8982 (2)4.20338 (2)
biorepair/Stat_vs_Exp_58_12.lp.sm-extracted.wcnf23.6191 (4)6.91097 (4)20.0446 (4)1.64593 (4)20.3694 (4)9.51122 (4)3.94564 (4)4.95579 (4)
biorepair/heatShock_WT_192_12.lp.sm-extracted.wcnf15.5794 (1)6.90997 (1)19.9908 (1)1.59313 (1)20.0358 (1)9.79008 (1)3.90268 (1)4.74709 (1)
biorepair/heatShock_WT_36_12.lp.sm-extracted.wcnf19.6381 (5)7.40914 (5)21.6341 (5)1.65917 (5)21.0228 (5)8.97963 (5)4.22395 (5)4.86655 (5)
biorepair/heatShock_WT_30_12.lp.sm-extracted.wcnf29.7325 (5)7.22897 (5)21.2109 (5)1.71919 (5)21.0455 (5)9.32502 (5)4.52714 (5)10.1822 (5)
biorepair/heatShock_WT_148_12.lp.sm-extracted.wcnf11.9368 (1)6.77792 (1)19.9749 (1)1.55946 (1)19.5415 (1)8.8775 (1)3.74229 (1)5.84253 (1)
biorepair/heatShock_WT_42_12.lp.sm-extracted.wcnf12.7263 (1)6.92885 (1)20.8916 (1)1.55266 (1)21.1682 (1)9.60469 (1)3.74521 (1)4.925 (1)
biorepair/Stat_vs_Exp_151_12.lp.sm-extracted.wcnf24.2731 (5)7.35205 (5)20.1065 (5)1.72522 (5)19.9132 (5)9.25113 (5)4.38131 (5)7.30099 (5)
biorepair/heatShock_WT_121_12.lp.sm-extracted.wcnf24.1732 (3)7.06437 (3)20.6094 (3)1.63488 (3)20.5215 (3)9.68614 (3)3.96738 (3)4.84821 (3)
biorepair/heatShock_WT_28_12.lp.sm-extracted.wcnf28.2856 (6)7.41351 (6)20.2234 (6)1.72872 (6)20.4063 (6)9.16717 (6)4.12315 (6)12.6698 (6)
biorepair/heatShock_WT_196_12.lp.sm-extracted.wcnf25.8144 (4)6.98919 (4)21.2273 (4)1.64826 (4)21.0469 (4)9.08694 (4)3.99017 (4)4.21482 (4)
fault-diagnosis/s38584_nan_explicit_34_0.wcnf56.9271 (189)44.9003 (189)93.5061 (189)35.7305 (189)36.0959 (189)136.445 (189)3600.0 (-)72.0453 (189)
fault-diagnosis/s38584_nan_explicit_35_0.wcnf63.1428 (183)48.5009 (183)55.5481 (183)46.2889 (183)37.1325 (183)36.4785 (183)3600.0 (-)197.096 (183)
fault-diagnosis/s38584_nan_explicit_37_0.wcnf48.0924 (181)37.8136 (181)245.029 (181)25.3308 (181)17.1476 (181)31.2491 (181)3600.0 (-)29.8036 (181)
fault-diagnosis/s38584_nan_explicit_49_0.wcnf47.7865 (166)36.1795 (166)37.0635 (166)28.4725 (166)15.2016 (166)29.5416 (166)421.522 (166)21.242 (166)
fault-diagnosis/s38584_nan_explicit_27_0.wcnf70.4065 (203)56.1634 (203)203.392 (203)64.2735 (203)50.0072 (203)109.241 (203)3600.0 (-)492.021 (203)
fault-diagnosis/s38584_nan_explicit_41_0.wcnf56.3845 (163)38.566 (163)165.646 (163)33.6556 (163)23.6386 (163)111.853 (163)3600.0 (-)104.747 (163)
fault-diagnosis/s38584_nan_explicit_30_0.wcnf75.2424 (200)53.7235 (200)152.45 (200)121.026 (200)66.9851 (200)158.637 (200)3600.0 (-)1892.77 (200)
fault-diagnosis/s38584_nan_explicit_40_0.wcnf54.8866 (191)36.3069 (191)205.917 (191)28.3557 (191)28.9841 (191)124.53 (191)3600.0 (-)44.6867 (191)
fault-diagnosis/s38584_nan_explicit_33_0.wcnf42.4092 (189)29.7374 (189)205.203 (189)24.5211 (189)17.3001 (189)49.5398 (189)3600.0 (-)31.6511 (189)
fault-diagnosis/s38584_nan_explicit_31_0.wcnf78.3704 (190)61.7683 (190)203.396 (190)59.3552 (190)116.713 (190)166.044 (190)3600.0 (-)97.0044 (190)
fault-diagnosis/s38417_nan_explicit_0_0.wcnf8.75502 (60)1.69116 (60)1.83245 (60)0.557149 (60)1.67399 (60)8.31812 (60)1.73644 (60)0.400128 (60)
fault-diagnosis/s38584_nan_explicit_29_0.wcnf62.2405 (200)41.6509 (200)176.836 (200)40.0773 (200)36.7762 (200)116.437 (200)3600.0 (-)67.3719 (200)
fault-diagnosis/s38584_nan_explicit_19_0.wcnf118.158 (198)82.3781 (198)162.776 (198)67.3163 (198)66.0524 (198)139.851 (198)3600.0 (-)580.915 (198)
fault-diagnosis/s38584_nan_explicit_15_0.wcnf225.029 (208)158.018 (208)2525.46 (208)469.331 (208)3600.0 (-)2514.41 (208)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_26_0.wcnf81.4474 (169)57.3214 (169)141.597 (169)51.4132 (169)21.7229 (169)207.356 (169)3600.0 (-)43.8745 (169)
fault-diagnosis/s38584_nan_explicit_12_0.wcnf178.598 (191)117.348 (191)249.682 (191)104.126 (191)113.021 (191)228.712 (191)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_4_0.wcnf170.996 (146)97.4335 (146)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_13_0.wcnf88.3108 (192)58.5386 (192)150.841 (192)61.1275 (192)80.1872 (192)173.718 (192)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_3_0.wcnf97.9403 (150)62.274 (150)3600.0 (-)1520.33 (150)3600.0 (-)1792.27 (150)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_5_0.wcnf935.606 (176)497.685 (176)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
fault-diagnosis/s38584_nan_explicit_8_0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/mul_8_13.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/mul_8_9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/mul_8_3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)211.145 (36)3600.0 (-)
aes/mul_8_14.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/sbox_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes/sbox_4.wcnf0.333352 (22)0.255113 (22)3.81235 (22)0.334418 (22)0.138025 (22)10.3671 (22)0.270476 (22)1846.63 (22)
aes/mul_8_11.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rna-alignment/k50-40-60.rna.pre.wcnf1.24069 (511)0.644273 (511)115.135 (511)27.9941 (511)186.793 (511)48.5357 (511)67.4424 (511)1.71142 (511)
rna-alignment/k50-23-49.rna.pre.wcnf1.28711 (536)0.709053 (536)43.5841 (536)62.1341 (536)44.6359 (536)53.513 (536)76.0758 (536)2.61462 (536)
uaq/uaq-nr-nr150-nc50-n3-k2-rpp4-ppr2-plb50.wcnf37.8165 (53)37.9179 (53)121.278 (53)192.41 (53)105.223 (53)39.8783 (53)1620.9 (53)587.634 (53)
uaq/uaq-nr-nr130-nc43-n3-k2-rpp4-ppr2-plb50.wcnf1.42006 (43)0.772938 (43)7.58903 (43)5.37814 (43)2.57001 (43)4.02853 (43)15.0233 (43)12.3054 (43)
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp6-ppr2-plb20.wcnf3.13855 (44)5.11337 (44)12.4895 (44)13.454 (44)5.06811 (44)6.09656 (44)3.77893 (44)12.3171 (44)
uaq/uaq-nr-nr240-nc80-n3-k2-rpp4-ppr2-plb50.wcnf6.96304 (63)8.27894 (63)1319.72 (63)66.671 (63)2625.54 (63)77.0206 (63)40.8016 (63)3600.0 (-)
uaq/uaq-nr-nr220-nc73-n3-k2-rpp4-ppr2-plb50.wcnf8.33586 (60)8.00319 (60)487.929 (60)41.4547 (60)942.012 (60)147.583 (60)57.2636 (60)3600.0 (-)
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb100.wcnf11.3087 (75)9.42942 (75)136.078 (75)110.018 (75)154.886 (75)36.7999 (75)1069.07 (75)193.705 (75)
uaq/uaq-nr-nr340-nc113-n3-k2-rpp4-ppr2-plb50.wcnf1.08412 (73)0.64517 (73)3600.0 (-)16.1985 (73)3600.0 (-)417.363 (73)2.24565 (73)3600.0 (-)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr5-plb100.wcnf19.3033 (67)35.1835 (67)37.4095 (67)85.449 (67)26.1192 (67)33.318 (67)3600.0 (-)18.7142 (67)
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb90.wcnf312.863 (79)299.859 (79)1408.13 (79)3600.0 (-)2832.92 (79)274.252 (79)3600.0 (-)3600.0 (-)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr6-plb100.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr6-plb100.wcnf1768.81 (66)3600.0 (-)1509.87 (66)3600.0 (-)3600.0 (-)710.95 (66)3600.0 (-)3600.0 (-)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr9-plb100.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp28-ppr2-plb20.wcnf36.6303 (80)101.757 (80)61.1873 (80)94.2422 (80)30.3545 (80)91.3908 (80)192.984 (80)28.295 (80)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr13-plb100.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr11-plb100.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
tpr/b14-s_PathRelaxation_Set_FS_47.wcnf1.54832 (74)0.948965 (74)34.0391 (74)1.05813 (74)6.9265 (74)5.78469 (74)5.09875 (74)395.664 (74)
tpr/b21-s_PathRelaxation_Set_FS_31.wcnf6.29243 (88)2.82002 (88)254.03 (88)6.70601 (88)56.4809 (88)91.8185 (88)18.6953 (88)673.557 (88)
tpr/b18-s_PathRelaxation_Set_FS_32.wcnf97.7301 (113)23.5683 (113)732.114 (113)29.9743 (113)126.613 (113)118.943 (113)73.8823 (113)44.5514 (113)
tpr/b14-s_PathRelaxation_FS_25.wcnf0.518972 (75)0.126355 (75)10.2566 (75)0.0673181 (75)0.574673 (75)0.450604 (75)0.121811 (75)36.0706 (75)
tpr/b14-s_PathRelaxation_FS_46.wcnf0.51033 (77)0.125412 (77)13.5636 (77)0.0927099 (77)0.61166 (77)0.959285 (77)0.300311 (77)35.3632 (77)
tpr/b14-s_PathRelaxation_FS_14.wcnf0.519544 (75)0.126941 (75)11.2428 (75)0.0804991 (75)0.723397 (75)4.39444 (75)0.342445 (75)35.0806 (75)
tpr/b14-s_PathRelaxation_FS_16.wcnf0.526841 (75)0.12974 (75)1.70215 (75)0.0829231 (75)3.16317 (75)0.5232 (75)0.342977 (75)27.3388 (75)
tpr/b21-s_PathRelaxation_FS_28.wcnf1.21398 (89)0.383393 (89)16.6249 (89)0.278143 (89)2.03606 (89)7.17436 (89)2.73154 (89)46.7346 (89)
tpr/b21-s_PathRelaxation_FS_42.wcnf1.28519 (90)0.434849 (90)48.1506 (90)1.39949 (90)20.4389 (90)9.47019 (90)5.75995 (90)198.164 (90)
tpr/b21-s_PathRelaxation_FS_48.wcnf1.07392 (89)0.372997 (89)17.1526 (89)0.266211 (89)2.56648 (89)6.79896 (89)5.10703 (89)22.1554 (89)
tpr/b21-s_PathRelaxation_FS_47.wcnf1.30988 (89)0.46464 (89)70.3756 (89)0.610806 (89)48.2313 (89)20.0678 (89)4.43241 (89)136.499 (89)
frb/frb35-17-5.partial.wcnf2.99844 (560)17.4982 (560)23.3447 (560)3600.0 (-)69.1801 (560)3600.0 (-)6.30631 (560)81.9355 (560)
frb/frb40-19-5.partial.wcnf1777.92 (720)62.2771 (720)84.9273 (720)3600.0 (-)250.9 (720)3600.0 (-)89.3245 (720)796.624 (720)
frb/frb40-19-4.partial.wcnf63.4911 (720)252.107 (720)178.765 (720)3600.0 (-)5.26938 (720)3600.0 (-)286.177 (720)373.946 (720)
frb/frb40-19-2.partial.wcnf21.3007 (720)20.6127 (720)39.008 (720)3600.0 (-)31.9149 (720)3600.0 (-)41.0806 (720)46.5818 (720)
frb/frb40-19-3.partial.wcnf739.679 (720)109.928 (720)85.0069 (720)3600.0 (-)1011.78 (720)3600.0 (-)3600.0 (-)1775.54 (720)
frb/frb35-17-1.partial.wcnf3.95595 (560)1.2481 (560)17.9324 (560)3600.0 (-)28.3485 (560)3600.0 (-)4.87393 (560)18.3912 (560)
frb/frb35-17-2.partial.wcnf27.307 (560)12.3283 (560)48.9104 (560)3600.0 (-)25.6881 (560)3600.0 (-)77.267 (560)79.0653 (560)
frb/frb35-17-3.partial.wcnf7.96331 (560)2.17579 (560)16.1002 (560)3600.0 (-)4.40648 (560)3600.0 (-)31.8289 (560)12.9333 (560)
frb/frb40-19-1.partial.wcnf9.68465 (720)7.60627 (720)17.1918 (720)3600.0 (-)54.5033 (720)3600.0 (-)15.465 (720)39.256 (720)
bcp/simp-ibd_50.04.wcnf6.96451 (55)8.47087 (55)19.5324 (55)41.4023 (55)14.6128 (55)3600.0 (-)3600.0 (-)11.7665 (55)
bcp/normalized-m100_300_10_15.r.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)4.83638 (19)3600.0 (-)
bcp/normalized-saucier.r.wcnf2073.36 (6)3600.0 (-)520.538 (6)1248.37 (6)376.494 (6)2204.29 (6)84.0545 (6)3600.0 (-)
bcp/c5315_F1@0.wcnf0.0693669 (1)0.0112181 (1)0.011301 (1)0.011318 (1)0.0116129 (1)0.015038 (1)0.0115419 (1)3600.0 (-)
bcp/normalized-f20c10b_024_area_delay.wcnf1.87722 (24)0.421186 (24)137.139 (24)0.233278 (24)20.7292 (24)9.02819 (24)29.3354 (24)1.49536 (24)
bcp/normalized-fir06_area_opers.wcnf1.7268 (23)1.43523 (23)1.88123 (23)0.362247 (23)0.443648 (23)18.4582 (23)66.4742 (23)1.38196 (23)
bcp/normalized-fir09_area_opers.wcnf246.829 (34)21.2942 (34)71.5309 (34)2.0859 (34)3.31002 (34)89.4702 (34)1148.84 (34)15.7304 (34)
bcp/normalized-f20c10b_005_area_delay.wcnf17.0487 (26)3.23147 (26)22.9425 (26)1.14213 (26)2.12707 (26)123.974 (26)142.211 (26)1.96928 (26)
bcp/normalized-ii8a3.wcnf0.360556 (191)0.085915 (191)1136.41 (191)183.285 (191)3600.0 (-)10.6651 (191)3.05607 (191)3600.0 (-)
bcp/normalized-f2000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp/normalized-par32-4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
close_solutions/TEAMS20_l10aa.cnf.wcnf1.64402 (8)0.372178 (8)34.6955 (8)19.9884 (8)7.20021 (8)0.82472 (8)4.26552 (8)3600.0 (-)
close_solutions/teams16_l6a.cnf.wcnf5.43992 (14)1.82354 (14)19.2703 (14)3.84876 (14)2.64475 (14)20.8254 (14)8.15448 (14)3600.0 (-)
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.2.wcnf49.9468 (501)40.7929 (501)114.782 (501)30.6137 (501)57.2907 (501)88.0301 (501)179.283 (501)120.57 (501)
close_solutions/SAT02__industrial__biere__dinphil__dp10s10.shuffled.cnf.wcnf.8.wcnf478.183 (240)59.0531 (240)235.7 (240)156.428 (240)153.219 (240)236.453 (240)922.137 (240)199.059 (240)
close_solutions/teams24_l5a.cnf.wcnf3232.36 (8)1.20277 (8)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)67.0448 (8)3600.0 (-)
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf673.206 (1382)580.027 (1382)3600.0 (-)375.493 (1382)2960.92 (1382)3600.0 (-)1559.87 (1382)1840.58 (1382)
close_solutions/SAT_RACE08__cnf__ibm-2004-01-k90.cnf.wcnf.10.wcnf27.5194 (5)1.43088 (5)469.5 (5)3.31283 (5)284.629 (5)371.756 (5)10.2218 (5)3600.0 (-)
close_solutions/SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_18_SAT.cnf.wcnf.2.wcnf6.51772 (7)1.15843 (7)18.6114 (7)1.60491 (7)11.7099 (7)13.407 (7)0.77945 (7)54.9421 (7)
close_solutions/SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.8.wcnf177.301 (103)27.3434 (103)87.7832 (103)106.917 (103)63.1716 (103)76.3652 (103)1077.79 (103)122.757 (103)
close_solutions/SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf.wcnf.4.wcnf391.091 (154)345.422 (154)451.43 (154)153.242 (154)213.236 (154)636.656 (154)303.619 (154)3600.0 (-)
close_solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.8.wcnf43.497 (1)3.83232 (1)248.148 (1)1.43366 (1)9.2318 (1)3.87498 (1)27.5616 (1)944.968 (1)
close_solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.7.wcnf89.6221 (1)3.29828 (1)293.01 (1)1.43054 (1)76.6574 (1)4.44931 (1)26.521 (1)535.376 (1)
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf3600.0 (-)3600.0 (-)107.284 (1028)3600.0 (-)79.2455 (1028)131.878 (1028)3600.0 (-)3600.0 (-)
close_solutions/SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.5.wcnf27.0326 (11)8.02475 (11)3.47178 (11)1.84281 (11)2.13081 (11)16.5126 (11)65.0856 (11)3574.95 (11)
close_solutions/SAT11__application__manthey__traffic__traffic_3_uc_sat.cnf.wcnf.8.wcnf2508.08 (77)180.572 (77)4.79316 (77)350.052 (77)3.88423 (77)8.74647 (77)325.997 (77)3600.0 (-)
close_solutions/SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.1.wcnf3600.0 (-)95.6869 (23)4.25253 (23)2070.06 (23)2.52168 (23)9.17286 (23)113.685 (23)3600.0 (-)
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.3.wcnf750.206 (148)119.264 (148)29.9827 (148)271.118 (148)7.03138 (148)116.908 (148)484.956 (148)384.899 (148)
close_solutions/SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.170-NOTKNOWN.cnf.wcnf.6.wcnf3600.0 (-)446.68 (48)1325.17 (48)1535.01 (48)240.019 (48)954.357 (48)961.991 (48)3600.0 (-)
close_solutions/SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.2.wcnf2625.29 (25)52.5389 (25)40.2952 (25)59.5311 (25)9.6809 (25)208.344 (25)230.094 (25)118.552 (25)
close_solutions/SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug5.cnf.wcnf.1.wcnf855.093 (23)80.2714 (23)9.35872 (23)174.874 (23)8.40973 (23)157.945 (23)262.178 (23)3600.0 (-)
close_solutions/SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.3.wcnf270.314 (15)81.3586 (15)8.62997 (15)116.072 (15)7.92201 (15)279.319 (15)284.781 (15)608.841 (15)
kbtree/kbtree9_7_3_5_90_5.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2255.25 (124)26.005 (124)3600.0 (-)
kbtree/kbtree9_7_3_5_80_5.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)33.6233 (104)3600.0 (-)
kbtree/kbtree9_7_3_5_90_4.wcsp.wcnf3600.0 (-)3600.0 (-)2059.86 (126)3600.0 (-)2916.37 (126)3600.0 (-)16.1714 (126)3600.0 (-)
kbtree/kbtree9_7_3_5_70_5.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)78.5184 (72)3600.0 (-)
kbtree/kbtree9_7_3_5_80_2.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)57.5266 (103)3600.0 (-)
kbtree/kbtree9_7_3_5_60_1.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)47.1592 (54)3600.0 (-)
kbtree/kbtree9_7_3_5_50_1.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3240.74 (36)747.212 (36)90.9433 (36)3600.0 (-)
kbtree/kbtree9_7_3_5_50_4.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)178.246 (38)3600.0 (-)
kbtree/kbtree9_7_3_5_30_3.wcsp.wcnf69.7413 (9)81.0839 (9)21.8551 (9)801.317 (9)9.8237 (9)14.2813 (9)73.971 (9)194.938 (9)
kbtree/kbtree9_7_3_5_50_6.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)79.4994 (38)3600.0 (-)
kbtree/kbtree9_7_3_5_40_3.wcsp.wcnf2550.49 (22)3600.0 (-)590.168 (22)3600.0 (-)244.666 (22)548.497 (22)121.189 (22)3600.0 (-)
kbtree/kbtree9_7_3_5_40_1.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2720.82 (27)1044.68 (27)274.403 (27)3600.0 (-)
pseudoBoolean/normalized-ssa7552-038.opb.msat.wcnf14.2773 (1448)0.739101 (1448)12.5513 (1448)24.2 (1448)3.60257 (1448)3600.0 (-)3.23101 (1448)3.83907 (1448)
pseudoBoolean/normalized-ssa7552-158.opb.msat.wcnf10.2834 (1327)0.511835 (1327)1.87897 (1327)0.371255 (1327)1.90765 (1327)3600.0 (-)2.15854 (1327)1.80054 (1327)
pseudoBoolean/normalized-par32-5.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-par32-4.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-ssa7552-159.opb.msat.wcnf10.992 (1327)0.54679 (1327)1.98955 (1327)0.888556 (1327)2.0119 (1327)3600.0 (-)2.3911 (1327)1.99405 (1327)
pseudoBoolean/normalized-par32-2.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-ssa7552-160.opb.msat.wcnf11.6708 (1359)0.586629 (1359)2.02508 (1359)0.509401 (1359)2.05031 (1359)3600.0 (-)2.60645 (1359)2.9035 (1359)
pseudoBoolean/normalized-par32-3.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-par32-1.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-mps-v2-20-10-stein45.opb.msat.wcnf46.5543 (30)42.2415 (30)61.9476 (30)140.378 (30)28.1458 (30)64.8896 (30)50.9269 (30)8.55652 (30)
pseudoBoolean/normalized-g100x100.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean/normalized-g15x15.opb.msat.wcnf530.406 (53)108.156 (53)27.5651 (53)2608.53 (53)37.1665 (53)22.853 (53)136.945 (53)74.6135 (53)
optic/gen_cvc-add3-carry2-gadget_399.wcnf0.782976 (51)0.447972 (51)7.66881 (51)1.96953 (51)1.93005 (51)19.8847 (51)5.80955 (51)3600.0 (-)
optic/gen_cvc-add3-carry2-gadget_33.wcnf50.5985 (51)0.780303 (51)14.7512 (51)13.3155 (51)3.33512 (51)53.7021 (51)7.28211 (51)3600.0 (-)
optic/gen_mult_3_5_991.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)42.1432 (45)3600.0 (-)
optic/gen_cvc-add3-carry2-gadget_9999.wcnf1.12109 (36)1.57176 (36)8.56492 (36)59.9203 (36)1.30897 (36)12.5625 (36)3.06251 (36)2040.43 (36)
optic/gen_add_4_33.wcnf0.442125 (158)0.126665 (158)3.78406 (158)5.55173 (158)0.277632 (158)12.3837 (158)32.2765 (158)3600.0 (-)
optic/gen_mult_4_4_9999.wcnf3600.0 (-)3600.0 (-)1652.82 (98)3600.0 (-)3600.0 (-)235.577 (98)3.79167 (98)3600.0 (-)
optic/gen_cvc-plus_4_33.wcnf0.392489 (158)0.127024 (158)1.22052 (158)0.150609 (158)0.154771 (158)65.2072 (158)27.1771 (158)3600.0 (-)
optic/gen_mult_3_6_399.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2.84089 (144)3600.0 (-)
optic/gen_mult_3_5_9999.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1586.88 (58)3600.0 (-)
optic/gen_mult_3_5_399.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3.77204 (124)3600.0 (-)
optic/gen_cvc-add7to3_9999.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic/gen_mult_4_6_991.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic/gen_mult_4_5_9999.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic/gen_add_5_33.wcnf4.96355 (446)27.7072 (446)3600.0 (-)4.75976 (446)3600.0 (-)198.072 (446)1660.36 (446)3600.0 (-)
optic/gen_square_5_399.wcnf9.4254 (135)3.20965 (135)3600.0 (-)0.702567 (135)3600.0 (-)59.0992 (135)3.7584 (135)3600.0 (-)
optic/gen_mult_4_6_299.wcnf81.7799 (2424)10.3132 (2424)3600.0 (-)3600.0 (-)3600.0 (-)49.5629 (2424)20.4929 (2424)3600.0 (-)
optic/gen_square_5_299.wcnf3.88416 (184)0.663621 (184)0.263521 (184)0.375937 (184)0.252902 (184)46.9297 (184)2.1388 (184)3600.0 (-)
packup/rand717_l2.wcnf6.95909 (1120)1.89974 (1120)0.549138 (1120)1.10254 (1120)0.412962 (1120)0.96688 (1120)1.51508 (1120)18.1812 (1120)
packup/rand179_l2.wcnf6.62251 (1088)1.77638 (1088)0.557056 (1088)0.940145 (1088)0.430434 (1088)0.919322 (1088)1.48684 (1088)11.3099 (1088)
packup/rand943_l2.wcnf5.99178 (829)1.88879 (829)0.501683 (829)0.87461 (829)0.389374 (829)0.950963 (829)1.26866 (829)22.8309 (829)
packup/rand21_l2.wcnf8.77918 (1465)2.74456 (1465)1.29885 (1465)1.50418 (1465)0.674779 (1465)1.18591 (1465)1.43594 (1465)31.095 (1465)
packup/rand196_l2.wcnf8.19383 (1298)2.92724 (1298)0.706497 (1298)1.56409 (1298)0.519566 (1298)1.05795 (1298)1.53436 (1298)20.1442 (1298)
packup/rand308_l2.wcnf3.75833 (1235)0.632191 (1235)0.334176 (1235)0.41576 (1235)0.275219 (1235)0.576923 (1235)0.892922 (1235)10.7396 (1235)
packup/rand7_l2.wcnf5.26359 (971)1.04716 (971)0.45551 (971)0.698785 (971)0.391365 (971)0.766626 (971)0.944874 (971)6.22738 (971)
packup/rand209_l2.wcnf6.02748 (1199)1.24848 (1199)0.414967 (1199)0.84439 (1199)0.331477 (1199)0.767587 (1199)1.00737 (1199)16.0341 (1199)
packup/rand984_l2.wcnf5.58686 (839)1.54739 (839)0.467106 (839)0.808407 (839)0.380117 (839)0.863395 (839)1.43073 (839)8.76075 (839)
packup/apt-cudf-universe0ea62c_l1.wcnf1.48159 (36)0.459159 (36)0.120945 (36)0.108748 (36)0.10186 (36)0.491813 (36)3.11794 (36)3600.0 (-)
packup/rand290_l2.wcnf7.20056 (1017)2.4389 (1017)0.705015 (1017)1.22978 (1017)0.5347 (1017)1.17803 (1017)1.25068 (1017)7.40047 (1017)
packup/ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l3.wcnf10.6233 (2236)2.55661 (2236)15.81 (2236)5.69903 (2236)3.57622 (2236)8.97988 (2236)7.36215 (2236)5.54854 (2236)
packup/rand313_l2.wcnf8.39929 (1595)2.33534 (1595)0.615215 (1595)1.20279 (1595)0.499506 (1595)0.889708 (1595)2.043 (1595)15.8588 (1595)
packup/rand507_l2.wcnf4.041 (1197)0.753939 (1197)0.322495 (1197)0.442417 (1197)0.270763 (1197)0.619057 (1197)0.554701 (1197)6.63817 (1197)
packup/7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l3.wcnf6.19996 (404)6.28025 (404)14.8335 (404)5.47893 (404)3.973 (404)15.6851 (404)36.3737 (404)4.08924 (404)
packup/2c3aece6-c8b2-11df-a040-00163e3d3b7c_l3.wcnf12.1314 (814)8.39528 (814)27.4315 (814)13.3181 (814)18.3204 (814)17.5482 (814)34.4455 (814)9.08174 (814)
HaplotypeAssembly/splitedReads_0.matrix.wcnf186.835 (1500)337.168 (1500)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)939.787 (1500)3600.0 (-)
HaplotypeAssembly/splitedReads_160.matrix.wcnf5.11014 (186)2.74247 (186)0.930633 (186)2.06827 (186)0.606547 (186)1.46977 (186)11.9869 (186)10.1486 (186)
HaplotypeAssembly/splitedReads_414.matrix.wcnf3.49869 (171)2.07882 (171)2.62289 (171)1.62924 (171)1.55357 (171)1.74091 (171)8.67178 (171)10.0181 (171)
HaplotypeAssembly/splitedReads_158.matrix.wcnf4.26575 (173)2.18999 (173)0.763558 (173)1.65572 (173)0.532005 (173)1.3754 (173)8.46016 (173)12.2345 (173)
HaplotypeAssembly/splitedReads_18.matrix.wcnf2.60365 (138)1.43267 (138)2.32091 (138)1.04197 (138)1.0286 (138)0.429621 (138)5.90446 (138)8.70952 (138)
maxone/3col140_5_10.shuffled.cnf.wcnf11.2396 (122)12.5262 (122)32.1699 (122)7.36258 (122)14.8535 (122)45.3258 (122)29.1513 (122)3.54595 (122)
maxone/3col140_5_1.shuffled.cnf.wcnf10.5577 (121)16.3041 (121)32.4475 (121)7.4263 (121)15.0758 (121)44.1289 (121)43.5084 (121)4.34597 (121)
maxone/3col140_5_7.shuffled.cnf.wcnf6.73672 (119)13.5407 (119)36.8233 (119)6.51781 (119)17.5102 (119)32.1785 (119)25.1751 (119)3.27953 (119)
maxone/dp07s07.shuffled.cnf.wcnf13.5552 (1563)7.64455 (1563)2013.51 (1563)8.17073 (1563)1148.93 (1563)3600.0 (-)5.75814 (1563)518.238 (1563)
maxone/3col140_5_6.shuffled.cnf.wcnf9.84101 (120)14.2886 (120)39.8856 (120)7.39299 (120)18.9945 (120)54.769 (120)69.1712 (120)3.80062 (120)
maxone/3col140_5_8.shuffled.cnf.wcnf7.21765 (123)13.324 (123)31.4675 (123)7.35345 (123)16.3798 (123)40.2557 (123)68.608 (123)3.47713 (123)
maxone/3col140_5_3.shuffled.cnf.wcnf12.7032 (128)16.0269 (128)41.1388 (128)4.88693 (128)15.4248 (128)39.8332 (128)38.379 (128)3.7352 (128)
maxone/dp06s06.shuffled.cnf.wcnf5.47073 (1164)1.02054 (1164)132.048 (1164)1.86935 (1164)311.048 (1164)372.6 (1164)2.69136 (1164)39.426 (1164)
maxone/3col140_5_5.shuffled.cnf.wcnf9.16476 (124)15.6797 (124)38.7337 (124)5.35548 (124)16.223 (124)49.7414 (124)28.9307 (124)2.71855 (124)
maxone/3col140_5_2.shuffled.cnf.wcnf12.3747 (131)13.3798 (131)36.0926 (131)4.14029 (131)15.6974 (131)41.2071 (131)67.1488 (131)3.08332 (131)
maxone/3col140_5_9.shuffled.cnf.wcnf10.1133 (134)13.7118 (134)30.3251 (134)7.96017 (134)20.3015 (134)43.0798 (134)69.7981 (134)3.78118 (134)
maxone/3col140_5_4.shuffled.cnf.wcnf8.43689 (128)11.7334 (128)31.6997 (128)8.35607 (128)15.9731 (128)44.3433 (128)40.8731 (128)2.9518 (128)
treewidth-computation/TWComp_jean_N77.wcnf10.7799 (9)4.82577 (9)27.1405 (9)4.02596 (9)0.892988 (9)39.2946 (9)8.20925 (9)0.825687 (9)
treewidth-computation/TWComp_david_N87.wcnf3600.0 (-)29.717 (13)90.5709 (13)13.4057 (13)14.8376 (13)73.8295 (13)20.2036 (13)8.90632 (13)
treewidth-computation/TWComp_myciel5_N47.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_celar02_N100.wcnf24.4454 (10)13.2469 (10)60.2567 (10)10.8773 (10)2.60513 (10)39.5893 (10)22.6602 (10)1.49895 (10)
treewidth-computation/TWComp_queen5_5_N25.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_oesoca+_N67.wcnf109.919 (11)120.027 (11)193.523 (11)85.126 (11)131.169 (11)115.774 (11)215.08 (11)105.362 (11)
treewidth-computation/TWComp_queen7_7_N49.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_1en2_N69.wcnf521.543 (16)637.28 (16)614.311 (16)315.749 (16)592.986 (16)414.156 (16)457.707 (16)203.371 (16)
treewidth-computation/TWComp_eil51.tsp_N51.wcnf1937.11 (8)415.473 (8)1326.76 (8)2833.99 (8)3600.0 (-)867.956 (8)2799.32 (8)324.514 (8)
treewidth-computation/TWComp_myciel4_N23.wcnf12.1689 (10)14.8465 (10)49.548 (10)10.2351 (10)13.8822 (10)27.2494 (10)10.6613 (10)8.54971 (10)
treewidth-computation/TWComp_pathfinder_N109.wcnf30.2921 (6)17.7856 (6)44.5934 (6)14.5488 (6)2.15675 (6)45.449 (6)29.1567 (6)1.83302 (6)
treewidth-computation/TWComp_1c75_N69.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_1dj7_N73.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3346.87 (26)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_win95pts_N76.wcnf10.9682 (8)4.74508 (8)30.3553 (8)4.09362 (8)1.75153 (8)35.7238 (8)7.92135 (8)1.3004 (8)
treewidth-computation/TWComp_mulsol.i.5-pp_N119.wcnf3176.32 (31)1348.82 (31)1156.87 (31)1592.99 (31)3600.0 (-)1145.85 (31)1214.11 (31)158.97 (31)
treewidth-computation/TWComp_ship-ship-pp_N30.wcnf51.3477 (8)50.1595 (8)76.1989 (8)35.1886 (8)44.4906 (8)56.4927 (8)197.782 (8)31.8531 (8)
treewidth-computation/TWComp_1dp_N76.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_queen6_6_N36.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation/TWComp_hepar2_N70.wcnf8.22017 (6)3.09237 (6)37.4029 (6)2.43098 (6)18.2216 (6)37.1814 (6)5.42447 (6)0.464829 (6)
treewidth-computation/TWComp_huck_N74.wcnf9.82864 (10)4.01571 (10)47.0987 (10)3.37002 (10)18.6739 (10)40.1549 (10)6.97229 (10)0.755755 (10)
treewidth-computation/TWComp_miles500_N128.wcnf3524.98 (22)191.694 (22)913.118 (22)190.584 (22)632.421 (22)722.664 (22)288.362 (22)186.224 (22)
treewidth-computation/TWComp_celar09pp_N67.wcnf6.96732 (7)2.54979 (7)38.7999 (7)1.86504 (7)18.0618 (7)27.5928 (7)4.43556 (7)0.329371 (7)
logic-synthesis/normalized-apex4.a.opb.msat.wcnf6.15809 (776)2.79763 (776)0.712198 (776)0.561911 (776)0.234549 (776)0.383853 (776)5.37609 (776)3600.0 (-)
logic-synthesis/normalized-ex5.pi.opb.msat.wcnf2449.01 (65)3058.7 (65)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3.81349 (65)3600.0 (-)
logic-synthesis/normalized-e64.b.opb.msat.wcnf0.478097 (47)4.33697 (47)3.14579 (47)1.47148 (47)0.191247 (47)4.13797 (47)1.09735 (47)3600.0 (-)
logic-synthesis/normalized-max1024.pi.opb.msat.wcnf1411.45 (259)3600.0 (-)3600.0 (-)87.3888 (259)3600.0 (-)3600.0 (-)1.42034 (259)3600.0 (-)
logic-synthesis/normalized-test4.pi.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
logic-synthesis/normalized-f51m.b.opb.msat.wcnf0.541051 (18)0.112006 (18)7.27127 (18)0.060839 (18)0.0611711 (18)6.30834 (18)0.230662 (18)43.047 (18)
logic-synthesis/normalized-exam.pi.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)78.226 (63)3.4987 (63)3600.0 (-)
logic-synthesis/normalized-count.b.opb.msat.wcnf0.492802 (24)0.149001 (24)5.72152 (24)0.0478059 (24)0.032211 (24)6.65497 (24)0.211601 (24)13.8822 (24)
logic-synthesis/normalized-jac3.opb.msat.wcnf1.29195 (15)1.17279 (15)345.724 (15)0.418561 (15)78.3419 (15)911.603 (15)3.8234 (15)3600.0 (-)
logic-synthesis/normalized-sao2.b.opb.msat.wcnf0.118267 (25)0.0365739 (25)72.8405 (25)0.0114979 (25)42.5266 (25)0.456494 (25)0.155502 (25)605.275 (25)
logic-synthesis/normalized-5xp1.b.opb.msat.wcnf1.99139 (12)0.270588 (12)7.46845 (12)1.06345 (12)0.121422 (12)8.4717 (12)0.352867 (12)12.6014 (12)
logic-synthesis/normalized-prom2.pi.opb.msat.wcnf3600.0 (-)3600.0 (-)752.567 (287)3600.0 (-)1316.59 (287)3600.0 (-)2.57205 (287)3600.0 (-)
logic-synthesis/normalized-bench1.pi.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3.83461 (121)3600.0 (-)
logic-synthesis/normalized-rot.b.opb.msat.wcnf324.047 (115)853.335 (115)3600.0 (-)3600.0 (-)3600.0 (-)79.4683 (115)1.24033 (115)3600.0 (-)
logic-synthesis/normalized-alu4.b.opb.msat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)0.632458 (50)3600.0 (-)
vpa/UAutomizer_4BitCounterPointer_true-termination_true-valid-memsafety.c_Abstraction1.wcnf7.15871 (4240)0.493518 (4240)0.174107 (4240)0.144462 (4240)0.169182 (4240)0.773596 (4240)0.336435 (4240)1.70939 (4240)
vpa/UAutomizer_cstrpbrk_diffterm_alloca_true-termination.c.i_Abstraction4.wcnf1.99368 (2008)0.161343 (2008)0.0587099 (2008)0.0384079 (2008)0.0567909 (2008)0.233319 (2008)0.10962 (2008)3600.0 (-)
vpa/UAutomizer_LogAG_true-termination_true-no-overflow.c_Abstraction2.wcnf0.077728 (118)0.011037 (118)0.011824 (118)0.0142151 (118)0.0112581 (118)0.0115311 (118)0.0107861 (118)3600.0 (-)
vpa/UAutomizer_NestedRecursion_2b_false-termination_true-valid-memsafety.c_Abstraction2.wcnf10.3774 (5018)0.67602 (5018)0.252686 (5018)0.290313 (5018)0.247366 (5018)1.0683 (5018)0.467815 (5018)2.89068 (5018)
vpa/UAutomizer_CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i_Abstraction3.wcnf10.5863 (5277)0.702904 (5277)0.237823 (5277)0.213059 (5277)0.233932 (5277)1.08725 (5277)0.472561 (5277)3.28355 (5277)
vpa/UAutomizer_ll_append-alloca_false-termination.c.i_Abstraction1.wcnf7.18282 (4166)0.493806 (4166)0.17527 (4166)0.160649 (4166)0.174456 (4166)0.771887 (4166)0.336725 (4166)1.32361 (4166)
vpa/UAutomizer_c.03-alloca_true-termination_true-no-overflow.c.i_Abstraction3.wcnf8.31806 (4588)0.564275 (4588)0.196322 (4588)0.174074 (4588)0.192092 (4588)0.867542 (4588)0.379362 (4588)2.14379 (4588)
vpa/UAutomizer_AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c_Abstraction1.wcnf0.104663 (201)0.010753 (201)0.0102121 (201)0.011801 (201)0.011054 (201)0.016172 (201)0.010687 (201)3600.0 (-)
scheduling/cnf_12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scheduling/cnf_small.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scheduling/cnf_10_center.wcnf3600.0 (-)58.2078 (159)2212.12 (159)188.389 (159)3600.0 (-)707.496 (159)3600.0 (-)1995.84 (159)
scheduling/cnf_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scheduling/cnf_12_center.wcnf366.505 (237)27.6195 (237)362.85 (237)48.0595 (237)262.944 (237)128.204 (237)1785.0 (237)261.365 (237)
railway-transport/p15.wcnf13.2966 (5)6.8989 (5)3600.0 (-)4.28533 (5)55.3412 (5)86.8838 (5)62.2325 (5)13.8831 (5)
railway-transport/d4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/dp43.wcnf40.4937 (47)16.2146 (47)41.9761 (47)14.839 (47)3.48616 (47)74.7544 (47)53.3322 (47)18.0699 (47)
railway-transport/pesp_18Min.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/we.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport/pesp_5min.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2280.59 (68)