BenchmarkEvalMaxSAT-SCIPMaxCDCL-S6-HS9MaxCDCL-S6-HS12CASHWMAXSAT-CorePlusWMaxCDCL-S6-HS12WMaxCDCL-S9-HS9CASHWMAXSAT-CorePlus-mEvalMaxSATCGSS2-SCIPMaxCDCLWMaxCDCLCGSS2Open-WBO-RESOpen-WBO-OLL
CircuitDebuggingProblems-ac97_ctrl-debug.dimacs.wcnf.xz9.74 (1)0.34 (1)0.36 (1)0.39 (1)0.36 (1)0.34 (1)1404.47 (1)9.76 (1)0.51 (1)0.48 (1)0.79 (1)0.54 (1)0.22 (1)0.15 (1)
CircuitDebuggingProblems-divider-debug.dimacs.wcnf.xz90.09 (1)1.2 (1)1.22 (1)1.43 (1)1.23 (1)1.22 (1)1.42 (1)91.33 (1)11.06 (1)1.9 (1)92.16 (1)11.21 (1)0.74 (1)0.43 (1)
CircuitDebuggingProblems-mem_ctrl-debug.dimacs.wcnf.xz55.23 (1)1.02 (1)0.99 (1)1.17 (1)1.0 (1)1.02 (1)1.19 (1)53.74 (1)3.43 (1)1.7 (1)83.66 (1)3.37 (1)0.65 (1)0.4 (1)
CircuitDebuggingProblems-mrisc-debug.dimacs.wcnf.xz99.57 (1)5.42 (1)5.38 (1)4.08 (1)5.36 (1)5.31 (1)4.02 (1)102.42 (1)466.43 (1)3.57 (1)918.68 (1)475.29 (1)1.63 (1)1.63 (1)
CircuitDebuggingProblems-rsdecoder-debug.dimacs.wcnf.xz274.72 (1)14.43 (1)14.43 (1)8.52 (1)14.26 (1)14.25 (1)8.52 (1)125.57 (1)3600.0 (-)294.16 (1)40.95 (1)3600.0 (-)1.64 (1)1.65 (1)
CircuitDebuggingProblems-spi-debug.dimacs.wcnf.xz100.01 (1)7.43 (1)7.46 (1)12.64 (1)7.41 (1)7.51 (1)12.4 (1)101.86 (1)3600.0 (-)44.14 (1)26.73 (1)3600.0 (-)3.48 (1)3.48 (1)
CircuitDebuggingProblems-sudoku-debug.dimacs.wcnf.xz94.96 (1)5.87 (1)5.86 (1)3.67 (1)5.86 (1)5.91 (1)3.68 (1)96.8 (1)848.62 (1)3.54 (1)53.13 (1)808.57 (1)1.26 (1)1.26 (1)
CircuitDebuggingProblems-vga-debug.dimacs.wcnf.xz64.76 (1)1.38 (1)1.38 (1)1.61 (1)1.38 (1)1.41 (1)1.6 (1)63.97 (1)33.3 (1)2.23 (1)3600.0 (-)32.45 (1)0.89 (1)0.55 (1)
CircuitDebuggingProblems-wb-debug.dimacs.wcnf.xz699.3 (28)2.35 (28)2.39 (28)6.66 (28)2.39 (28)2.35 (28)6.66 (28)741.9 (28)52.1 (28)210.96 (28)164.39 (28)51.76 (28)1.64 (28)1.34 (28)
CircuitTraceCompaction-ctrl.wcnf.xz40.38 (15)6.24 (15)6.27 (15)57.6 (15)6.26 (15)6.24 (15)57.59 (15)5.52 (15)43.04 (15)0.07 (15)0.24 (15)0.18 (15)0.29 (15)0.27 (15)
CircuitTraceCompaction-mrisc_mem2wire.wcnf.xz27.02 (5)11.12 (5)11.13 (5)10.11 (5)11.33 (5)11.16 (5)10.04 (5)26.67 (5)39.64 (5)15.48 (5)26.33 (5)39.63 (5)143.83 (5)110.11 (5)
CircuitTraceCompaction-spi.wcnf.xz29.61 (46)601.63 (46)601.62 (46)1.67 (46)601.61 (46)901.62 (46)1.67 (46)28.96 (46)6.23 (46)4.97 (46)7.51 (46)6.38 (46)7.04 (46)5.09 (46)
CircuitTraceCompaction-sudoku.wcnf.xz52.31 (13)605.47 (13)605.42 (13)2.66 (13)605.44 (13)905.36 (13)2.68 (13)53.31 (13)10.85 (13)2.08 (13)3.13 (13)11.13 (13)9.56 (13)9.59 (13)
ConsistentQueryAnswering-real-2.wcnf.xz0.41 (368)1.3 (368)1.33 (368)1.05 (368)1.3 (368)1.29 (368)1.03 (368)0.42 (368)0.5 (368)0.65 (368)0.63 (368)0.5 (368)1.73 (368)0.55 (368)
ConsistentQueryAnswering-real-5.wcnf.xz2.62 (31589)1.57 (31589)1.55 (31589)1.31 (31589)1.56 (31589)1.54 (31589)1.3 (31589)2.62 (31589)0.65 (31589)0.8 (31589)0.78 (31589)0.67 (31589)3.91 (31589)152.11 (31589)
ConsistentQueryAnswering-synthetic-10.wcnf.xz0.96 (14623)0.09 (14623)0.07 (14623)0.27 (14623)0.07 (14623)0.1 (14623)0.27 (14623)0.59 (14623)0.08 (14623)0.07 (14623)0.04 (14623)0.08 (14623)0.07 (14623)54.07 (14623)
ConsistentQueryAnswering-synthetic-12.wcnf.xz1.53 (17989)0.13 (17989)0.13 (17989)0.4 (17989)0.11 (17989)0.11 (17989)0.38 (17989)0.98 (17989)0.11 (17989)0.09 (17989)0.08 (17989)0.1 (17989)0.09 (17989)59.91 (17989)
ConsistentQueryAnswering-synthetic-13.wcnf.xz0.27 (5583)0.05 (5583)0.06 (5583)0.16 (5583)0.06 (5583)0.05 (5583)0.14 (5583)0.09 (5583)0.05 (5583)0.04 (5583)0.03 (5583)0.04 (5583)0.04 (5583)14.7 (5583)
ConsistentQueryAnswering-synthetic-14.wcnf.xz0.25 (5728)0.06 (5728)0.05 (5728)0.13 (5728)0.06 (5728)0.06 (5728)0.15 (5728)0.08 (5728)0.24 (5728)0.03 (5728)0.03 (5728)0.05 (5728)0.03 (5728)14.82 (5728)
ConsistentQueryAnswering-synthetic-15.wcnf.xz0.08 (2055)0.02 (2055)0.04 (2055)0.06 (2055)0.04 (2055)0.02 (2055)0.07 (2055)0.03 (2055)0.06 (2055)0.02 (2055)0.02 (2055)0.03 (2055)0.02 (2055)1.97 (2055)
ConsistentQueryAnswering-synthetic-18.wcnf.xz0.85 (14663)0.07 (14663)0.07 (14663)0.3 (14663)0.07 (14663)0.07 (14663)0.27 (14663)0.48 (14663)0.08 (14663)0.06 (14663)0.06 (14663)0.07 (14663)0.08 (14663)65.11 (14663)
ConsistentQueryAnswering-synthetic-19.wcnf.xz0.94 (14619)0.07 (14619)0.07 (14619)0.27 (14619)0.07 (14619)0.09 (14619)0.27 (14619)0.61 (14619)0.08 (14619)0.06 (14619)0.06 (14619)0.08 (14619)0.07 (14619)47.58 (14619)
ConsistentQueryAnswering-synthetic-2.wcnf.xz0.56 (11345)0.06 (11345)0.05 (11345)0.15 (11345)0.05 (11345)0.07 (11345)0.18 (11345)0.36 (11345)0.06 (11345)0.05 (11345)0.05 (11345)0.06 (11345)0.05 (11345)35.97 (11345)
ConsistentQueryAnswering-synthetic-20.wcnf.xz0.26 (6720)0.05 (6720)0.07 (6720)0.13 (6720)0.07 (6720)0.06 (6720)0.13 (6720)0.1 (6720)0.22 (6720)0.02 (6720)0.04 (6720)0.07 (6720)0.13 (6720)20.61 (6720)
ConsistentQueryAnswering-synthetic-21.wcnf.xz1.6 (21342)0.12 (21342)0.12 (21342)0.38 (21342)0.14 (21342)0.12 (21342)0.41 (21342)1.21 (21342)0.33 (21342)0.09 (21342)0.09 (21342)0.31 (21342)1.12 (21342)107.5 (21342)
ConsistentQueryAnswering-synthetic-3.wcnf.xz0.13 (4311)0.05 (4311)0.05 (4311)0.1 (4311)0.04 (4311)0.04 (4311)0.1 (4311)0.07 (4311)0.12 (4311)0.03 (4311)0.03 (4311)0.04 (4311)0.04 (4311)8.29 (4311)
ConsistentQueryAnswering-synthetic-5.wcnf.xz0.1 (3174)0.04 (3174)0.03 (3174)0.07 (3174)0.04 (3174)0.03 (3174)0.07 (3174)0.05 (3174)0.09 (3174)0.02 (3174)0.03 (3174)0.03 (3174)0.03 (3174)4.32 (3174)
ConsistentQueryAnswering-synthetic-6.wcnf.xz0.13 (3196)0.04 (3196)0.05 (3196)0.09 (3196)0.04 (3196)0.04 (3196)0.09 (3196)0.05 (3196)0.15 (3196)0.01 (3196)0.01 (3196)0.02 (3196)0.02 (3196)4.97 (3196)
HaplotypeAssembly-splitedReads_0.matrix.wcnf.xz1900.28 (1500)3600.0 (-)3600.0 (-)1945.48 (1500)3600.0 (-)3600.0 (-)1545.62 (1500)1528.38 (1500)823.98 (1500)3600.0 (-)3600.0 (-)24.62 (1500)3600.0 (-)1650.17 (1500)
HaplotypeAssembly-splitedReads_137.matrix.wcnf.xz65.35 (90)40.11 (90)40.3 (90)65.02 (90)40.07 (90)39.98 (90)65.08 (90)312.41 (90)71.66 (90)50.1 (90)95.63 (90)0.5 (90)0.41 (90)0.08 (90)
HaplotypeAssembly-splitedReads_158.matrix.wcnf.xz288.36 (173)103.13 (173)103.71 (173)288.75 (173)102.79 (173)103.82 (173)287.87 (173)516.59 (173)327.99 (173)276.0 (173)462.82 (173)1.35 (173)0.37 (173)0.19 (173)
HaplotypeAssembly-splitedReads_160.matrix.wcnf.xz282.72 (186)95.92 (186)95.14 (186)280.04 (186)95.9 (186)95.07 (186)281.07 (186)541.19 (186)1.64 (186)289.1 (186)438.33 (186)1.61 (186)0.4 (186)0.24 (186)
HaplotypeAssembly-splitedReads_18.matrix.wcnf.xz93.04 (138)87.84 (138)87.3 (138)93.12 (138)87.28 (138)87.95 (138)92.63 (138)434.95 (138)107.72 (138)188.39 (138)301.54 (138)0.77 (138)0.61 (138)0.14 (138)
HaplotypeAssembly-splitedReads_414.matrix.wcnf.xz352.03 (171)188.56 (171)187.9 (171)351.49 (171)187.12 (171)187.47 (171)355.07 (171)509.32 (171)801.12 (171)187.24 (171)522.78 (171)1.09 (171)0.7 (171)0.16 (171)
MaxSATQueriesinInterpretableClassifiers-adult_test_5_DNF_2_1.wcnf.xz0.08 (2363)0.03 (2363)0.04 (2363)0.05 (2363)0.05 (2363)0.04 (2363)0.03 (2363)0.04 (2363)0.12 (2363)0.02 (2363)0.01 (2363)0.02 (2363)0.03 (2363)2.46 (2363)
MaxSATQueriesinInterpretableClassifiers-compas_train_0_DNF_4_1.wcnf.xz888.93 (2102)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)459.14 (2102)337.02 (2102)3600.0 (-)3600.0 (-)335.71 (2102)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers-ilpd_test_5_CNF_1_1.wcnf.xz0.02 (17)0.02 (17)0.02 (17)0.02 (17)0.02 (17)0.02 (17)0.02 (17)0.02 (17)0.02 (17)0.02 (17)0.02 (17)0.02 (17)0.02 (17)0.02 (17)
MaxSATQueriesinInterpretableClassifiers-ilpd_train_1_DNF_3_1.wcnf.xz518.01 (153)673.34 (153)698.34 (153)1800.44 (153)665.54 (153)992.03 (153)1400.42 (153)15.45 (153)224.98 (153)9.1 (153)19.46 (153)0.74 (153)3600.0 (-)101.56 (153)
MaxSATQueriesinInterpretableClassifiers-ilpd_train_7_CNF_1_1.wcnf.xz0.11 (151)0.08 (151)0.08 (151)0.07 (151)0.08 (151)0.08 (151)0.05 (151)1.57 (151)0.07 (151)0.03 (151)0.84 (151)0.03 (151)0.03 (151)0.01 (151)
MaxSATQueriesinInterpretableClassifiers-ionosphere_test_7_CNF_4_1.wcnf.xz0.01 (26)0.02 (26)0.02 (26)0.02 (26)0.02 (26)0.02 (26)0.02 (26)0.02 (26)0.02 (26)0.01 (26)0.02 (26)0.01 (26)0.02 (26)0.02 (26)
MaxSATQueriesinInterpretableClassifiers-iris_train_7_DNF_3_1.wcnf.xz0.33 (11)0.44 (11)0.44 (11)0.32 (11)0.44 (11)0.44 (11)0.3 (11)0.86 (11)0.44 (11)0.04 (11)0.55 (11)0.02 (11)0.02 (11)0.02 (11)
MaxSATQueriesinInterpretableClassifiers-parkinsons_test_0_DNF_4_1.wcnf.xz0.02 (12)0.02 (12)0.02 (12)0.01 (12)0.02 (12)0.02 (12)0.02 (12)0.02 (12)0.02 (12)0.02 (12)0.02 (12)0.01 (12)0.01 (12)0.0 (12)
MaxSATQueriesinInterpretableClassifiers-parkinsons_train_5_DNF_2_1.wcnf.xz137.3 (15)30.61 (15)30.5 (15)134.84 (15)30.64 (15)30.61 (15)135.52 (15)33.33 (15)91.32 (15)0.32 (15)1.26 (15)0.21 (15)1.96 (15)3.21 (15)
MaxSATQueriesinInterpretableClassifiers-twitter_train_2_CNF_4_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers-twitter_train_9_CNF_1_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers-wdbc_test_5_CNF_1_1.wcnf.xz0.01 (4)0.01 (4)0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.01 (4)0.0 (4)
MaxSATQueriesinInterpretableClassifiers-wdbc_test_5_CNF_4_1.wcnf.xz0.02 (25)0.02 (25)0.02 (25)0.02 (25)0.02 (25)0.02 (25)0.02 (25)0.02 (25)0.02 (25)0.02 (25)0.01 (25)0.01 (25)0.02 (25)0.01 (25)
MaxSATQueriesinInterpretableClassifiers-wdbc_test_6_CNF_2_1.wcnf.xz0.02 (15)0.02 (15)0.02 (15)0.02 (15)0.02 (15)0.02 (15)0.02 (15)0.02 (15)0.03 (15)0.02 (15)0.02 (15)0.01 (15)0.02 (15)0.02 (15)
MaxSATQueriesinInterpretableClassifiers-wdbc_train_9_CNF_5_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SeanSafarpour-c5_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.wcnf.xz307.37 (8)1.49 (8)1.49 (8)2.79 (8)1.5 (8)1.51 (8)2.82 (8)321.83 (8)66.36 (8)96.67 (8)28.02 (8)65.95 (8)1.08 (8)0.78 (8)
SeanSafarpour-c6_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.wcnf.xz350.17 (8)3.38 (8)3.4 (8)4.43 (8)3.37 (8)3.38 (8)4.41 (8)370.41 (8)76.27 (8)448.56 (8)42.37 (8)75.39 (8)1.47 (8)1.04 (8)
SeanSafarpour-divider-problem.dimacs_1.filtered.wcnf.xz91.3 (1)2.68 (1)2.67 (1)1.8 (1)2.69 (1)2.65 (1)1.81 (1)93.34 (1)576.42 (1)2.28 (1)86.93 (1)585.2 (1)15.92 (1)15.44 (1)
SeanSafarpour-divider-problem.dimacs_8.filtered.wcnf.xz232.53 (2)3.14 (2)3.15 (2)6.87 (2)3.14 (2)3.12 (2)6.96 (2)253.49 (2)1010.4 (2)18.22 (2)118.4 (2)1000.67 (2)25.71 (2)25.51 (2)
SeanSafarpour-dividers1.dimacs.filtered.wcnf.xz91.42 (1)0.52 (1)0.51 (1)0.39 (1)0.52 (1)0.49 (1)1401.07 (1)91.53 (1)30.35 (1)1.76 (1)22.88 (1)30.4 (1)0.5 (1)0.43 (1)
SeanSafarpour-dividers5.dimacs.filtered.wcnf.xz70.47 (1)0.5 (1)0.49 (1)0.43 (1)0.5 (1)0.49 (1)1408.96 (1)72.46 (1)34.49 (1)1.9 (1)21.78 (1)34.96 (1)2.44 (1)2.35 (1)
SeanSafarpour-fpu4-problem.dimacs_19.filtered.wcnf.xz49.53 (1)1.19 (1)1.21 (1)0.89 (1)1.22 (1)1.2 (1)0.9 (1)51.47 (1)2.88 (1)1.57 (1)54.26 (1)2.92 (1)0.79 (1)0.59 (1)
SeanSafarpour-fpu_fsm1-problem.dimacs_15.filtered.wcnf.xz85.72 (1)1.64 (1)1.62 (1)1.17 (1)1.62 (1)1.64 (1)1.18 (1)85.78 (1)23.33 (1)3.51 (1)72.22 (1)23.2 (1)1.16 (1)0.9 (1)
SeanSafarpour-i2c_master2.dimacs.filtered.wcnf.xz124.01 (1)0.51 (1)0.52 (1)0.64 (1)0.52 (1)0.54 (1)0.64 (1)126.95 (1)2290.14 (1)23.36 (1)10.25 (1)2280.06 (1)0.38 (1)0.25 (1)
SeanSafarpour-mot_comb2._red-gate-0.dimacs.seq.filtered.wcnf.xz0.65 (1)0.51 (1)0.49 (1)0.44 (1)0.49 (1)0.49 (1)0.47 (1)5.25 (1)1.23 (1)0.05 (1)0.03 (1)0.07 (1)0.02 (1)0.02 (1)
SeanSafarpour-rsdecoder-problem.dimacs_36.filtered.wcnf.xz113.67 (1)15.24 (1)14.97 (1)42.24 (1)15.16 (1)15.13 (1)42.27 (1)116.9 (1)3600.0 (-)36.61 (1)223.84 (1)3600.0 (-)7.6 (1)7.62 (1)
SeanSafarpour-rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.wcnf.xz2603.67 (2)3600.0 (-)3600.0 (-)2574.49 (2)3600.0 (-)3600.0 (-)2591.71 (2)2149.85 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SeanSafarpour-rsdecoder5.dimacs.filtered.wcnf.xz329.76 (2)20.48 (2)20.54 (2)43.71 (2)20.49 (2)20.9 (2)43.7 (2)481.22 (2)2864.58 (2)3600.0 (-)3600.0 (-)2877.41 (2)344.44 (2)345.05 (2)
SeanSafarpour-s15850-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf.xz79.27 (4)0.56 (4)0.59 (4)0.74 (4)0.57 (4)0.59 (4)39.17 (4)78.17 (4)2.5 (4)16.61 (4)4.55 (4)2.51 (4)0.33 (4)0.23 (4)
SeanSafarpour-s38584-bug-onevec-gate-0.dimacs.seq.filtered.wcnf.xz91.39 (1)3.3 (1)3.3 (1)2.05 (1)3.31 (1)3.38 (1)2.08 (1)92.99 (1)73.92 (1)2.63 (1)4.33 (1)72.28 (1)1.08 (1)0.67 (1)
aes-key-recovery-AES1-30-2.wcnf.xz501.04 (1)0.66 (1)0.64 (1)0.74 (1)0.64 (1)0.64 (1)0.74 (1)0.33 (1)0.34 (1)8.88 (1)9.45 (1)0.35 (1)14.97 (1)0.12 (1)
aes-key-recovery-AES1-40-6.wcnf.xz505.99 (1)0.62 (1)0.62 (1)1.4 (1)0.63 (1)0.63 (1)1.37 (1)5.29 (1)0.72 (1)8.41 (1)8.85 (1)0.71 (1)18.09 (1)0.12 (1)
aes-key-recovery-AES1-50-12.wcnf.xz509.65 (1)0.64 (1)0.64 (1)69.64 (1)0.64 (1)0.64 (1)70.71 (1)0.35 (1)0.36 (1)8.46 (1)8.95 (1)0.36 (1)15.83 (1)0.17 (1)
aes-key-recovery-AES1-50-13.wcnf.xz507.73 (1)0.67 (1)0.65 (1)6.13 (1)0.65 (1)0.67 (1)6.13 (1)15.28 (1)0.47 (1)8.32 (1)8.71 (1)0.47 (1)18.0 (1)0.26 (1)
aes-key-recovery-AES1-60-16.wcnf.xz506.01 (1)0.63 (1)0.63 (1)3600.0 (-)0.66 (1)0.63 (1)3600.0 (-)5.19 (1)0.38 (1)8.23 (1)8.51 (1)0.36 (1)17.39 (1)0.16 (1)
aes-key-recovery-AES1-60-19.wcnf.xz505.99 (1)0.65 (1)0.66 (1)1.43 (1)0.63 (1)0.65 (1)1.45 (1)5.19 (1)0.39 (1)8.14 (1)8.55 (1)0.38 (1)18.55 (1)0.18 (1)
aes-key-recovery-AES1-74-32.wcnf.xz635.48 (1)64.55 (1)64.63 (1)37.92 (1)64.58 (1)64.41 (1)38.88 (1)144.9 (1)56.6 (1)294.0 (1)232.06 (1)57.28 (1)211.39 (1)26.33 (1)
aes-key-recovery-AES1-76-40.wcnf.xz571.26 (1)23.25 (1)23.35 (1)21.58 (1)23.26 (1)23.57 (1)21.59 (1)114.9 (1)34.07 (1)67.12 (1)32.74 (1)34.42 (1)37.93 (1)47.78 (1)
aes-key-recovery-AES2-50-52.wcnf.xz549.13 (2)0.9 (2)0.87 (2)30.9 (2)0.87 (2)0.9 (2)30.84 (2)11.29 (2)1.14 (2)10.17 (2)9.71 (2)1.15 (2)16.28 (2)0.27 (2)
aes-key-recovery-AES2-60-56.wcnf.xz619.42 (2)1.25 (2)1.28 (2)501.02 (2)1.25 (2)1.25 (2)499.3 (2)76.72 (2)10.5 (2)36.26 (2)14.11 (2)10.44 (2)17.09 (2)0.99 (2)
aes-key-recovery-AES2-70-62.wcnf.xz856.11 (2)15.04 (2)15.06 (2)59.25 (2)15.25 (2)14.96 (2)59.12 (2)260.34 (2)61.47 (2)3600.0 (-)291.82 (2)60.88 (2)1012.06 (2)336.19 (2)
aes-key-recovery-AES2-72-68.wcnf.xz636.04 (2)1.49 (2)1.48 (2)3600.0 (-)1.48 (2)1.5 (2)3600.0 (-)131.5 (2)517.03 (2)74.66 (2)61.02 (2)512.09 (2)17.04 (2)8.79 (2)
aes-key-recovery-AES2-74-11.wcnf.xz584.74 (2)12.86 (2)12.9 (2)106.73 (2)12.84 (2)12.89 (2)107.07 (2)160.73 (2)31.59 (2)159.81 (2)200.04 (2)30.89 (2)43.23 (2)14.87 (2)
aes-key-recovery-AES2-74-72.wcnf.xz559.37 (2)2.02 (2)1.99 (2)5.9 (2)2.0 (2)2.0 (2)5.93 (2)20.37 (2)5.74 (2)15.92 (2)130.66 (2)5.74 (2)18.37 (2)8.14 (2)
aes-key-recovery-AES2-74-74.wcnf.xz666.75 (2)45.0 (2)45.59 (2)92.46 (2)45.19 (2)45.32 (2)91.8 (2)125.65 (2)27.9 (2)494.11 (2)502.88 (2)27.77 (2)174.54 (2)26.93 (2)
aes-mul_8_11.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-mul_8_13.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-mul_8_14.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-mul_8_3.wcnf.xz242.78 (36)456.93 (36)453.3 (36)238.69 (36)456.91 (36)452.61 (36)237.39 (36)3387.11 (36)3600.0 (-)3600.0 (-)1029.73 (36)3600.0 (-)3600.0 (-)3600.0 (-)
aes-mul_8_9.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aes-sbox_4.wcnf.xz0.56 (22)0.71 (22)0.72 (22)0.57 (22)0.71 (22)0.71 (22)0.55 (22)7.5 (22)0.4 (22)0.36 (22)5.96 (22)9.95 (22)0.18 (22)0.66 (22)
aes-sbox_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-atcoss_mesat_01.wcnf.xz14.95 (20)26.47 (20)26.36 (20)27.56 (20)26.86 (20)26.81 (20)27.62 (20)14.95 (20)65.6 (20)21.01 (20)31.93 (20)64.28 (20)179.78 (20)152.06 (20)
atcoss-atcoss_mesat_02.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-atcoss_mesat_06.wcnf.xz24.44 (20)40.21 (20)40.11 (20)43.15 (20)39.7 (20)39.6 (20)43.26 (20)24.42 (20)183.15 (20)42.42 (20)73.4 (20)183.89 (20)180.32 (20)177.36 (20)
atcoss-atcoss_mesat_12.wcnf.xz4.12 (12)4.75 (12)4.79 (12)4.04 (12)4.77 (12)4.75 (12)4.04 (12)4.14 (12)23.17 (12)3600.0 (-)11.42 (12)23.4 (12)26.03 (12)25.89 (12)
atcoss-atcoss_mesat_15.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-atcoss_sugar_01.wcnf.xz521.67 (20)17.77 (20)18.02 (20)17.52 (20)17.73 (20)17.93 (20)17.57 (20)11.09 (20)19.5 (20)18.68 (20)30.82 (20)19.54 (20)80.94 (20)62.08 (20)
atcoss-atcoss_sugar_05.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-atcoss_sugar_06.wcnf.xz525.2 (20)18.89 (20)19.2 (20)28.86 (20)19.14 (20)18.93 (20)28.89 (20)28.19 (20)38.88 (20)51.34 (20)57.69 (20)39.23 (20)76.38 (20)63.36 (20)
atcoss-atcoss_sugar_11.wcnf.xz517.2 (50)1.26 (50)1.23 (50)1.36 (50)1.27 (50)1.25 (50)1.35 (50)3.22 (50)5.73 (50)7.31 (50)16.76 (50)5.67 (50)14.2 (50)4.37 (50)
atcoss-atcoss_sugar_15.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
atcoss-atcoss_sugar_19.wcnf.xz81.07 (8)44.79 (8)44.38 (8)65.38 (8)44.44 (8)44.28 (8)66.37 (8)80.27 (8)403.71 (8)89.75 (8)68.01 (8)401.41 (8)62.03 (8)63.35 (8)
bcp-SU2__simp-genos.haps.98.wcnf.xz1.16 (137)0.14 (137)0.12 (137)1.24 (137)0.13 (137)0.13 (137)1.24 (137)0.03 (137)2.76 (137)0.04 (137)0.03 (137)0.03 (137)0.04 (137)0.03 (137)
bcp-SU3__simp-genos.haps.69.wcnf.xz512.52 (124)600.26 (124)600.27 (124)1800.38 (124)600.26 (124)900.27 (124)1401.67 (124)12.64 (124)800.15 (124)0.25 (124)0.61 (124)0.09 (124)0.37 (124)0.19 (124)
bcp-SU3__simp-genos.haps.9.wcnf.xz967.08 (106)3600.0 (-)1778.46 (106)79.71 (106)3600.0 (-)3600.0 (-)1477.55 (106)1451.43 (106)1217.09 (106)3600.0 (-)3600.0 (-)418.7 (106)1449.03 (106)1034.76 (106)
bcp-c1908_F116@1.wcnf.xz1.56 (3)7.92 (3)7.97 (3)1.55 (3)7.92 (3)7.92 (3)1.52 (3)5.79 (3)8.1 (3)0.09 (3)0.1 (3)0.02 (3)0.09 (3)0.02 (3)
bcp-c2670_F1@1.wcnf.xz0.01 (6)0.02 (6)0.02 (6)0.02 (6)0.02 (6)0.02 (6)0.02 (6)0.02 (6)0.02 (6)0.02 (6)0.01 (6)0.02 (6)0.01 (6)0.01 (6)
bcp-duke2_Fv10@1.wcnf.xz0.45 (12)0.34 (12)0.34 (12)0.37 (12)0.34 (12)0.34 (12)0.39 (12)0.34 (12)0.32 (12)0.04 (12)0.02 (12)0.01 (12)0.02 (12)0.01 (12)
bcp-normalized-fir08_area_delay.wcnf.xz435.65 (23)34.67 (23)35.15 (23)84.89 (23)34.56 (23)34.77 (23)85.49 (23)454.47 (23)3600.0 (-)179.77 (23)630.97 (23)3600.0 (-)107.79 (23)90.31 (23)
bcp-simp-ace_40.09.wcnf.xz0.44 (13)0.77 (13)0.78 (13)0.93 (13)0.77 (13)0.78 (13)0.96 (13)0.01 (13)0.69 (13)0.01 (13)0.02 (13)0.02 (13)0.02 (13)0.01 (13)
bcp-simp-cf_45.09.wcnf.xz503.53 (27)600.22 (27)600.22 (27)1800.15 (27)600.22 (27)900.22 (27)1400.13 (27)3.5 (27)800.07 (27)0.21 (27)0.77 (27)0.05 (27)0.23 (27)0.16 (27)
bcp-simp-ibd_30.02.wcnf.xz502.86 (32)600.21 (32)600.2 (32)1800.21 (32)600.18 (32)900.18 (32)1400.11 (32)2.43 (32)800.11 (32)0.12 (32)0.49 (32)0.07 (32)0.21 (32)0.07 (32)
bcp-simp-ibd_5.06.wcnf.xz0.02 (7)0.02 (7)0.02 (7)0.02 (7)0.02 (7)0.02 (7)0.02 (7)0.01 (7)0.02 (7)0.02 (7)0.02 (7)0.01 (7)0.02 (7)0.02 (7)
bcp-simp-nonunif-75_50.03.wcnf.xz4.86 (24)1.56 (24)1.57 (24)12.26 (24)1.56 (24)1.55 (24)12.25 (24)1.38 (24)14.48 (24)0.02 (24)0.29 (24)0.01 (24)0.06 (24)0.02 (24)
bcp-simp-nonunif-75_50.07.wcnf.xz0.6 (25)0.59 (25)0.6 (25)0.51 (25)0.59 (25)0.59 (25)0.51 (25)0.32 (25)0.42 (25)0.02 (25)0.01 (25)0.01 (25)0.04 (25)0.01 (25)
bcp-simp-unif-100_50.09.wcnf.xz1.74 (22)1.33 (22)1.33 (22)1.65 (22)1.34 (22)1.32 (22)1.65 (22)0.92 (22)1.91 (22)0.03 (22)0.23 (22)0.01 (22)0.05 (22)0.02 (22)
bcp-simp-unif-30_50r40.14.wcnf.xz2.93 (20)1.38 (20)1.39 (20)9.62 (20)1.38 (20)1.38 (20)9.65 (20)0.56 (20)15.34 (20)0.04 (20)0.04 (20)0.02 (20)0.04 (20)0.02 (20)
biorepair-Stat_vs_Exp_142_12.lp.sm-extracted.wcnf.xz21.33 (4)4.44 (4)4.46 (4)3.55 (4)4.48 (4)4.47 (4)3.52 (4)21.64 (4)6.59 (4)3.73 (4)3.71 (4)6.47 (4)8.51 (4)0.51 (4)
biorepair-Stat_vs_Exp_16_12.lp.sm-extracted.wcnf.xz26.0 (5)4.76 (5)4.75 (5)3.68 (5)4.78 (5)4.74 (5)3.71 (5)26.21 (5)7.22 (5)3.94 (5)4.77 (5)7.14 (5)8.94 (5)0.45 (5)
biorepair-Stat_vs_Exp_176_12.lp.sm-extracted.wcnf.xz16.86 (3)3.71 (3)3.7 (3)3.46 (3)3.68 (3)3.67 (3)3.46 (3)16.86 (3)6.9 (3)3.13 (3)3.36 (3)6.95 (3)8.3 (3)0.41 (3)
biorepair-Stat_vs_Exp_72_12.lp.sm-extracted.wcnf.xz28.53 (5)3.77 (5)3.79 (5)3.87 (5)3.8 (5)3.79 (5)3.9 (5)28.61 (5)8.24 (5)3.82 (5)3.98 (5)8.02 (5)8.4 (5)0.49 (5)
biorepair-heatShock_WT_145_12.lp.sm-extracted.wcnf.xz6.0 (1)3.77 (1)3.77 (1)3.29 (1)3.79 (1)3.81 (1)3.27 (1)5.98 (1)1.66 (1)3.05 (1)3.25 (1)1.6 (1)8.38 (1)0.44 (1)
biorepair-heatShock_WT_148_12.lp.sm-extracted.wcnf.xz5.98 (1)4.55 (1)4.56 (1)3.47 (1)4.6 (1)4.62 (1)3.49 (1)5.95 (1)1.88 (1)3.26 (1)3.51 (1)1.89 (1)8.45 (1)0.34 (1)
biorepair-heatShock_WT_151_12.lp.sm-extracted.wcnf.xz38.32 (7)4.04 (7)4.01 (7)4.09 (7)4.06 (7)4.02 (7)4.06 (7)39.42 (7)10.24 (7)3.83 (7)3.64 (7)10.55 (7)8.53 (7)0.68 (7)
biorepair-heatShock_WT_157_12.lp.sm-extracted.wcnf.xz16.14 (3)4.39 (3)4.35 (3)4.17 (3)4.42 (3)4.35 (3)4.17 (3)16.14 (3)6.11 (3)3.97 (3)4.19 (3)6.15 (3)8.88 (3)0.47 (3)
biorepair-heatShock_WT_165_12.lp.sm-extracted.wcnf.xz26.53 (5)4.04 (5)4.03 (5)3.87 (5)3.98 (5)4.01 (5)3.9 (5)26.67 (5)7.13 (5)3.75 (5)3.95 (5)6.97 (5)8.47 (5)0.47 (5)
biorepair-heatShock_WT_175_12.lp.sm-extracted.wcnf.xz26.52 (5)3.84 (5)3.84 (5)3.72 (5)3.81 (5)3.82 (5)3.72 (5)26.49 (5)9.51 (5)3.88 (5)3.75 (5)9.55 (5)8.37 (5)0.5 (5)
biorepair-heatShock_WT_192_12.lp.sm-extracted.wcnf.xz9.79 (1)4.31 (1)4.33 (1)3.53 (1)4.29 (1)4.3 (1)3.52 (1)9.78 (1)4.03 (1)3.2 (1)3.41 (1)4.11 (1)8.45 (1)0.35 (1)
biorepair-heatShock_WT_196_12.lp.sm-extracted.wcnf.xz23.41 (4)4.54 (4)4.58 (4)3.66 (4)4.56 (4)4.58 (4)3.66 (4)23.59 (4)8.45 (4)3.67 (4)3.96 (4)8.35 (4)9.1 (4)0.56 (4)
biorepair-heatShock_WT_28_12.lp.sm-extracted.wcnf.xz33.22 (6)4.03 (6)4.06 (6)3.93 (6)4.01 (6)4.06 (6)3.93 (6)33.09 (6)8.64 (6)3.82 (6)3.99 (6)8.82 (6)8.61 (6)0.49 (6)
biorepair-heatShock_WT_36_12.lp.sm-extracted.wcnf.xz25.7 (5)4.16 (5)4.16 (5)4.13 (5)4.14 (5)4.18 (5)4.15 (5)25.82 (5)8.82 (5)4.22 (5)4.29 (5)8.76 (5)8.71 (5)0.5 (5)
biorepair-heatShock_WT_84_12.lp.sm-extracted.wcnf.xz11.08 (2)3.94 (2)3.92 (2)3.34 (2)4.04 (2)3.92 (2)3.32 (2)11.12 (2)4.46 (2)3.24 (2)3.91 (2)4.29 (2)8.31 (2)0.39 (2)
close_solutions-SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.1.wcnf.xz183.87 (14)24.19 (14)24.39 (14)65.83 (14)24.16 (14)24.14 (14)65.91 (14)181.87 (14)28.42 (14)22.78 (14)3600.0 (-)28.06 (14)3.59 (14)3.6 (14)
close_solutions-SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_15_SAT.cnf.wcnf.9.wcnf.xz820.99 (26)1.83 (26)1.85 (26)26.03 (26)1.82 (26)1.84 (26)198.38 (26)313.09 (26)151.42 (26)6.78 (26)4.05 (26)150.03 (26)3600.0 (-)15.56 (26)
close_solutions-SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.6.wcnf.xz146.49 (1)1.0 (1)1.0 (1)15.71 (1)0.98 (1)0.98 (1)15.68 (1)0.57 (1)0.64 (1)3.12 (1)654.51 (1)0.63 (1)31.9 (1)31.8 (1)
close_solutions-SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.8.wcnf.xz136.69 (1)1.27 (1)1.26 (1)34.12 (1)1.24 (1)1.24 (1)34.19 (1)23.22 (1)1.72 (1)3.19 (1)651.57 (1)1.72 (1)36.87 (1)37.4 (1)
close_solutions-SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-27-step14.cnf.wcnf.1.wcnf.xz2.89 (1)6.95 (1)6.94 (1)33.0 (1)6.91 (1)6.94 (1)33.27 (1)2.91 (1)3.36 (1)9.77 (1)3600.0 (-)3.36 (1)69.38 (1)68.18 (1)
close_solutions-SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.7.wcnf.xz397.26 (20)8.15 (20)8.24 (20)69.23 (20)8.34 (20)8.18 (20)69.77 (20)412.7 (20)12.85 (20)19.36 (20)75.48 (20)13.08 (20)5.66 (20)1.04 (20)
close_solutions-SAT11__application__manthey__traffic__traffic_3_uc_sat.cnf.wcnf.3.wcnf.xz132.11 (7)6.04 (7)6.04 (7)59.42 (7)6.0 (7)6.07 (7)59.38 (7)131.43 (7)8.88 (7)6.19 (7)116.97 (7)8.87 (7)69.43 (7)68.37 (7)
close_solutions-SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.4.wcnf.xz1415.39 (78)23.55 (78)23.55 (78)242.2 (78)23.51 (78)24.1 (78)240.55 (78)971.12 (78)60.46 (78)55.76 (78)65.5 (78)59.35 (78)11.84 (78)11.61 (78)
close_solutions-SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.5.wcnf.xz2.1 (11)2.89 (11)2.88 (11)5.54 (11)2.89 (11)2.87 (11)5.51 (11)2.09 (11)2.79 (11)3.09 (11)3600.0 (-)2.77 (11)0.68 (11)0.69 (11)
close_solutions-SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.3.wcnf.xz177.1 (19)18.66 (19)18.31 (19)73.28 (19)18.69 (19)18.51 (19)64.01 (19)149.8 (19)16.89 (19)21.47 (19)3600.0 (-)17.04 (19)1.8 (19)1.79 (19)
close_solutions-SAT_RACE08__cnf__ibm-2004-01-k90.cnf.wcnf.10.wcnf.xz518.55 (5)0.51 (5)0.5 (5)3.31 (5)0.51 (5)0.51 (5)3.33 (5)17.58 (5)0.68 (5)0.77 (5)1.64 (5)0.68 (5)277.16 (5)37.14 (5)
close_solutions-teams16_l6a.cnf.wcnf.xz4.88 (14)2.94 (14)2.93 (14)4.59 (14)2.93 (14)3.01 (14)4.59 (14)159.4 (14)4.33 (14)0.53 (14)0.84 (14)2.02 (14)5.63 (14)1.23 (14)
close_solutions-teams16_l9a.cnf.wcnf.xz4.27 (12)3.99 (12)3.88 (12)4.43 (12)4.01 (12)4.12 (12)4.39 (12)151.79 (12)4.47 (12)0.35 (12)0.49 (12)1.13 (12)3.97 (12)0.07 (12)
close_solutions-teams20_l10a.cnf.wcnf.xz408.98 (24)395.99 (24)389.11 (24)29.66 (24)389.1 (24)391.4 (24)377.75 (24)307.67 (24)13.53 (24)19.84 (24)4.44 (24)13.53 (24)23.27 (24)10.28 (24)
close_solutions-teams20_l7a.cnf.wcnf.xz167.86 (20)240.45 (20)246.47 (20)29.42 (20)238.25 (20)238.05 (20)137.44 (20)231.58 (20)5.89 (20)8.57 (20)2.43 (20)5.89 (20)13.65 (20)8.54 (20)
decision-tree-anneal-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-australian-credit-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-breast-cancer-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-breast-cancer-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.xz1404.2 (19)1753.56 (19)2054.5 (19)569.13 (19)2197.59 (19)2285.53 (19)1961.21 (19)992.99 (19)1222.14 (19)253.75 (19)453.24 (19)1225.95 (19)773.95 (19)854.49 (19)
decision-tree-car-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-car-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-heart-cleveland-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-heart-cleveland-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-hypothyroid-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-kr-vs-kp-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-kr-vs-kp-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-lymph-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-mushroom-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.xz3232.09 (7)2934.08 (7)3228.46 (7)1936.36 (7)2847.74 (7)2841.91 (7)1936.62 (7)2491.6 (7)3600.0 (-)1424.92 (7)1215.86 (7)3600.0 (-)2429.29 (7)2326.07 (7)
decision-tree-tic-tac-toe-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen-geffe128_0.wcnf.xz513.88 (800)615.32 (800)615.39 (800)1821.78 (800)615.22 (800)915.38 (800)1421.8 (800)53.72 (800)830.21 (800)23.28 (800)8.75 (800)30.25 (800)82.25 (800)3600.0 (-)
drmx-cryptogen-geffe128_2.wcnf.xz513.2 (800)611.2 (800)611.22 (800)1813.08 (800)611.2 (800)911.21 (800)1413.08 (800)10.99 (800)837.4 (800)11.18 (800)17.38 (800)37.75 (800)24.07 (800)3600.0 (-)
drmx-cryptogen-geffe128_3.wcnf.xz506.7 (800)601.65 (800)601.65 (800)1833.66 (800)601.65 (800)901.65 (800)1433.76 (800)9.83 (800)802.6 (800)27.22 (800)42.07 (800)2.56 (800)47.21 (800)3600.0 (-)
drmx-cryptogen-geffe128_4.wcnf.xz547.19 (800)684.05 (800)683.73 (800)1833.14 (800)684.17 (800)984.19 (800)1433.21 (800)53.55 (800)835.15 (800)17.65 (800)13.59 (800)35.54 (800)54.7 (800)3600.0 (-)
drmx-cryptogen-geffe128_8.wcnf.xz517.63 (800)659.51 (800)659.75 (800)1826.74 (800)660.01 (800)960.46 (800)1426.97 (800)7.56 (800)867.72 (800)0.19 (800)20.6 (800)68.44 (800)62.71 (800)3600.0 (-)
drmx-cryptogen-threshold128_4.wcnf.xz542.62 (800)638.77 (800)638.87 (800)1861.35 (800)638.75 (800)938.63 (800)1461.54 (800)50.63 (800)945.66 (800)21.89 (800)33.76 (800)144.57 (800)140.81 (800)3600.0 (-)
drmx-cryptogen-threshold128_5.wcnf.xz508.51 (800)656.42 (800)656.11 (800)1846.04 (800)656.07 (800)956.31 (800)1446.28 (800)45.03 (800)975.17 (800)31.04 (800)67.2 (800)178.53 (800)72.57 (800)3600.0 (-)
drmx-cryptogen-threshold128_7.wcnf.xz508.37 (800)661.07 (800)660.27 (800)1816.73 (800)661.35 (800)961.17 (800)1416.84 (800)57.25 (800)1144.96 (800)31.02 (800)66.28 (800)334.31 (800)84.27 (800)3600.0 (-)
drmx-cryptogen-wolfram72_1.wcnf.xz546.88 (9288)606.92 (9288)606.89 (9288)1819.63 (9288)606.95 (9288)906.89 (9288)1402.64 (9288)13.92 (9288)3.53 (9288)3.99 (9288)4.24 (9288)3.5 (9288)14.61 (9288)3600.0 (-)
drmx-cryptogen-wolfram72_5.wcnf.xz568.18 (9288)617.25 (9288)617.29 (9288)1824.17 (9288)617.3 (9288)917.22 (9288)1416.41 (9288)19.39 (9288)1.94 (9288)3.26 (9288)9.07 (9288)1.91 (9288)15.34 (9288)3600.0 (-)
drmx-cryptogen-wolfram72_9.wcnf.xz530.6 (9288)618.43 (9288)618.37 (9288)1804.26 (9288)618.5 (9288)918.45 (9288)1403.71 (9288)16.69 (9288)5.23 (9288)2.63 (9288)5.82 (9288)5.26 (9288)13.12 (9288)3600.0 (-)
drmx-cryptogen-wolfram80_3.wcnf.xz534.63 (11440)622.21 (11440)622.19 (11440)1818.83 (11440)621.97 (11440)922.39 (11440)1460.09 (11440)40.05 (11440)10.55 (11440)9.08 (11440)8.57 (11440)10.34 (11440)17.81 (11440)3600.0 (-)
drmx-cryptogen-wolfram80_4.wcnf.xz524.97 (11440)616.43 (11440)616.19 (11440)1837.66 (11440)616.51 (11440)916.33 (11440)1430.2 (11440)16.43 (11440)18.06 (11440)11.29 (11440)12.07 (11440)18.09 (11440)47.12 (11440)3600.0 (-)
drmx-cryptogen-wolfram80_6.wcnf.xz504.03 (11440)619.77 (11440)619.97 (11440)1813.27 (11440)619.85 (11440)919.98 (11440)1446.09 (11440)19.73 (11440)8.12 (11440)6.23 (11440)18.19 (11440)8.2 (11440)29.4 (11440)3600.0 (-)
drmx-cryptogen-wolfram80_7.wcnf.xz505.05 (11440)611.49 (11440)611.42 (11440)1828.08 (11440)611.43 (11440)911.53 (11440)1429.66 (11440)5.43 (11440)2.25 (11440)2.53 (11440)6.2 (11440)2.26 (11440)26.5 (11440)3600.0 (-)
extension-enforcement-extension-enforcement_non-strict_stb_150_0.05_2_8_3.wcnf.xz3600.0 (-)587.01 (7)581.52 (7)924.66 (7)585.31 (7)586.34 (7)916.12 (7)3600.0 (-)3600.0 (-)1667.99 (7)798.54 (7)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf.xz3600.0 (-)1019.28 (7)819.82 (7)503.66 (7)801.24 (7)1118.35 (7)3600.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_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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_2_10_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1187.47 (8)778.6 (8)3600.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.wcnf.xz156.12 (6)818.57 (6)839.22 (6)188.32 (6)818.41 (6)1118.12 (6)152.24 (6)3600.0 (-)3600.0 (-)859.16 (6)981.88 (6)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_2.wcnf.xz3600.0 (-)341.84 (6)342.68 (6)310.72 (6)342.32 (6)342.36 (6)743.78 (6)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.wcnf.xz3600.0 (-)900.92 (7)1109.35 (7)961.84 (7)1338.58 (7)637.76 (7)793.11 (7)3600.0 (-)3600.0 (-)3600.0 (-)2317.38 (7)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.1_4_10_4.wcnf.xz127.41 (8)68.64 (8)67.75 (8)90.88 (8)67.94 (8)67.78 (8)125.6 (8)3600.0 (-)3600.0 (-)1051.3 (8)287.78 (8)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_100_0.05_4_20_3.wcnf.xz4.07 (15)3.61 (15)3.61 (15)4.44 (15)3.7 (15)3.66 (15)3.81 (15)71.12 (15)0.58 (15)1.72 (15)1.9 (15)0.54 (15)17.61 (15)15.53 (15)
extension-enforcement-extension-enforcement_strict_com_150_0.05_0_15_2.wcnf.xz12.44 (39)4.34 (39)4.3 (39)16.55 (39)4.36 (39)4.26 (39)16.24 (39)189.88 (39)4.38 (39)44.96 (39)1.45 (39)4.37 (39)6.64 (39)1.14 (39)
extension-enforcement-extension-enforcement_strict_com_150_0.05_3_30_2.wcnf.xz31.69 (28)4.13 (28)4.0 (28)25.29 (28)4.14 (28)4.01 (28)25.17 (28)230.43 (28)6.77 (28)17.37 (28)14.59 (28)6.68 (28)485.2 (28)636.61 (28)
extension-enforcement-extension-enforcement_strict_com_150_0.3_3_8_3.wcnf.xz16.86 (19)0.78 (19)0.79 (19)8.52 (19)0.82 (19)0.79 (19)8.45 (19)108.04 (19)0.98 (19)6.26 (19)1.4 (19)0.97 (19)400.58 (19)519.45 (19)
extension-enforcement-extension-enforcement_strict_com_200_0.05_0_40_1.wcnf.xz58.18 (26)5.58 (26)5.62 (26)24.26 (26)5.6 (26)5.51 (26)25.06 (26)159.11 (26)6.42 (26)11.52 (26)3.84 (26)6.48 (26)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_200_0.05_4_20_4.wcnf.xz35.11 (50)6.66 (50)6.64 (50)61.71 (50)6.58 (50)6.72 (50)62.01 (50)254.26 (50)5.57 (50)22.14 (50)13.79 (50)5.23 (50)3600.0 (-)3600.0 (-)
extension-enforcement-extension-enforcement_strict_com_200_0.1_0_10_1.wcnf.xz25.57 (35)2.28 (35)2.28 (35)16.08 (35)2.33 (35)2.3 (35)16.09 (35)154.78 (35)2.7 (35)25.12 (35)6.7 (35)2.63 (35)1400.05 (35)1183.04 (35)
fault-diagnosis-s01423_nan_explicit_0_0.wcnf.xz0.31 (63)0.09 (63)0.09 (63)0.22 (63)0.12 (63)0.1 (63)0.22 (63)0.1 (63)0.09 (63)0.06 (63)0.06 (63)0.11 (63)0.11 (63)0.06 (63)
fault-diagnosis-s01423_nan_explicit_4_0.wcnf.xz0.32 (56)0.08 (56)0.08 (56)0.23 (56)0.08 (56)0.11 (56)0.23 (56)0.09 (56)0.1 (56)0.06 (56)0.05 (56)0.1 (56)0.1 (56)0.05 (56)
fault-diagnosis-s01423_nan_explicit_7_0.wcnf.xz0.4 (65)0.09 (65)0.11 (65)0.28 (65)0.09 (65)0.09 (65)0.28 (65)0.09 (65)0.11 (65)0.06 (65)0.06 (65)0.11 (65)0.12 (65)0.06 (65)
fault-diagnosis-s38417_nan_explicit_28_0.wcnf.xz9.05 (63)0.58 (63)0.58 (63)0.16 (63)0.6 (63)0.58 (63)6.74 (63)0.17 (63)0.15 (63)0.16 (63)0.14 (63)0.15 (63)0.47 (63)0.1 (63)
fault-diagnosis-s38417_nan_explicit_8_0.wcnf.xz2.48 (70)0.44 (70)0.43 (70)0.32 (70)0.41 (70)0.43 (70)2.04 (70)0.29 (70)0.22 (70)0.17 (70)0.25 (70)0.22 (70)0.4 (70)0.12 (70)
fault-diagnosis-s38417_nan_explicit_9_0.wcnf.xz1.96 (67)0.19 (67)0.21 (67)0.18 (67)0.19 (67)0.19 (67)1.37 (67)0.19 (67)0.17 (67)0.14 (67)0.13 (67)0.16 (67)0.21 (67)0.1 (67)
fault-diagnosis-s38584_nan_explicit_10_0.wcnf.xz1178.84 (209)1637.62 (209)1938.13 (209)108.42 (209)3600.0 (-)3600.0 (-)104.64 (209)1263.18 (209)418.41 (209)117.53 (209)3600.0 (-)414.72 (209)3600.0 (-)3600.0 (-)
fault-diagnosis-s38584_nan_explicit_19_0.wcnf.xz728.49 (198)26.58 (198)26.56 (198)42.79 (198)27.25 (198)26.59 (198)42.24 (198)756.93 (198)44.67 (198)16.83 (198)29.28 (198)44.98 (198)118.29 (198)111.81 (198)
fault-diagnosis-s38584_nan_explicit_20_0.wcnf.xz848.45 (194)40.78 (194)40.17 (194)69.29 (194)40.28 (194)40.56 (194)69.35 (194)870.2 (194)63.52 (194)84.68 (194)562.51 (194)64.5 (194)190.03 (194)191.51 (194)
fault-diagnosis-s38584_nan_explicit_34_0.wcnf.xz541.47 (189)36.52 (189)37.41 (189)41.72 (189)36.61 (189)37.18 (189)41.46 (189)573.9 (189)19.92 (189)37.71 (189)319.54 (189)19.88 (189)81.63 (189)78.79 (189)
fault-diagnosis-s38584_nan_explicit_35_0.wcnf.xz523.26 (183)14.08 (183)14.05 (183)20.45 (183)13.96 (183)13.93 (183)20.38 (183)588.49 (183)21.92 (183)18.54 (183)135.96 (183)22.23 (183)171.74 (183)171.26 (183)
fault-diagnosis-s38584_nan_explicit_44_0.wcnf.xz499.06 (168)23.36 (168)23.33 (168)26.33 (168)23.21 (168)23.29 (168)26.31 (168)524.5 (168)18.63 (168)15.66 (168)153.57 (168)18.99 (168)20.33 (168)16.69 (168)
fault-diagnosis-s38584_nan_explicit_47_0.wcnf.xz463.87 (154)13.24 (154)13.28 (154)11.33 (154)13.46 (154)13.31 (154)11.33 (154)487.81 (154)11.45 (154)15.86 (154)37.89 (154)11.29 (154)7.97 (154)4.08 (154)
fault-diagnosis-s38584_nan_explicit_48_0.wcnf.xz492.59 (164)18.56 (164)18.51 (164)16.56 (164)18.59 (164)18.51 (164)16.56 (164)518.92 (164)17.63 (164)29.05 (164)124.86 (164)17.29 (164)16.38 (164)12.57 (164)
fault-diagnosis-s38584_nan_explicit_9_0.wcnf.xz2480.73 (208)1609.76 (208)1908.13 (208)577.65 (208)3600.0 (-)3600.0 (-)575.31 (208)2112.45 (208)1413.96 (208)397.22 (208)3600.0 (-)1420.67 (208)3600.0 (-)3600.0 (-)
frb-frb20-11-1.partial.wcnf.xz1.87 (200)2.87 (200)2.88 (200)4.71 (200)2.88 (200)2.88 (200)4.71 (200)0.01 (200)3.61 (200)0.03 (200)0.4 (200)0.91 (200)0.99 (200)41.06 (200)
frb-frb20-11-2.partial.wcnf.xz1.38 (200)1.46 (200)1.47 (200)4.4 (200)1.46 (200)1.46 (200)4.41 (200)0.03 (200)4.91 (200)0.03 (200)0.37 (200)0.05 (200)0.06 (200)86.27 (200)
frb-frb20-11-3.partial.wcnf.xz1.67 (200)5.54 (200)5.53 (200)5.28 (200)5.53 (200)5.53 (200)5.28 (200)0.02 (200)7.97 (200)0.06 (200)4.5 (200)2.11 (200)0.03 (200)597.98 (200)
frb-frb20-11-5.partial.wcnf.xz3.09 (200)5.1 (200)5.1 (200)2.53 (200)5.1 (200)5.11 (200)2.49 (200)0.04 (200)8.08 (200)0.03 (200)0.69 (200)0.04 (200)1.63 (200)1846.24 (200)
frb-frb25-13-1.partial.wcnf.xz67.24 (300)31.83 (300)31.78 (300)136.51 (300)31.61 (300)31.6 (300)136.92 (300)0.18 (300)33.11 (300)0.09 (300)3.22 (300)36.41 (300)4.96 (300)3600.0 (-)
frb-frb25-13-2.partial.wcnf.xz36.94 (300)35.84 (300)35.82 (300)58.04 (300)35.84 (300)35.98 (300)57.96 (300)0.06 (300)76.98 (300)0.08 (300)214.66 (300)38.84 (300)1.35 (300)3600.0 (-)
frb-frb25-13-5.partial.wcnf.xz54.04 (300)97.99 (300)97.78 (300)89.76 (300)97.65 (300)98.34 (300)89.64 (300)0.06 (300)62.25 (300)0.13 (300)7.36 (300)0.39 (300)0.23 (300)3600.0 (-)
frb-frb30-15-2.partial.wcnf.xz500.62 (420)362.89 (420)364.41 (420)386.57 (420)366.18 (420)364.26 (420)386.14 (420)0.16 (420)752.43 (420)1.49 (420)39.33 (420)258.09 (420)5.8 (420)3600.0 (-)
frb-frb30-15-3.partial.wcnf.xz367.88 (420)235.61 (420)235.38 (420)391.95 (420)235.05 (420)234.95 (420)396.78 (420)0.07 (420)556.6 (420)0.09 (420)6.38 (420)0.5 (420)4.72 (420)3600.0 (-)
frb-frb30-15-4.partial.wcnf.xz228.24 (420)300.16 (420)298.97 (420)550.11 (420)300.46 (420)303.53 (420)547.6 (420)0.77 (420)487.73 (420)0.49 (420)74.27 (420)57.55 (420)3600.0 (-)3600.0 (-)
frb-frb35-17-3.partial.wcnf.xz501.05 (560)603.56 (560)603.56 (560)1807.08 (560)603.54 (560)903.54 (560)1407.1 (560)3.81 (560)257.7 (560)5.68 (560)56.27 (560)1.84 (560)8.32 (560)3600.0 (-)
frb-frb35-17-4.partial.wcnf.xz500.62 (560)604.17 (560)604.18 (560)1804.94 (560)604.17 (560)904.15 (560)1404.96 (560)1.42 (560)829.07 (560)0.91 (560)1650.0 (560)29.78 (560)5.53 (560)3600.0 (-)
frb-frb35-17-5.partial.wcnf.xz505.33 (560)603.86 (560)603.88 (560)1808.48 (560)603.85 (560)903.85 (560)1408.46 (560)4.04 (560)3082.0 (560)19.82 (560)535.38 (560)2276.15 (560)21.6 (560)3600.0 (-)
frb-frb40-19-2.partial.wcnf.xz505.12 (720)603.88 (720)603.87 (720)1802.29 (720)603.88 (720)903.83 (720)1402.36 (720)14.96 (720)800.72 (720)26.13 (720)199.66 (720)0.67 (720)52.8 (720)3600.0 (-)
frb-frb40-19-3.partial.wcnf.xz715.73 (720)630.96 (720)631.02 (720)1992.42 (720)630.76 (720)930.59 (720)1593.68 (720)82.76 (720)3600.0 (-)298.7 (720)3600.0 (-)3600.0 (-)60.15 (720)3600.0 (-)
gen-hyper-tw-GenHyperTW_2bitcomp_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_adder_15.wcnf.xz30.86 (2)26.58 (2)26.36 (2)43.07 (2)26.21 (2)26.52 (2)43.65 (2)30.9 (2)99.33 (2)45.88 (2)39.3 (2)101.25 (2)36.2 (2)36.17 (2)
gen-hyper-tw-GenHyperTW_aim-50-1_6-no-3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.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.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_b01.wcnf.xz1104.1 (5)1315.69 (5)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1325.15 (5)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1569.33 (5)1760.09 (5)
gen-hyper-tw-GenHyperTW_b02.wcnf.xz502.02 (3)601.98 (3)601.95 (3)1801.01 (3)601.95 (3)901.93 (3)1401.0 (3)2.58 (3)800.74 (3)0.51 (3)2.07 (3)0.71 (3)1.39 (3)2.44 (3)
gen-hyper-tw-GenHyperTW_dubois28.wcnf.xz121.45 (2)825.84 (2)1049.33 (2)1111.34 (2)834.02 (2)1401.48 (2)1133.64 (2)319.07 (2)3600.0 (-)90.3 (2)216.31 (2)3600.0 (-)238.33 (2)240.23 (2)
gen-hyper-tw-GenHyperTW_dubois29.wcnf.xz155.53 (2)827.92 (2)1002.25 (2)1863.67 (2)993.86 (2)1414.75 (2)1870.7 (2)333.79 (2)3600.0 (-)98.02 (2)179.64 (2)3600.0 (-)422.43 (2)430.86 (2)
gen-hyper-tw-GenHyperTW_flat30-99.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_grid4d_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_grid5.wcnf.xz502.48 (3)602.84 (3)602.84 (3)1813.15 (3)602.86 (3)902.86 (3)1413.72 (3)3.47 (3)4.44 (3)16.69 (3)13.2 (3)4.4 (3)11.22 (3)5.81 (3)
gen-hyper-tw-GenHyperTW_par8-1-c.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_pret60_25.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_s208.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen-hyper-tw-GenHyperTW_uf20-01.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-contension-A-2-grd_3908_2_1.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-contension-B-3-stb_696_368.tgf.pl.wcnf.xz2132.14 (63)3600.0 (-)3600.0 (-)3104.83 (63)3600.0 (-)3600.0 (-)2704.47 (63)1178.37 (63)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-contension-C-1-grd_3018_3_7.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-forgetting-A-2-WS_300_16_70_30.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-forgetting-A-2-WS_300_16_90_30.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-forgetting-A-2-grd_3908_2_1.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-forgetting-B-2-stb_625_161.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-forgetting-B-3-WS_300_16_90_30.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-forgetting-B-3-stb_428_430.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-forgetting-B-3-stb_457_193.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-forgetting-C-1-grd_5178_1_1.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-forgetting-T-2-grd_4383_1_10.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-forgetting-T-2-stb_339_81.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-hit-A-1-grd_1790_4_8.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-hit-A-1-grd_2065_1_8.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-hit-A-2-grd_1948_5_1.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-hit-B-1-grd_3018_3_7.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-hit-B-3-stb_390_450.tgf.pl.wcnf.xz2248.79 (45)3600.0 (-)3600.0 (-)3586.64 (45)3600.0 (-)3600.0 (-)3190.86 (45)2185.08 (45)3600.0 (-)2499.57 (45)3600.0 (-)3600.0 (-)3600.0 (-)2872.7 (45)
inconsistency-measurement-im-hit-C-1-grd_3018_3_7.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-sum-A-2-grd_1948_5_1.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-sum-B-2-stb_330_291.tgf.pl.wcnf.xz2071.04 (36)3600.0 (-)3600.0 (-)2420.46 (36)3600.0 (-)3600.0 (-)2008.79 (36)1430.65 (36)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)902.2 (36)
inconsistency-measurement-im-sum-B-3-stb_327_100.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-sum-B-3-stb_339_393.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-sum-B-3-stb_696_368.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inconsistency-measurement-im-sum-C-1-grd_1222_5_4.tgf.pl.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
jobshop-ft10-808-1090.wcnf.xz59.99 (122)54.06 (122)54.22 (122)49.33 (122)55.04 (122)53.73 (122)49.18 (122)59.83 (122)27.91 (122)24.53 (122)36.81 (122)27.93 (122)218.05 (122)221.81 (122)
jobshop-la04-567-0696.wcnf.xz502.54 (23)1.94 (23)1.88 (23)1.76 (23)1.89 (23)1.89 (23)1.73 (23)2.09 (23)0.98 (23)2.83 (23)7.45 (23)0.97 (23)7.83 (23)5.84 (23)
jobshop-orb08-894-1058.wcnf.xz14.22 (5)7.73 (5)7.7 (5)8.23 (5)7.57 (5)7.61 (5)8.11 (5)14.21 (5)6.22 (5)16.46 (5)25.33 (5)6.28 (5)66.19 (5)67.67 (5)
judgment-aggregation-ja-maxham-preflib-00049-00000071.wcnf.xz2514.17 (45)2709.97 (45)3003.3 (45)953.91 (45)3328.44 (45)3335.28 (45)2347.78 (45)1821.79 (45)1718.25 (45)1100.27 (45)1269.59 (45)1729.25 (45)2569.1 (45)1519.81 (45)
judgment-aggregation-ja-maxham-preflib-00049-00000157.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2882.04 (51)2406.8 (51)3600.0 (-)3572.45 (51)3600.0 (-)
judgment-aggregation-ja-maxham-preflib-00049-00000253.wcnf.xz2095.8 (46)2216.98 (46)1681.56 (46)2899.12 (46)1623.82 (46)2862.33 (46)2496.68 (46)1441.24 (46)1533.71 (46)567.39 (46)754.02 (46)1520.94 (46)1242.66 (46)739.37 (46)
judgment-aggregation-ja-maxham-preflib-00049-00000260.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2616.44 (50)2739.16 (50)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-maxham-preflib-00049-00000293.wcnf.xz1273.08 (43)1117.37 (43)1107.79 (43)498.83 (43)1108.14 (43)1482.39 (43)1892.86 (43)689.14 (43)559.6 (43)416.71 (43)444.69 (43)576.25 (43)668.34 (43)653.31 (43)
judgment-aggregation-ja-maxham-preflib-00049-00000295.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-maxham-preflib-00049-00000316.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3402.51 (51)3600.0 (-)2392.06 (51)2707.72 (51)3600.0 (-)3358.6 (51)3600.0 (-)
judgment-aggregation-ja-maxham-preflib-00049-00000333.wcnf.xz2490.88 (51)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2047.41 (51)3600.0 (-)2601.49 (51)3382.78 (51)3600.0 (-)1532.47 (51)492.38 (51)
judgment-aggregation-ja-maxham-preflib-00049-00000338.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-maxham-preflib-00049-00000385.wcnf.xz578.15 (37)663.0 (37)660.61 (37)1850.22 (37)662.84 (37)960.84 (37)1450.52 (37)71.31 (37)871.2 (37)109.61 (37)76.52 (37)72.22 (37)62.03 (37)66.81 (37)
judgment-aggregation-ja-maxham-preflib-00049-00000390.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-maxham-preflib-00049-00000444.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2595.18 (52)3600.0 (-)
judgment-aggregation-ja-maxham-preflib-00049-00000486.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-maxham-preflib-00049-00000492.wcnf.xz721.48 (47)2641.73 (47)1538.42 (47)3600.0 (-)1335.46 (47)1655.09 (47)3600.0 (-)2716.9 (47)3480.44 (47)1057.98 (47)1099.26 (47)3470.52 (47)398.95 (47)96.21 (47)
judgment-aggregation-ja-maxham-preflib-00049-00000512.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3430.1 (54)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-maxham-preflib-00049-00000517.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-maxham-preflib-00049-00000529.wcnf.xz563.55 (34)671.56 (34)673.04 (34)1869.94 (34)670.37 (34)975.23 (34)1460.73 (34)84.8 (34)54.88 (34)83.86 (34)139.12 (34)55.59 (34)105.26 (34)85.85 (34)
judgment-aggregation-ja-maxham-preflib-00049-00000540.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2413.6 (49)2404.54 (49)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-slater-preflib-00043-00000180.wcnf.xz296.79 (306)1325.09 (306)1325.78 (306)3546.02 (306)1310.33 (306)1629.79 (306)3541.74 (306)2811.12 (306)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-slater-preflib-00049-00000135.wcnf.xz125.78 (246)123.95 (246)123.9 (246)3600.0 (-)124.09 (246)123.98 (246)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-slater-preflib-00049-00000405.wcnf.xz124.14 (278)117.66 (278)117.31 (278)3600.0 (-)117.29 (278)119.63 (278)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-slater-preflib-00049-00000451.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-slater-preflib-00049-00000468.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-slater-preflib-00051-00000008.wcnf.xz344.67 (341)878.29 (341)876.98 (341)3600.0 (-)875.23 (341)1175.33 (341)3600.0 (-)1753.37 (341)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-slater-preflib-00051-00000011.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_20_5.wcsp.wcnf.xz8.21 (1)12.07 (1)12.11 (1)9.96 (1)12.08 (1)12.1 (1)10.01 (1)8.45 (1)8.84 (1)0.02 (1)0.02 (1)0.07 (1)0.11 (1)0.04 (1)
kbtree-kbtree9_7_3_5_20_6.wcsp.wcnf.xz4.95 (1)3.53 (1)3.55 (1)6.05 (1)3.53 (1)3.53 (1)6.06 (1)42.68 (1)5.07 (1)0.04 (1)0.05 (1)0.04 (1)0.05 (1)0.02 (1)
kbtree-kbtree9_7_3_5_30_4.wcsp.wcnf.xz16.46 (6)13.91 (6)13.91 (6)14.02 (6)13.9 (6)13.88 (6)13.94 (6)142.09 (6)14.61 (6)0.26 (6)0.52 (6)0.98 (6)0.52 (6)3.09 (6)
kbtree-kbtree9_7_3_5_30_5.wcsp.wcnf.xz19.71 (6)15.58 (6)15.56 (6)14.44 (6)15.61 (6)15.54 (6)14.42 (6)158.35 (6)23.07 (6)0.23 (6)0.51 (6)0.95 (6)1.71 (6)3.48 (6)
kbtree-kbtree9_7_3_5_40_2.wcsp.wcnf.xz60.92 (26)50.78 (26)50.83 (26)49.65 (26)50.67 (26)50.53 (26)49.68 (26)1655.3 (26)61.48 (26)8.32 (26)9.28 (26)3600.0 (-)1754.08 (26)3600.0 (-)
kbtree-kbtree9_7_3_5_60_2.wcsp.wcnf.xz59.44 (59)53.83 (59)54.0 (59)59.06 (59)53.87 (59)53.85 (59)58.88 (59)3600.0 (-)61.13 (59)24.85 (59)13.29 (59)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_70_1.wcsp.wcnf.xz30.58 (74)27.54 (74)27.5 (74)30.91 (74)27.52 (74)27.52 (74)30.92 (74)3600.0 (-)25.03 (74)10.16 (74)8.54 (74)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_70_4.wcsp.wcnf.xz42.41 (73)40.39 (73)40.42 (73)41.87 (73)40.42 (73)40.39 (73)41.84 (73)3600.0 (-)39.11 (73)15.37 (73)11.42 (73)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_70_5.wcsp.wcnf.xz73.34 (72)54.39 (72)54.44 (72)38.84 (72)54.27 (72)54.35 (72)38.86 (72)965.66 (72)65.11 (72)56.31 (72)15.47 (72)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_80_1.wcsp.wcnf.xz15.05 (96)13.86 (96)13.86 (96)25.69 (96)13.88 (96)13.83 (96)25.72 (96)505.38 (96)15.47 (96)23.45 (96)8.88 (96)3600.0 (-)2232.05 (96)3600.0 (-)
kbtree-kbtree9_7_3_5_80_3.wcsp.wcnf.xz16.67 (102)17.25 (102)17.25 (102)17.01 (102)17.26 (102)17.26 (102)16.99 (102)1366.17 (102)17.49 (102)17.95 (102)19.84 (102)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_80_6.wcsp.wcnf.xz30.37 (104)29.48 (104)29.43 (104)31.42 (104)29.4 (104)29.45 (104)31.43 (104)3600.0 (-)46.79 (104)36.93 (104)31.03 (104)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_90_4.wcsp.wcnf.xz11.72 (126)9.61 (126)9.62 (126)9.8 (126)9.66 (126)9.62 (126)9.81 (126)354.17 (126)10.76 (126)13.28 (126)5.06 (126)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree-kbtree9_7_3_5_90_5.wcsp.wcnf.xz12.65 (124)12.62 (124)12.63 (124)10.77 (124)12.61 (124)12.61 (124)10.73 (124)473.08 (124)10.5 (124)27.53 (124)15.75 (124)3600.0 (-)3600.0 (-)3600.0 (-)
logic-synthesis-normalized-5xp1.b.opb.msat.wcnf.xz0.57 (12)0.54 (12)0.54 (12)0.58 (12)0.54 (12)0.54 (12)0.59 (12)20.7 (12)0.64 (12)0.52 (12)3.05 (12)0.11 (12)0.34 (12)0.62 (12)
logic-synthesis-normalized-alu4.b.opb.msat.wcnf.xz1.14 (50)1.76 (50)1.75 (50)0.98 (50)1.76 (50)1.76 (50)0.97 (50)3600.0 (-)2.18 (50)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
logic-synthesis-normalized-apex4.a.opb.msat.wcnf.xz0.27 (776)0.2 (776)0.21 (776)0.27 (776)0.21 (776)0.21 (776)0.28 (776)759.26 (776)0.29 (776)24.74 (776)10.29 (776)1.36 (776)0.25 (776)0.26 (776)
logic-synthesis-normalized-bench1.pi.opb.msat.wcnf.xz3.85 (121)3.85 (121)3.85 (121)3.9 (121)3.84 (121)3.83 (121)3.85 (121)3600.0 (-)4.86 (121)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
logic-synthesis-normalized-clip.b.opb.msat.wcnf.xz0.25 (15)0.41 (15)0.41 (15)0.19 (15)0.41 (15)0.41 (15)0.19 (15)5.69 (15)0.19 (15)0.07 (15)0.47 (15)0.02 (15)0.09 (15)0.06 (15)
logic-synthesis-normalized-count.b.opb.msat.wcnf.xz1.79 (24)0.11 (24)0.11 (24)0.56 (24)0.11 (24)0.09 (24)0.54 (24)16.0 (24)1.86 (24)0.41 (24)2.59 (24)0.05 (24)0.1 (24)0.13 (24)
logic-synthesis-normalized-e64.b.opb.msat.wcnf.xz2.34 (47)3.0 (47)2.99 (47)2.36 (47)2.99 (47)3.01 (47)2.36 (47)33.32 (47)4.32 (47)3600.0 (-)3600.0 (-)0.13 (47)0.63 (47)1.58 (47)
logic-synthesis-normalized-exam.pi.opb.msat.wcnf.xz1.68 (63)1.67 (63)1.68 (63)1.68 (63)1.68 (63)1.67 (63)1.68 (63)278.53 (63)1.69 (63)3600.0 (-)3600.0 (-)180.72 (63)3600.0 (-)3600.0 (-)
logic-synthesis-normalized-f51m.b.opb.msat.wcnf.xz0.19 (18)0.25 (18)0.24 (18)0.25 (18)0.24 (18)0.24 (18)0.24 (18)16.52 (18)0.22 (18)0.27 (18)0.68 (18)0.14 (18)0.12 (18)0.5 (18)
logic-synthesis-normalized-jac3.opb.msat.wcnf.xz0.55 (15)0.26 (15)0.26 (15)0.59 (15)0.26 (15)0.26 (15)0.58 (15)50.13 (15)0.47 (15)4.09 (15)6.44 (15)200.14 (15)188.71 (15)0.61 (15)
logic-synthesis-normalized-max1024.pi.opb.msat.wcnf.xz6.15 (259)7.54 (259)7.54 (259)4.77 (259)7.54 (259)7.54 (259)4.77 (259)131.33 (259)5.28 (259)3600.0 (-)3600.0 (-)444.29 (259)3600.0 (-)3600.0 (-)
logic-synthesis-normalized-prom2.pi.opb.msat.wcnf.xz0.69 (287)0.43 (287)0.42 (287)0.47 (287)0.42 (287)0.43 (287)0.49 (287)266.22 (287)0.57 (287)3600.0 (-)3600.0 (-)3600.0 (-)2682.76 (287)751.43 (287)
logic-synthesis-normalized-rot.b.opb.msat.wcnf.xz1.75 (115)1.8 (115)1.78 (115)2.74 (115)1.77 (115)1.78 (115)2.76 (115)184.29 (115)3.46 (115)3600.0 (-)3600.0 (-)3.51 (115)2542.59 (115)868.03 (115)
logic-synthesis-normalized-sao2.b.opb.msat.wcnf.xz0.6 (25)0.77 (25)0.76 (25)0.78 (25)0.77 (25)0.76 (25)0.8 (25)7.0 (25)0.64 (25)0.38 (25)0.75 (25)0.03 (25)56.81 (25)0.05 (25)
logic-synthesis-normalized-test4.pi.opb.msat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mbd-b14_C-mbd14-0277.wcnf.xz895.99 (24)1557.47 (24)1824.28 (24)2755.34 (24)1856.52 (24)1870.54 (24)2365.51 (24)441.8 (24)1633.08 (24)200.04 (24)530.85 (24)822.92 (24)1226.07 (24)1509.77 (24)
mbd-b15_C-mbd14-0330.wcnf.xz99.21 (20)28.66 (20)28.7 (20)79.41 (20)28.69 (20)28.77 (20)79.79 (20)99.28 (20)80.61 (20)2.4 (20)2.72 (20)0.9 (20)7.39 (20)8.05 (20)
mbd-b17_C-mbd14-0253.wcnf.xz630.85 (24)49.97 (24)50.05 (24)658.4 (24)50.34 (24)49.95 (24)659.99 (24)99.81 (24)1.29 (24)2.9 (24)0.9 (24)1.24 (24)0.4 (24)0.14 (24)
mbd-b20_C-mbd14-0213.wcnf.xz631.87 (22)518.39 (22)521.49 (22)1806.47 (22)518.99 (22)518.7 (22)1406.63 (22)141.32 (22)1.41 (22)3.68 (22)133.37 (22)1.41 (22)3.38 (22)1.32 (22)
mbd-b20_C-mbd14-0253.wcnf.xz648.85 (18)653.78 (18)782.92 (18)1803.85 (18)738.25 (18)1006.85 (18)1404.46 (18)156.83 (18)1.37 (18)24.53 (18)7.51 (18)1.35 (18)12.19 (18)11.38 (18)
mbd-b20_C-mbd14-0263.wcnf.xz740.41 (26)1328.81 (26)1331.95 (26)1824.34 (26)1856.0 (26)1842.88 (26)1424.54 (26)226.52 (26)8.2 (26)47.88 (26)179.17 (26)8.18 (26)57.15 (26)36.59 (26)
mbd-b20_C-mbd14-0309.wcnf.xz589.51 (25)355.02 (25)354.93 (25)1802.28 (25)358.03 (25)358.13 (25)1402.28 (25)147.94 (25)1.05 (25)6.03 (25)1.44 (25)1.06 (25)4.4 (25)4.05 (25)
mbd-b20_C-mbd14-0349.wcnf.xz598.61 (22)189.68 (22)189.27 (22)655.53 (22)190.41 (22)189.8 (22)657.35 (22)90.16 (22)0.64 (22)6.21 (22)1.17 (22)0.63 (22)0.86 (22)0.18 (22)
mbd-b21_C-mbd14-0227.wcnf.xz624.11 (24)242.46 (24)240.83 (24)1802.97 (24)240.25 (24)240.85 (24)1402.99 (24)110.81 (24)1.22 (24)5.92 (24)5.22 (24)1.24 (24)1.1 (24)0.23 (24)
mbd-b21_C-mbd14-0230.wcnf.xz644.45 (21)724.29 (21)817.61 (21)1804.14 (21)897.04 (21)1065.59 (21)1402.42 (21)118.56 (21)1.33 (21)3.5 (21)5.36 (21)1.3 (21)10.06 (21)9.24 (21)
mbd-b21_C-mbd14-0233.wcnf.xz721.81 (21)1528.18 (21)1892.75 (21)1884.46 (21)1864.53 (21)1849.86 (21)1541.31 (21)203.53 (21)44.7 (21)50.66 (21)50.03 (21)44.26 (21)163.03 (21)317.37 (21)
mbd-b21_C-mbd14-0298.wcnf.xz589.3 (21)255.42 (21)255.01 (21)1475.64 (21)254.6 (21)255.54 (21)1401.78 (21)76.95 (21)1.34 (21)0.91 (21)1.86 (21)1.34 (21)0.84 (21)0.1 (21)
mbd-b21_C-mbd14-0387.wcnf.xz599.68 (20)261.56 (20)262.54 (20)1804.28 (20)262.63 (20)262.97 (20)1402.48 (20)96.44 (20)0.75 (20)0.95 (20)3.49 (20)0.73 (20)1.08 (20)0.12 (20)
mbd-b21_C-mbd14-0399.wcnf.xz642.86 (23)710.78 (23)671.6 (23)1802.62 (23)909.65 (23)956.36 (23)1402.59 (23)161.72 (23)0.98 (23)27.25 (23)73.18 (23)0.99 (23)4.0 (23)1.19 (23)
mbd-b22_C-mbd14-0210.wcnf.xz638.29 (26)1376.2 (26)1803.82 (26)1806.23 (26)1805.12 (26)1804.98 (26)1406.0 (26)198.87 (26)2.73 (26)15.01 (26)27.54 (26)2.81 (26)1.06 (26)1.69 (26)
min-fill-MinFill_R0_mulsol.i.1.wcnf.xz648.6 (142)856.54 (142)904.16 (142)3600.0 (-)889.52 (142)1240.64 (142)3600.0 (-)729.07 (142)87.54 (142)3600.0 (-)3600.0 (-)84.17 (142)3600.0 (-)3600.0 (-)
min-fill-MinFill_R0_mulsol.i.2.wcnf.xz610.44 (240)1110.86 (240)1183.56 (240)178.36 (240)1089.33 (240)1353.7 (240)177.32 (240)636.8 (240)101.29 (240)3600.0 (-)3600.0 (-)102.11 (240)3600.0 (-)3600.0 (-)
min-fill-MinFill_R0_mulsol.i.3.wcnf.xz522.5 (240)1136.24 (240)1166.14 (240)259.46 (240)1274.55 (240)1358.83 (240)270.98 (240)517.85 (240)102.94 (240)3600.0 (-)3600.0 (-)103.63 (240)3600.0 (-)3600.0 (-)
min-fill-MinFill_R0_myciel3.wcnf.xz209.67 (10)600.08 (10)600.06 (10)207.71 (10)600.06 (10)900.08 (10)209.38 (10)0.16 (10)271.88 (10)0.11 (10)0.47 (10)0.05 (10)0.32 (10)0.65 (10)
min-fill-MinFill_R0_myciel5.wcnf.xz1657.1 (196)794.92 (196)784.17 (196)3600.0 (-)781.11 (196)1105.96 (196)3600.0 (-)1448.72 (196)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill-MinFill_R0_myciel7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill-MinFill_R0_queen8_12.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill-MinFill_R10_anna.wcnf.xz538.23 (37)617.81 (37)617.94 (37)1802.87 (37)617.85 (37)917.87 (37)1402.94 (37)35.24 (37)800.7 (37)486.14 (37)171.32 (37)0.69 (37)782.4 (37)2464.55 (37)
min-fill-MinFill_R12_miles250.wcnf.xz570.65 (41)608.6 (41)608.59 (41)1801.87 (41)608.6 (41)908.64 (41)1401.79 (41)83.6 (41)801.43 (41)650.75 (41)1682.37 (41)1.38 (41)427.28 (41)417.59 (41)
min-fill-MinFill_R1_games120.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill-MinFill_R3_david.wcnf.xz3600.0 (-)640.7 (61)647.96 (61)2968.55 (61)652.93 (61)957.0 (61)2549.6 (61)149.39 (61)917.38 (61)3600.0 (-)3600.0 (-)113.26 (61)3600.0 (-)3600.0 (-)
min-fill-MinFill_R3_miles1000.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill-MinFill_R3_miles750.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill-MinFill_R4_miles500.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min-fill-MinFill_R5_jean.wcnf.xz500.85 (11)600.28 (11)600.28 (11)1800.13 (11)600.27 (11)900.27 (11)1400.13 (11)0.73 (11)800.11 (11)1.11 (11)1.4 (11)0.07 (11)1.19 (11)1.58 (11)
mqc-10tree1002posib.wcnf.xz8.02 (3)7.89 (3)7.9 (3)8.11 (3)7.88 (3)7.85 (3)8.08 (3)0.1 (3)7.88 (3)0.14 (3)0.19 (3)0.05 (3)0.23 (3)0.03 (3)
mqc-10tree102p.wcnf.xz503.08 (4)600.12 (4)600.13 (4)1726.09 (4)600.12 (4)900.12 (4)1400.17 (4)3.39 (4)800.1 (4)0.2 (4)0.18 (4)0.1 (4)0.25 (4)0.06 (4)
mqc-10tree102posib.wcnf.xz39.51 (4)17.17 (4)17.12 (4)58.58 (4)17.15 (4)17.17 (4)58.32 (4)0.61 (4)48.15 (4)0.09 (4)0.28 (4)0.03 (4)0.23 (4)0.05 (4)
mqc-10tree410p.wcnf.xz532.8 (21)602.36 (21)602.31 (21)1801.96 (21)602.31 (21)902.33 (21)1401.93 (21)29.09 (21)802.4 (21)2.65 (21)4.15 (21)2.48 (21)3.14 (21)14.51 (21)
mqc-10tree430p.wcnf.xz574.47 (63)615.48 (63)615.44 (63)1803.08 (63)615.37 (63)915.59 (63)1402.77 (63)71.44 (63)803.85 (63)12.71 (63)31.03 (63)3.96 (63)45.27 (63)93.28 (63)
mqc-10tree701p.wcnf.xz502.19 (2)600.21 (2)600.25 (2)1800.19 (2)600.23 (2)900.24 (2)1400.21 (2)4.09 (2)801.69 (2)0.17 (2)0.15 (2)0.12 (2)0.47 (2)0.04 (2)
mqc-10tree705posib.wcnf.xz235.27 (10)109.21 (10)109.37 (10)279.02 (10)109.51 (10)109.02 (10)276.58 (10)7.38 (10)366.48 (10)0.23 (10)0.45 (10)0.16 (10)0.34 (10)0.54 (10)
mqc-10tree802p-nlogencdr.wcnf.xz503.87 (4)600.12 (4)600.13 (4)1244.83 (4)600.11 (4)835.12 (4)1243.36 (4)2.81 (4)800.3 (4)0.16 (4)0.14 (4)0.1 (4)0.24 (4)0.11 (4)
mqc-10tree802p.wcnf.xz504.01 (4)600.24 (4)600.26 (4)1800.26 (4)600.26 (4)900.26 (4)1400.26 (4)8.75 (4)801.19 (4)0.18 (4)0.22 (4)0.25 (4)0.5 (4)0.17 (4)
mqc-10tree802posib.wcnf.xz8.84 (4)8.08 (4)7.93 (4)8.59 (4)8.09 (4)7.87 (4)8.73 (4)0.06 (4)8.92 (4)0.16 (4)0.2 (4)0.06 (4)0.26 (4)0.06 (4)
mqc-10tree805posib.wcnf.xz319.79 (10)310.35 (10)310.73 (10)433.19 (10)311.2 (10)308.72 (10)435.93 (10)6.8 (10)394.93 (10)0.57 (10)0.76 (10)0.29 (10)0.6 (10)0.77 (10)
mqc-10tree820p.wcnf.xz543.26 (42)604.33 (42)604.37 (42)1800.99 (42)604.38 (42)904.4 (42)1400.97 (42)51.79 (42)800.94 (42)10.89 (42)12.53 (42)0.9 (42)8.72 (42)27.2 (42)
mqc-15tree201p.wcnf.xz562.1 (13)6.2 (13)6.14 (13)20.59 (13)6.22 (13)6.2 (13)1420.36 (13)67.57 (13)5.99 (13)25.36 (13)38.09 (13)5.92 (13)29.16 (13)88.59 (13)
mqc-15tree801p-nencdr.wcnf.xz575.74 (13)23.3 (13)22.93 (13)6.04 (13)22.73 (13)23.06 (13)1406.13 (13)88.57 (13)4.68 (13)26.16 (13)54.06 (13)4.65 (13)29.48 (13)115.77 (13)
mqc-15tree801p.wcnf.xz539.02 (13)601.58 (13)601.59 (13)1803.15 (13)3600.0 (-)901.57 (13)1403.14 (13)38.28 (13)2.71 (13)11.28 (13)21.11 (13)2.7 (13)4.89 (13)31.94 (13)
optic-gen_add_4_991.wcnf.xz1.41 (54)9.42 (54)9.44 (54)11.4 (54)9.45 (54)9.42 (54)11.29 (54)42.92 (54)10.35 (54)3600.0 (-)3600.0 (-)212.72 (54)3600.0 (-)20.27 (54)
optic-gen_add_5_991.wcnf.xz376.53 (78)38.79 (78)38.99 (78)447.56 (78)38.97 (78)39.27 (78)445.19 (78)3600.0 (-)30.32 (78)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_add_5_carry_299.wcnf.xz1.8 (948)0.34 (948)0.33 (948)0.57 (948)0.35 (948)0.33 (948)0.57 (948)277.9 (948)0.59 (948)3600.0 (-)3600.0 (-)0.19 (948)16.48 (948)0.27 (948)
optic-gen_alldiff_3_cook_33.wcnf.xz1.8 (22)0.48 (22)0.48 (22)1.87 (22)0.45 (22)0.47 (22)1.87 (22)9.64 (22)1.79 (22)0.44 (22)1.3 (22)0.33 (22)1.83 (22)0.19 (22)
optic-gen_alldiff_3_cook_991.wcnf.xz3.21 (17)1.66 (17)1.64 (17)3.24 (17)1.65 (17)1.64 (17)3.21 (17)12.17 (17)1.82 (17)0.98 (17)4.26 (17)0.15 (17)12.98 (17)0.04 (17)
optic-gen_alldiff_4_991.wcnf.xz1.91 (28)1.9 (28)1.94 (28)1.96 (28)1.9 (28)1.9 (28)1.97 (28)3600.0 (-)2.7 (28)2.48 (28)5.34 (28)0.16 (28)13.33 (28)1.12 (28)
optic-gen_cvc-add3-carry2-gadget_399.wcnf.xz7.03 (51)7.83 (51)7.85 (51)9.35 (51)7.85 (51)7.85 (51)9.34 (51)15.63 (51)4.12 (51)36.39 (51)1847.24 (51)0.4 (51)2.91 (51)5.24 (51)
optic-gen_cvc-add7to3_9999.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_cvc-mult4_4_9999.wcnf.xz11.56 (98)10.98 (98)10.98 (98)10.23 (98)10.98 (98)11.03 (98)10.22 (98)330.85 (98)13.49 (98)3600.0 (-)3600.0 (-)243.19 (98)3600.0 (-)3600.0 (-)
optic-gen_mult_3_5_399.wcnf.xz5.73 (124)7.1 (124)7.11 (124)6.99 (124)7.1 (124)7.09 (124)6.98 (124)493.04 (124)6.34 (124)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_mult_4_5_299.wcnf.xz2.08 (1106)0.49 (1106)0.47 (1106)0.86 (1106)0.48 (1106)0.47 (1106)0.87 (1106)538.6 (1106)0.84 (1106)185.82 (1106)3600.0 (-)0.65 (1106)0.36 (1106)2.11 (1106)
optic-gen_mult_4_5_991.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_mult_4_6_299.wcnf.xz25.62 (2424)3.47 (2424)3.44 (2424)17.56 (2424)3.44 (2424)3.45 (2424)12.12 (2424)1089.25 (2424)4.27 (2424)3600.0 (-)3600.0 (-)4.39 (2424)3600.0 (-)3600.0 (-)
optic-gen_mult_5_5_991.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optic-gen_square_5_33.wcnf.xz2.59 (135)1.61 (135)1.6 (135)2.2 (135)1.6 (135)1.59 (135)2.2 (135)154.42 (135)3.03 (135)7.04 (135)63.23 (135)0.49 (135)3600.0 (-)36.08 (135)
optimizing-BDDs-anneal-un-wcnf_incomplete_improved_1_2019_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-audiology-un-wcnf_incomplete_improved_1_2019_3.wcnf.xz694.29 (7)789.49 (7)755.35 (7)1815.3 (7)759.34 (7)1066.38 (7)1415.47 (7)143.75 (7)803.58 (7)14.23 (7)23.19 (7)3.42 (7)19.21 (7)19.2 (7)
optimizing-BDDs-audiology-un-wcnf_incomplete_improved_1_2019_4.wcnf.xz795.9 (5)1584.43 (5)1882.95 (5)102.51 (5)1898.45 (5)1898.35 (5)1498.7 (5)343.15 (5)822.43 (5)92.02 (5)101.86 (5)22.43 (5)49.51 (5)68.69 (5)
optimizing-BDDs-australian-credit-un-wcnf_incomplete_improved_1_2019_2.wcnf.xz1813.36 (87)1663.63 (87)1950.67 (87)178.49 (87)1941.06 (87)628.44 (87)1576.41 (87)1415.39 (87)356.54 (87)179.45 (87)142.67 (87)359.49 (87)197.04 (87)1217.53 (87)
optimizing-BDDs-australian-credit-un-wcnf_incomplete_improved_1_2019_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-breast-cancer-un-wcnf_incomplete_improved_1_2019_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-car-un-wcnf_incomplete_improved_1_2019_2.wcnf.xz1945.21 (250)1579.57 (250)1879.32 (250)1867.63 (250)1886.18 (250)1886.4 (250)1468.44 (250)1559.96 (250)843.72 (250)114.57 (250)86.65 (250)44.29 (250)164.25 (250)1223.12 (250)
optimizing-BDDs-car-un-wcnf_incomplete_improved_1_2019_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-heart-cleveland-un-wcnf_incomplete_improved_1_2019_9.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-hypothyroid-un-wcnf_incomplete_improved_1_2019_3.wcnf.xz2456.4 (62)3600.0 (-)3600.0 (-)3377.13 (62)3600.0 (-)3600.0 (-)3386.66 (62)2741.33 (62)3600.0 (-)3195.9 (62)3600.0 (-)3600.0 (-)3566.47 (62)3600.0 (-)
optimizing-BDDs-hypothyroid-un-wcnf_incomplete_improved_1_2019_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-hypothyroid-un-wcnf_incomplete_improved_1_2019_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-kr-vs-kp-un-wcnf_incomplete_improved_1_2019_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-kr-vs-kp-un-wcnf_incomplete_improved_1_2019_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-lymph-un-wcnf_incomplete_improved_1_2019_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-mushroom-un-wcnf_incomplete_improved_1_2019_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-mushroom-un-wcnf_incomplete_improved_1_2019_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-primary-tumor-un-wcnf_incomplete_improved_1_2019_2.wcnf.xz1169.44 (58)370.93 (58)368.53 (58)602.38 (58)370.66 (58)371.0 (58)603.28 (58)570.15 (58)811.13 (58)4.24 (58)7.38 (58)11.36 (58)6.75 (58)50.02 (58)
optimizing-BDDs-primary-tumor-un-wcnf_incomplete_improved_1_2019_9.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-soybean-un-wcnf_incomplete_improved_1_2019_6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-splice-1-un-wcnf_incomplete_improved_1_2019_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-splice-1-un-wcnf_incomplete_improved_1_2019_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-tic-tac-toe-un-wcnf_incomplete_improved_1_2019_6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-vote-un-wcnf_incomplete_improved_1_2019_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
optimizing-BDDs-vote-un-wcnf_incomplete_improved_1_2019_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
planning-bnn-cellda_x_10.wcnf.xz424.83 (9)548.09 (9)547.87 (9)582.5 (9)541.44 (9)542.57 (9)583.3 (9)394.57 (9)352.85 (9)405.44 (9)560.05 (9)353.86 (9)253.42 (9)253.2 (9)
planning-bnn-cellda_x_12.wcnf.xz1052.99 (9)2110.89 (9)2418.97 (9)1013.76 (9)2605.3 (9)836.26 (9)1011.32 (9)1051.29 (9)961.08 (9)633.04 (9)896.18 (9)975.74 (9)451.76 (9)455.61 (9)
planning-bnn-cellda_y_10.wcnf.xz803.64 (6)1164.26 (6)1157.73 (6)874.23 (6)1164.97 (6)746.65 (6)893.8 (6)908.72 (6)1470.03 (6)520.64 (6)3600.0 (-)1461.38 (6)395.01 (6)403.15 (6)
planning-bnn-cellda_y_9.wcnf.xz1159.2 (6)982.31 (6)986.1 (6)670.82 (6)980.53 (6)731.75 (6)663.59 (6)859.11 (6)804.91 (6)415.26 (6)478.62 (6)808.69 (6)398.64 (6)396.82 (6)
planning-bnn-navigation_3x3_4.wcnf.xz3600.0 (-)1.89 (4)1.86 (4)1.77 (4)1.85 (4)1.9 (4)1.78 (4)2.08 (4)0.97 (4)8.12 (4)8.59 (4)0.94 (4)3.38 (4)1.4 (4)
planning-bnn-navigation_3x3_6.wcnf.xz16.34 (4)5.24 (4)5.15 (4)3.65 (4)5.19 (4)5.26 (4)3.61 (4)16.3 (4)3.94 (4)12.33 (4)38.1 (4)3.92 (4)17.22 (4)4.47 (4)
planning-bnn-navigation_4x4_5.wcnf.xz87.31 (5)53.02 (5)52.6 (5)51.62 (5)52.39 (5)52.57 (5)51.48 (5)87.37 (5)67.88 (5)146.31 (5)131.63 (5)68.68 (5)194.55 (5)188.61 (5)
planning-bnn-navigation_4x4_7.wcnf.xz214.31 (5)100.45 (5)97.79 (5)102.91 (5)98.3 (5)100.98 (5)103.8 (5)209.97 (5)120.04 (5)249.93 (5)212.9 (5)119.5 (5)330.97 (5)333.02 (5)
planning-bnn-navigation_5x5_10.wcnf.xz836.98 (8)2393.06 (8)1731.18 (8)588.14 (8)1612.05 (8)858.24 (8)586.37 (8)970.69 (8)614.23 (8)881.1 (8)1005.58 (8)615.95 (8)1479.4 (8)1486.69 (8)
planning-bnn-navigation_5x5_8.wcnf.xz512.57 (8)484.53 (8)481.39 (8)388.16 (8)474.02 (8)474.76 (8)397.43 (8)564.6 (8)397.24 (8)640.43 (8)555.67 (8)397.97 (8)1594.86 (8)1601.86 (8)
planning-bnn-navigation_5x5_9.wcnf.xz855.29 (8)982.53 (8)987.45 (8)409.91 (8)1003.87 (8)821.86 (8)422.06 (8)799.3 (8)778.42 (8)1124.12 (8)945.7 (8)786.57 (8)1239.6 (8)1228.07 (8)
planning-bnn-sysadmin_4_3.wcnf.xz397.9 (2)126.55 (2)127.09 (2)227.58 (2)126.45 (2)127.17 (2)229.85 (2)403.87 (2)581.41 (2)277.9 (2)365.83 (2)586.71 (2)1166.18 (2)1140.93 (2)
planning-bnn-sysadmin_5_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3045.1 (3)3600.0 (-)3600.0 (-)3034.56 (3)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
planning-bnn-sysadmin_5_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
program-disambiguation-Q22_YESNO_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
program-disambiguation-Q24_YESNO_2.wcnf.xz22.83 (1)7.21 (1)7.22 (1)7.68 (1)7.19 (1)7.31 (1)7.7 (1)23.11 (1)5.51 (1)19.17 (1)30.3 (1)5.51 (1)3.84 (1)3.83 (1)
program-disambiguation-Q42_OPTIONS_1.wcnf.xz235.97 (4)172.97 (4)172.15 (4)155.02 (4)173.08 (4)171.95 (4)155.56 (4)234.99 (4)672.04 (4)134.23 (4)221.23 (4)675.44 (4)1862.01 (4)1925.19 (4)
program-disambiguation-Q45_YESNO_1.wcnf.xz373.06 (2)238.32 (2)236.58 (2)204.12 (2)237.11 (2)238.08 (2)206.48 (2)370.81 (2)1319.57 (2)334.94 (2)484.8 (2)1311.87 (2)1580.02 (2)1536.35 (2)
program-disambiguation-Q46_YESNO_2.wcnf.xz5.76 (1)4.56 (1)4.59 (1)4.63 (1)4.56 (1)4.59 (1)4.61 (1)5.77 (1)1.1 (1)10.59 (1)25.81 (1)1.11 (1)25.78 (1)26.3 (1)
program-disambiguation-Q46_YESNO_3.wcnf.xz1.09 (1)5.45 (1)5.48 (1)2.7 (1)5.45 (1)5.46 (1)2.71 (1)1.1 (1)0.56 (1)6.67 (1)14.25 (1)0.56 (1)25.21 (1)11.41 (1)
program-disambiguation-Q50_YESNO_5.wcnf.xz10.89 (1)16.16 (1)16.21 (1)13.93 (1)16.18 (1)16.25 (1)13.88 (1)11.0 (1)2.35 (1)19.74 (1)26.8 (1)2.34 (1)3.29 (1)3.26 (1)
program-disambiguation-Q55_YESNO_1.wcnf.xz1001.08 (2)1190.77 (2)1316.16 (2)2530.51 (2)1272.84 (2)1485.09 (2)2574.23 (2)974.82 (2)3600.0 (-)1117.58 (2)2098.5 (2)3600.0 (-)3600.0 (-)3600.0 (-)
program-disambiguation-Q9_YESNO_2.wcnf.xz0.78 (1)2.28 (1)2.27 (1)5.62 (1)2.27 (1)2.29 (1)5.6 (1)0.77 (1)0.54 (1)4.97 (1)9.69 (1)0.53 (1)12.26 (1)0.36 (1)
protein_ins-1bpi_.2knt_.g.wcnf.t.wcnf.xz821.87 (35)49.08 (35)49.32 (35)41.94 (35)48.98 (35)49.58 (35)42.46 (35)254.27 (35)37.29 (35)222.4 (35)188.11 (35)37.22 (35)89.33 (35)90.08 (35)
protein_ins-1bpi_.5pti_.g.wcnf.t.wcnf.xz758.73 (29)41.5 (29)41.6 (29)40.97 (29)40.93 (29)40.99 (29)41.23 (29)143.69 (29)12.21 (29)108.82 (29)149.98 (29)12.11 (29)55.09 (29)51.35 (29)
protein_ins-1knt_.1bpi_.g.wcnf.t.wcnf.xz732.45 (35)48.92 (35)49.29 (35)37.12 (35)48.98 (35)49.36 (35)37.58 (35)284.4 (35)28.33 (35)217.33 (35)176.79 (35)28.52 (35)212.73 (35)201.54 (35)
protein_ins-1knt_.2knt_.g.wcnf.t.wcnf.xz540.3 (16)7.86 (16)7.89 (16)8.13 (16)7.99 (16)7.98 (16)8.2 (16)41.98 (16)1.03 (16)20.96 (16)15.72 (16)1.02 (16)6.3 (16)6.27 (16)
protein_ins-1knt_.5pti_.g.wcnf.t.wcnf.xz761.46 (29)48.25 (29)47.83 (29)28.46 (29)47.62 (29)47.79 (29)28.26 (29)249.09 (29)26.98 (29)85.16 (29)180.1 (29)26.93 (29)102.57 (29)109.0 (29)
protein_ins-1vii_.1cph_.g.wcnf.t.wcnf.xz0.8 (7)0.25 (7)0.25 (7)0.74 (7)0.25 (7)0.25 (7)0.74 (7)0.31 (7)1.55 (7)0.08 (7)0.52 (7)0.03 (7)0.03 (7)0.05 (7)
protein_ins-2knt_.5pti_.g.wcnf.t.wcnf.xz673.76 (32)26.84 (32)26.82 (32)33.25 (32)27.04 (32)27.03 (32)33.18 (32)215.92 (32)25.53 (32)103.86 (32)80.46 (32)25.64 (32)71.3 (32)71.57 (32)
protein_ins-3ebx_.1era_.g.wcnf.t.wcnf.xz893.07 (34)57.93 (34)58.57 (34)69.19 (34)58.5 (34)58.52 (34)68.92 (34)296.14 (34)69.08 (34)274.44 (34)210.55 (34)69.27 (34)198.0 (34)187.1 (34)
protein_ins-3ebx_.6ebx_.g.wcnf.t.wcnf.xz667.76 (23)9.94 (23)9.85 (23)9.06 (23)9.96 (23)9.94 (23)9.09 (23)83.17 (23)5.07 (23)41.89 (23)46.24 (23)5.08 (23)23.24 (23)23.05 (23)
protein_ins-6ebx_.1era_.g.wcnf.t.wcnf.xz619.32 (30)17.11 (30)16.93 (30)36.41 (30)17.08 (30)17.0 (30)36.41 (30)135.47 (30)24.36 (30)64.09 (30)67.75 (30)24.54 (30)96.46 (30)97.36 (30)
protein_ins-p1.wcnf.t.wcnf.xz749.65 (35)78.79 (35)78.77 (35)49.65 (35)78.82 (35)78.49 (35)49.65 (35)222.25 (35)52.79 (35)224.92 (35)140.66 (35)53.05 (35)333.62 (35)349.66 (35)
protein_ins-sandiaprotein.g.wcnf.t.wcnf.xz739.13 (28)28.94 (28)28.86 (28)33.3 (28)28.96 (28)28.76 (28)33.5 (28)175.12 (28)17.33 (28)77.62 (28)159.25 (28)17.36 (28)68.8 (28)69.4 (28)
pseudoBoolean-normalized-aim-200-6_0-yes1-1.opb.msat.wcnf.xz0.47 (200)0.71 (200)0.71 (200)0.52 (200)0.71 (200)0.72 (200)0.52 (200)0.02 (200)0.7 (200)0.02 (200)0.02 (200)0.02 (200)0.03 (200)0.02 (200)
pseudoBoolean-normalized-aim-200-6_0-yes1-4.opb.msat.wcnf.xz0.56 (200)0.38 (200)0.38 (200)0.41 (200)0.38 (200)0.38 (200)0.4 (200)0.02 (200)0.37 (200)0.01 (200)0.02 (200)0.02 (200)0.01 (200)0.01 (200)
pseudoBoolean-normalized-g15x15.opb.msat.wcnf.xz61.8 (53)55.51 (53)55.51 (53)62.12 (53)55.63 (53)55.46 (53)61.97 (53)132.9 (53)34.08 (53)3600.0 (-)1297.06 (53)995.66 (53)16.11 (53)22.93 (53)
pseudoBoolean-normalized-g4x4.opb.msat.wcnf.xz0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.02 (4)0.03 (4)0.01 (4)0.02 (4)0.27 (4)0.02 (4)0.02 (4)0.02 (4)
pseudoBoolean-normalized-g9x3.opb.msat.wcnf.xz0.02 (7)0.03 (7)0.03 (7)0.02 (7)0.03 (7)0.03 (7)0.02 (7)0.16 (7)0.03 (7)0.02 (7)0.28 (7)0.02 (7)0.02 (7)0.02 (7)
pseudoBoolean-normalized-g9x9.opb.msat.wcnf.xz0.39 (20)0.31 (20)0.31 (20)0.41 (20)0.3 (20)0.31 (20)0.39 (20)1.95 (20)0.17 (20)0.26 (20)1.89 (20)0.03 (20)0.06 (20)0.03 (20)
pseudoBoolean-normalized-par16-2.opb.msat.wcnf.xz0.31 (1015)48.48 (1015)48.51 (1015)89.87 (1015)48.54 (1015)48.65 (1015)89.61 (1015)0.3 (1015)27.11 (1015)0.46 (1015)1.11 (1015)0.27 (1015)0.18 (1015)1.26 (1015)
pseudoBoolean-normalized-par16-5.opb.msat.wcnf.xz0.23 (1015)40.68 (1015)40.62 (1015)70.01 (1015)40.4 (1015)40.45 (1015)70.03 (1015)0.2 (1015)14.35 (1015)0.36 (1015)1.19 (1015)0.24 (1015)0.18 (1015)1.02 (1015)
pseudoBoolean-normalized-par32-3.opb.msat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean-normalized-par32-5.opb.msat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pseudoBoolean-normalized-par8-2.opb.msat.wcnf.xz0.02 (350)0.05 (350)0.05 (350)0.03 (350)0.06 (350)0.05 (350)0.03 (350)0.04 (350)0.03 (350)0.01 (350)0.01 (350)0.02 (350)0.08 (350)0.02 (350)
pseudoBoolean-normalized-par8-4.opb.msat.wcnf.xz0.02 (350)0.04 (350)0.06 (350)0.03 (350)0.06 (350)0.05 (350)0.03 (350)0.01 (350)0.03 (350)0.01 (350)0.01 (350)0.01 (350)0.07 (350)0.03 (350)
pseudoBoolean-normalized-par8-5.opb.msat.wcnf.xz0.03 (350)0.06 (350)0.04 (350)0.16 (350)0.06 (350)0.06 (350)0.16 (350)0.03 (350)0.08 (350)0.01 (350)0.01 (350)0.02 (350)1.08 (350)0.02 (350)
pseudoBoolean-normalized-ssa7552-158.opb.msat.wcnf.xz3.17 (1327)0.21 (1327)0.22 (1327)0.12 (1327)0.22 (1327)0.22 (1327)0.13 (1327)30.13 (1327)0.15 (1327)0.25 (1327)0.23 (1327)0.06 (1327)0.62 (1327)2.13 (1327)
pseudoBoolean-normalized-ssa7552-159.opb.msat.wcnf.xz3.46 (1327)0.28 (1327)0.27 (1327)0.21 (1327)0.27 (1327)0.28 (1327)0.21 (1327)38.13 (1327)0.25 (1327)0.3 (1327)0.19 (1327)0.06 (1327)0.67 (1327)2.18 (1327)
railway-transport-d4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport-dp43.wcnf.xz229.93 (47)7.13 (47)7.12 (47)10.1 (47)7.14 (47)7.14 (47)10.22 (47)150.52 (47)6.5 (47)130.53 (47)89.57 (47)6.53 (47)15.14 (47)15.33 (47)
railway-transport-p15.wcnf.xz679.61 (5)3.62 (5)3.6 (5)4.51 (5)3.66 (5)3.59 (5)4.53 (5)167.03 (5)4.68 (5)38.01 (5)39.74 (5)4.72 (5)37.95 (5)7.27 (5)
railway-transport-pesp_18Min.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport-pesp_5min.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport-we.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey-ram_k3_n11.ra0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey-ram_k3_n14.ra0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey-ram_k3_n15.ra0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey-ram_k3_n17.ra0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey-ram_k4_n18.ra0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey-ram_k4_n20.ra0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi-rev44-2.wcnf.xz0.03 (16)0.03 (16)0.03 (16)0.02 (16)0.03 (16)0.03 (16)0.02 (16)0.07 (16)0.02 (16)0.02 (16)0.01 (16)0.01 (16)0.01 (16)0.02 (16)
reversi-rev44-4.wcnf.xz0.17 (14)0.46 (14)0.46 (14)0.13 (14)0.46 (14)0.46 (14)0.15 (14)1.23 (14)0.32 (14)0.03 (14)0.19 (14)0.01 (14)0.04 (14)0.02 (14)
reversi-rev44-6.wcnf.xz2.53 (11)2.41 (11)2.4 (11)2.49 (11)2.41 (11)2.41 (11)2.47 (11)4.33 (11)2.43 (11)0.04 (11)0.29 (11)0.07 (11)0.19 (11)0.27 (11)
reversi-rev66-10.wcnf.xz891.57 (23)634.68 (23)632.69 (23)1863.08 (23)635.93 (23)930.7 (23)1462.65 (23)349.64 (23)861.19 (23)65.44 (23)76.34 (23)61.15 (23)65.98 (23)97.32 (23)
reversi-rev66-16.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi-rev66-26.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi-rev66-28.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi-rev66-32.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
reversi-rev66-6.wcnf.xz20.15 (32)22.71 (32)22.74 (32)24.48 (32)22.67 (32)22.61 (32)24.64 (32)15.58 (32)32.01 (32)0.48 (32)0.88 (32)0.94 (32)3.46 (32)5.14 (32)
reversi-rev66-8.wcnf.xz651.15 (30)606.76 (30)606.77 (30)1817.94 (30)606.76 (30)906.72 (30)1417.92 (30)144.53 (30)819.18 (30)7.92 (30)19.01 (30)19.36 (30)36.15 (30)37.51 (30)
rna-alignment-k50-23-49.rna.pre.wcnf.xz36.22 (536)45.91 (536)46.62 (536)0.31 (536)46.57 (536)45.98 (536)75.47 (536)2.89 (536)69.35 (536)1.48 (536)1.11 (536)0.09 (536)26.65 (536)60.25 (536)
rna-alignment-k50-40-60.rna.pre.wcnf.xz3600.0 (-)63.85 (511)63.98 (511)0.28 (511)64.7 (511)63.81 (511)53.93 (511)2.9 (511)88.33 (511)1.24 (511)1.07 (511)0.08 (511)75.45 (511)51.67 (511)
rna-alignment-random-same-7.rna.pre.wcnf.xz2.5 (272)2.25 (272)2.29 (272)6.62 (272)2.41 (272)2.25 (272)6.66 (272)0.07 (272)8.35 (272)0.17 (272)0.07 (272)0.02 (272)3.66 (272)3.17 (272)
routing-normalized-s3-3-3-1pb.wcnf.xz0.93 (36)1.31 (36)1.3 (36)1.16 (36)1.3 (36)1.3 (36)1.16 (36)0.44 (36)1.71 (36)0.02 (36)0.02 (36)0.02 (36)0.02 (36)0.01 (36)
routing-normalized-s3-3-3-4pb.opb.wcnf.xz0.42 (36)0.67 (36)0.67 (36)0.3 (36)0.67 (36)0.67 (36)0.28 (36)0.02 (36)0.17 (36)0.03 (36)0.14 (36)0.03 (36)0.01 (36)0.01 (36)
routing-normalized-s3-3-3-4pb.wcnf.xz0.93 (36)0.83 (36)0.83 (36)1.16 (36)0.81 (36)0.83 (36)1.15 (36)0.02 (36)0.3 (36)0.04 (36)0.21 (36)0.03 (36)0.01 (36)0.02 (36)
routing-normalized-s3-3-3-5pb.wcnf.xz1.16 (34)1.05 (34)1.05 (34)0.87 (34)1.05 (34)1.05 (34)0.9 (34)0.92 (34)1.1 (34)0.06 (34)0.13 (34)0.05 (34)0.01 (34)0.01 (34)
routing-normalized-s4-4-3-10pb.wcnf.xz8.38 (70)11.66 (70)11.7 (70)13.77 (70)11.71 (70)11.66 (70)13.68 (70)5.11 (70)10.73 (70)0.81 (70)0.7 (70)0.36 (70)0.26 (70)0.18 (70)
routing-normalized-s4-4-3-1pb.wcnf.xz8.78 (62)8.52 (62)8.53 (62)8.27 (62)8.54 (62)8.51 (62)8.24 (62)28.9 (62)5.15 (62)2.26 (62)0.81 (62)1.2 (62)0.36 (62)0.39 (62)
routing-normalized-s4-4-3-2pb.opb.wcnf.xz8.91 (64)8.77 (64)8.76 (64)7.7 (64)8.76 (64)8.76 (64)7.69 (64)20.31 (64)9.65 (64)1.46 (64)1.67 (64)1.72 (64)0.45 (64)0.93 (64)
routing-normalized-s4-4-3-3pb.wcnf.xz8.52 (62)7.8 (62)7.81 (62)7.03 (62)7.81 (62)7.81 (62)7.01 (62)25.68 (62)17.72 (62)7.42 (62)1.56 (62)3.57 (62)1.9 (62)1.22 (62)
routing-normalized-s4-4-3-4pb.opb.wcnf.xz6.14 (60)9.43 (60)9.46 (60)10.29 (60)9.39 (60)9.41 (60)10.31 (60)48.19 (60)8.72 (60)2.05 (60)0.93 (60)2.16 (60)0.61 (60)0.38 (60)
routing-normalized-s4-4-3-4pb.wcnf.xz10.84 (60)11.58 (60)11.56 (60)10.92 (60)11.59 (60)11.58 (60)10.98 (60)63.9 (60)10.2 (60)1.17 (60)2.92 (60)1.67 (60)0.56 (60)0.4 (60)
routing-normalized-s4-4-3-5pb.opb.wcnf.xz8.98 (60)9.09 (60)9.02 (60)7.79 (60)9.03 (60)9.03 (60)7.79 (60)43.01 (60)5.94 (60)7.58 (60)2.6 (60)2.19 (60)1.04 (60)1.63 (60)
routing-normalized-s4-4-3-6pb.opb.wcnf.xz5.31 (66)6.1 (66)6.1 (66)7.88 (66)6.13 (66)6.11 (66)7.9 (66)10.06 (66)6.76 (66)2.2 (66)0.47 (66)0.94 (66)0.37 (66)0.14 (66)
routing-normalized-s4-4-3-6pb.wcnf.xz8.78 (66)11.48 (66)11.45 (66)5.17 (66)11.45 (66)11.49 (66)5.17 (66)11.41 (66)7.17 (66)0.53 (66)0.78 (66)1.26 (66)0.36 (66)0.3 (66)
routing-normalized-s4-4-3-8pb.wcnf.xz1.9 (36)1.67 (36)1.67 (36)1.69 (36)1.67 (36)1.67 (36)1.71 (36)25.72 (36)2.75 (36)0.38 (36)1.12 (36)0.85 (36)1.13 (36)0.04 (36)
routing-normalized-s4-4-3-9pb.opb.wcnf.xz259.39 (68)270.17 (68)270.43 (68)279.57 (68)268.36 (68)269.95 (68)281.26 (68)8.95 (68)392.84 (68)5.46 (68)3.97 (68)1.35 (68)0.77 (68)0.7 (68)
scheduling-cnf_10.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scheduling-cnf_10_center.wcnf.xz432.74 (159)268.8 (159)276.92 (159)53.15 (159)267.16 (159)273.73 (159)53.02 (159)514.91 (159)422.46 (159)739.13 (159)795.06 (159)419.61 (159)3033.03 (159)1542.02 (159)
scheduling-cnf_12.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scheduling-cnf_12_center.wcnf.xz226.73 (237)24.74 (237)24.87 (237)22.34 (237)24.83 (237)24.73 (237)22.29 (237)206.9 (237)21.03 (237)69.77 (237)143.91 (237)21.03 (237)147.13 (237)110.46 (237)
scheduling-cnf_small.wcnf.xz1633.53 (28)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1178.53 (28)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
setcover-sts-data.135.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
setcover-sts-data.243.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
setcover-sts-data.405.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
setcover-sts-data.729.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
tpr-b14-s_PathRelaxation_FS_14.wcnf.xz1.81 (75)0.12 (75)0.13 (75)1.53 (75)0.12 (75)0.12 (75)1.54 (75)41.14 (75)2.4 (75)0.07 (75)0.21 (75)0.09 (75)0.57 (75)0.11 (75)
tpr-b14-s_PathRelaxation_FS_35.wcnf.xz1.65 (74)0.08 (74)0.09 (74)1.58 (74)0.1 (74)0.09 (74)1.58 (74)41.27 (74)2.34 (74)0.11 (74)0.35 (74)0.08 (74)0.3 (74)0.12 (74)
tpr-b14-s_PathRelaxation_FS_39.wcnf.xz3.99 (77)0.16 (77)0.16 (77)2.88 (77)0.14 (77)0.14 (77)2.87 (77)36.19 (77)2.75 (77)0.08 (77)0.43 (77)0.11 (77)1.02 (77)0.13 (77)
tpr-b14-s_PathRelaxation_Set_FS_10.wcnf.xz16.28 (75)1.34 (75)1.36 (75)17.88 (75)1.37 (75)1.34 (75)17.71 (75)131.11 (75)0.48 (75)0.35 (75)0.44 (75)0.47 (75)8.54 (75)385.69 (75)
tpr-b18-s_PathRelaxation_Set_FS_3.wcnf.xz183.3 (145)11.2 (145)11.32 (145)21.11 (145)11.18 (145)11.26 (145)21.21 (145)185.86 (145)31.17 (145)166.09 (145)175.76 (145)31.07 (145)96.33 (145)183.04 (145)
tpr-b18-s_PathRelaxation_Set_FS_41.wcnf.xz146.59 (111)14.1 (111)14.0 (111)28.87 (111)13.94 (111)13.94 (111)28.48 (111)133.53 (111)47.33 (111)171.49 (111)389.52 (111)47.28 (111)389.02 (111)214.06 (111)
tpr-b18-s_PathRelaxation_Set_FS_8.wcnf.xz226.61 (145)83.38 (145)84.48 (145)72.29 (145)82.43 (145)83.24 (145)71.64 (145)233.89 (145)62.06 (145)885.65 (145)468.75 (145)62.28 (145)452.64 (145)1046.32 (145)
tpr-b20-s_PathRelaxation_Set_FS_13.wcnf.xz632.98 (83)337.32 (83)337.32 (83)2.04 (83)339.59 (83)341.08 (83)1407.0 (83)121.58 (83)1.87 (83)2.64 (83)5.51 (83)1.94 (83)5.98 (83)7.05 (83)
tpr-b20-s_PathRelaxation_Set_FS_22.wcnf.xz638.6 (83)620.19 (83)616.72 (83)1.75 (83)615.84 (83)917.67 (83)1425.68 (83)122.72 (83)2.25 (83)1.98 (83)8.3 (83)2.22 (83)9.71 (83)18.34 (83)
tpr-b20-s_PathRelaxation_Set_FS_30.wcnf.xz632.78 (83)210.38 (83)208.85 (83)1.81 (83)209.43 (83)210.19 (83)1416.06 (83)129.77 (83)2.44 (83)2.82 (83)4.49 (83)2.46 (83)14.51 (83)25.78 (83)
tpr-b20-s_PathRelaxation_Set_FS_33.wcnf.xz641.11 (83)572.22 (83)570.05 (83)2.39 (83)577.42 (83)566.0 (83)1413.21 (83)131.45 (83)2.73 (83)2.77 (83)7.07 (83)2.67 (83)15.23 (83)24.97 (83)
tpr-b20-s_PathRelaxation_Set_FS_40.wcnf.xz628.55 (83)619.89 (83)618.72 (83)2.73 (83)618.61 (83)663.73 (83)1420.7 (83)132.55 (83)2.36 (83)2.08 (83)3.98 (83)2.4 (83)9.48 (83)23.16 (83)
tpr-b20-s_PathRelaxation_Set_FS_8.wcnf.xz638.94 (83)252.02 (83)251.6 (83)1.68 (83)251.66 (83)249.66 (83)1412.17 (83)117.16 (83)1.82 (83)5.72 (83)10.47 (83)1.77 (83)6.36 (83)6.31 (83)
tpr-b21-s_PathRelaxation_FS_4.wcnf.xz67.53 (92)23.34 (92)23.35 (92)57.5 (92)23.37 (92)23.32 (92)57.6 (92)65.64 (92)59.22 (92)0.7 (92)4.39 (92)0.38 (92)6.26 (92)11.17 (92)
tpr-b21-s_PathRelaxation_Set_FS_14.wcnf.xz647.47 (88)645.4 (88)646.11 (88)2.2 (88)645.81 (88)750.15 (88)1408.31 (88)149.38 (88)2.18 (88)3.16 (88)20.98 (88)2.16 (88)379.22 (88)227.16 (88)
treewidth-computation-TWComp_1c75_N69.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation-TWComp_1dj7_N73.wcnf.xz712.98 (26)1396.74 (26)1329.69 (26)3600.0 (-)1395.69 (26)1702.93 (26)3600.0 (-)703.14 (26)3600.0 (-)2129.62 (26)1808.51 (26)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation-TWComp_barle_N48.wcnf.xz502.74 (7)1.7 (7)1.69 (7)1.68 (7)1.72 (7)1.69 (7)1.67 (7)2.14 (7)0.97 (7)3.97 (7)5.41 (7)0.96 (7)28.09 (7)5.3 (7)
treewidth-computation-TWComp_barley-pp_N26.wcnf.xz501.05 (7)600.38 (7)600.36 (7)1800.25 (7)600.37 (7)900.39 (7)1400.25 (7)0.16 (7)800.27 (7)0.35 (7)0.52 (7)0.23 (7)1.72 (7)0.3 (7)
treewidth-computation-TWComp_barley2_N48.wcnf.xz502.44 (7)1.73 (7)1.71 (7)1.98 (7)1.68 (7)1.69 (7)1.97 (7)2.18 (7)1.25 (7)3.69 (7)4.6 (7)1.25 (7)33.46 (7)5.17 (7)
treewidth-computation-TWComp_celar09pp_N67.wcnf.xz501.9 (7)1.07 (7)1.11 (7)1.1 (7)1.1 (7)1.07 (7)1.12 (7)0.44 (7)0.45 (7)4.56 (7)4.22 (7)0.45 (7)5.21 (7)0.35 (7)
treewidth-computation-TWComp_david-pp_N29.wcnf.xz501.56 (13)600.44 (13)600.46 (13)1801.35 (13)600.44 (13)900.41 (13)1401.34 (13)0.33 (13)800.79 (13)0.73 (13)0.66 (13)0.75 (13)6.54 (13)3.23 (13)
treewidth-computation-TWComp_eil51.tsp_N51.wcnf.xz650.8 (8)730.38 (8)755.59 (8)181.83 (8)766.81 (8)1300.97 (8)181.71 (8)115.47 (8)740.72 (8)407.89 (8)1990.48 (8)752.9 (8)3600.0 (-)320.57 (8)
treewidth-computation-TWComp_mainuk_N48.wcnf.xz500.7 (7)0.96 (7)0.99 (7)0.98 (7)0.96 (7)0.96 (7)0.96 (7)0.2 (7)0.24 (7)2.37 (7)3.32 (7)0.24 (7)22.52 (7)0.21 (7)
treewidth-computation-TWComp_mulsol.i.5-pp_N119.wcnf.xz39.01 (31)639.04 (31)638.56 (31)842.83 (31)638.57 (31)938.42 (31)862.9 (31)39.06 (31)1391.81 (31)49.27 (31)82.26 (31)1399.81 (31)3600.0 (-)3600.0 (-)
treewidth-computation-TWComp_myciel4_N23.wcnf.xz502.76 (10)602.87 (10)602.86 (10)1806.28 (10)602.84 (10)902.87 (10)1406.28 (10)3.11 (10)809.88 (10)8.18 (10)9.62 (10)9.82 (10)25.44 (10)23.77 (10)
treewidth-computation-TWComp_oesoca4_N42.wcnf.xz500.42 (3)0.58 (3)0.59 (3)0.61 (3)0.58 (3)0.58 (3)0.6 (3)0.11 (3)0.13 (3)1.05 (3)1.52 (3)0.13 (3)11.6 (3)0.07 (3)
treewidth-computation-TWComp_pathfinder_N109.wcnf.xz1.88 (6)7.62 (6)7.62 (6)7.79 (6)7.65 (6)7.75 (6)7.94 (6)1.9 (6)1.91 (6)27.29 (6)33.57 (6)1.9 (6)1.27 (6)1.25 (6)
treewidth-computation-TWComp_queen7_7_N49.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
treewidth-computation-TWComp_win95pts_N76.wcnf.xz1.41 (8)2.07 (8)2.08 (8)2.2 (8)2.07 (8)2.08 (8)2.2 (8)1.41 (8)1.22 (8)13.74 (8)7.45 (8)1.23 (8)4.38 (8)4.38 (8)
uaq-uaq-nr-nr130-nc43-n3-k2-rpp4-ppr2-plb50.wcnf.xz1.25 (43)0.94 (43)0.95 (43)1.41 (43)0.95 (43)0.95 (43)1.44 (43)14.49 (43)1.16 (43)0.9 (43)1.07 (43)0.62 (43)4.08 (43)4.87 (43)
uaq-uaq-nr-nr230-nc76-n3-k2-rpp4-ppr2-plb50.wcnf.xz0.88 (58)0.74 (58)0.75 (58)0.7 (58)0.74 (58)0.74 (58)0.71 (58)19.0 (58)0.98 (58)0.7 (58)2.14 (58)0.89 (58)172.09 (58)9.5 (58)
uaq-uaq-nr-nr240-nc80-n3-k2-rpp4-ppr2-plb50.wcnf.xz1.19 (63)2.03 (63)2.03 (63)2.02 (63)2.03 (63)2.04 (63)2.04 (63)77.5 (63)1.48 (63)0.18 (63)6.36 (63)8.71 (63)1106.76 (63)14.44 (63)
uaq-uaq-nr-nr270-nc90-n3-k2-rpp4-ppr2-plb50.wcnf.xz0.37 (56)1.08 (56)1.08 (56)0.39 (56)1.08 (56)1.08 (56)0.37 (56)23.53 (56)0.47 (56)0.57 (56)2.55 (56)0.3 (56)126.7 (56)5.34 (56)
uaq-uaq-nr-nr300-nc100-n3-k2-rpp4-ppr2-plb50.wcnf.xz0.86 (67)1.14 (67)1.14 (67)1.15 (67)1.14 (67)1.14 (67)1.15 (67)42.93 (67)1.24 (67)25.26 (67)4.98 (67)2.13 (67)3600.0 (-)21.44 (67)
uaq-uaq-nr-nr310-nc103-n3-k2-rpp4-ppr2-plb50.wcnf.xz1.39 (72)1.69 (72)1.7 (72)0.87 (72)1.7 (72)1.7 (72)0.85 (72)30.92 (72)1.11 (72)35.29 (72)8.87 (72)1.58 (72)3600.0 (-)7.28 (72)
uaq-uaq-nr-nr500-nc166-n3-k2-rpp4-ppr2-plb50.wcnf.xz0.07 (63)0.04 (63)0.04 (63)0.05 (63)0.04 (63)0.04 (63)0.03 (63)0.02 (63)0.06 (63)0.02 (63)0.01 (63)0.01 (63)0.01 (63)0.02 (63)
uaq-uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb110.wcnf.xz7.98 (77)6.72 (77)6.72 (77)6.4 (77)6.71 (77)6.73 (77)6.41 (77)249.78 (77)7.73 (77)0.67 (77)1.78 (77)10.35 (77)256.86 (77)107.53 (77)
uaq-uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb120.wcnf.xz3.96 (81)4.78 (81)4.76 (81)5.46 (81)4.77 (81)4.78 (81)5.44 (81)29.23 (81)5.65 (81)0.17 (81)0.78 (81)1.16 (81)3.75 (81)8.25 (81)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp11-ppr2-plb20.wcnf.xz49.01 (53)47.66 (53)47.73 (53)41.2 (53)47.57 (53)47.77 (53)41.16 (53)314.97 (53)39.33 (53)34.05 (53)42.62 (53)10.0 (53)35.39 (53)46.5 (53)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp13-ppr2-plb20.wcnf.xz61.14 (59)79.39 (59)79.56 (59)65.65 (59)79.66 (59)79.68 (59)65.67 (59)253.43 (59)76.45 (59)76.52 (59)73.88 (59)26.63 (59)70.64 (59)63.98 (59)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp16-ppr2-plb20.wcnf.xz85.44 (62)123.0 (62)122.94 (62)84.8 (62)123.44 (62)123.73 (62)84.81 (62)252.05 (62)99.75 (62)80.7 (62)75.8 (62)13.28 (62)33.88 (62)51.4 (62)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp17-ppr2-plb20.wcnf.xz121.14 (67)134.92 (67)135.2 (67)167.38 (67)133.56 (67)134.35 (67)165.55 (67)315.18 (67)124.41 (67)510.23 (67)75.38 (67)42.94 (67)71.55 (67)100.97 (67)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp23-ppr2-plb20.wcnf.xz105.16 (72)117.39 (72)117.61 (72)396.03 (72)117.34 (72)118.03 (72)394.17 (72)317.35 (72)112.41 (72)245.12 (72)80.0 (72)18.92 (72)33.34 (72)55.43 (72)
uaq-uaq-rpp-nr100-nc33-n3-k2-rpp8-ppr2-plb20.wcnf.xz11.68 (49)11.96 (49)11.95 (49)11.44 (49)11.96 (49)11.93 (49)11.41 (49)200.86 (49)10.64 (49)3600.0 (-)10.38 (49)5.9 (49)21.52 (49)20.11 (49)
vpa-UAutomizer_AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c_Abstraction1.wcnf.xz0.02 (201)0.02 (201)0.02 (201)0.01 (201)0.02 (201)0.02 (201)0.02 (201)0.02 (201)0.02 (201)0.01 (201)0.01 (201)0.01 (201)0.01 (201)0.01 (201)
vpa-UAutomizer_Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c_Abstraction1.wcnf.xz0.02 (145)0.02 (145)0.02 (145)0.02 (145)0.02 (145)0.02 (145)0.02 (145)0.01 (145)0.03 (145)0.01 (145)0.01 (145)0.01 (145)0.02 (145)0.01 (145)
vpa-UAutomizer_Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c_Abstraction1.wcnf.xz0.08 (1580)0.05 (1580)0.05 (1580)0.07 (1580)0.05 (1580)0.05 (1580)0.07 (1580)0.05 (1580)0.3 (1580)0.02 (1580)0.02 (1580)0.06 (1580)0.04 (1580)1.02 (1580)
vpa-UAutomizer_LexIndexValue-Pointer_true-termination_true-valid-memsafety.c_Abstraction1.wcnf.xz0.07 (1757)0.06 (1757)0.04 (1757)0.06 (1757)0.04 (1757)0.05 (1757)0.06 (1757)0.06 (1757)0.33 (1757)0.02 (1757)0.03 (1757)0.07 (1757)0.04 (1757)1.45 (1757)
vpa-UAutomizer_McCarthy91_Iteration_true-termination_true-valid-memsafety.c_Abstraction1.wcnf.xz0.02 (222)0.02 (222)0.01 (222)0.02 (222)0.02 (222)0.03 (222)0.02 (222)0.01 (222)0.02 (222)0.01 (222)0.02 (222)0.01 (222)0.02 (222)0.01 (222)
vpa-UAutomizer_NO_01_false-termination_true-no-overflow.c_Abstraction1.wcnf.xz0.02 (54)0.02 (54)0.02 (54)0.02 (54)0.02 (54)0.02 (54)0.02 (54)0.02 (54)0.02 (54)0.01 (54)0.0 (54)0.02 (54)0.01 (54)0.02 (54)
vpa-UAutomizer_NestedRecursion_2b_false-termination_true-valid-memsafety.c_Abstraction2.wcnf.xz0.28 (5018)0.15 (5018)0.13 (5018)0.18 (5018)0.15 (5018)0.16 (5018)0.17 (5018)0.2 (5018)0.23 (5018)0.06 (5018)0.06 (5018)0.23 (5018)0.12 (5018)7.36 (5018)
vpa-UAutomizer_array01-alloca_true-termination.c.i_Abstraction2.wcnf.xz0.03 (888)0.04 (888)0.04 (888)0.03 (888)0.03 (888)0.03 (888)0.01 (888)0.02 (888)0.12 (888)0.01 (888)0.01 (888)0.02 (888)0.02 (888)0.03 (888)
vpa-UAutomizer_array20_alloca_false-termination.c.i_Abstraction1.wcnf.xz0.04 (883)0.04 (883)0.03 (883)0.02 (883)0.03 (883)0.04 (883)0.03 (883)0.02 (883)0.11 (883)0.01 (883)0.01 (883)0.04 (883)0.02 (883)0.02 (883)
vpa-UAutomizer_count_up_alloca_true-termination.c.i_Abstraction1.wcnf.xz0.04 (808)0.03 (808)0.04 (808)0.01 (808)0.03 (808)0.03 (808)0.02 (808)0.03 (808)0.1 (808)0.01 (808)0.01 (808)0.02 (808)0.02 (808)0.02 (808)
vpa-UAutomizer_cstrspn_mixed_alloca_true-termination.c.i_Abstraction4.wcnf.xz0.07 (2072)0.06 (2072)0.04 (2072)0.06 (2072)0.06 (2072)0.04 (2072)0.06 (2072)0.06 (2072)0.39 (2072)0.02 (2072)0.02 (2072)0.08 (2072)0.05 (2072)1.72 (2072)
vpa-UAutomizer_invert_string_false-unreach-call_true-termination.i_Abstraction1.wcnf.xz0.05 (1190)0.02 (1190)0.05 (1190)0.04 (1190)0.03 (1190)0.04 (1190)0.04 (1190)0.04 (1190)0.17 (1190)0.02 (1190)0.01 (1190)0.05 (1190)0.03 (1190)0.68 (1190)
vpa-UAutomizer_ll_append-alloca_false-termination.c.i_Abstraction1.wcnf.xz0.17 (4166)0.12 (4166)0.1 (4166)0.13 (4166)0.1 (4166)0.1 (4166)0.13 (4166)0.14 (4166)0.17 (4166)0.05 (4166)0.05 (4166)0.17 (4166)0.09 (4166)4.96 (4166)
vpa-UAutomizer_ll_search-alloca_true-termination.c.i_Abstraction1.wcnf.xz0.04 (939)0.04 (939)0.04 (939)0.01 (939)0.04 (939)0.04 (939)0.01 (939)0.02 (939)0.14 (939)0.01 (939)0.01 (939)0.03 (939)0.02 (939)0.03 (939)
vpa-UAutomizer_trex01_false-unreach-call_true-termination.i_Abstraction3.wcnf.xz0.08 (1375)0.04 (1375)0.04 (1375)0.05 (1375)0.04 (1375)0.03 (1375)0.06 (1375)0.04 (1375)0.26 (1375)0.02 (1375)0.02 (1375)0.06 (1375)0.05 (1375)1.07 (1375)
xai-mindset2-auto.wcnf.xz1.35 (114)2.49 (114)2.48 (114)3.24 (114)2.46 (114)2.47 (114)3.24 (114)403.25 (114)3.06 (114)55.24 (114)120.09 (114)3.03 (114)0.9 (114)0.79 (114)
xai-mindset2-bnn-last-layer-f10.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2-bupa.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2-cars.wcnf.xz1.17 (58)0.76 (58)0.73 (58)0.74 (58)0.73 (58)0.75 (58)0.74 (58)49.78 (58)0.27 (58)0.82 (58)1.15 (58)0.27 (58)0.14 (58)0.14 (58)
xai-mindset2-cleve.wcnf.xz1718.05 (203)1961.99 (203)2220.13 (203)716.49 (203)3266.59 (203)3600.0 (-)716.65 (203)1322.18 (203)3600.0 (-)466.73 (203)1930.52 (203)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2-cloud.wcnf.xz0.49 (254)0.24 (254)0.24 (254)0.22 (254)0.23 (254)0.23 (254)0.21 (254)651.1 (254)1.51 (254)0.49 (254)1.02 (254)1.46 (254)0.23 (254)0.2 (254)
xai-mindset2-corral.wcnf.xz0.08 (12)0.14 (12)0.14 (12)0.06 (12)0.14 (12)0.14 (12)0.08 (12)0.02 (12)0.08 (12)0.02 (12)0.02 (12)0.02 (12)0.04 (12)0.02 (12)
xai-mindset2-hayes-roth.wcnf.xz623.46 (50)649.19 (50)655.09 (50)1807.92 (50)649.48 (50)1052.29 (50)1407.91 (50)126.86 (50)806.52 (50)31.84 (50)48.11 (50)6.5 (50)4.06 (50)6.36 (50)
xai-mindset2-heart-h.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2-irish.wcnf.xz0.18 (11)0.06 (11)0.05 (11)0.03 (11)0.05 (11)0.06 (11)0.04 (11)0.05 (11)0.27 (11)0.04 (11)0.04 (11)0.03 (11)0.03 (11)0.01 (11)
xai-mindset2-lupus.wcnf.xz6.6 (111)10.11 (111)10.1 (111)5.92 (111)10.14 (111)10.17 (111)5.94 (111)4.66 (111)5.38 (111)0.5 (111)0.81 (111)0.24 (111)9.75 (111)0.17 (111)
xai-mindset2-postoperative-patient-data.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)272.55 (62)3600.0 (-)
xai-mindset2-shuttleM.wcnf.xz1018.2 (127)2465.76 (127)2751.51 (127)615.28 (127)2987.05 (127)3030.82 (127)611.86 (127)617.49 (127)1095.83 (127)963.63 (127)1183.6 (127)1098.69 (127)3600.0 (-)3600.0 (-)
xai-mindset2-soybean.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
xai-mindset2-tae.wcnf.xz896.99 (196)1528.23 (196)1830.53 (196)1810.55 (196)1907.12 (196)1929.74 (196)1410.37 (196)371.72 (196)804.29 (196)36.45 (196)97.78 (196)4.32 (196)3600.0 (-)1461.36 (196)