MaxSAT Evaluation 2018: Detailed Results of Unweighted Complete Track

BenchmarkRC2-BRC2-AmaxinoMaxHSOpen-WBO-GlucOpen-WBO-RissLMHSQMaxSAT
aes-mul_8_11.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_14.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 (-)229.122 (36)3600.0 (-)3600.0 (-)1294.05 (36)3600.0 (-)
aes-mul_8_9.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-sbox_4.wcnf0.322627 (22)0.379819 (22)0.332055 (22)0.315336 (22)0.135934 (22)0.131663 (22)2.29358 (22)1910.04 (22)
aes-sbox_8.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery-AES1-72-28.wcnf7.7694 (1)6.3643 (1)1.42918 (1)3.87993 (1)34.8084 (1)37.6556 (1)4.16921 (1)3600.0 (-)
aes-key-recovery-AES1-74-33.wcnf12.8099 (1)18.015 (1)24.1427 (1)123.418 (1)94.2411 (1)190.191 (1)578.045 (1)3600.0 (-)
aes-key-recovery-AES1-74-34.wcnf6.1553 (1)5.02401 (1)1.1896 (1)3.67878 (1)21.4628 (1)24.3732 (1)6.41896 (1)3600.0 (-)
aes-key-recovery-AES1-74-35.wcnf9.7004 (1)8.63381 (1)3.21401 (1)86.3562 (1)34.1187 (1)54.0203 (1)580.359 (1)3600.0 (-)
aes-key-recovery-AES1-76-36.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-key-recovery-AES2-30-44.wcnf5.3096 (2)4.58849 (2)1.1079 (2)3.39346 (2)24.0811 (2)29.2614 (2)3.65493 (2)1723.67 (2)
aes-key-recovery-AES2-30-45.wcnf5.24761 (2)4.66671 (2)1.11769 (2)3.39689 (2)24.042 (2)29.4466 (2)3.62557 (2)1783.38 (2)
aes-key-recovery-AES2-40-46.wcnf5.27207 (2)4.60965 (2)1.11888 (2)3.39294 (2)24.0511 (2)29.1964 (2)3.62792 (2)1725.24 (2)
aes-key-recovery-AES2-40-47.wcnf5.25096 (2)4.60555 (2)1.11554 (2)3.40276 (2)24.0203 (2)29.4449 (2)3.62364 (2)1779.55 (2)
aes-key-recovery-AES2-50-51.wcnf5.75885 (2)4.63842 (2)1.53016 (2)3.57707 (2)38.7004 (2)55.6966 (2)49.4629 (2)363.867 (2)
aes-key-recovery-AES2-50-52.wcnf6.5461 (2)4.91195 (2)1.70053 (2)7.47479 (2)23.8821 (2)27.2254 (2)79.0678 (2)3600.0 (-)
aes-key-recovery-AES2-60-56.wcnf8.18259 (2)7.19307 (2)4.47529 (2)1184.45 (2)28.9176 (2)34.8183 (2)3600.0 (-)3600.0 (-)
aes-key-recovery-AES2-60-57.wcnf7.60872 (2)5.40444 (2)2.12328 (2)12.4097 (2)24.6818 (2)37.2294 (2)217.828 (2)3600.0 (-)
aes-key-recovery-AES2-60-58.wcnf5.98332 (2)4.89798 (2)1.7154 (2)27.6512 (2)24.8435 (2)32.2115 (2)533.176 (2)3600.0 (-)
aes-key-recovery-AES2-60-59.wcnf4.65815 (2)4.59255 (2)0.948101 (2)3.72319 (2)38.7116 (2)43.9847 (2)3.67901 (2)3600.0 (-)
aes-key-recovery-AES2-70-63.wcnf8.13135 (2)8.09097 (2)3600.0 (-)406.662 (2)238.393 (2)265.479 (2)3600.0 (-)3600.0 (-)
aes-key-recovery-AES2-70-65.wcnf42.4117 (2)65.8031 (2)69.3063 (2)3600.0 (-)61.1358 (2)246.659 (2)3600.0 (-)3600.0 (-)
aes-key-recovery-AES2-72-70.wcnf14.4328 (2)5.83723 (2)4.7804 (2)150.24 (2)45.5527 (2)137.518 (2)3600.0 (-)3600.0 (-)
aes-key-recovery-AES2-74-11.wcnf43.1455 (2)34.9963 (2)13.1545 (2)3600.0 (-)52.7318 (2)80.338 (2)3600.0 (-)3600.0 (-)
aes-key-recovery-AES2-74-72.wcnf21.1567 (2)9.46903 (2)4.23415 (2)274.926 (2)38.9115 (2)49.928 (2)3600.0 (-)3600.0 (-)
atcoss-mesat-atcoss_mesat_01.wcnf201.926 (20)200.047 (20)44.7888 (20)60.3955 (20)185.45 (20)313.0 (20)57.6377 (20)74.3081 (20)
atcoss-mesat-atcoss_mesat_02.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-mesat-atcoss_mesat_03.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-mesat-atcoss_mesat_04.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-mesat-atcoss_mesat_05.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-mesat-atcoss_mesat_06.wcnf377.78 (20)381.861 (20)87.6052 (20)99.4792 (20)372.946 (20)486.918 (20)87.4362 (20)379.537 (20)
atcoss-mesat-atcoss_mesat_07.wcnf52.5796 (0)52.6897 (0)9.02353 (0)11.7902 (0)54.8795 (0)57.1556 (0)19.4956 (0)78.4048 (0)
atcoss-mesat-atcoss_mesat_08.wcnf52.3165 (0)52.3769 (0)8.06449 (0)11.5915 (0)58.7964 (0)52.6652 (0)19.2806 (0)84.6672 (0)
atcoss-mesat-atcoss_mesat_09.wcnf211.162 (0)208.368 (0)23.4422 (0)26.2418 (0)181.552 (0)199.614 (0)33.271 (0)114.892 (0)
atcoss-mesat-atcoss_mesat_10.wcnf3600.0 (-)3600.0 (-)1222.78 (13)2977.03 (13)3600.0 (-)3600.0 (-)2606.82 (13)1600.05 (13)
atcoss-mesat-atcoss_mesat_12.wcnf55.8157 (12)53.8676 (12)8.05754 (12)11.0648 (12)62.038 (12)51.7459 (12)17.8958 (12)75.2738 (12)
atcoss-mesat-atcoss_mesat_13.wcnf188.253 (0)189.392 (0)26.7485 (0)49.7953 (0)299.8 (0)341.995 (0)50.5869 (0)441.572 (0)
atcoss-mesat-atcoss_mesat_14.wcnf305.328 (0)306.56 (0)32.5578 (0)57.5299 (0)591.469 (0)402.244 (0)58.7726 (0)701.258 (0)
atcoss-mesat-atcoss_mesat_15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-mesat-atcoss_mesat_18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-fir-normalized-f20c10b_001_area_delay.wcnf10.724 (28)0.951107 (28)2.8508 (28)344.499 (28)1.82977 (28)2.4656 (28)111.023 (28)3.0902 (28)
bcp-fir-normalized-f20c10b_003_area_delay.wcnf1.25828 (26)0.384935 (26)0.235414 (26)15.454 (26)0.540959 (26)0.744121 (26)20.7609 (26)1.02649 (26)
bcp-fir-normalized-f20c10b_004_area_delay.wcnf2.52042 (27)0.390276 (27)0.408506 (27)29.9905 (27)0.518023 (27)0.756241 (27)17.8044 (27)0.933631 (27)
bcp-fir-normalized-f20c10b_006_area_delay.wcnf0.416984 (22)0.189693 (22)0.093863 (22)4.12508 (22)0.365073 (22)0.651602 (22)0.396772 (22)0.182416 (22)
bcp-fir-normalized-f20c10b_007_area_delay.wcnf5.14044 (26)1.94208 (26)1.10879 (26)149.444 (26)1.34833 (26)3.33742 (26)92.7212 (26)2.34111 (26)
bcp-fir-normalized-f20c10b_008_area_delay.wcnf2.11204 (25)0.391101 (25)0.340073 (25)82.9624 (25)250.223 (25)32.0957 (25)20.7223 (25)0.906201 (25)
bcp-fir-normalized-f20c10b_009_area_delay.wcnf0.531468 (24)0.315093 (24)0.0965209 (24)8.30455 (24)0.34609 (24)0.501708 (24)6.03976 (24)0.135451 (24)
bcp-fir-normalized-f20c10b_010_area_delay.wcnf51.9016 (26)5.407 (26)8.93885 (26)523.892 (26)2.55386 (26)4.28639 (26)619.827 (26)13.9979 (26)
bcp-fir-normalized-f20c10b_011_area_delay.wcnf1.94989 (26)0.659176 (26)0.29194 (26)20.7226 (26)0.738414 (26)1.1267 (26)32.9282 (26)0.846175 (26)
bcp-fir-normalized-f20c10b_013_area_delay.wcnf16.7998 (22)2.83449 (22)1.53464 (22)97.6684 (22)4.78225 (22)3.88557 (22)677.795 (22)4.17903 (22)
bcp-fir-normalized-f20c10b_014_area_delay.wcnf13.602 (27)1.25497 (27)3.33454 (27)108.79 (27)1.15127 (27)2.38503 (27)94.713 (27)2.70428 (27)
bcp-fir-normalized-f20c10b_016_area_delay.wcnf3.37112 (25)0.709185 (25)0.691873 (25)15.2432 (25)0.677053 (25)0.928017 (25)31.3221 (25)1.37797 (25)
bcp-fir-normalized-f20c10b_022_area_delay.wcnf2.91042 (26)0.495418 (26)0.384805 (26)36.2256 (26)0.517103 (26)0.743722 (26)25.608 (26)1.15586 (26)
bcp-fir-normalized-f20c10b_025_area_delay.wcnf12.2263 (25)1.5777 (25)1.41334 (25)663.655 (25)2.83503 (25)4.4496 (25)3600.0 (-)3.02905 (25)
bcp-fir-normalized-fir06_area_delay.wcnf0.435893 (15)0.26963 (15)0.0795451 (15)6.36152 (15)0.222498 (15)0.609441 (15)0.341692 (15)28.2638 (15)
bcp-fir-normalized-fir07_area_delay.wcnf3.8951 (16)1.37489 (16)1.11849 (16)68.3588 (16)7.01559 (16)11.0375 (16)6.49004 (16)3600.0 (-)
bcp-fir-normalized-fir08_area_delay.wcnf183.884 (23)43.0441 (23)111.609 (23)3600.0 (-)139.175 (23)316.588 (23)3600.0 (-)3600.0 (-)
bcp-fir-normalized-fir08_area_opers.wcnf3600.0 (-)29.0233 (48)105.571 (48)3600.0 (-)183.626 (48)166.287 (48)3600.0 (-)1145.55 (48)
bcp-fir-normalized-fir08_area_partials.wcnf15.292 (49)3.13923 (49)3.84988 (49)3600.0 (-)13.4886 (49)16.0516 (49)1487.09 (49)1.58784 (49)
bcp-fir-normalized-fir09_area_delay.wcnf5.21503 (17)1.64019 (17)1.69092 (17)74.6721 (17)4.29113 (17)8.02425 (17)271.114 (17)3600.0 (-)
bcp-msp-normalized-f1000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp-normalized-f2000.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp-normalized-f600.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp-normalized-g125.17.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp-normalized-g125.18.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp-normalized-g250.15.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp-normalized-g250.29.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp-normalized-ii16a1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp-normalized-ii16a2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)848.989 (1164)666.051 (1164)3600.0 (-)3600.0 (-)
bcp-msp-normalized-ii16c1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp-normalized-ii16d1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp-normalized-ii16d2.wcnf10.9065 (785)5.11603 (785)2.5178 (785)59.5064 (785)14.5487 (785)19.864 (785)26.0425 (785)6.1823 (785)
bcp-msp-normalized-ii32c2.wcnf2.83215 (207)3.51377 (207)32.2178 (207)65.6407 (207)6.0847 (207)7.1152 (207)56.2636 (207)35.3697 (207)
bcp-msp-normalized-ii32c3.wcnf9.59987 (261)4.1548 (261)13.1352 (261)33.7357 (261)11.6056 (261)15.1723 (261)18.5544 (261)13.6616 (261)
bcp-msp-normalized-ii32d3.wcnf31.2785 (802)18.9613 (802)24.4897 (802)336.608 (802)96.4771 (802)121.02 (802)33.227 (802)11.6822 (802)
bcp-msp-normalized-ii32e5.wcnf5.68034 (503)4.63681 (503)8.19324 (503)172.796 (503)24.0918 (503)52.1737 (503)21.207 (503)16.1742 (503)
bcp-msp-normalized-ii8a2.wcnf0.180905 (139)0.140033 (139)150.739 (139)1.4642 (139)0.0886501 (139)0.189489 (139)1.30599 (139)3600.0 (-)
bcp-msp-normalized-ii8a3.wcnf0.349892 (191)0.242844 (191)178.457 (191)2.75056 (191)0.247085 (191)0.588535 (191)16.8501 (191)3600.0 (-)
bcp-msp-normalized-ii8b3.wcnf4.86123 (507)6.08524 (507)62.0835 (507)15.422 (507)3.77582 (507)10.5056 (507)17.6258 (507)3600.0 (-)
bcp-msp-normalized-ii8b4.wcnf9.11414 (654)7.79526 (654)104.059 (654)11.0699 (654)6.78169 (654)14.7531 (654)8.94916 (654)3600.0 (-)
bcp-msp-normalized-ii8c2.wcnf3.03777 (525)4.99844 (525)2258.71 (525)23.1477 (525)4.72178 (525)15.5743 (525)103.778 (525)3600.0 (-)
bcp-msp-normalized-ii8e1.wcnf209.592 (343)50.652 (343)809.056 (343)95.9953 (343)1.45259 (343)2.47251 (343)94.798 (343)3600.0 (-)
bcp-msp-normalized-ii8e2.wcnf97.0968 (494)47.9932 (494)181.209 (494)46.1312 (494)3.48504 (494)16.211 (494)179.541 (494)3600.0 (-)
bcp-msp-normalized-par32-1-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-msp-normalized-par32-1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-syn-normalized-C499.a.wcnf0.5028 (64)1.07816 (64)0.204288 (64)3.42799 (64)0.306968 (64)0.537121 (64)1.30601 (64)3600.0 (-)
bcp-syn-normalized-addm4.r.wcnf0.184453 (165)0.134682 (165)0.010861 (165)0.114511 (165)0.672271 (165)0.443385 (165)0.08404 (165)3600.0 (-)
bcp-syn-normalized-apex6.b.wcnf386.43 (136)3600.0 (-)3600.0 (-)6.22202 (136)2052.15 (136)3600.0 (-)9.15213 (136)3600.0 (-)
bcp-syn-normalized-des.a.wcnf7.5571 (942)2.65521 (942)0.870162 (942)8.23158 (942)6.13671 (942)11.347 (942)4.99671 (942)3600.0 (-)
bcp-syn-normalized-duke2.b.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1.51452 (70)3600.0 (-)3600.0 (-)1.34015 (70)3600.0 (-)
bcp-syn-normalized-ex1010.pi.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bcp-syn-normalized-ex5.r.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3.58523 (37)3600.0 (-)3600.0 (-)3.05487 (37)3600.0 (-)
bcp-syn-normalized-exam.pi.wcnf3600.0 (-)3600.0 (-)6.90954 (63)0.558882 (63)165.537 (63)3600.0 (-)0.86639 (63)3600.0 (-)
bcp-syn-normalized-f51m.b.wcnf0.146214 (18)0.120703 (18)0.0431559 (18)0.0803609 (18)0.0867891 (18)0.118839 (18)0.328743 (18)3.19431 (18)
bcp-syn-normalized-fout.r.wcnf0.0918709 (38)0.076899 (38)0.011917 (38)0.0422379 (38)0.0185809 (38)0.053462 (38)0.080312 (38)3600.0 (-)
bcp-syn-normalized-jac3.wcnf0.526538 (15)1.02365 (15)0.312109 (15)1.55299 (15)33.1794 (15)58.6383 (15)0.735092 (15)3600.0 (-)
bcp-syn-normalized-lin.rom.r.wcnf0.509524 (120)0.203356 (120)0.186574 (120)0.180101 (120)0.591634 (120)1.54756 (120)0.196238 (120)3600.0 (-)
bcp-syn-normalized-m100_100_10_15.r.wcnf1420.67 (10)1168.54 (10)310.364 (10)1.99947 (10)589.565 (10)3600.0 (-)1.38046 (10)1351.27 (10)
bcp-syn-normalized-m100_100_10_30.r.wcnf44.4494 (8)34.0138 (8)9.16805 (8)0.191863 (8)20.9211 (8)3.91817 (8)0.17277 (8)20.707 (8)
bcp-syn-normalized-m100_300_10_14.r.wcnf3600.0 (-)3600.0 (-)3600.0 (-)0.496487 (19)3600.0 (-)3600.0 (-)1.59058 (19)3600.0 (-)
bcp-syn-normalized-m100_300_10_15.r.wcnf3600.0 (-)3600.0 (-)3600.0 (-)4.73983 (19)3600.0 (-)3600.0 (-)6.31237 (19)3600.0 (-)
bcp-syn-normalized-maincont.r.wcnf0.0597351 (7)0.0572041 (7)0.0104501 (7)0.0165269 (7)0.012736 (7)0.0102999 (7)0.0194741 (7)0.011438 (7)
bcp-syn-normalized-max1024.r.wcnf1683.35 (245)112.458 (245)3.03926 (245)1.49709 (245)3600.0 (-)3600.0 (-)1.71734 (245)3600.0 (-)
bcp-syn-normalized-pdc.r.wcnf2.22794 (94)0.45278 (94)0.184629 (94)0.679722 (94)14.2912 (94)42.9939 (94)1.18272 (94)3600.0 (-)
bcp-syn-normalized-prom2.pi.wcnf223.497 (287)676.286 (287)118.448 (287)1.44438 (287)3600.0 (-)3600.0 (-)1.33215 (287)3600.0 (-)
bcp-syn-normalized-prom2.r.wcnf3600.0 (-)3600.0 (-)170.837 (278)1.49421 (278)3600.0 (-)3600.0 (-)1.28299 (278)3600.0 (-)
bcp-syn-normalized-rot.b.wcnf397.305 (115)3600.0 (-)114.425 (115)0.71702 (115)47.8028 (115)239.271 (115)0.416316 (115)3600.0 (-)
bcp-syn-normalized-saucier.r.wcnf2111.05 (6)1837.15 (6)1164.48 (6)144.687 (6)370.452 (6)211.293 (6)1166.26 (6)3600.0 (-)
bcp-syn-normalized-test1.r.wcnf77.7612 (110)96.9433 (110)0.441605 (110)0.132346 (110)1.09209 (110)7.8588 (110)0.128238 (110)3600.0 (-)
bcp-syn-normalized-test4.pi.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
circuit-debugging-rsdecoder-debug.dimacs.wcnf47.5779 (1)47.6179 (1)35.3822 (1)118.955 (1)3.78571 (1)84.6876 (1)3600.0 (-)2260.9 (1)
circuit-debugging-sudoku-debug.dimacs.wcnf35.2657 (1)35.5667 (1)14.678 (1)41.2714 (1)3.75805 (1)13.5333 (1)126.754 (1)121.8 (1)
circuit-debugging-wb-debug.dimacs.wcnf384.524 (28)32.3847 (28)35.7275 (28)29.4269 (28)3.40267 (28)52.4364 (28)14.32 (28)3600.0 (-)
circuit-trace-ctrl.wcnf0.574028 (15)0.655564 (15)0.124217 (15)57.6247 (15)0.284013 (15)0.896451 (15)142.237 (15)0.144115 (15)
circuit-trace-mrisc_mem2wire.wcnf110.867 (5)100.641 (5)22.2476 (5)238.35 (5)61.7193 (5)92.8952 (5)2898.31 (5)55.5217 (5)
circuit-trace-spi.wcnf11.7578 (46)16.9843 (46)1.73979 (46)3600.0 (-)8.2335 (46)13.4115 (46)3600.0 (-)3600.0 (-)
circuit-trace-sudoku.wcnf58.136 (13)26.2172 (13)3.78541 (13)3600.0 (-)6.98818 (13)8.10096 (13)3600.0 (-)7.18531 (13)
close-solutions-SAT02__industrial__goldberg__fpga_routing__vda_gr_rcs_w9.shuffled.cnf.wcnf.5.wcnf4.75418 (6)1.21687 (6)0.316227 (6)1.02937 (6)1.03998 (6)1.76882 (6)14.1378 (6)217.43 (6)
close-solutions-SAT04__industrial__vangelder__cnf-color__abb313GPIA-9-tr.used-as.sat04-321.cnf.wcnf.6.wcnf18.5335 (25)4.98579 (25)8.3226 (25)449.092 (25)3600.0 (-)3.13421 (25)3600.0 (-)141.878 (25)
close-solutions-SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.5.wcnf552.704 (53)60.3003 (53)131.208 (53)303.68 (53)4.39092 (53)12.5652 (53)3600.0 (-)996.729 (53)
close-solutions-SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_18_SAT.cnf.wcnf.2.wcnf6.26891 (7)2.64562 (7)1.53938 (7)1.15254 (7)11.4199 (7)10.2011 (7)297.169 (7)55.3279 (7)
close-solutions-SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.10.wcnf116.174 (208)17.5832 (208)59.6668 (208)95.5683 (208)60.667 (208)57.0696 (208)438.501 (208)3600.0 (-)
close-solutions-SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf698.072 (1382)125.263 (1382)393.516 (1382)1101.22 (1382)3144.4 (1382)3600.0 (-)1206.14 (1382)2074.07 (1382)
close-solutions-SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf3600.0 (-)321.551 (1028)3600.0 (-)3600.0 (-)3326.42 (1028)1992.52 (1028)3600.0 (-)3600.0 (-)
close-solutions-SAT11__application__fuhs__AProVE11__AProVE11-16.cnf.wcnf.1.wcnf86.3631 (263)23.7621 (263)48.3698 (263)70.8982 (263)67.9851 (263)106.068 (263)305.551 (263)142.511 (263)
close-solutions-SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-TPP-30-step11.cnf.wcnf.1.wcnf53.1032 (1)32.2744 (1)3.15924 (1)96.8071 (1)21.0877 (1)24.0781 (1)388.423 (1)3600.0 (-)
close-solutions-SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.2.wcnf37.7545 (1)273.077 (1)1.46742 (1)29.4807 (1)41.9161 (1)46.7752 (1)156.724 (1)855.185 (1)
close-solutions-SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-18-step16.cnf.wcnf.1.wcnf77.9388 (1)35.3701 (1)4.11907 (1)107.828 (1)54.6316 (1)81.971 (1)444.651 (1)313.424 (1)
close-solutions-SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.10.wcnf20.5961 (9)16.3953 (9)3.05583 (9)23.5282 (9)12.5823 (9)16.0845 (9)107.147 (9)134.536 (9)
close-solutions-SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.4.wcnf379.487 (78)75.9487 (78)103.442 (78)2497.61 (78)25.5217 (78)30.8951 (78)3600.0 (-)1112.26 (78)
close-solutions-SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.6.wcnf304.659 (120)90.0677 (120)181.141 (120)1687.13 (120)54.0981 (120)50.2347 (120)3600.0 (-)3600.0 (-)
close-solutions-SAT_RACE08__cnf__ibm-2004-01-k90.cnf.wcnf.10.wcnf27.8637 (5)3.64625 (5)3.35512 (5)10.3749 (5)276.993 (5)464.579 (5)204.599 (5)3600.0 (-)
close-solutions-TEAMS20_l7aa.cnf.wcnf25.5736 (26)12.4322 (26)14.9336 (26)162.861 (26)108.721 (26)126.033 (26)176.613 (26)1067.45 (26)
close-solutions-teams20_l2a.cnf.wcnf12.7923 (12)6.04561 (12)6.92224 (12)36.0987 (12)4.58138 (12)6.78292 (12)480.439 (12)227.623 (12)
close-solutions-teams20_l4a.cnf.wcnf31.4375 (18)6.43135 (18)9.11004 (18)63.2851 (18)28.2262 (18)17.9866 (18)751.625 (18)76.8618 (18)
close-solutions-teams20_l6a.cnf.wcnf22.6801 (18)7.3921 (18)14.9127 (18)80.8469 (18)20.5115 (18)23.84 (18)3600.0 (-)93.3121 (18)
close-solutions-teams20_l8a.cnf.wcnf21.4137 (16)5.37954 (16)7.43516 (16)74.6075 (16)11.0139 (16)9.01118 (16)483.227 (16)56.092 (16)
des-cnf.10.p.9.wcnf127.857 (10)19.2127 (10)124.038 (10)353.023 (10)37.5088 (10)133.136 (10)3600.0 (-)32.5897 (10)
des-cnf.11.p.10.wcnf74.1628 (11)16.9295 (11)72.177 (11)430.389 (11)34.5906 (11)116.674 (11)901.475 (11)129.126 (11)
des-cnf.12.p.10.wcnf180.238 (12)38.9032 (12)43.4721 (12)792.88 (12)54.4522 (12)214.344 (12)3600.0 (-)125.272 (12)
des-cnf.12.p.9.wcnf143.878 (12)55.1925 (12)92.7334 (12)591.783 (12)280.55 (12)629.558 (12)3600.0 (-)150.708 (12)
des-cnf.12.t.9.wcnf40.101 (12)13.2112 (12)11.6076 (12)60.8644 (12)14.5471 (12)18.6439 (12)30.656 (12)15.7155 (12)
des-cnf.13.p.8.wcnf110.938 (13)59.1502 (13)59.9835 (13)374.147 (13)40.5561 (13)188.98 (13)3600.0 (-)106.037 (13)
des-cnf.14.p.10.wcnf317.308 (14)704.358 (14)210.557 (14)1119.17 (14)120.613 (14)508.131 (14)3600.0 (-)732.555 (14)
des-cnf.15.p.9.wcnf216.382 (15)45.1397 (15)542.343 (15)673.064 (15)56.1773 (15)319.884 (15)1705.45 (15)207.221 (15)
des-cnf.16.p.10.wcnf431.748 (16)128.375 (16)1125.51 (16)1161.71 (16)127.349 (16)595.729 (16)3600.0 (-)774.767 (16)
des-cnf.17.d.9.wcnf33.7018 (17)16.2939 (17)9.88021 (17)13.9944 (17)14.131 (17)14.1777 (17)53.9767 (17)7.35594 (17)
des-cnf.17.t.10.wcnf76.407 (17)28.3076 (17)22.7522 (17)108.807 (17)36.8968 (17)40.2261 (17)265.116 (17)23.7115 (17)
des-cnf.18.p.10.wcnf3600.0 (-)2874.15 (18)3600.0 (-)3600.0 (-)356.02 (18)2666.28 (18)3600.0 (-)3386.93 (18)
des-cnf.19.p.8.wcnf233.364 (19)65.2212 (19)226.671 (19)1563.6 (19)145.588 (19)551.707 (19)3600.0 (-)248.823 (19)
des-cnf.19.p.9.wcnf349.846 (19)432.328 (19)122.55 (19)489.517 (19)123.508 (19)423.585 (19)2536.55 (19)276.616 (19)
des-cnf.20.d.10.wcnf27.2946 (20)17.0669 (20)12.2088 (20)16.1459 (20)18.4427 (20)17.6173 (20)36.1406 (20)14.8485 (20)
des-cnf.20.d.9.wcnf30.2242 (20)15.1146 (20)11.9158 (20)21.136 (20)17.5868 (20)17.002 (20)33.4195 (20)9.76397 (20)
des-cnf.20.p.9.wcnf3600.0 (-)338.975 (20)3600.0 (-)1964.98 (20)413.486 (20)1602.32 (20)3600.0 (-)1874.95 (20)
des-cnf.20.t.10.wcnf179.043 (20)56.6773 (20)39.6556 (20)58.9311 (20)48.6682 (20)51.6885 (20)375.187 (20)40.0853 (20)
des-cnf.20.t.8.wcnf49.2185 (20)26.4837 (20)20.8761 (20)37.752 (20)31.579 (20)33.4144 (20)40.8138 (20)28.9731 (20)
des-cnf.8.p.10.wcnf60.7223 (8)17.0807 (8)25.7264 (8)187.818 (8)28.5411 (8)44.0365 (8)3600.0 (-)17.9272 (8)
drmx-atmostk-drmx-am12-outof-40-ecardn.wcnf3.7538 (28)4.02767 (28)4.54902 (28)194.967 (28)0.404683 (28)0.727388 (28)1122.45 (28)0.354074 (28)
drmx-atmostk-drmx-am12-outof-40-ekmtot.wcnf0.856762 (28)0.947313 (28)7.90517 (28)32.0327 (28)0.0747591 (28)0.162601 (28)20.7009 (28)0.022196 (28)
drmx-atmostk-drmx-am12-outof-40-emtot.wcnf0.850278 (28)0.628695 (28)1.97894 (28)19.4135 (28)0.760062 (28)0.93045 (28)25.2277 (28)0.015101 (28)
drmx-atmostk-drmx-am12-outof-40-eseqc.wcnf0.208052 (28)0.274348 (28)1.07052 (28)984.47 (28)0.17868 (28)0.4173 (28)704.868 (28)0.0259631 (28)
drmx-atmostk-drmx-am12-outof-40-etot.wcnf0.889804 (28)0.975788 (28)1.04456 (28)13.654 (28)0.0739981 (28)0.130849 (28)39.2979 (28)0.013468 (28)
drmx-atmostk-drmx-am16-outof-45-ekmtot.wcnf2.15442 (29)1.51314 (29)138.992 (29)170.757 (29)0.119201 (29)0.150736 (29)244.32 (29)0.112566 (29)
drmx-atmostk-drmx-am16-outof-45-emtot.wcnf2.26335 (29)1.72444 (29)3.84375 (29)62.9426 (29)0.158346 (29)0.136409 (29)479.077 (29)0.116032 (29)
drmx-atmostk-drmx-am16-outof-45-eseqc.wcnf1.24439 (29)0.837438 (29)5.56565 (29)3600.0 (-)0.175035 (29)0.311152 (29)3600.0 (-)0.0676141 (29)
drmx-atmostk-drmx-am20-outof-50-esortn.wcnf53.4576 (30)39.406 (30)1049.28 (30)3600.0 (-)14.7767 (30)16.3863 (30)3600.0 (-)3.28239 (30)
drmx-atmostk-drmx-am24-outof-55-eseqc.wcnf1.23879 (31)2.56566 (31)62.8276 (31)3600.0 (-)0.483005 (31)0.693158 (31)3600.0 (-)0.177412 (31)
drmx-atmostk-drmx-am24-outof-55-esortn.wcnf19.0112 (31)26.98 (31)467.056 (31)3600.0 (-)5.01342 (31)5.39284 (31)3600.0 (-)4.87962 (31)
drmx-atmostk-drmx-am24-outof-55-etot.wcnf13.7385 (31)22.8542 (31)308.538 (31)3600.0 (-)0.539413 (31)1.64969 (31)3600.0 (-)0.209463 (31)
drmx-atmostk-drmx-am28-outof-60-ecardn.wcnf81.6425 (32)72.3677 (32)814.463 (32)3600.0 (-)31.4258 (32)95.5167 (32)3600.0 (-)2.20042 (32)
drmx-atmostk-drmx-am28-outof-60-emtot.wcnf14.0722 (32)21.708 (32)128.038 (32)3600.0 (-)0.344784 (32)0.616038 (32)3600.0 (-)0.0929439 (32)
drmx-atmostk-drmx-am28-outof-60-eseqc.wcnf1.72707 (32)3.97164 (32)58.1755 (32)3600.0 (-)1.72744 (32)2.80081 (32)3600.0 (-)0.277707 (32)
drmx-atmostk-drmx-am28-outof-60-etot.wcnf25.2332 (32)31.6563 (32)198.391 (32)3600.0 (-)0.547513 (32)0.674631 (32)3600.0 (-)0.101241 (32)
drmx-atmostk-drmx-am32-outof-70-ekmtot.wcnf101.318 (38)84.6541 (38)557.261 (38)3600.0 (-)0.55985 (38)0.973205 (38)3600.0 (-)0.245149 (38)
drmx-atmostk-drmx-am32-outof-70-eseqc.wcnf4.12746 (38)6.22136 (38)328.027 (38)3600.0 (-)8.49911 (38)16.8953 (38)3600.0 (-)0.492166 (38)
drmx-atmostk-drmx-am32-outof-70-esortn.wcnf6.76542 (38)44.8743 (38)3600.0 (-)3600.0 (-)10.0934 (38)9.26382 (38)3600.0 (-)9.14456 (38)
drmx-atmostk-drmx-am32-outof-70-etot.wcnf57.7554 (38)142.261 (38)2287.84 (38)3600.0 (-)3.41146 (38)6.2609 (38)3600.0 (-)0.249011 (38)
drmx-cryptogen-geffe128_0.wcnf72.5823 (800)76.844 (800)217.709 (800)177.162 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-geffe128_1.wcnf50.7608 (800)51.8238 (800)178.505 (800)48.6459 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-geffe128_5.wcnf45.7452 (800)45.2904 (800)7.89545 (800)22.4253 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-geffe128_6.wcnf52.9564 (800)52.472 (800)14.5626 (800)3.68713 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-geffe128_8.wcnf115.517 (800)129.917 (800)230.741 (800)29.4857 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-threshold128_0.wcnf100.596 (800)97.4809 (800)103.151 (800)65.7787 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-threshold128_1.wcnf294.297 (800)297.016 (800)125.285 (800)20.1476 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-threshold128_2.wcnf570.652 (800)562.188 (800)391.531 (800)65.4133 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-threshold128_3.wcnf158.507 (800)157.603 (800)123.864 (800)1.24968 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-threshold128_5.wcnf152.16 (800)149.507 (800)247.017 (800)59.8149 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-threshold128_6.wcnf36.4129 (800)36.0402 (800)137.411 (800)39.0518 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-threshold128_7.wcnf11.4884 (800)11.9123 (800)132.089 (800)185.441 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-threshold128_8.wcnf2077.46 (800)2081.13 (800)1036.71 (800)68.916 (800)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-wolfram72_0.wcnf190.76 (9288)191.045 (9288)1.37131 (9288)3.37241 (9288)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-wolfram72_4.wcnf199.246 (9288)198.693 (9288)5.63816 (9288)7.08308 (9288)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-wolfram72_5.wcnf208.311 (9288)204.671 (9288)5.80273 (9288)14.9918 (9288)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-wolfram72_8.wcnf199.984 (9288)198.038 (9288)23.238 (9288)8.59989 (9288)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-wolfram80_3.wcnf311.557 (11440)310.495 (11440)15.1144 (11440)11.8152 (11440)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-wolfram80_5.wcnf339.301 (11440)337.523 (11440)205.211 (11440)4.58411 (11440)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-wolfram80_8.wcnf300.542 (11440)302.44 (11440)20.6585 (11440)6.89297 (11440)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_non-strict_stb_150_0.05_1_8_3.wcnf3600.0 (-)3338.97 (6)3600.0 (-)3600.0 (-)3600.0 (-)1872.92 (6)1558.97 (6)3600.0 (-)
extension-enforcement-extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2707.95 (8)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_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_1_10_2.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 (-)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_0.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2434.95 (6)2108.71 (6)3600.0 (-)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_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_2.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_3.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 (-)3600.0 (-)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.1_4_10_4.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_100_0.05_4_20_3.wcnf3.39514 (15)11.3864 (15)0.302407 (15)91.1082 (15)12.8216 (15)19.0041 (15)103.463 (15)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_150_0.05_3_30_0.wcnf16.103 (33)87.451 (33)0.967479 (33)7.13322 (33)349.733 (33)620.565 (33)514.141 (33)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_150_0.05_3_30_2.wcnf21.7434 (28)5.41005 (28)1.90231 (28)320.947 (28)3099.32 (28)989.244 (28)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_150_0.05_4_15_1.wcnf10.4675 (43)4.25589 (43)0.647825 (43)317.128 (43)16.6614 (43)18.0946 (43)610.013 (43)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_150_0.1_4_15_1.wcnf7.44236 (24)66.8702 (24)0.618887 (24)309.566 (24)55.7764 (24)77.1347 (24)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_150_0.2_4_8_3.wcnf5.49071 (20)3600.0 (-)0.326932 (20)3.3646 (20)3600.0 (-)3600.0 (-)129.323 (20)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_150_0.3_3_8_3.wcnf5.5564 (19)3600.0 (-)0.350161 (19)1.95312 (19)3600.0 (-)3600.0 (-)65.4534 (19)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_200_0.05_0_40_1.wcnf38.0339 (26)665.902 (26)1.71194 (26)9.30478 (26)3600.0 (-)3600.0 (-)1541.97 (26)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_200_0.05_4_20_1.wcnf43.3451 (33)9.4021 (33)3.35338 (33)3600.0 (-)21.7896 (33)33.018 (33)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_200_0.05_4_20_3.wcnf33.5531 (49)3600.0 (-)1.11068 (49)200.034 (49)3600.0 (-)3600.0 (-)1464.23 (49)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_200_0.05_4_20_4.wcnf297.184 (50)3600.0 (-)1.62125 (50)334.545 (50)3600.0 (-)3600.0 (-)2407.78 (50)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_200_0.1_0_10_1.wcnf15.181 (35)3600.0 (-)0.567662 (35)2.03871 (35)3600.0 (-)3600.0 (-)746.279 (35)3600.0 (-)
fault-diagnosis-s38584_nan_explicit_11_0.wcnf155.789 (193)126.977 (193)189.213 (193)3600.0 (-)364.646 (193)444.183 (193)3600.0 (-)3600.0 (-)
fault-diagnosis-s38584_nan_explicit_12_0.wcnf178.58 (191)71.2492 (191)115.751 (191)3600.0 (-)153.633 (191)316.453 (191)3600.0 (-)3600.0 (-)
fault-diagnosis-s38584_nan_explicit_14_0.wcnf388.673 (202)394.852 (202)736.046 (202)3600.0 (-)941.368 (202)484.314 (202)3600.0 (-)3600.0 (-)
fault-diagnosis-s38584_nan_explicit_15_0.wcnf228.395 (208)578.36 (208)474.974 (208)3600.0 (-)1387.92 (208)2234.2 (208)3600.0 (-)3600.0 (-)
fault-diagnosis-s38584_nan_explicit_16_0.wcnf172.195 (188)68.4351 (188)143.448 (188)3600.0 (-)65.2359 (188)162.627 (188)3600.0 (-)3600.0 (-)
fault-diagnosis-s38584_nan_explicit_17_0.wcnf71.4786 (185)38.8394 (185)49.4728 (185)3600.0 (-)35.1317 (185)64.5518 (185)3600.0 (-)186.617 (185)
fault-diagnosis-s38584_nan_explicit_19_0.wcnf119.345 (198)36.1463 (198)61.7521 (198)3600.0 (-)63.8259 (198)114.74 (198)3600.0 (-)745.412 (198)
fault-diagnosis-s38584_nan_explicit_20_0.wcnf159.004 (194)54.0389 (194)117.858 (194)3600.0 (-)42.7242 (194)89.0184 (194)3600.0 (-)2075.05 (194)
fault-diagnosis-s38584_nan_explicit_22_0.wcnf77.2467 (179)34.1219 (179)66.4263 (179)3600.0 (-)27.7476 (179)67.0981 (179)3600.0 (-)296.503 (179)
fault-diagnosis-s38584_nan_explicit_23_0.wcnf140.433 (179)91.0041 (179)117.763 (179)3600.0 (-)49.9614 (179)109.376 (179)3600.0 (-)82.5969 (179)
fault-diagnosis-s38584_nan_explicit_25_0.wcnf52.9788 (188)24.9913 (188)30.3198 (188)3600.0 (-)24.6053 (188)39.5212 (188)3045.83 (188)74.524 (188)
fault-diagnosis-s38584_nan_explicit_26_0.wcnf80.8918 (169)25.9747 (169)51.1369 (169)3600.0 (-)24.1609 (169)51.4999 (169)3600.0 (-)45.2091 (169)
fault-diagnosis-s38584_nan_explicit_27_0.wcnf70.1099 (203)35.6941 (203)63.9594 (203)3600.0 (-)40.0443 (203)78.7932 (203)3600.0 (-)550.513 (203)
fault-diagnosis-s38584_nan_explicit_31_0.wcnf78.363 (190)53.9409 (190)58.9055 (190)3600.0 (-)35.473 (190)82.4795 (190)3600.0 (-)98.312 (190)
fault-diagnosis-s38584_nan_explicit_33_0.wcnf42.6002 (189)21.5187 (189)24.4275 (189)3600.0 (-)19.6275 (189)42.3978 (189)3600.0 (-)32.3102 (189)
fault-diagnosis-s38584_nan_explicit_36_0.wcnf49.2049 (183)22.7404 (183)30.2411 (183)2043.12 (183)26.8722 (183)44.5172 (183)3600.0 (-)33.7741 (183)
fault-diagnosis-s38584_nan_explicit_38_0.wcnf45.1656 (189)21.7219 (189)25.8367 (189)3600.0 (-)24.6496 (189)41.7873 (189)3600.0 (-)51.1056 (189)
fault-diagnosis-s38584_nan_explicit_39_0.wcnf101.864 (198)44.5043 (198)125.575 (198)3600.0 (-)26.2443 (198)98.5308 (198)3600.0 (-)286.191 (198)
fault-diagnosis-s38584_nan_explicit_3_0.wcnf96.9385 (150)1011.12 (150)1241.56 (150)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
fault-diagnosis-s38584_nan_explicit_41_0.wcnf56.0303 (163)21.1852 (163)33.4544 (163)3600.0 (-)21.5009 (163)42.0625 (163)3600.0 (-)106.965 (163)
fault-diagnosis-s38584_nan_explicit_42_0.wcnf51.084 (193)20.7699 (193)30.6332 (193)3600.0 (-)20.0781 (193)46.1787 (193)3600.0 (-)265.035 (193)
fault-diagnosis-s38584_nan_explicit_44_0.wcnf53.9557 (168)25.3388 (168)34.4564 (168)1267.36 (168)19.9503 (168)50.5639 (168)1409.85 (168)22.0419 (168)
fault-diagnosis-s38584_nan_explicit_4_0.wcnf169.204 (146)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
fault-diagnosis-s38584_nan_explicit_5_0.wcnf876.712 (176)3600.0 (-)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 (-)
frb-frb20-11-3.partial.wcnf0.13247 (200)0.146272 (200)133.245 (200)0.422838 (200)0.0587129 (200)0.122759 (200)9.35052 (200)0.167989 (200)
frb-frb20-11-5.partial.wcnf0.1252 (200)0.12554 (200)134.585 (200)0.234826 (200)0.083293 (200)0.0717109 (200)7.33889 (200)0.213 (200)
frb-frb25-13-1.partial.wcnf0.222992 (300)0.419016 (300)931.966 (300)0.226431 (300)0.834323 (300)0.430019 (300)435.208 (300)2.02233 (300)
frb-frb25-13-3.partial.wcnf0.261143 (300)0.219353 (300)146.046 (300)0.194247 (300)0.272686 (300)0.411116 (300)270.759 (300)1.3476 (300)
frb-frb25-13-4.partial.wcnf1.27863 (300)0.814919 (300)3600.0 (-)0.347313 (300)0.229714 (300)0.174451 (300)104.207 (300)1.25843 (300)
frb-frb25-13-5.partial.wcnf0.199355 (300)0.228098 (300)934.301 (300)18.9209 (300)0.38527 (300)0.840875 (300)171.321 (300)0.944777 (300)
frb-frb30-15-1.partial.wcnf0.700325 (420)0.610695 (420)3600.0 (-)16.4525 (420)2.81192 (420)3.67513 (420)3600.0 (-)3.2562 (420)
frb-frb30-15-2.partial.wcnf0.906682 (420)0.424014 (420)3600.0 (-)0.83969 (420)1.53613 (420)3.32857 (420)3600.0 (-)7.94158 (420)
frb-frb30-15-3.partial.wcnf1.01354 (420)0.320044 (420)3600.0 (-)0.523093 (420)1.8057 (420)2.17686 (420)1737.1 (420)4.21201 (420)
frb-frb35-17-1.partial.wcnf3.90541 (560)4.49242 (560)3600.0 (-)4.79337 (560)15.0775 (560)2.9961 (560)3600.0 (-)18.4537 (560)
frb-frb35-17-2.partial.wcnf29.4726 (560)7.62332 (560)3600.0 (-)73.3529 (560)18.1777 (560)38.6356 (560)3600.0 (-)82.4149 (560)
frb-frb35-17-3.partial.wcnf7.94182 (560)20.4339 (560)3600.0 (-)30.0848 (560)2.88073 (560)15.6167 (560)3600.0 (-)12.8444 (560)
frb-frb40-19-1.partial.wcnf9.70067 (720)38.7499 (720)3600.0 (-)15.8061 (720)46.0771 (720)29.9403 (720)3600.0 (-)39.1509 (720)
frb-frb40-19-2.partial.wcnf21.8615 (720)12.3516 (720)3600.0 (-)41.8225 (720)59.3579 (720)31.7427 (720)3600.0 (-)47.2685 (720)
frb-frb40-19-4.partial.wcnf64.9405 (720)231.985 (720)3600.0 (-)288.447 (720)359.487 (720)353.37 (720)3600.0 (-)379.425 (720)
gen-hyper-tw-GenHyperTW_2bitcomp_5.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_aim-50-2_0-no-3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_aim-50-2_0-yes1-3.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_b06.wcnf139.614 (4)213.82 (4)312.729 (4)2411.02 (4)237.998 (4)1066.48 (4)58.3464 (4)156.08 (4)
gen-hyper-tw-GenHyperTW_dubois21.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_dubois23.wcnf2550.83 (2)2497.2 (2)982.679 (2)1112.5 (2)2402.68 (2)3600.0 (-)1002.83 (2)3600.0 (-)
gen-hyper-tw-GenHyperTW_dubois24.wcnf3600.0 (-)3600.0 (-)2169.57 (2)3600.0 (-)3600.0 (-)1835.23 (2)822.834 (2)3600.0 (-)
gen-hyper-tw-GenHyperTW_dubois25.wcnf2749.29 (2)2744.47 (2)2750.54 (2)3600.0 (-)3600.0 (-)1603.1 (2)1737.42 (2)3600.0 (-)
gen-hyper-tw-GenHyperTW_dubois27.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_dubois29.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_dubois30.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_flat30-1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_flat30-99.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_hole6.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_hole8.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_par8-2-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_par8-3-c.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-5-c.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_pret60_60.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_s27.wcnf0.18167 (2)0.174404 (2)0.031257 (2)0.0984611 (2)0.163895 (2)0.173936 (2)0.0800589 (2)0.0158771 (2)
gen-hyper-tw-GenHyperTW_uf20-050.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 (-)
hs-timetabling-SouthAfricaWoodlands2009.xml.wcnf15.281 (0)15.4465 (0)448.204 (0)8.86667 (0)282.791 (0)55.9924 (0)41.7653 (0)176.893 (0)
job-shop-ft10-808-1090.wcnf89.0108 (122)89.9226 (122)89.5247 (122)60.8915 (122)71.8895 (122)96.1961 (122)135.163 (122)32.7739 (122)
job-shop-la04-567-0696.wcnf4.74189 (23)4.75316 (23)1.99564 (23)2.93816 (23)7.35856 (23)7.7335 (23)4.60538 (23)0.77754 (23)
job-shop-orb08-894-1058.wcnf25.8378 (5)26.0174 (5)16.532 (5)17.8749 (5)16.7577 (5)29.1905 (5)23.7247 (5)12.794 (5)
kbtree-kbtree9_7_3_5_60_2.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)175.254 (59)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_60_6.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)85.2618 (57)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_70_2.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)58.8622 (72)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_70_3.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)57.904 (74)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_70_4.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)66.6055 (73)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_80_1.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)30.087 (96)3600.0 (-)3600.0 (-)2112.1 (96)3600.0 (-)
kbtree-kbtree9_7_3_5_80_4.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)26.9737 (100)2968.74 (100)3600.0 (-)2399.27 (100)3600.0 (-)
kbtree-kbtree9_7_3_5_80_5.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)43.8568 (104)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_90_2.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)17.4034 (125)3600.0 (-)3600.0 (-)1077.0 (125)3600.0 (-)
kbtree-kbtree9_7_3_5_90_6.wcsp.wcnf3600.0 (-)3600.0 (-)3600.0 (-)38.0691 (128)3451.62 (128)3600.0 (-)1171.9 (128)3600.0 (-)
maxclique-MANN_a45.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)719.224 (690)3600.0 (-)12.8182 (690)3600.0 (-)
maxclique-brock200_2.clq.wcnf12.7926 (188)9.51237 (188)47.5919 (188)73.0136 (188)20.6509 (188)1353.8 (188)196.893 (188)14.861 (188)
maxclique-brock800_2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique-c-fat500-5.clq.wcnf1.35389 (436)1.3597 (436)0.360892 (436)35.9432 (436)21.9356 (436)428.511 (436)43.2361 (436)0.510658 (436)
maxclique-hamming10-2.clq.wcnf0.991065 (512)0.987907 (512)0.0108549 (512)0.032815 (512)0.228821 (512)0.684913 (512)1.00084 (512)0.365696 (512)
maxclique-hamming8-4.clq.wcnf3.93869 (240)5.73158 (240)10.319 (240)1.68026 (240)0.380218 (240)0.78329 (240)2.2886 (240)0.279939 (240)
maxclique-johnson8-4-4.clq.wcnf0.066381 (56)0.0661009 (56)0.019824 (56)0.0224019 (56)0.00949108 (56)0.012984 (56)0.035566 (56)0.0223489 (56)
maxclique-p_hat1000-1.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique-p_hat1000-2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxclique-san400_0.7_1.clq.wcnf5.26181 (360)4.06429 (360)3600.0 (-)0.176869 (360)0.293008 (360)0.44422 (360)14.868 (360)3600.0 (-)
maxcut-MANN_a9.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-brock200_1.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-brock400_2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-brock400_4.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-hamming6-4.clq.wcnf3600.0 (-)3600.0 (-)462.426 (192)1361.05 (192)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-p_hat300-1.clq.wcnf5.99192 (49)5.76682 (49)2.33857 (49)4.21509 (49)13.0766 (49)17.4412 (49)4.07607 (49)31.3154 (49)
maxcut-p_hat500-3.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
maxcut-p_hat700-2.clq.wcnf3600.0 (-)3600.0 (-)3600.0 (-)536.483 (154)3600.0 (-)3600.0 (-)285.043 (154)3600.0 (-)
maxcut-t3pm3-5555.spn.wcnf0.07103 (17)0.0699441 (17)0.00979096 (17)0.125098 (17)0.0194821 (17)0.019077 (17)0.095064 (17)0.177896 (17)
maxcut-t6pm3-8888.spn.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill-MinFill_R0_mulsol.i.1.wcnf3600.0 (-)3600.0 (-)3600.0 (-)291.059 (142)3600.0 (-)3600.0 (-)763.383 (142)3600.0 (-)
min-fill-MinFill_R0_mulsol.i.5.wcnf290.987 (240)1233.52 (240)3600.0 (-)514.607 (240)3600.0 (-)3600.0 (-)1486.51 (240)3600.0 (-)
min-fill-MinFill_R0_myciel3.wcnf0.134493 (10)0.120763 (10)0.031515 (10)11.5672 (10)0.135214 (10)0.294498 (10)0.0874711 (10)0.344232 (10)
min-fill-MinFill_R0_myciel4.wcnf0.792441 (46)3.46372 (46)5.46358 (46)3.53655 (46)3600.0 (-)3600.0 (-)3.08989 (46)2276.62 (46)
min-fill-MinFill_R0_myciel5.wcnf3600.0 (-)3600.0 (-)3600.0 (-)238.287 (196)3600.0 (-)3600.0 (-)288.597 (196)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_R0_queen11_11.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
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_R0_queen8_12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
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_R10_anna.wcnf2.57062 (37)8.11408 (37)28.9273 (37)3.33379 (37)3600.0 (-)3600.0 (-)4.8836 (37)68.8706 (37)
min-fill-MinFill_R12_miles250.wcnf2.90107 (41)11.2276 (41)38.6239 (41)9.30867 (41)1472.47 (41)3600.0 (-)18.2043 (41)161.385 (41)
min-fill-MinFill_R1_games120.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_R3_miles750.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_add_3_carry_33.wcnf160.826 (65)3600.0 (-)3600.0 (-)59.1921 (65)1063.85 (65)3600.0 (-)10.127 (65)3600.0 (-)
optic-gen_add_4_991.wcnf7.22021 (54)2.89113 (54)436.95 (54)3.15212 (54)3600.0 (-)3600.0 (-)2.86382 (54)3600.0 (-)
optic-gen_add_4_carry_991.wcnf3600.0 (-)3600.0 (-)2123.31 (56)23.8676 (56)3600.0 (-)3600.0 (-)13.7517 (56)3600.0 (-)
optic-gen_add_5_33.wcnf4.979 (446)301.851 (446)4.74187 (446)823.11 (446)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_add_5_991.wcnf3600.0 (-)3600.0 (-)3600.0 (-)21.1949 (78)3600.0 (-)3600.0 (-)47.1644 (78)3600.0 (-)
optic-gen_add_5_carry_399.wcnf3.2408 (560)3600.0 (-)0.693599 (560)100.998 (560)3600.0 (-)3600.0 (-)17.0081 (560)3600.0 (-)
optic-gen_add_5_carry_991.wcnf3600.0 (-)3600.0 (-)3600.0 (-)66.7963 (80)3600.0 (-)3600.0 (-)235.871 (80)3600.0 (-)
optic-gen_add_6_299.wcnf7.96592 (2329)6.86861 (2329)5.68992 (2329)5.23451 (2329)3600.0 (-)3600.0 (-)11.86 (2329)3600.0 (-)
optic-gen_add_6_991.wcnf3600.0 (-)3600.0 (-)3600.0 (-)217.06 (102)3600.0 (-)3600.0 (-)1880.02 (102)3600.0 (-)
optic-gen_add_6_carry_991.wcnf3600.0 (-)3600.0 (-)3600.0 (-)1858.09 (104)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_alldiff_3_cook_991.wcnf0.574721 (17)0.433378 (17)0.145038 (17)2.13565 (17)14.887 (17)6.88165 (17)9.61395 (17)83.646 (17)
optic-gen_alldiff_4_991.wcnf6.53949 (28)11.4485 (28)0.229427 (28)2.01337 (28)12.0556 (28)31.7343 (28)21.3057 (28)3600.0 (-)
optic-gen_alldiff_ladder_5_991.wcnf5.76802 (50)5.62157 (50)1.93834 (50)5.90605 (50)7.49358 (50)7.78413 (50)905.192 (50)3600.0 (-)
optic-gen_cvc-add3-bw3_33.wcnf1.75938 (500)1.1717 (500)0.523523 (500)6.24133 (500)1.44921 (500)4.76695 (500)15.1 (500)3600.0 (-)
optic-gen_cvc-add3-carry2-gadget_33.wcnf50.7664 (51)33.9159 (51)12.6341 (51)4.55695 (51)19.9505 (51)31.1552 (51)1.59101 (51)3600.0 (-)
optic-gen_cvc-add3-carry2-gadget_399.wcnf0.767023 (51)1.78353 (51)1.98537 (51)4.50892 (51)1.88525 (51)4.56362 (51)4.36585 (51)3600.0 (-)
optic-gen_cvc-add3-carry2-gadget_9999.wcnf1.11671 (36)1.81795 (36)59.9736 (36)2.20803 (36)0.0638271 (36)0.141549 (36)2.72334 (36)2041.38 (36)
optic-gen_cvc-add3-opt-bw3_299.wcnf0.722054 (624)0.547466 (624)35.7264 (624)1.43426 (624)3600.0 (-)3600.0 (-)1.09018 (624)3600.0 (-)
optic-gen_cvc-plus_4_33.wcnf0.377431 (158)0.292364 (158)0.157452 (158)285.971 (158)0.149401 (158)0.266903 (158)368.353 (158)3600.0 (-)
optic-gen_cvc-plus_4_991.wcnf288.187 (54)27.8768 (54)10.8164 (54)2.46046 (54)3600.0 (-)3600.0 (-)2.81866 (54)3600.0 (-)
optic-gen_mult_3_5_33.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2.93573 (123)3600.0 (-)3600.0 (-)4.19018 (123)3600.0 (-)
optic-gen_mult_3_6_33.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3.63619 (144)3600.0 (-)3600.0 (-)13.2687 (144)3600.0 (-)
optic-gen_mult_3_6_399.wcnf3600.0 (-)3600.0 (-)3600.0 (-)2.34361 (144)3600.0 (-)3600.0 (-)6.18683 (144)3600.0 (-)
optic-gen_mult_3_6_991.wcnf3600.0 (-)3600.0 (-)3600.0 (-)34.9529 (47)3600.0 (-)3600.0 (-)50.4784 (47)3600.0 (-)
optic-gen_mult_3_6_9999.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_mult_4_4_991.wcnf3600.0 (-)3600.0 (-)3600.0 (-)11.8667 (85)3600.0 (-)3600.0 (-)11.7182 (85)3600.0 (-)
optic-gen_mult_4_4_9999.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3.77854 (98)3600.0 (-)3600.0 (-)6.55192 (98)3600.0 (-)
optic-gen_mult_4_5_33.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_mult_4_5_399.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_mult_4_5_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_mult_4_6_299.wcnf81.5863 (2424)35.9633 (2424)3600.0 (-)20.5168 (2424)3600.0 (-)3600.0 (-)220.297 (2424)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_6_9999.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_mult_4_7_991.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_mult_5_5_299.wcnf68.8289 (3600)59.8859 (3600)7.12416 (3600)22.5044 (3600)3600.0 (-)3600.0 (-)12.2059 (3600)3600.0 (-)
optic-gen_mult_5_5_991.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_sqrt_8_399.wcnf2669.03 (103)809.783 (103)2258.07 (103)1.06346 (103)412.817 (103)3600.0 (-)1.38319 (103)3600.0 (-)
optic-gen_square_5_299.wcnf4.09872 (184)4.14087 (184)0.393238 (184)2.11732 (184)52.4912 (184)692.133 (184)231.372 (184)3600.0 (-)
optic-gen_square_5_9999.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
protein-ins-1bpi_.2knt_.g.wcnf.t.wcnf183.841 (35)113.681 (35)337.238 (35)3600.0 (-)201.794 (35)186.693 (35)3600.0 (-)82.1478 (35)
protein-ins-1bpi_.5pti_.g.wcnf.t.wcnf54.6235 (29)52.4242 (29)261.191 (29)3600.0 (-)79.6565 (29)45.4194 (29)3600.0 (-)27.9958 (29)
protein-ins-1knt_.1bpi_.g.wcnf.t.wcnf106.224 (35)73.5765 (35)395.816 (35)3600.0 (-)295.865 (35)241.919 (35)3600.0 (-)111.271 (35)
protein-ins-1knt_.2knt_.g.wcnf.t.wcnf11.5404 (16)11.8479 (16)22.376 (16)32.3721 (16)3.73549 (16)3.94521 (16)177.348 (16)1.73155 (16)
protein-ins-1knt_.5pti_.g.wcnf.t.wcnf122.861 (29)47.2363 (29)288.191 (29)3600.0 (-)128.862 (29)83.0229 (29)3600.0 (-)57.723 (29)
protein-ins-1vii_.1cph_.g.wcnf.t.wcnf0.155602 (7)0.155455 (7)0.0900821 (7)0.42106 (7)0.0382619 (7)0.043191 (7)0.218861 (7)0.014415 (7)
protein-ins-2knt_.5pti_.g.wcnf.t.wcnf72.0738 (32)46.4849 (32)362.558 (32)3600.0 (-)102.645 (32)96.9412 (32)3600.0 (-)65.8284 (32)
protein-ins-3ebx_.1era_.g.wcnf.t.wcnf225.679 (34)162.272 (34)702.473 (34)3600.0 (-)775.375 (34)118.646 (34)3600.0 (-)112.464 (34)
protein-ins-3ebx_.6ebx_.g.wcnf.t.wcnf15.9809 (23)16.0755 (23)48.7769 (23)279.259 (23)35.515 (23)17.8489 (23)407.816 (23)9.49625 (23)
protein-ins-6ebx_.1era_.g.wcnf.t.wcnf61.2701 (30)41.0957 (30)230.358 (30)3600.0 (-)100.451 (30)78.4492 (30)3600.0 (-)34.0457 (30)
protein-ins-p1.wcnf.t.wcnf133.819 (35)72.1069 (35)353.964 (35)3600.0 (-)287.244 (35)164.192 (35)3600.0 (-)70.9787 (35)
protein-ins-sandiaprotein.g.wcnf.t.wcnf44.0074 (28)35.903 (28)208.54 (28)3600.0 (-)141.983 (28)72.6017 (28)3600.0 (-)36.455 (28)
reversi-rev44-14.wcnf0.19085 (0)0.190332 (0)0.0402461 (0)0.099286 (0)0.0985531 (0)0.143279 (0)0.101452 (0)0.071363 (0)
reversi-rev44-20.wcnf0.234536 (0)0.235838 (0)0.0635799 (0)0.145339 (0)0.163916 (0)0.142331 (0)0.156797 (0)0.0219319 (0)
reversi-rev44-22.wcnf0.252443 (0)0.249979 (0)0.05188 (0)0.132566 (0)0.141969 (0)0.146422 (0)0.168122 (0)0.0673509 (0)
reversi-rev44-4.wcnf0.102738 (14)0.0946669 (14)0.015116 (14)0.181533 (14)0.017733 (14)0.019768 (14)0.184728 (14)0.0130559 (14)
reversi-rev44-6.wcnf0.236575 (11)0.179984 (11)0.105615 (11)0.628948 (11)0.0966641 (11)0.0895411 (11)1.3373 (11)0.081612 (11)
reversi-rev44-8.wcnf0.838632 (8)0.337736 (8)0.483737 (8)1.96446 (8)0.258275 (8)0.350232 (8)3.20976 (8)0.211407 (8)
reversi-rev66-12.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-16.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-22.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-34.wcnf24.6268 (0)25.281 (0)12.8222 (0)26.8746 (0)21.532 (0)24.8724 (0)20.3195 (0)38.2293 (0)
reversi-rev66-38.wcnf12.8047 (0)12.8067 (0)10.858 (0)1.30969 (0)30.3815 (0)22.6167 (0)17.2446 (0)9.62087 (0)
reversi-rev66-44.wcnf29.753 (0)29.6852 (0)11.9917 (0)2.8434 (0)7.52625 (0)5.66943 (0)37.3414 (0)9.421 (0)
reversi-rev66-46.wcnf16.669 (0)15.7106 (0)8.56975 (0)13.0421 (0)24.2319 (0)38.9854 (0)24.6189 (0)22.8896 (0)
reversi-rev66-52.wcnf31.7297 (0)31.8198 (0)27.3794 (0)17.2504 (0)22.2836 (0)10.9485 (0)30.0314 (0)9.76968 (0)
reversi-rev66-58.wcnf9.58765 (0)9.77584 (0)10.3599 (0)4.08777 (0)20.3082 (0)42.2127 (0)34.331 (0)17.5326 (0)
reversi-rev66-60.wcnf15.5462 (0)15.4189 (0)16.558 (0)47.8658 (0)32.0955 (0)18.8182 (0)32.3525 (0)33.2381 (0)
reversi-rev66-64.wcnf10.3197 (0)10.2055 (0)2.57961 (0)9.35827 (0)21.8021 (0)10.8906 (0)22.7482 (0)18.118 (0)
scheduling-cnf_10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scheduling-cnf_10_center.wcnf3600.0 (-)3600.0 (-)221.142 (159)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2030.23 (159)
scheduling-cnf_12.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scheduling-cnf_12_center.wcnf382.794 (237)175.798 (237)45.2622 (237)2566.49 (237)262.487 (237)240.74 (237)3600.0 (-)272.101 (237)
scheduling-cnf_small.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour-SM_MAIN_MEM_buggy1.dimacs.filtered.wcnf3600.0 (-)2024.99 (390)3600.0 (-)2524.43 (390)946.61 (390)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour-b15-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf63.0514 (4)63.3046 (4)58.3868 (4)444.389 (4)4.72555 (4)45.6701 (4)3600.0 (-)3600.0 (-)
sean-safarpour-c1_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf33.0522 (4)33.3406 (4)4.34096 (4)21.0531 (4)2.95671 (4)15.8475 (4)11.7416 (4)300.48 (4)
sean-safarpour-c5_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.wcnf14.7235 (8)14.6364 (8)5.93334 (8)29.7167 (8)1.90995 (8)8.8678 (8)9.08837 (8)3600.0 (-)
sean-safarpour-divider-problem.dimacs_11.filtered.wcnf33.2571 (2)33.5608 (2)86.4541 (2)3600.0 (-)38.1306 (2)33.8452 (2)3600.0 (-)360.154 (2)
sean-safarpour-dividers10.dimacs.filtered.wcnf6.15637 (2)6.14037 (2)5.55426 (2)92.9964 (2)2.76739 (2)4.27055 (2)3337.12 (2)57.8317 (2)
sean-safarpour-dividers_multivec1.dimacs.filtered.wcnf13.201 (2)13.2685 (2)9.35914 (2)52.2662 (2)3.48588 (2)5.26821 (2)120.51 (2)101.086 (2)
sean-safarpour-i2c-problem.dimacs_25.filtered.wcnf65.5705 (2)65.6674 (2)70.1278 (2)3217.8 (2)17.3044 (2)23.8832 (2)3600.0 (-)2005.94 (2)
sean-safarpour-i2c-problem.dimacs_26.filtered.wcnf31.9198 (2)31.783 (2)48.3686 (2)113.348 (2)29.4061 (2)30.7748 (2)3600.0 (-)315.158 (2)
sean-safarpour-mrisc_mem2wire-problem.dimacs_29.filtered.wcnf62.4094 (1)61.6321 (1)48.6797 (1)78.635 (1)7.48737 (1)18.3122 (1)1238.55 (1)521.808 (1)
sean-safarpour-rsdecoder-problem.dimacs_31.filtered.wcnf116.953 (1)117.46 (1)286.675 (1)3600.0 (-)375.844 (1)338.118 (1)3600.0 (-)3600.0 (-)
sean-safarpour-rsdecoder-problem.dimacs_39.filtered.wcnf83.715 (1)83.9872 (1)178.051 (1)91.9578 (1)62.1346 (1)83.4522 (1)3600.0 (-)3600.0 (-)
sean-safarpour-rsdecoder-problem.dimacs_41.filtered.wcnf2408.04 (2)2478.48 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour-rsdecoder5.dimacs.filtered.wcnf75.9712 (2)76.0797 (2)136.032 (2)3600.0 (-)317.295 (2)200.603 (2)3600.0 (-)2406.34 (2)
sean-safarpour-rsdecoder_fsm2.dimacs.filtered.wcnf39.6467 (2)39.8456 (2)66.5733 (2)3600.0 (-)11.1616 (2)51.3635 (2)3600.0 (-)1909.45 (2)
sean-safarpour-rsdecoder_multivec1-problem.dimacs_33.filtered.wcnf127.548 (4)126.737 (4)252.078 (4)3600.0 (-)79.8772 (4)420.221 (4)3600.0 (-)3600.0 (-)
sean-safarpour-rsdecoder_multivec1.dimacs.filtered.wcnf49.1895 (4)49.4253 (4)228.277 (4)3600.0 (-)23.216 (4)289.613 (4)3600.0 (-)1744.4 (4)
sean-safarpour-wb-problem.dimacs_46.filtered.wcnf389.381 (476)392.097 (476)219.77 (476)83.0697 (476)54.2109 (476)539.859 (476)28.7079 (476)3600.0 (-)
sean-safarpour-wb1.dimacs.filtered.wcnf30.1031 (218)29.6583 (218)6.94902 (218)69.987 (218)2.88201 (218)25.7559 (218)5.95972 (218)3600.0 (-)
sean-safarpour-wb2.dimacs.filtered.wcnf78.4863 (588)78.4339 (588)48.3073 (588)100.259 (588)50.465 (588)171.366 (588)1139.3 (588)3600.0 (-)
sean-safarpour-wb_4m8s-problem.dimacs_48.filtered.wcnf374.025 (8)375.213 (8)122.86 (8)97.5509 (8)21.7793 (8)137.525 (8)1172.95 (8)3600.0 (-)
sean-safarpour-wb_4m8s-problem.dimacs_49.filtered.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sean-safarpour-wb_4m8s3.dimacs.filtered.wcnf65.9826 (8)66.2431 (8)15.5661 (8)24.5358 (8)4.02667 (8)20.349 (8)77.513 (8)3600.0 (-)
sean-safarpour-wb_4m8s4.dimacs.filtered.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 (-)24.0201 (25)3600.0 (-)3600.0 (-)47.965 (25)3600.0 (-)
set-covering-scpclr11_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3595.59 (23)3600.0 (-)3600.0 (-)3004.27 (23)3600.0 (-)
set-covering-scpclr12_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-scpcyc06_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-scpcyc08_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-scpcyc11_maxsat.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
tpr-multiple-path-b18-s_PathRelaxation_Set_FS_1.wcnf23.7431 (148)14.8559 (148)5.76935 (148)32.8013 (148)24.3346 (148)25.2217 (148)24.0618 (148)6.78381 (148)
tpr-multiple-path-b18-s_PathRelaxation_Set_FS_4.wcnf227.306 (145)214.133 (145)143.421 (145)249.02 (145)224.483 (145)430.074 (145)310.843 (145)137.943 (145)
tpr-multiple-path-b20-s_PathRelaxation_Set_FS_1.wcnf4.06014 (84)2.44374 (84)0.69009 (84)12.3972 (84)2.54813 (84)2.64588 (84)21.1377 (84)5.30202 (84)
tpr-multiple-path-b20-s_PathRelaxation_Set_FS_11.wcnf4.94085 (83)3.27774 (83)1.93417 (83)14.4473 (83)11.3466 (83)16.5325 (83)29.7827 (83)8.56354 (83)
tpr-multiple-path-b20-s_PathRelaxation_Set_FS_5.wcnf4.59912 (83)3.18379 (83)1.51624 (83)20.0401 (83)5.49991 (83)5.89811 (83)33.3657 (83)4.91099 (83)
tpr-multiple-path-b20-s_PathRelaxation_Set_FS_7.wcnf4.73844 (83)2.69253 (83)1.40267 (83)13.8896 (83)5.39362 (83)5.549 (83)24.4136 (83)5.46974 (83)
tpr-multiple-path-b21-s_PathRelaxation_Set_FS_10.wcnf7.30681 (88)16.3398 (88)9.36471 (88)24.8102 (88)76.5428 (88)19.9995 (88)126.527 (88)367.541 (88)
tpr-multiple-path-b21-s_PathRelaxation_Set_FS_11.wcnf6.20502 (88)17.4358 (88)6.14866 (88)27.8287 (88)56.1459 (88)292.274 (88)108.609 (88)338.074 (88)
tpr-multiple-path-b21-s_PathRelaxation_Set_FS_12.wcnf6.26868 (88)68.0576 (88)9.791 (88)32.2681 (88)350.698 (88)407.265 (88)177.855 (88)346.965 (88)
tpr-multiple-path-b21-s_PathRelaxation_Set_FS_5.wcnf8.92957 (89)21.167 (89)8.31787 (89)43.926 (89)154.475 (89)127.049 (89)132.928 (89)512.541 (89)
treewidth-computation-TWComp_1c75_N69.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation-TWComp_1dp_N76.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation-TWComp_1en2_N69.wcnf542.981 (16)541.76 (16)308.733 (16)3600.0 (-)656.253 (16)406.748 (16)533.559 (16)180.866 (16)
treewidth-computation-TWComp_alarm_N37.wcnf1.15983 (4)1.17499 (4)0.252074 (4)0.721254 (4)18.6182 (4)18.4783 (4)0.693618 (4)0.0487131 (4)
treewidth-computation-TWComp_barle_N48.wcnf4.2382 (7)4.27441 (7)1.99483 (7)3.72035 (7)62.513 (7)61.7321 (7)4.59761 (7)2.24827 (7)
treewidth-computation-TWComp_barley2_N48.wcnf4.16368 (7)4.10915 (7)2.01378 (7)4.30784 (7)75.5633 (7)77.5245 (7)4.3285 (7)2.06044 (7)
treewidth-computation-TWComp_celar09pp_N67.wcnf6.88041 (7)6.80737 (7)2.00189 (7)4.8821 (7)17.3365 (7)17.4168 (7)4.9646 (7)0.318936 (7)
treewidth-computation-TWComp_david-pp_N29.wcnf4.12873 (13)4.0784 (13)1.05186 (13)0.961899 (13)6.44085 (13)6.73641 (13)1.88769 (13)1.16826 (13)
treewidth-computation-TWComp_eil51.tsp_N51.wcnf1941.27 (8)1935.53 (8)2681.37 (8)1272.54 (8)3600.0 (-)3099.24 (8)877.255 (8)315.624 (8)
treewidth-computation-TWComp_hailfinder_N56.wcnf3.99711 (4)4.0115 (4)1.07391 (4)2.78253 (4)17.2053 (4)17.3529 (4)2.93937 (4)0.254677 (4)
treewidth-computation-TWComp_huck_N74.wcnf10.1889 (10)9.77575 (10)3.45024 (10)7.56709 (10)17.7577 (10)17.7301 (10)6.63467 (10)0.733108 (10)
treewidth-computation-TWComp_jean_N77.wcnf10.6876 (9)10.7171 (9)4.04229 (9)8.74473 (9)0.904597 (9)1.00765 (9)7.24335 (9)0.806678 (9)
treewidth-computation-TWComp_mildew_35.wcnf1.01595 (4)1.02596 (4)0.209067 (4)0.603932 (4)11.2471 (4)11.0677 (4)0.659475 (4)0.0776021 (4)
treewidth-computation-TWComp_mulsol.i.5-pp_N119.wcnf3172.76 (31)3183.9 (31)1398.32 (31)3600.0 (-)3600.0 (-)186.911 (31)3237.37 (31)161.418 (31)
treewidth-computation-TWComp_myciel4_N23.wcnf12.1573 (10)12.1083 (10)9.80768 (10)11.6059 (10)15.5189 (10)14.591 (10)11.3691 (10)8.58174 (10)
treewidth-computation-TWComp_oesoca+_N67.wcnf110.462 (11)109.737 (11)84.6841 (11)188.164 (11)127.363 (11)99.5977 (11)198.5 (11)105.432 (11)
treewidth-computation-TWComp_oesoca_N39.wcnf1.36711 (3)1.37144 (3)0.310346 (3)0.862677 (3)23.811 (3)23.4316 (3)0.823828 (3)0.0676151 (3)
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_queen6_6_N36.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation-TWComp_ship-ship-pp_N30.wcnf51.5344 (8)57.1603 (8)34.837 (8)114.182 (8)59.4135 (8)48.359 (8)98.2222 (8)32.3232 (8)
uaq-uaq-nr-nr110-nc36-n3-k2-rpp4-ppr2-plb50.wcnf2.65368 (45)3.71428 (45)4.61809 (45)1864.59 (45)3.60468 (45)4.72297 (45)1.99761 (45)5.68284 (45)
uaq-uaq-nr-nr130-nc43-n3-k2-rpp4-ppr2-plb50.wcnf1.36132 (43)1.62337 (43)5.31549 (43)24.0709 (43)2.68197 (43)2.18243 (43)0.913777 (43)11.8865 (43)
uaq-uaq-nr-nr140-nc46-n3-k2-rpp4-ppr2-plb50.wcnf23.9922 (50)27.8522 (50)627.471 (50)292.658 (50)119.563 (50)167.184 (50)1.31959 (50)337.8 (50)
uaq-uaq-nr-nr150-nc50-n3-k2-rpp4-ppr2-plb50.wcnf37.4153 (53)36.1605 (53)181.227 (53)3600.0 (-)104.42 (53)429.315 (53)2.11636 (53)607.89 (53)
uaq-uaq-nr-nr160-nc53-n3-k2-rpp4-ppr2-plb50.wcnf10.1077 (52)16.4469 (52)69.9985 (52)76.2636 (52)30.0475 (52)63.762 (52)1.47673 (52)2916.74 (52)
uaq-uaq-nr-nr210-nc70-n3-k2-rpp4-ppr2-plb50.wcnf9.20968 (59)11.0161 (59)46.7103 (59)53.2491 (59)389.463 (59)2692.53 (59)0.872028 (59)1409.15 (59)
uaq-uaq-nr-nr230-nc76-n3-k2-rpp4-ppr2-plb50.wcnf2.84456 (58)3.54442 (58)19.8008 (58)3.84959 (58)418.173 (58)1212.88 (58)0.899008 (58)3600.0 (-)
uaq-uaq-nr-nr240-nc80-n3-k2-rpp4-ppr2-plb50.wcnf6.96662 (63)16.2397 (63)63.6395 (63)75.9004 (63)2633.83 (63)3600.0 (-)1.08944 (63)3600.0 (-)
uaq-uaq-nr-nr250-nc83-n3-k2-rpp4-ppr2-plb50.wcnf1.16275 (58)1.38057 (58)4.68503 (58)3.39749 (58)395.174 (58)1713.92 (58)0.791467 (58)3600.0 (-)
uaq-uaq-nr-nr260-nc86-n3-k2-rpp4-ppr2-plb50.wcnf25.8725 (66)18.2087 (66)76.3081 (66)35.857 (66)3600.0 (-)3600.0 (-)0.847554 (66)3600.0 (-)
uaq-uaq-nr-nr270-nc90-n3-k2-rpp4-ppr2-plb50.wcnf1.28194 (56)2.82849 (56)5.90114 (56)9.74431 (56)218.161 (56)535.215 (56)0.397281 (56)3600.0 (-)
uaq-uaq-nr-nr290-nc96-n3-k2-rpp4-ppr2-plb50.wcnf0.393113 (61)0.770049 (61)0.588601 (61)1.04912 (61)268.442 (61)883.955 (61)0.185227 (61)3600.0 (-)
uaq-uaq-nr-nr370-nc123-n3-k2-rpp4-ppr2-plb50.wcnf0.128856 (61)0.122085 (61)0.0135701 (61)0.041942 (61)0.050392 (61)0.0969001 (61)0.105046 (61)2.50039 (61)
uaq-uaq-nr-nr440-nc146-n3-k2-rpp4-ppr2-plb50.wcnf0.124815 (61)0.183477 (61)0.00972896 (61)0.024526 (61)0.016234 (61)0.035653 (61)0.075333 (61)0.171387 (61)
uaq-uaq-nr-nr470-nc156-n3-k2-rpp4-ppr2-plb50.wcnf0.125349 (71)0.125957 (71)0.00901897 (71)0.025116 (71)0.012549 (71)0.0261329 (71)0.0582079 (71)0.0160599 (71)
uaq-uaq-nr-nr480-nc160-n3-k2-rpp4-ppr2-plb50.wcnf0.126447 (61)0.127521 (61)0.009163 (61)0.024172 (61)0.012639 (61)0.025639 (61)0.0596909 (61)0.0294739 (61)
uaq-uaq-nr-nr500-nc166-n3-k2-rpp4-ppr2-plb50.wcnf0.130025 (63)0.130071 (63)0.00927902 (63)0.0243361 (63)0.013203 (63)0.0274051 (63)0.058563 (63)0.024595 (63)
uaq-uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb100.wcnf10.9738 (75)30.8621 (75)106.773 (75)3600.0 (-)162.654 (75)247.711 (75)3600.0 (-)193.204 (75)
uaq-uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb130.wcnf2.97972 (73)4.52795 (73)8.95142 (73)244.698 (73)9.12116 (73)7.67119 (73)3600.0 (-)49.4395 (73)
uaq-uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb60.wcnf14.0614 (74)36.2729 (74)91.658 (74)3600.0 (-)88.5254 (74)250.311 (74)1555.83 (74)568.305 (74)
uaq-uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb70.wcnf36.6833 (81)95.754 (81)357.216 (81)3600.0 (-)737.889 (81)3600.0 (-)3600.0 (-)2524.87 (81)
uaq-uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb80.wcnf16.789 (92)57.1238 (92)81.2039 (92)3600.0 (-)109.216 (92)265.134 (92)3600.0 (-)296.565 (92)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr14-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.wcnf1669.31 (66)2973.21 (66)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr7-plb100.wcnf1097.13 (71)1631.21 (71)3600.0 (-)3600.0 (-)2956.34 (71)3600.0 (-)3600.0 (-)3317.69 (71)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr8-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 (-)
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-ppr14-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-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-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-rpp17-ppr2-plb20.wcnf59.2186 (67)68.0717 (67)154.149 (67)150.645 (67)85.6769 (67)76.9706 (67)3600.0 (-)104.145 (67)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp18-ppr2-plb20.wcnf79.2519 (67)36.728 (67)156.664 (67)187.935 (67)99.7106 (67)94.4709 (67)3600.0 (-)43.5015 (67)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp22-ppr2-plb20.wcnf19.7369 (70)14.5709 (70)103.217 (70)152.881 (70)17.35 (70)16.1496 (70)3600.0 (-)21.6557 (70)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp23-ppr2-plb20.wcnf23.2916 (72)24.7154 (72)163.732 (72)160.109 (72)18.6262 (72)19.3273 (72)3600.0 (-)34.0316 (72)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp30-ppr2-plb20.wcnf24.9104 (80)26.4613 (80)107.018 (80)181.163 (80)18.0216 (80)17.1154 (80)3600.0 (-)19.7077 (80)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp6-ppr2-plb20.wcnf3.04281 (44)5.78464 (44)13.2597 (44)4.26089 (44)4.97529 (44)11.1865 (44)2.19593 (44)12.325 (44)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp7-ppr2-plb20.wcnf2.48038 (44)4.96772 (44)16.187 (44)6.28631 (44)5.66755 (44)6.37994 (44)4.62894 (44)8.32747 (44)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp8-ppr2-plb20.wcnf10.286 (49)10.0223 (49)42.7946 (49)27.7656 (49)23.2061 (49)28.0434 (49)16.0756 (49)14.5209 (49)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp9-ppr2-plb20.wcnf17.605 (50)19.0064 (50)60.428 (50)34.4169 (50)38.6859 (50)36.7927 (50)3600.0 (-)19.201 (50)
vpa-UAutomizer_AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c_Abstraction1.wcnf0.621527 (948)0.619758 (948)0.0140821 (948)0.047478 (948)0.0196629 (948)0.019722 (948)0.123436 (948)0.179627 (948)
vpa-UAutomizer_AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c_Abstraction2.wcnf0.532545 (888)0.539716 (888)0.0113009 (888)0.041294 (888)0.0166509 (888)0.0166311 (888)0.101549 (888)0.146637 (888)
vpa-UAutomizer_AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c_Abstraction1.wcnf0.0989519 (201)0.099245 (201)0.00753505 (201)0.00897012 (201)0.00919399 (201)0.00926906 (201)0.018146 (201)3600.0 (-)
vpa-UAutomizer_AlternKonv_false-termination_true-no-overflow.c_Abstraction1.wcnf1.39356 (1633)1.41053 (1633)0.0301179 (1633)0.101656 (1633)0.0475629 (1633)0.0390841 (1633)0.267764 (1633)0.290298 (1633)
vpa-UAutomizer_Binomial_true-termination_false-no-overflow.c_Abstraction2.wcnf4.77951 (3371)4.79668 (3371)0.101439 (3371)0.29942 (3371)0.109524 (3371)0.113398 (3371)0.855577 (3371)1.20258 (3371)
vpa-UAutomizer_CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i_Abstraction3.wcnf10.4481 (5277)10.4197 (5277)0.221486 (5277)0.59655 (5277)0.215718 (5277)0.218096 (5277)1.75055 (5277)3.24374 (5277)
vpa-UAutomizer_CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c_Abstraction1.wcnf0.0691499 (105)0.0690861 (105)0.0123891 (105)0.0123449 (105)0.00984999 (105)0.00967198 (105)0.012152 (105)0.0118909 (105)
vpa-UAutomizer_CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c_Abstraction1.wcnf0.254206 (492)0.253941 (492)0.00682696 (492)0.0207739 (492)0.00885001 (492)0.00949989 (492)0.0590319 (492)0.0529181 (492)
vpa-UAutomizer_Fibonacci01_true-termination_true-no-overflow.c_Abstraction1.wcnf1.52862 (1638)1.51228 (1638)0.0386899 (1638)0.11161 (1638)0.0542521 (1638)0.0590159 (1638)0.349532 (1638)0.600929 (1638)
vpa-UAutomizer_LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c_Abstraction2.wcnf2.81804 (2405)2.78772 (2405)0.063719 (2405)0.185868 (2405)0.0732 (2405)0.073889 (2405)0.527406 (2405)0.695896 (2405)
vpa-UAutomizer_LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c_Abstraction1.wcnf0.297643 (557)0.299836 (557)0.00704905 (557)0.0234351 (557)0.010355 (557)0.0103141 (557)0.0668171 (557)0.0591019 (557)
vpa-UAutomizer_LexIndexValue-Pointer_true-termination_true-valid-memsafety.c_Abstraction1.wcnf1.66706 (1757)1.6683 (1757)0.040943 (1757)0.118161 (1757)0.049113 (1757)0.050769 (1757)0.332242 (1757)0.345188 (1757)
vpa-UAutomizer_LogAG_true-termination_true-no-overflow.c_Abstraction2.wcnf0.0725221 (118)0.0728369 (118)0.00843994 (118)0.00869311 (118)0.00924706 (118)0.0256659 (118)0.00902705 (118)3600.0 (-)
vpa-UAutomizer_McCarthy91_Iteration_true-termination_true-valid-memsafety.c_Abstraction1.wcnf0.107401 (222)0.10668 (222)0.00810692 (222)0.00825893 (222)0.00812411 (222)0.011106 (222)0.017029 (222)0.0113399 (222)
vpa-UAutomizer_NO_01_false-termination_true-no-overflow.c_Abstraction1.wcnf0.0592091 (54)0.058817 (54)0.0109149 (54)0.0086601 (54)0.0104369 (54)0.012492 (54)0.00738506 (54)0.00813493 (54)
vpa-UAutomizer_NarrowKonv_false-termination_true-no-overflow.c_Abstraction2.wcnf0.50597 (843)0.505892 (843)0.0108569 (843)0.0392661 (843)0.015914 (843)0.016238 (843)0.0990049 (843)0.119197 (843)
vpa-UAutomizer_NestedRecursion_1c_true-termination_true-valid-memsafety.c_Abstraction1.wcnf0.580754 (909)0.574826 (909)0.012933 (909)0.044461 (909)0.018583 (909)0.0194891 (909)0.117108 (909)0.127207 (909)
vpa-UAutomizer_NestedRecursion_2b_false-termination_true-valid-memsafety.c_Abstraction2.wcnf10.1704 (5018)10.1437 (5018)0.289264 (5018)0.571546 (5018)0.231738 (5018)0.23917 (5018)1.6306 (5018)2.86662 (5018)
vpa-UAutomizer_Nested_true-termination_true-no-overflow.c_Abstraction2.wcnf0.186588 (379)0.18441 (379)0.00688889 (379)0.0144971 (379)0.011435 (379)0.00785611 (379)0.041702 (379)0.037506 (379)
vpa-UAutomizer_PastaA10_true-termination_true-no-overflow.c_Abstraction1.wcnf0.068864 (105)0.0690759 (105)0.0106329 (105)0.0119461 (105)0.010343 (105)0.0124069 (105)0.011243 (105)0.0087709 (105)
vpa-UAutomizer_PastaB15_true-termination_true-no-overflow.c_Abstraction3.wcnf0.106619 (211)0.106391 (211)0.011535 (211)0.00937396 (211)0.0113711 (211)0.00889593 (211)0.02251 (211)0.00962696 (211)
vpa-UAutomizer_PodelskiRybalchenko-LICS2004-Fig1_true-termination_false-no-overflow.c_Abstraction2.wcnf0.092899 (184)0.0927191 (184)0.00976003 (184)0.00901606 (184)0.01009 (184)0.00844009 (184)0.013909 (184)0.0127591 (184)
vpa-UAutomizer_a.10_true-termination.c_Abstraction1.wcnf0.069018 (105)0.0685591 (105)0.0484869 (105)0.0134731 (105)0.011591 (105)0.0119201 (105)0.00903297 (105)0.008384 (105)
vpa-UAutomizer_array01-alloca_true-termination.c.i_Abstraction2.wcnf0.53735 (888)0.534052 (888)0.0115879 (888)0.0413689 (888)0.016699 (888)0.0166441 (888)0.102014 (888)0.120757 (888)
vpa-UAutomizer_array12_alloca_true-termination.c.i_Abstraction1.wcnf0.371462 (696)0.376866 (696)0.00753499 (696)0.0288831 (696)0.012116 (696)0.011673 (696)0.071904 (696)0.0970921 (696)
vpa-UAutomizer_array16_alloca_fixed_true-termination.c.i_Abstraction1.wcnf0.536091 (883)0.539527 (883)0.011631 (883)0.041429 (883)0.0165761 (883)0.017049 (883)0.107526 (883)0.14315 (883)
vpa-UAutomizer_c.03-alloca_true-termination_true-no-overflow.c.i_Abstraction3.wcnf8.13427 (4588)8.15519 (4588)0.17396 (4588)0.464919 (4588)0.176085 (4588)0.177534 (4588)1.36623 (4588)2.132 (4588)
vpa-UAutomizer_c.08_true-termination_true-no-overflow.c_Abstraction2.wcnf0.0921809 (184)0.092863 (184)0.0100731 (184)0.007683 (184)0.00811996 (184)0.00868502 (184)0.0143949 (184)0.00956906 (184)
vpa-UAutomizer_cstrncpy_malloc_true-termination.c.i_Abstraction2.wcnf1.25054 (1508)1.23759 (1508)0.027625 (1508)0.0902471 (1508)0.035478 (1508)0.0354891 (1508)0.23634 (1508)0.236765 (1508)
vpa-UAutomizer_cstrpbrk_diffterm_alloca_true-termination.c.i_Abstraction4.wcnf1.93473 (2008)1.93916 (2008)0.0390089 (2008)0.133455 (2008)0.0509079 (2008)0.051564 (2008)0.358824 (2008)3600.0 (-)
vpa-UAutomizer_eureka_05_true-unreach-call_true-termination.i_Abstraction1.wcnf0.344289 (659)0.348803 (659)0.00699608 (659)0.027028 (659)0.010841 (659)0.010675 (659)0.0645949 (659)0.083854 (659)
vpa-UAutomizer_fragtest_simple_true-unreach-call_true-termination.i_Abstraction1.wcnf0.279674 (550)0.277078 (550)0.00754701 (550)0.0216329 (550)0.00881689 (550)0.00882109 (550)0.0519901 (550)0.0533149 (550)
vpa-UAutomizer_invert_string_false-unreach-call_true-termination.i_Abstraction1.wcnf0.848613 (1190)0.901148 (1190)0.0200139 (1190)0.0638219 (1190)0.0268711 (1190)0.0263429 (1190)0.165861 (1190)0.214414 (1190)
vpa-UAutomizer_java_BubbleSort-alloca_true-termination.c.i_Abstraction3.wcnf2.15264 (2121)2.14952 (2121)0.0450839 (2121)0.147704 (2121)0.0579559 (2121)0.056908 (2121)0.394669 (2121)0.447644 (2121)
vpa-UAutomizer_java_Sequence-alloca_true-termination.c.i_Abstraction1.wcnf2.14864 (2115)2.15937 (2115)0.0465569 (2115)0.147842 (2115)0.057423 (2115)0.058111 (2115)0.404144 (2115)0.441568 (2115)
vpa-UAutomizer_ll_append-alloca_false-termination.c.i_Abstraction1.wcnf7.09547 (4166)7.07404 (4166)0.166979 (4166)0.415768 (4166)0.158748 (4166)0.1648 (4166)1.20384 (4166)1.30666 (4166)
vpa-UAutomizer_openbsd_cstrspn-alloca_true-termination.c.i_Abstraction2.wcnf0.376133 (697)0.374466 (697)0.0075311 (697)0.0291221 (697)0.011742 (697)0.0116041 (697)0.0715209 (697)0.0971839 (697)
vpa-UAutomizer_rec_counter3_true-termination_true-no-overflow.c_Abstraction3.wcnf3.99813 (3001)3.98197 (3001)0.0996061 (3001)0.284719 (3001)0.112599 (3001)0.124219 (3001)0.823035 (3001)1.43048 (3001)
vpa-UAutomizer_trex01_false-unreach-call_true-termination.i_Abstraction3.wcnf1.17284 (1375)1.16245 (1375)0.0317521 (1375)0.088911 (1375)0.0572679 (1375)0.0592939 (1375)0.225096 (1375)0.248623 (1375)
vpa-UAutomizer_twisted_true-termination_true-no-overflow.c_Abstraction2.wcnf0.0780751 (136)0.076766 (136)0.0097541 (136)0.00861999 (136)0.0100411 (136)0.00958098 (136)0.00993492 (136)0.0112389 (136)
xai-mindset-appendicitis.wcnf1.05074 (56)0.825243 (56)5.06589 (56)0.120677 (56)0.54004 (56)1.13685 (56)0.641656 (56)3600.0 (-)
xai-mindset-australian.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-auto.wcnf9.55814 (114)4.81689 (114)62.5195 (114)1.18388 (114)3600.0 (-)3600.0 (-)6.93823 (114)3600.0 (-)
xai-mindset-backache.wcnf1.15897 (85)1.09021 (85)11.3304 (85)0.177169 (85)0.17049 (85)0.555771 (85)0.770897 (85)3600.0 (-)
xai-mindset-biomed.wcnf24.485 (114)2396.75 (114)3600.0 (-)389.536 (114)3600.0 (-)3600.0 (-)535.791 (114)3600.0 (-)
xai-mindset-bnn-last-layer-f10.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3295.99 (1107)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-bupa.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-cars.wcnf3.63885 (58)3.50899 (58)119.788 (58)0.579689 (58)0.511711 (58)1.62468 (58)4.5243 (58)387.567 (58)
xai-mindset-cleve.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-cleveland-nominal.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2540.47 (228)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-cleveland.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-cloud.wcnf4.72907 (254)2.15182 (254)6.78255 (254)0.22979 (254)6.12942 (254)31.1893 (254)1.47354 (254)3600.0 (-)
xai-mindset-colic.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-dermatology.wcnf91.5411 (40)70.4611 (40)50.3851 (40)3600.0 (-)170.364 (40)359.192 (40)3600.0 (-)106.786 (40)
xai-mindset-diabetes.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-ecoli.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-flags.wcnf1.0154 (8)0.644173 (8)0.385318 (8)3.91951 (8)4.26711 (8)4.74584 (8)11.4578 (8)0.177943 (8)
xai-mindset-glass.wcnf384.2 (299)84.5699 (299)64.9483 (299)1.72969 (299)3600.0 (-)3600.0 (-)6.94847 (299)3600.0 (-)
xai-mindset-glass2.wcnf1.88849 (90)1.5485 (90)20.9609 (90)0.317367 (90)0.378373 (90)1.55594 (90)1.39507 (90)3600.0 (-)
xai-mindset-haberman.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-hayes-roth.wcnf11.0992 (50)4.28546 (50)5.3596 (50)214.67 (50)2.52244 (50)3.78895 (50)195.522 (50)3.56883 (50)
xai-mindset-heart-h.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-heart-statlog.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-house-votes-84.wcnf3600.0 (-)1201.59 (74)3600.0 (-)3600.0 (-)60.6503 (74)105.674 (74)3600.0 (-)109.585 (74)
xai-mindset-hungarian.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-liver-disorder.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-lupus.wcnf0.926459 (111)0.799994 (111)1.26126 (111)2.59074 (111)1.91545 (111)3.84539 (111)6.29154 (111)728.106 (111)
xai-mindset-lymphography.wcnf643.433 (52)481.352 (52)758.861 (52)3600.0 (-)378.441 (52)664.863 (52)3600.0 (-)169.083 (52)
xai-mindset-molecular-biology_promoters.wcnf0.508503 (92)0.512594 (92)1.54726 (92)0.0692879 (92)0.047143 (92)0.103132 (92)0.276046 (92)0.042607 (92)
xai-mindset-mux6.wcnf0.088427 (24)0.0884049 (24)0.0112989 (24)0.026355 (24)0.033499 (24)0.0387539 (24)0.0266529 (24)0.0099489 (24)
xai-mindset-new-thyroid.wcnf4.79676 (126)7.54841 (126)33.0846 (126)41.2961 (126)1869.75 (126)3600.0 (-)42.425 (126)3600.0 (-)
xai-mindset-postoperative-patient-data.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)836.551 (62)1892.0 (62)3600.0 (-)1262.57 (62)
xai-mindset-promoters.wcnf0.511122 (92)0.507387 (92)1.54703 (92)0.0692871 (92)0.0467291 (92)0.10232 (92)0.2744 (92)0.0431701 (92)
xai-mindset-schizo.wcnf10.3394 (86)9.00997 (86)3.87499 (86)1.31739 (86)0.821968 (86)1.42186 (86)21.3 (86)3600.0 (-)
xai-mindset-shuttleM.wcnf2334.11 (127)3600.0 (-)3600.0 (-)3563.09 (127)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-soybean.wcnf3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-tae.wcnf10.6158 (196)284.276 (196)453.752 (196)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset-titanic.wcnf0.0634271 (7)0.0614751 (7)0.012248 (7)0.00931888 (7)0.0160939 (7)0.0133819 (7)0.0297281 (7)0.00884193 (7)
xai-mindset-uci_mammo_data.wcnf573.661 (58)790.112 (58)1764.11 (58)3600.0 (-)165.872 (58)268.877 (58)3600.0 (-)123.063 (58)
xai-mindset-zoo.wcnf0.138537 (20)0.121088 (20)0.018209 (20)0.102114 (20)0.0510241 (20)0.106541 (20)0.185829 (20)0.040516 (20)