@relation R_data_frame

@attribute instance_id string
@attribute repetition numeric
@attribute ALL numeric

@data
aes-key-recovery/AES1-30-5.wcnf,1,289.76
aes-key-recovery/AES1-40-6.wcnf,1,294.66
aes-key-recovery/AES1-40-7.wcnf,1,292.04
aes-key-recovery/AES1-60-17.wcnf,1,293.11
aes-key-recovery/AES1-70-24.wcnf,1,300.07
aes-key-recovery/AES1-76-37.wcnf,1,301.04
aes-key-recovery/AES2-50-52.wcnf,1,291.22
aes-key-recovery/AES2-70-61.wcnf,1,299.84
aes-key-recovery/AES2-72-67.wcnf,1,301.15
aes-key-recovery/AES2-74-11.wcnf,1,301.61
aes-key-recovery/AES2-74-73.wcnf,1,297.9
aes/mul_8_11.wcnf,1,1200
aes/mul_8_13.wcnf,1,1200
aes/mul_8_14.wcnf,1,1200
aes/mul_8_3.wcnf,1,1200
aes/mul_8_9.wcnf,1,1200
aes/sbox_4.wcnf,1,16.03
aes/sbox_8.wcnf,1,1200
atcoss/atcoss_mesat_01.wcnf,1,20.82
atcoss/atcoss_mesat_03.wcnf,1,21.75
atcoss/atcoss_mesat_04.wcnf,1,31.86
atcoss/atcoss_mesat_05.wcnf,1,21.74
atcoss/atcoss_mesat_06.wcnf,1,22.53
atcoss/atcoss_mesat_10.wcnf,1,22.36
atcoss/atcoss_mesat_12.wcnf,1,25.06
atcoss/atcoss_mesat_18.wcnf,1,28.25
atcoss/atcoss_sugar_01.wcnf,1,693.37
atcoss/atcoss_sugar_02.wcnf,1,705.29
atcoss/atcoss_sugar_04.wcnf,1,1200
atcoss/atcoss_sugar_05.wcnf,1,1200
atcoss/atcoss_sugar_12.wcnf,1,785.72
atcoss/atcoss_sugar_15.wcnf,1,1200
atcoss/atcoss_sugar_18.wcnf,1,1200
atcoss/atcoss_sugar_19.wcnf,1,1200
bcp/c5315_F1@0.wcnf,1,26.31
bcp/normalized-f2000.wcnf,1,32.19
bcp/normalized-f20c10b_005_area_delay.wcnf,1,127.08
bcp/normalized-f20c10b_024_area_delay.wcnf,1,33.59
bcp/normalized-fir06_area_opers.wcnf,1,28.76
bcp/normalized-fir09_area_opers.wcnf,1,38.19
bcp/normalized-ii8a3.wcnf,1,32.99
bcp/normalized-m100_300_10_15.r.wcnf,1,27.62
bcp/normalized-par32-4.wcnf,1,36.92
bcp/normalized-saucier.r.wcnf,1,54.66
bcp/simp-ibd_50.04.wcnf,1,40.35
biorepair/heatShock_WT_121_12.lp.sm-extracted.wcnf,1,1200
biorepair/heatShock_WT_148_12.lp.sm-extracted.wcnf,1,1200
biorepair/heatShock_WT_161_12.lp.sm-extracted.wcnf,1,1200
biorepair/heatShock_WT_192_12.lp.sm-extracted.wcnf,1,1200
biorepair/heatShock_WT_196_12.lp.sm-extracted.wcnf,1,1200
biorepair/heatShock_WT_28_12.lp.sm-extracted.wcnf,1,1200
biorepair/heatShock_WT_30_12.lp.sm-extracted.wcnf,1,1200
biorepair/heatShock_WT_36_12.lp.sm-extracted.wcnf,1,1200
biorepair/heatShock_WT_42_12.lp.sm-extracted.wcnf,1,1200
biorepair/heatShock_WT_43_12.lp.sm-extracted.wcnf,1,1200
biorepair/Stat_vs_Exp_151_12.lp.sm-extracted.wcnf,1,1200
biorepair/Stat_vs_Exp_58_12.lp.sm-extracted.wcnf,1,1200
biorepair/Stat_vs_Exp_72_12.lp.sm-extracted.wcnf,1,1200
causal-discovery/causal_n5_i7_N1000_uai13_harddeps_int.wcnf,1,283.46
causal-discovery/causal_n5_i8_N10000_uai13_harddeps_int.wcnf,1,283.26
causal-discovery/causal_n5_i9_N10000_uai13_constant_int.wcnf,1,272.29
causal-discovery/causal_n6_i1_N500_uai13_harddeps_int.wcnf,1,34.23
causal-discovery/causal_n6_i3_N500_uai14_harddeps_int.wcnf,1,41.82
causal-discovery/causal_n6_i8_N1000_uai14_constant_int.wcnf,1,41.19
causal-discovery/causal_n7_i10_N1000_uai14_constant_int.wcnf,1,150.45
causal-discovery/causal_n7_i7_N1000_uai14_harddeps_int.wcnf,1,160.97
causal-discovery/causal_n7_i8_N1000_uai14_constant_int.wcnf,1,157.18
causal-discovery/causal_n7_i9_N1000_uai14_harddeps_int.wcnf,1,159.26
CircuitDebuggingProblems/ac97_ctrl-debug.dimacs.wcnf,1,26.94
CircuitDebuggingProblems/divider-debug.dimacs.wcnf,1,1200
CircuitDebuggingProblems/mem_ctrl-debug.dimacs.wcnf,1,38.51
CircuitDebuggingProblems/mrisc-debug.dimacs.wcnf,1,32.03
CircuitDebuggingProblems/rsdecoder-debug.dimacs.wcnf,1,1200
CircuitDebuggingProblems/spi-debug.dimacs.wcnf,1,1200
CircuitDebuggingProblems/sudoku-debug.dimacs.wcnf,1,28.99
CircuitDebuggingProblems/vga-debug.dimacs.wcnf,1,1200
CircuitDebuggingProblems/wb-debug.dimacs.wcnf,1,27.13
CircuitTraceCompaction/ctrl.wcnf,1,31.83
CircuitTraceCompaction/mrisc_mem2wire.wcnf,1,1200
CircuitTraceCompaction/spi.wcnf,1,809.3
CircuitTraceCompaction/sudoku.wcnf,1,1200
close_solutions/SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.2.wcnf,1,1200
close_solutions/SAT_RACE08__cnf__ibm-2004-01-k90.cnf.wcnf.10.wcnf,1,280.81
close_solutions/SAT02__industrial__biere__dinphil__dp10s10.shuffled.cnf.wcnf.8.wcnf,1,27.11
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.3.wcnf,1,1200
close_solutions/SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug5.cnf.wcnf.1.wcnf,1,1200
close_solutions/SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.3.wcnf,1,1200
close_solutions/SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_18_SAT.cnf.wcnf.2.wcnf,1,39.22
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf,1,179.31
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf,1,1200
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.2.wcnf,1,62.15
close_solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.7.wcnf,1,63.31
close_solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.8.wcnf,1,60.4
close_solutions/SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf.wcnf.4.wcnf,1,1200
close_solutions/SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.8.wcnf,1,30.4
close_solutions/SAT11__application__manthey__traffic__traffic_3_uc_sat.cnf.wcnf.8.wcnf,1,66.5
close_solutions/SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.170-NOTKNOWN.cnf.wcnf.6.wcnf,1,1200
close_solutions/SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.1.wcnf,1,1200
close_solutions/SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.5.wcnf,1,1200
close_solutions/teams16_l6a.cnf.wcnf,1,51.5
close_solutions/TEAMS20_l10aa.cnf.wcnf,1,52.74
close_solutions/teams24_l5a.cnf.wcnf,1,52.15
ConsistentQueryAnswering/real-5.wcnf,1,1200
ConsistentQueryAnswering/real-6.wcnf,1,1200
ConsistentQueryAnswering/synthetic-12.wcnf,1,36.52
ConsistentQueryAnswering/synthetic-14.wcnf,1,33.08
ConsistentQueryAnswering/synthetic-21.wcnf,1,32.92
des/cnf.10.p.8.wcnf,1,213.99
des/cnf.12.t.9.wcnf,1,262.7
des/cnf.13.p.8.wcnf,1,296.15
des/cnf.13.p.9.wcnf,1,335.67
des/cnf.14.t.7.wcnf,1,327.62
des/cnf.15.p.7.wcnf,1,388.37
des/cnf.16.p.6.wcnf,1,414.24
des/cnf.16.p.7.wcnf,1,382.99
des/cnf.17.p.10.wcnf,1,499.23
des/cnf.18.d.7.wcnf,1,333.69
des/cnf.18.p.4.wcnf,1,348.06
des/cnf.18.p.5.wcnf,1,427.86
des/cnf.18.p.8.wcnf,1,528
des/cnf.18.t.9.wcnf,1,552.99
des/cnf.20.d.10.wcnf,1,419.92
des/cnf.20.p.5.wcnf,1,471.13
des/cnf.20.p.7.wcnf,1,557.51
des/cnf.8.p.7.wcnf,1,145.45
des/cnf.9.p.10.wcnf,1,192.16
des/cnf.9.p.8.wcnf,1,186.68
drmx-cryptogen/geffe128_1.wcnf,1,18.45
drmx-cryptogen/geffe128_4.wcnf,1,18.48
drmx-cryptogen/geffe128_5.wcnf,1,18.55
drmx-cryptogen/geffe128_8.wcnf,1,18.61
drmx-cryptogen/threshold128_0.wcnf,1,18.52
drmx-cryptogen/threshold128_2.wcnf,1,18.46
drmx-cryptogen/threshold128_3.wcnf,1,16.84
drmx-cryptogen/threshold128_4.wcnf,1,17.5
drmx-cryptogen/threshold128_5.wcnf,1,17.62
drmx-cryptogen/threshold128_6.wcnf,1,17.49
drmx-cryptogen/threshold128_8.wcnf,1,17.72
drmx-cryptogen/wolfram72_1.wcnf,1,22.48
drmx-cryptogen/wolfram72_5.wcnf,1,22.42
drmx-cryptogen/wolfram72_7.wcnf,1,22.5
drmx-cryptogen/wolfram72_8.wcnf,1,22.55
drmx-cryptogen/wolfram72_9.wcnf,1,22.48
drmx-cryptogen/wolfram80_1.wcnf,1,24.57
drmx-cryptogen/wolfram80_5.wcnf,1,24.58
drmx-cryptogen/wolfram80_6.wcnf,1,24.59
drmx-cryptogen/wolfram80_9.wcnf,1,24.69
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_0_10_3.wcnf,1,110.94
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf,1,123.15
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf,1,123.36
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf,1,121.53
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf,1,122.5
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf,1,118.54
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_4_10_4.wcnf,1,117.47
extension-enforcement/extension-enforcement_strict_com_100_0.05_0_30_3.wcnf,1,66.28
extension-enforcement/extension-enforcement_strict_com_150_0.05_0_15_2.wcnf,1,208.48
extension-enforcement/extension-enforcement_strict_com_150_0.05_3_30_0.wcnf,1,389.31
extension-enforcement/extension-enforcement_strict_com_150_0.05_4_15_1.wcnf,1,217.05
extension-enforcement/extension-enforcement_strict_com_150_0.2_4_8_3.wcnf,1,118.2
extension-enforcement/extension-enforcement_strict_com_200_0.05_1_40_1.wcnf,1,1200
extension-enforcement/extension-enforcement_strict_com_200_0.05_4_20_3.wcnf,1,940.43
extension-enforcement/extension-enforcement_strict_com_200_0.2_1_10_0.wcnf,1,423.6
fault-diagnosis/s38417_nan_explicit_0_0.wcnf,1,1200
fault-diagnosis/s38584_nan_explicit_12_0.wcnf,1,1200
fault-diagnosis/s38584_nan_explicit_13_0.wcnf,1,1200
fault-diagnosis/s38584_nan_explicit_15_0.wcnf,1,1200
fault-diagnosis/s38584_nan_explicit_19_0.wcnf,1,942.05
fault-diagnosis/s38584_nan_explicit_26_0.wcnf,1,1172.46
fault-diagnosis/s38584_nan_explicit_27_0.wcnf,1,698.94
fault-diagnosis/s38584_nan_explicit_29_0.wcnf,1,857.92
fault-diagnosis/s38584_nan_explicit_3_0.wcnf,1,1200
fault-diagnosis/s38584_nan_explicit_30_0.wcnf,1,753.77
fault-diagnosis/s38584_nan_explicit_31_0.wcnf,1,778.71
fault-diagnosis/s38584_nan_explicit_33_0.wcnf,1,593.15
fault-diagnosis/s38584_nan_explicit_34_0.wcnf,1,597.3
fault-diagnosis/s38584_nan_explicit_35_0.wcnf,1,544.56
fault-diagnosis/s38584_nan_explicit_37_0.wcnf,1,518.85
fault-diagnosis/s38584_nan_explicit_4_0.wcnf,1,1200
fault-diagnosis/s38584_nan_explicit_40_0.wcnf,1,777.32
fault-diagnosis/s38584_nan_explicit_41_0.wcnf,1,676.49
fault-diagnosis/s38584_nan_explicit_49_0.wcnf,1,511.79
fault-diagnosis/s38584_nan_explicit_5_0.wcnf,1,1200
fault-diagnosis/s38584_nan_explicit_8_0.wcnf,1,1200
frb/frb35-17-1.partial.wcnf,1,19.26
frb/frb35-17-2.partial.wcnf,1,19.31
frb/frb35-17-3.partial.wcnf,1,19.28
frb/frb35-17-5.partial.wcnf,1,19.34
frb/frb40-19-1.partial.wcnf,1,19.6
frb/frb40-19-2.partial.wcnf,1,19.53
frb/frb40-19-3.partial.wcnf,1,19.62
frb/frb40-19-4.partial.wcnf,1,20.07
frb/frb40-19-5.partial.wcnf,1,20.27
gen-hyper-tw/GenHyperTW_2bitcomp_5.wcnf,1,1200
gen-hyper-tw/GenHyperTW_aim-50-1_6-yes1-3.wcnf,1,320.03
gen-hyper-tw/GenHyperTW_dubois21.wcnf,1,1200
gen-hyper-tw/GenHyperTW_grid4d_3.wcnf,1,72.63
gen-hyper-tw/GenHyperTW_hole9.wcnf,1,1200
gen-hyper-tw/GenHyperTW_par8-1-c.wcnf,1,1200
gen-hyper-tw/GenHyperTW_par8-4-c.wcnf,1,1200
gen-hyper-tw/GenHyperTW_par8-5-c.wcnf,1,1200
gen-hyper-tw/GenHyperTW_s208.wcnf,1,1200
HaplotypeAssembly/splitedReads_0.matrix.wcnf,1,26.7
HaplotypeAssembly/splitedReads_158.matrix.wcnf,1,26.41
HaplotypeAssembly/splitedReads_160.matrix.wcnf,1,26.34
HaplotypeAssembly/splitedReads_18.matrix.wcnf,1,25.22
HaplotypeAssembly/splitedReads_414.matrix.wcnf,1,25.61
hs-timetabling/GreeceWesternGreeceUniversityInstance4.xml.wcnf,1,1200
jobshop/ft10-808-1090.wcnf,1,23.29
jobshop/orb08-894-1058.wcnf,1,22.84
kbtree/kbtree9_7_3_5_30_3.wcsp.wcnf,1,21.35
kbtree/kbtree9_7_3_5_40_1.wcsp.wcnf,1,21.46
kbtree/kbtree9_7_3_5_40_3.wcsp.wcnf,1,21.37
kbtree/kbtree9_7_3_5_50_1.wcsp.wcnf,1,22.13
kbtree/kbtree9_7_3_5_50_4.wcsp.wcnf,1,22.2
kbtree/kbtree9_7_3_5_50_6.wcsp.wcnf,1,22.73
kbtree/kbtree9_7_3_5_60_1.wcsp.wcnf,1,19.41
kbtree/kbtree9_7_3_5_70_5.wcsp.wcnf,1,22.52
kbtree/kbtree9_7_3_5_80_2.wcsp.wcnf,1,23.31
kbtree/kbtree9_7_3_5_80_5.wcsp.wcnf,1,23.75
kbtree/kbtree9_7_3_5_90_4.wcsp.wcnf,1,23.99
kbtree/kbtree9_7_3_5_90_5.wcsp.wcnf,1,19.45
logic-synthesis/normalized-5xp1.b.opb.msat.wcnf,1,24.75
logic-synthesis/normalized-alu4.b.opb.msat.wcnf,1,19.67
logic-synthesis/normalized-apex4.a.opb.msat.wcnf,1,25.53
logic-synthesis/normalized-bench1.pi.opb.msat.wcnf,1,24.98
logic-synthesis/normalized-count.b.opb.msat.wcnf,1,19.78
logic-synthesis/normalized-e64.b.opb.msat.wcnf,1,20.16
logic-synthesis/normalized-ex5.pi.opb.msat.wcnf,1,20.29
logic-synthesis/normalized-exam.pi.opb.msat.wcnf,1,20.45
logic-synthesis/normalized-f51m.b.opb.msat.wcnf,1,24.97
logic-synthesis/normalized-jac3.opb.msat.wcnf,1,25.53
logic-synthesis/normalized-max1024.pi.opb.msat.wcnf,1,25
logic-synthesis/normalized-prom2.pi.opb.msat.wcnf,1,25.02
logic-synthesis/normalized-rot.b.opb.msat.wcnf,1,24.73
logic-synthesis/normalized-sao2.b.opb.msat.wcnf,1,25.01
logic-synthesis/normalized-test4.pi.opb.msat.wcnf,1,26.05
maxclique/brock200_2.clq.wcnf,1,23.02
maxclique/brock400_4.clq.wcnf,1,25.08
maxclique/c-fat500-2.clq.wcnf,1,55.64
maxclique/keller4.clq.wcnf,1,24.69
maxclique/keller5.clq.wcnf,1,36.53
maxclique/p_hat300-1.clq.wcnf,1,26.58
maxclique/p_hat300-2.clq.wcnf,1,24.36
maxclique/p_hat700-3.clq.wcnf,1,32.05
maxclique/san1000.clq.wcnf,1,163.07
maxclique/san200_0.9_3.clq.wcnf,1,22.25
maxcut/hamming8-2.clq.wcnf,1,6.07
maxcut/maxcut-140-630-0.7-15.wcnf,1,6.4
maxcut/maxcut-140-630-0.7-48.wcnf,1,6.79
maxcut/maxcut-140-630-0.8-34.wcnf,1,7.24
maxcut/maxcut-140-630-0.8-36.wcnf,1,7.87
maxcut/p_hat300-3.clq.wcnf,1,9.33
maxcut/san400_0.5_1.clq.wcnf,1,8.97
maxcut/sanr200_0.7.clq.wcnf,1,9.27
MaximumCommonSub-GraphExtraction/g2_n26e25_n48e52.wcnf,1,9.64
MaximumCommonSub-GraphExtraction/g2_n37e45_n71e77.wcnf,1,16.32
MaximumCommonSub-GraphExtraction/g2_n38e39_n146e164.wcnf,1,14.58
MaximumCommonSub-GraphExtraction/g2_n38e52_n53e67.wcnf,1,9.88
MaximumCommonSub-GraphExtraction/g2_n42e55_n44e53.wcnf,1,9.15
MaximumCommonSub-GraphExtraction/g2_n44e59_n69e83.wcnf,1,15.63
MaximumCommonSub-GraphExtraction/g2_n45e48_n47e54.wcnf,1,18.44
MaximumCommonSub-GraphExtraction/g2_n50e50_n58e61.wcnf,1,33.91
MaximumCommonSub-GraphExtraction/g2_n61e85_n120e154.wcnf,1,33.06
MaximumCommonSub-GraphExtraction/g2_n67e83_n68e73.wcnf,1,20.08
MaximumCommonSub-GraphExtraction/g2_n92e110_n96e105.wcnf,1,26.5
MaximumCommonSub-GraphExtraction/g3_n26e25_n27e26_n42e48.wcnf,1,18.36
MaximumCommonSub-GraphExtraction/g3_n30e43_n32e44_n40e53.wcnf,1,18.89
MaximumCommonSub-GraphExtraction/g3_n30e43_n40e53_n44e48.wcnf,1,19.11
MaximumCommonSub-GraphExtraction/g3_n34e43_n59e60_n71e84.wcnf,1,19.76
MaximumCommonSub-GraphExtraction/g3_n35e48_n41e57_n56e65.wcnf,1,20.81
MaximumCommonSub-GraphExtraction/g3_n37e36_n37e35_n39e39.wcnf,1,27.06
MaximumCommonSub-GraphExtraction/g3_n39e39_n81e90_n91e99.wcnf,1,30.05
MaximumCommonSub-GraphExtraction/g3_n39e42_n61e85_n72e77.wcnf,1,25.53
MaximumCommonSub-GraphExtraction/g3_n52e77_n57e74_n58e75.wcnf,1,22.05
MaximumCommonSub-GraphExtraction/g3_n66e77_n66e72_n94e112.wcnf,1,53.63
MaximumCommonSub-GraphExtraction/g3_n66e77_n74e84_n94e112.wcnf,1,50.7
MaximumCommonSub-GraphExtraction/g3_n67e86_n89e98_n130e150.wcnf,1,67.88
MaximumCommonSub-GraphExtraction/g4_n47e57_n58e61_n133e169_n141e184.wcnf,1,200.96
MaximumCommonSub-GraphExtraction/g4_n58e71_n61e85_n100e127_n104e131.wcnf,1,123.44
MaximumCommonSub-GraphExtraction/g4_n69e80_n69e80_n69e80_n79e87.wcnf,1,89.91
MaximumCommonSub-GraphExtraction/g5_n39e38_n43e43_n61e61_n67e68_n82e119.wcnf,1,95.77
MaximumCommonSub-GraphExtraction/g6_n25e24_n28e29_n32e33_n37e37_n38e39_n40e39.wcnf,1,56.2
MaximumCommonSub-GraphExtraction/g7_n13e12_n13e12_n13e12_n13e12_n14e13_n15e14_n24e31.wcnf,1,18.3
MaximumCommonSub-GraphExtraction/g8_n44e59_n44e58_n47e63_n58e76_n67e94_n75e107_n123e161_n133e175.wcnf,1,1188.84
maxone/3col140_5_1.shuffled.cnf.wcnf,1,17.88
maxone/3col140_5_10.shuffled.cnf.wcnf,1,17.96
maxone/3col140_5_2.shuffled.cnf.wcnf,1,17.68
maxone/3col140_5_3.shuffled.cnf.wcnf,1,17.71
maxone/3col140_5_4.shuffled.cnf.wcnf,1,10.2
maxone/3col140_5_5.shuffled.cnf.wcnf,1,16.94
maxone/3col140_5_6.shuffled.cnf.wcnf,1,16.88
maxone/3col140_5_7.shuffled.cnf.wcnf,1,16.95
maxone/3col140_5_8.shuffled.cnf.wcnf,1,16.89
maxone/3col140_5_9.shuffled.cnf.wcnf,1,17.26
maxone/dp06s06.shuffled.cnf.wcnf,1,17.39
maxone/dp07s07.shuffled.cnf.wcnf,1,17.58
MaxSATQueriesinInterpretableClassifiers/adult_train_1_DNF_2_1.wcnf,1,258.4
MaxSATQueriesinInterpretableClassifiers/adult_train_5_CNF_2_1.wcnf,1,1200
MaxSATQueriesinInterpretableClassifiers/adult_train_8_CNF_3_1.wcnf,1,1200
MaxSATQueriesinInterpretableClassifiers/compas_train_1_CNF_5_1.wcnf,1,78.6
MaxSATQueriesinInterpretableClassifiers/compas_train_8_CNF_2_1.wcnf,1,32.48
MaxSATQueriesinInterpretableClassifiers/compas_train_9_DNF_3_1.wcnf,1,37.4
MaxSATQueriesinInterpretableClassifiers/credit_train_0_CNF_4_1.wcnf,1,1200
MaxSATQueriesinInterpretableClassifiers/credit_train_1_CNF_5_1.wcnf,1,1200
MaxSATQueriesinInterpretableClassifiers/heart_train_0_DNF_2_1.wcnf,1,18.09
MaxSATQueriesinInterpretableClassifiers/heart_train_0_DNF_3_1.wcnf,1,18.06
MaxSATQueriesinInterpretableClassifiers/ilpd_train_4_CNF_2_1.wcnf,1,18.32
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_1_CNF_5_1.wcnf,1,19.25
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_1_DNF_1_1.wcnf,1,18.31
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_2_CNF_2_1.wcnf,1,18.34
MaxSATQueriesinInterpretableClassifiers/parkinsons_train_6_DNF_4_1.wcnf,1,18.47
MaxSATQueriesinInterpretableClassifiers/pima_train_5_CNF_2_1.wcnf,1,18.35
MaxSATQueriesinInterpretableClassifiers/tictactoe_train_1_CNF_3_1.wcnf,1,18.32
MaxSATQueriesinInterpretableClassifiers/tictactoe_train_3_DNF_1_1.wcnf,1,17.89
MaxSATQueriesinInterpretableClassifiers/titanic_train_0_CNF_4_1.wcnf,1,19.17
MaxSATQueriesinInterpretableClassifiers/titanic_train_1_CNF_2_1.wcnf,1,18.41
MaxSATQueriesinInterpretableClassifiers/titanic_train_1_CNF_5_1.wcnf,1,19.6
MaxSATQueriesinInterpretableClassifiers/titanic_train_9_CNF_2_1.wcnf,1,18.31
MaxSATQueriesinInterpretableClassifiers/toms_test_0_CNF_4_1.wcnf,1,1200
MaxSATQueriesinInterpretableClassifiers/toms_test_1_DNF_5_1.wcnf,1,532.8
MaxSATQueriesinInterpretableClassifiers/toms_train_2_CNF_5_1.wcnf,1,1200
MaxSATQueriesinInterpretableClassifiers/twitter_test_0_CNF_2_1.wcnf,1,1165.53
MaxSATQueriesinInterpretableClassifiers/twitter_test_1_CNF_5_1.wcnf,1,1200
MaxSATQueriesinInterpretableClassifiers/twitter_test_9_CNF_4_1.wcnf,1,1200
MaxSATQueriesinInterpretableClassifiers/wdbc_train_0_CNF_3_1.wcnf,1,20.37
MaxSATQueriesinInterpretableClassifiers/wdbc_train_1_CNF_1_1.wcnf,1,18.5
mbd/b14_C-mbd14-0225.wcnf,1,21.94
mbd/b14_C-mbd14-0307.wcnf,1,19.6
mbd/b17_C-mbd14-0304.wcnf,1,53.39
mbd/b17_C-mbd14-0370.wcnf,1,47.96
mbd/b20_C-mbd14-0255.wcnf,1,21.99
mbd/b20_C-mbd14-0328.wcnf,1,27.32
mbd/b20_C-mbd14-0354.wcnf,1,21.74
mbd/b21_C-mbd14-0205.wcnf,1,22.82
mbd/b21_C-mbd14-0217.wcnf,1,28.18
mbd/b21_C-mbd14-0267.wcnf,1,34.27
mbd/b21_C-mbd14-0295.wcnf,1,31.1
mbd/b21_C-mbd14-0349.wcnf,1,40
mbd/b22_C-mbd14-0222.wcnf,1,46.19
mbd/b22_C-mbd14-0223.wcnf,1,49.84
mbd/b22_C-mbd14-0240.wcnf,1,63.68
mbd/b22_C-mbd14-0241.wcnf,1,62.65
mbd/b22_C-mbd14-0300.wcnf,1,50.98
min-fill/MinFill_R0_miles1500.wcnf,1,1200
min-fill/MinFill_R0_mulsol.i.2.wcnf,1,1200
min-fill/MinFill_R0_mulsol.i.3.wcnf,1,1200
min-fill/MinFill_R0_mulsol.i.4.wcnf,1,1200
min-fill/MinFill_R0_myciel4.wcnf,1,20.05
min-fill/MinFill_R0_myciel5.wcnf,1,41.06
min-fill/MinFill_R0_myciel6.wcnf,1,702.62
min-fill/MinFill_R0_myciel7.wcnf,1,1200
min-fill/MinFill_R0_queen11_11.wcnf,1,1200
min-fill/MinFill_R0_queen6_6.wcnf,1,27.14
min-fill/MinFill_R0_queen8_12.wcnf,1,941.48
min-fill/MinFill_R0_queen8_8.wcnf,1,128.48
min-fill/MinFill_R1_games120.wcnf,1,1200
min-fill/MinFill_R10_anna.wcnf,1,20.72
min-fill/MinFill_R3_david.wcnf,1,27.37
min-fill/MinFill_R3_miles1000.wcnf,1,1200
min-fill/MinFill_R3_miles750.wcnf,1,1200
min-fill/MinFill_R4_miles500.wcnf,1,1200
mqc/10tree1020p.wcnf,1,21.62
mqc/10tree115p.wcnf,1,21.78
mqc/10tree125p.wcnf,1,21.27
mqc/10tree315p.wcnf,1,23.83
mqc/10tree320p.wcnf,1,21.15
mqc/10tree425p.wcnf,1,22.81
mqc/10tree430p.wcnf,1,24.49
mqc/10tree730p.wcnf,1,25.33
mqc/10tree825p.wcnf,1,20.45
mqc/15tree101p.wcnf,1,43.61
mqc/15tree201p.wcnf,1,45.85
mqc/15tree301posib.wcnf,1,78.67
mqc/15tree401posib.wcnf,1,77.09
mqc/15tree501p.wcnf,1,79.71
mqc/15tree701p.wcnf,1,81.25
optic/gen_add_4_33.wcnf,1,16.38
optic/gen_add_5_33.wcnf,1,95.4
optic/gen_cvc-add3-carry2-gadget_33.wcnf,1,24.97
optic/gen_cvc-add3-carry2-gadget_399.wcnf,1,25.72
optic/gen_cvc-add3-carry2-gadget_9999.wcnf,1,25.97
optic/gen_cvc-add7to3_9999.wcnf,1,26.83
optic/gen_cvc-plus_4_33.wcnf,1,26.32
optic/gen_mult_3_5_399.wcnf,1,15.89
optic/gen_mult_3_5_991.wcnf,1,25.19
optic/gen_mult_3_5_9999.wcnf,1,25.29
optic/gen_mult_3_6_399.wcnf,1,26.45
optic/gen_mult_4_4_9999.wcnf,1,24.7
optic/gen_mult_4_5_9999.wcnf,1,54.54
optic/gen_mult_4_6_299.wcnf,1,92.56
optic/gen_mult_4_6_991.wcnf,1,57.94
optic/gen_square_5_299.wcnf,1,138.98
optic/gen_square_5_399.wcnf,1,318.27
packup/2c3aece6-c8b2-11df-a040-00163e3d3b7c_l3.wcnf,1,35.89
packup/7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l3.wcnf,1,22.99
packup/apt-cudf-universe0ea62c_l1.wcnf,1,22.31
packup/ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l3.wcnf,1,31.08
packup/rand179_l2.wcnf,1,18.01
packup/rand196_l2.wcnf,1,17.99
packup/rand209_l2.wcnf,1,17.61
packup/rand21_l2.wcnf,1,19.59
packup/rand290_l2.wcnf,1,18.21
packup/rand308_l2.wcnf,1,13.9
packup/rand313_l2.wcnf,1,20.53
packup/rand507_l2.wcnf,1,14.29
packup/rand7_l2.wcnf,1,22.73
packup/rand717_l2.wcnf,1,24.52
packup/rand943_l2.wcnf,1,24.42
packup/rand984_l2.wcnf,1,25.9
protein_ins/1bpi_.2knt_.g.wcnf.t.wcnf,1,1200
protein_ins/1bpi_.5pti_.g.wcnf.t.wcnf,1,1200
protein_ins/1knt_.1bpi_.g.wcnf.t.wcnf,1,1200
protein_ins/1knt_.2knt_.g.wcnf.t.wcnf,1,1200
protein_ins/1knt_.5pti_.g.wcnf.t.wcnf,1,1200
protein_ins/2knt_.5pti_.g.wcnf.t.wcnf,1,1200
protein_ins/3ebx_.1era_.g.wcnf.t.wcnf,1,1200
protein_ins/3ebx_.6ebx_.g.wcnf.t.wcnf,1,1200
protein_ins/6ebx_.1era_.g.wcnf.t.wcnf,1,1200
protein_ins/p1.wcnf.t.wcnf,1,1200
protein_ins/sandiaprotein.g.wcnf.t.wcnf,1,1200
pseudoBoolean/normalized-g100x100.opb.msat.wcnf,1,19.04
pseudoBoolean/normalized-g15x15.opb.msat.wcnf,1,17.76
pseudoBoolean/normalized-mps-v2-20-10-stein45.opb.msat.wcnf,1,17.92
pseudoBoolean/normalized-par32-1.opb.msat.wcnf,1,18.29
pseudoBoolean/normalized-par32-2.opb.msat.wcnf,1,7.51
pseudoBoolean/normalized-par32-3.opb.msat.wcnf,1,17.63
pseudoBoolean/normalized-par32-4.opb.msat.wcnf,1,17.53
pseudoBoolean/normalized-par32-5.opb.msat.wcnf,1,17.61
pseudoBoolean/normalized-ssa7552-038.opb.msat.wcnf,1,17.37
pseudoBoolean/normalized-ssa7552-158.opb.msat.wcnf,1,17.37
pseudoBoolean/normalized-ssa7552-159.opb.msat.wcnf,1,17.45
pseudoBoolean/normalized-ssa7552-160.opb.msat.wcnf,1,17.12
railway-transport/d4.wcnf,1,1200
railway-transport/dp43.wcnf,1,1200
railway-transport/p15.wcnf,1,355.82
railway-transport/pesp_18Min.wcnf,1,1200
railway-transport/pesp_5min.wcnf,1,1200
railway-transport/we.wcnf,1,1200
ramsey/ram_k3_n10.ra0.wcnf,1,17.23
ramsey/ram_k3_n11.ra0.wcnf,1,17.56
ramsey/ram_k3_n12.ra0.wcnf,1,17.52
ramsey/ram_k3_n13.ra0.wcnf,1,18.28
ramsey/ram_k3_n14.ra0.wcnf,1,19.48
ramsey/ram_k3_n15.ra0.wcnf,1,17.71
ramsey/ram_k3_n16.ra0.wcnf,1,20.24
ramsey/ram_k3_n17.ra0.wcnf,1,19.91
ramsey/ram_k3_n18.ra0.wcnf,1,33.55
ramsey/ram_k3_n19.ra0.wcnf,1,36.93
ramsey/ram_k3_n20.ra0.wcnf,1,34.11
ramsey/ram_k3_n9.ra0.wcnf,1,16.64
ramsey/ram_k4_n18.ra0.wcnf,1,36.84
ramsey/ram_k4_n19.ra0.wcnf,1,27.12
ramsey/ram_k4_n20.ra0.wcnf,1,36.79
reversi/rev66-10.wcnf,1,23.55
reversi/rev66-12.wcnf,1,26.5
reversi/rev66-14.wcnf,1,30.02
reversi/rev66-16.wcnf,1,34.47
reversi/rev66-18.wcnf,1,38.85
reversi/rev66-20.wcnf,1,40.74
reversi/rev66-22.wcnf,1,50.05
reversi/rev66-24.wcnf,1,55.76
reversi/rev66-26.wcnf,1,57.12
reversi/rev66-28.wcnf,1,70.2
reversi/rev66-30.wcnf,1,76.9
reversi/rev66-32.wcnf,1,84.48
reversi/rev66-6.wcnf,1,19.06
reversi/rev66-8.wcnf,1,21.16
rna-alignment/k50-23-49.rna.pre.wcnf,1,28.78
rna-alignment/k50-40-60.rna.pre.wcnf,1,31.05
scheduling/cnf_10_center.wcnf,1,1200
scheduling/cnf_10.wcnf,1,1200
scheduling/cnf_12_center.wcnf,1,1200
scheduling/cnf_12.wcnf,1,1200
scheduling/cnf_small.wcnf,1,11.48
SeanSafarpour/c6_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf,1,1118.66
SeanSafarpour/divider-problem.dimacs_2.filtered.wcnf,1,6.16
SeanSafarpour/dividers1.dimacs.filtered.wcnf,1,143.25
SeanSafarpour/dividers9.dimacs.filtered.wcnf,1,7.03
SeanSafarpour/fpu8-problem.dimacs_24.filtered.wcnf,1,1200
SeanSafarpour/mem_ctrl1.dimacs.filtered.wcnf,1,1200
SeanSafarpour/rsdecoder_fsm1.dimacs.filtered.wcnf,1,1200
SeanSafarpour/rsdecoder-problem.dimacs_34.filtered.wcnf,1,1200
SeanSafarpour/spi-problem.dimacs_42.filtered.wcnf,1,1200
SeanSafarpour/wb_4m8s3.dimacs.filtered.wcnf,1,1200
SeanSafarpour/wb_conmax3.dimacs.filtered.wcnf,1,1200
SeanSafarpour/wb1.dimacs.filtered.wcnf,1,8.65
set-covering/scpclr10_maxsat.wcnf,1,4.81
set-covering/scpclr11_maxsat.wcnf,1,10.52
set-covering/scpclr12_maxsat.wcnf,1,12.5
set-covering/scpclr13_maxsat.wcnf,1,34.86
set-covering/scpcyc06_maxsat.wcnf,1,13.19
set-covering/scpcyc07_maxsat.wcnf,1,13.08
set-covering/scpcyc08_maxsat.wcnf,1,8.87
set-covering/scpcyc09_maxsat.wcnf,1,9.15
set-covering/scpcyc10_maxsat.wcnf,1,17.11
set-covering/scpcyc11_maxsat.wcnf,1,19.54
tpr/b14-s_PathRelaxation_FS_14.wcnf,1,24.99
tpr/b14-s_PathRelaxation_FS_16.wcnf,1,24.57
tpr/b14-s_PathRelaxation_FS_25.wcnf,1,24.62
tpr/b14-s_PathRelaxation_FS_46.wcnf,1,24.69
tpr/b14-s_PathRelaxation_Set_FS_47.wcnf,1,55.21
tpr/b18-s_PathRelaxation_Set_FS_32.wcnf,1,1200
tpr/b21-s_PathRelaxation_FS_28.wcnf,1,32.28
tpr/b21-s_PathRelaxation_FS_42.wcnf,1,24.32
tpr/b21-s_PathRelaxation_FS_47.wcnf,1,26.2
tpr/b21-s_PathRelaxation_FS_48.wcnf,1,32.31
tpr/b21-s_PathRelaxation_Set_FS_31.wcnf,1,168.02
treewidth-computation/TWComp_1c75_N69.wcnf,1,1176.82
treewidth-computation/TWComp_1dj7_N73.wcnf,1,1200
treewidth-computation/TWComp_1dp_N76.wcnf,1,1200
treewidth-computation/TWComp_1en2_N69.wcnf,1,1184.29
treewidth-computation/TWComp_celar02_N100.wcnf,1,1200
treewidth-computation/TWComp_celar09pp_N67.wcnf,1,996.58
treewidth-computation/TWComp_david_N87.wcnf,1,1200
treewidth-computation/TWComp_eil51.tsp_N51.wcnf,1,226.41
treewidth-computation/TWComp_hepar2_N70.wcnf,1,1200
treewidth-computation/TWComp_huck_N74.wcnf,1,1200
treewidth-computation/TWComp_jean_N77.wcnf,1,1200
treewidth-computation/TWComp_miles500_N128.wcnf,1,1200
treewidth-computation/TWComp_mulsol.i.5-pp_N119.wcnf,1,1200
treewidth-computation/TWComp_myciel4_N23.wcnf,1,11.32
treewidth-computation/TWComp_myciel5_N47.wcnf,1,152.01
treewidth-computation/TWComp_oesoca+_N67.wcnf,1,998.43
treewidth-computation/TWComp_pathfinder_N109.wcnf,1,1200
treewidth-computation/TWComp_queen5_5_N25.wcnf,1,19.56
treewidth-computation/TWComp_queen6_6_N36.wcnf,1,34.65
treewidth-computation/TWComp_queen7_7_N49.wcnf,1,175.54
treewidth-computation/TWComp_ship-ship-pp_N30.wcnf,1,25.91
treewidth-computation/TWComp_win95pts_N76.wcnf,1,1200
uaq/uaq-nr-nr130-nc43-n3-k2-rpp4-ppr2-plb50.wcnf,1,15.91
uaq/uaq-nr-nr150-nc50-n3-k2-rpp4-ppr2-plb50.wcnf,1,15.88
uaq/uaq-nr-nr220-nc73-n3-k2-rpp4-ppr2-plb50.wcnf,1,16.05
uaq/uaq-nr-nr240-nc80-n3-k2-rpp4-ppr2-plb50.wcnf,1,15.98
uaq/uaq-nr-nr340-nc113-n3-k2-rpp4-ppr2-plb50.wcnf,1,16.19
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb100.wcnf,1,15.8
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb90.wcnf,1,16.06
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr5-plb100.wcnf,1,16.18
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr6-plb100.wcnf,1,16.18
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr11-plb100.wcnf,1,8.14
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr13-plb100.wcnf,1,16.51
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr6-plb100.wcnf,1,15.6
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr9-plb100.wcnf,1,15.55
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp28-ppr2-plb20.wcnf,1,15.88
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp6-ppr2-plb20.wcnf,1,15.98
vpa/UAutomizer_4BitCounterPointer_true-termination_true-valid-memsafety.c_Abstraction1.wcnf,1,17.9
vpa/UAutomizer_AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c_Abstraction1.wcnf,1,16.17
vpa/UAutomizer_c.03-alloca_true-termination_true-no-overflow.c.i_Abstraction3.wcnf,1,18.44
vpa/UAutomizer_CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i_Abstraction3.wcnf,1,18.87
vpa/UAutomizer_cstrpbrk_diffterm_alloca_true-termination.c.i_Abstraction4.wcnf,1,16.54
vpa/UAutomizer_ll_append-alloca_false-termination.c.i_Abstraction1.wcnf,1,18.08
vpa/UAutomizer_LogAG_true-termination_true-no-overflow.c_Abstraction2.wcnf,1,15.8
vpa/UAutomizer_NestedRecursion_2b_false-termination_true-valid-memsafety.c_Abstraction2.wcnf,1,18.98
wqueens/wqueens14_12.wcsp.dir.wcnf,1,16.12
wqueens/wqueens16_14.wcsp.dir.wcnf,1,16.02
wqueens/wqueens18_16.wcsp.dir.wcnf,1,6.04
xai-mindset2/australian.wcnf,1,1200
xai-mindset2/bnn-last-layer-f10.wcnf,1,147.82
xai-mindset2/cleve.wcnf,1,369.27
xai-mindset2/cleveland.wcnf,1,417.64
xai-mindset2/cloud.wcnf,1,51.7
xai-mindset2/diabetes.wcnf,1,1200
xai-mindset2/glass.wcnf,1,243.89
xai-mindset2/glass2.wcnf,1,12.93
xai-mindset2/heart-h.wcnf,1,451.31
xai-mindset2/house-votes-84.wcnf,1,17.05
xai-mindset2/hungarian.wcnf,1,440.22
xai-mindset2/iris.wcnf,1,11.85
xai-mindset2/liver-disorder.wcnf,1,543.74
xai-mindset2/lupus.wcnf,1,12.08
xai-mindset2/new-thyroid.wcnf,1,86.99
xai-mindset2/soybean.wcnf,1,789.93
xai-mindset2/tae.wcnf,1,17.29