@relation R_data_frame

@attribute instance_id string
@attribute repetition numeric
@attribute ALL {ok,timeout,memout,presolved,crash,other,unknown}

@data
aes-key-recovery/AES1-30-5.wcnf,1,ok
aes-key-recovery/AES1-40-6.wcnf,1,ok
aes-key-recovery/AES1-40-7.wcnf,1,ok
aes-key-recovery/AES1-60-17.wcnf,1,ok
aes-key-recovery/AES1-70-24.wcnf,1,ok
aes-key-recovery/AES1-76-37.wcnf,1,ok
aes-key-recovery/AES2-50-52.wcnf,1,ok
aes-key-recovery/AES2-70-61.wcnf,1,ok
aes-key-recovery/AES2-72-67.wcnf,1,ok
aes-key-recovery/AES2-74-11.wcnf,1,ok
aes-key-recovery/AES2-74-73.wcnf,1,ok
aes/mul_8_11.wcnf,1,timeout
aes/mul_8_13.wcnf,1,timeout
aes/mul_8_14.wcnf,1,timeout
aes/mul_8_3.wcnf,1,timeout
aes/mul_8_9.wcnf,1,timeout
aes/sbox_4.wcnf,1,ok
aes/sbox_8.wcnf,1,timeout
atcoss/atcoss_mesat_01.wcnf,1,ok
atcoss/atcoss_mesat_03.wcnf,1,ok
atcoss/atcoss_mesat_04.wcnf,1,ok
atcoss/atcoss_mesat_05.wcnf,1,ok
atcoss/atcoss_mesat_06.wcnf,1,ok
atcoss/atcoss_mesat_10.wcnf,1,ok
atcoss/atcoss_mesat_12.wcnf,1,ok
atcoss/atcoss_mesat_18.wcnf,1,ok
atcoss/atcoss_sugar_01.wcnf,1,ok
atcoss/atcoss_sugar_02.wcnf,1,ok
atcoss/atcoss_sugar_04.wcnf,1,timeout
atcoss/atcoss_sugar_05.wcnf,1,timeout
atcoss/atcoss_sugar_12.wcnf,1,ok
atcoss/atcoss_sugar_15.wcnf,1,timeout
atcoss/atcoss_sugar_18.wcnf,1,timeout
atcoss/atcoss_sugar_19.wcnf,1,timeout
bcp/c5315_F1@0.wcnf,1,ok
bcp/normalized-f2000.wcnf,1,ok
bcp/normalized-f20c10b_005_area_delay.wcnf,1,ok
bcp/normalized-f20c10b_024_area_delay.wcnf,1,ok
bcp/normalized-fir06_area_opers.wcnf,1,ok
bcp/normalized-fir09_area_opers.wcnf,1,ok
bcp/normalized-ii8a3.wcnf,1,ok
bcp/normalized-m100_300_10_15.r.wcnf,1,ok
bcp/normalized-par32-4.wcnf,1,ok
bcp/normalized-saucier.r.wcnf,1,ok
bcp/simp-ibd_50.04.wcnf,1,ok
biorepair/heatShock_WT_121_12.lp.sm-extracted.wcnf,1,timeout
biorepair/heatShock_WT_148_12.lp.sm-extracted.wcnf,1,timeout
biorepair/heatShock_WT_161_12.lp.sm-extracted.wcnf,1,timeout
biorepair/heatShock_WT_192_12.lp.sm-extracted.wcnf,1,timeout
biorepair/heatShock_WT_196_12.lp.sm-extracted.wcnf,1,timeout
biorepair/heatShock_WT_28_12.lp.sm-extracted.wcnf,1,timeout
biorepair/heatShock_WT_30_12.lp.sm-extracted.wcnf,1,timeout
biorepair/heatShock_WT_36_12.lp.sm-extracted.wcnf,1,timeout
biorepair/heatShock_WT_42_12.lp.sm-extracted.wcnf,1,timeout
biorepair/heatShock_WT_43_12.lp.sm-extracted.wcnf,1,timeout
biorepair/Stat_vs_Exp_151_12.lp.sm-extracted.wcnf,1,timeout
biorepair/Stat_vs_Exp_58_12.lp.sm-extracted.wcnf,1,timeout
biorepair/Stat_vs_Exp_72_12.lp.sm-extracted.wcnf,1,timeout
causal-discovery/causal_n5_i7_N1000_uai13_harddeps_int.wcnf,1,ok
causal-discovery/causal_n5_i8_N10000_uai13_harddeps_int.wcnf,1,ok
causal-discovery/causal_n5_i9_N10000_uai13_constant_int.wcnf,1,ok
causal-discovery/causal_n6_i1_N500_uai13_harddeps_int.wcnf,1,ok
causal-discovery/causal_n6_i3_N500_uai14_harddeps_int.wcnf,1,ok
causal-discovery/causal_n6_i8_N1000_uai14_constant_int.wcnf,1,ok
causal-discovery/causal_n7_i10_N1000_uai14_constant_int.wcnf,1,ok
causal-discovery/causal_n7_i7_N1000_uai14_harddeps_int.wcnf,1,ok
causal-discovery/causal_n7_i8_N1000_uai14_constant_int.wcnf,1,ok
causal-discovery/causal_n7_i9_N1000_uai14_harddeps_int.wcnf,1,ok
CircuitDebuggingProblems/ac97_ctrl-debug.dimacs.wcnf,1,ok
CircuitDebuggingProblems/divider-debug.dimacs.wcnf,1,timeout
CircuitDebuggingProblems/mem_ctrl-debug.dimacs.wcnf,1,ok
CircuitDebuggingProblems/mrisc-debug.dimacs.wcnf,1,ok
CircuitDebuggingProblems/rsdecoder-debug.dimacs.wcnf,1,timeout
CircuitDebuggingProblems/spi-debug.dimacs.wcnf,1,timeout
CircuitDebuggingProblems/sudoku-debug.dimacs.wcnf,1,ok
CircuitDebuggingProblems/vga-debug.dimacs.wcnf,1,timeout
CircuitDebuggingProblems/wb-debug.dimacs.wcnf,1,ok
CircuitTraceCompaction/ctrl.wcnf,1,ok
CircuitTraceCompaction/mrisc_mem2wire.wcnf,1,timeout
CircuitTraceCompaction/spi.wcnf,1,ok
CircuitTraceCompaction/sudoku.wcnf,1,timeout
close_solutions/SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.2.wcnf,1,timeout
close_solutions/SAT_RACE08__cnf__ibm-2004-01-k90.cnf.wcnf.10.wcnf,1,ok
close_solutions/SAT02__industrial__biere__dinphil__dp10s10.shuffled.cnf.wcnf.8.wcnf,1,ok
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.3.wcnf,1,timeout
close_solutions/SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug5.cnf.wcnf.1.wcnf,1,timeout
close_solutions/SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.3.wcnf,1,timeout
close_solutions/SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_18_SAT.cnf.wcnf.2.wcnf,1,ok
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf,1,ok
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf,1,timeout
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.2.wcnf,1,ok
close_solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.7.wcnf,1,ok
close_solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.8.wcnf,1,ok
close_solutions/SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf.wcnf.4.wcnf,1,timeout
close_solutions/SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.8.wcnf,1,ok
close_solutions/SAT11__application__manthey__traffic__traffic_3_uc_sat.cnf.wcnf.8.wcnf,1,ok
close_solutions/SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.170-NOTKNOWN.cnf.wcnf.6.wcnf,1,timeout
close_solutions/SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.1.wcnf,1,timeout
close_solutions/SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.5.wcnf,1,timeout
close_solutions/teams16_l6a.cnf.wcnf,1,ok
close_solutions/TEAMS20_l10aa.cnf.wcnf,1,ok
close_solutions/teams24_l5a.cnf.wcnf,1,ok
ConsistentQueryAnswering/real-5.wcnf,1,timeout
ConsistentQueryAnswering/real-6.wcnf,1,timeout
ConsistentQueryAnswering/synthetic-12.wcnf,1,ok
ConsistentQueryAnswering/synthetic-14.wcnf,1,ok
ConsistentQueryAnswering/synthetic-21.wcnf,1,ok
des/cnf.10.p.8.wcnf,1,ok
des/cnf.12.t.9.wcnf,1,ok
des/cnf.13.p.8.wcnf,1,ok
des/cnf.13.p.9.wcnf,1,ok
des/cnf.14.t.7.wcnf,1,ok
des/cnf.15.p.7.wcnf,1,ok
des/cnf.16.p.6.wcnf,1,ok
des/cnf.16.p.7.wcnf,1,ok
des/cnf.17.p.10.wcnf,1,ok
des/cnf.18.d.7.wcnf,1,ok
des/cnf.18.p.4.wcnf,1,ok
des/cnf.18.p.5.wcnf,1,ok
des/cnf.18.p.8.wcnf,1,ok
des/cnf.18.t.9.wcnf,1,ok
des/cnf.20.d.10.wcnf,1,ok
des/cnf.20.p.5.wcnf,1,ok
des/cnf.20.p.7.wcnf,1,ok
des/cnf.8.p.7.wcnf,1,ok
des/cnf.9.p.10.wcnf,1,ok
des/cnf.9.p.8.wcnf,1,ok
drmx-cryptogen/geffe128_1.wcnf,1,ok
drmx-cryptogen/geffe128_4.wcnf,1,ok
drmx-cryptogen/geffe128_5.wcnf,1,ok
drmx-cryptogen/geffe128_8.wcnf,1,ok
drmx-cryptogen/threshold128_0.wcnf,1,ok
drmx-cryptogen/threshold128_2.wcnf,1,ok
drmx-cryptogen/threshold128_3.wcnf,1,ok
drmx-cryptogen/threshold128_4.wcnf,1,ok
drmx-cryptogen/threshold128_5.wcnf,1,ok
drmx-cryptogen/threshold128_6.wcnf,1,ok
drmx-cryptogen/threshold128_8.wcnf,1,ok
drmx-cryptogen/wolfram72_1.wcnf,1,ok
drmx-cryptogen/wolfram72_5.wcnf,1,ok
drmx-cryptogen/wolfram72_7.wcnf,1,ok
drmx-cryptogen/wolfram72_8.wcnf,1,ok
drmx-cryptogen/wolfram72_9.wcnf,1,ok
drmx-cryptogen/wolfram80_1.wcnf,1,ok
drmx-cryptogen/wolfram80_5.wcnf,1,ok
drmx-cryptogen/wolfram80_6.wcnf,1,ok
drmx-cryptogen/wolfram80_9.wcnf,1,ok
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_0_10_3.wcnf,1,ok
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf,1,ok
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf,1,ok
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf,1,ok
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf,1,ok
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf,1,ok
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_4_10_4.wcnf,1,ok
extension-enforcement/extension-enforcement_strict_com_100_0.05_0_30_3.wcnf,1,ok
extension-enforcement/extension-enforcement_strict_com_150_0.05_0_15_2.wcnf,1,ok
extension-enforcement/extension-enforcement_strict_com_150_0.05_3_30_0.wcnf,1,ok
extension-enforcement/extension-enforcement_strict_com_150_0.05_4_15_1.wcnf,1,ok
extension-enforcement/extension-enforcement_strict_com_150_0.2_4_8_3.wcnf,1,ok
extension-enforcement/extension-enforcement_strict_com_200_0.05_1_40_1.wcnf,1,timeout
extension-enforcement/extension-enforcement_strict_com_200_0.05_4_20_3.wcnf,1,ok
extension-enforcement/extension-enforcement_strict_com_200_0.2_1_10_0.wcnf,1,ok
fault-diagnosis/s38417_nan_explicit_0_0.wcnf,1,timeout
fault-diagnosis/s38584_nan_explicit_12_0.wcnf,1,timeout
fault-diagnosis/s38584_nan_explicit_13_0.wcnf,1,timeout
fault-diagnosis/s38584_nan_explicit_15_0.wcnf,1,timeout
fault-diagnosis/s38584_nan_explicit_19_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_26_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_27_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_29_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_3_0.wcnf,1,timeout
fault-diagnosis/s38584_nan_explicit_30_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_31_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_33_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_34_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_35_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_37_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_4_0.wcnf,1,timeout
fault-diagnosis/s38584_nan_explicit_40_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_41_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_49_0.wcnf,1,ok
fault-diagnosis/s38584_nan_explicit_5_0.wcnf,1,timeout
fault-diagnosis/s38584_nan_explicit_8_0.wcnf,1,timeout
frb/frb35-17-1.partial.wcnf,1,ok
frb/frb35-17-2.partial.wcnf,1,ok
frb/frb35-17-3.partial.wcnf,1,ok
frb/frb35-17-5.partial.wcnf,1,ok
frb/frb40-19-1.partial.wcnf,1,ok
frb/frb40-19-2.partial.wcnf,1,ok
frb/frb40-19-3.partial.wcnf,1,ok
frb/frb40-19-4.partial.wcnf,1,ok
frb/frb40-19-5.partial.wcnf,1,ok
gen-hyper-tw/GenHyperTW_2bitcomp_5.wcnf,1,timeout
gen-hyper-tw/GenHyperTW_aim-50-1_6-yes1-3.wcnf,1,ok
gen-hyper-tw/GenHyperTW_dubois21.wcnf,1,timeout
gen-hyper-tw/GenHyperTW_grid4d_3.wcnf,1,ok
gen-hyper-tw/GenHyperTW_hole9.wcnf,1,timeout
gen-hyper-tw/GenHyperTW_par8-1-c.wcnf,1,timeout
gen-hyper-tw/GenHyperTW_par8-4-c.wcnf,1,timeout
gen-hyper-tw/GenHyperTW_par8-5-c.wcnf,1,timeout
gen-hyper-tw/GenHyperTW_s208.wcnf,1,timeout
HaplotypeAssembly/splitedReads_0.matrix.wcnf,1,ok
HaplotypeAssembly/splitedReads_158.matrix.wcnf,1,ok
HaplotypeAssembly/splitedReads_160.matrix.wcnf,1,ok
HaplotypeAssembly/splitedReads_18.matrix.wcnf,1,ok
HaplotypeAssembly/splitedReads_414.matrix.wcnf,1,ok
hs-timetabling/GreeceWesternGreeceUniversityInstance4.xml.wcnf,1,timeout
jobshop/ft10-808-1090.wcnf,1,ok
jobshop/orb08-894-1058.wcnf,1,ok
kbtree/kbtree9_7_3_5_30_3.wcsp.wcnf,1,ok
kbtree/kbtree9_7_3_5_40_1.wcsp.wcnf,1,ok
kbtree/kbtree9_7_3_5_40_3.wcsp.wcnf,1,ok
kbtree/kbtree9_7_3_5_50_1.wcsp.wcnf,1,ok
kbtree/kbtree9_7_3_5_50_4.wcsp.wcnf,1,ok
kbtree/kbtree9_7_3_5_50_6.wcsp.wcnf,1,ok
kbtree/kbtree9_7_3_5_60_1.wcsp.wcnf,1,ok
kbtree/kbtree9_7_3_5_70_5.wcsp.wcnf,1,ok
kbtree/kbtree9_7_3_5_80_2.wcsp.wcnf,1,ok
kbtree/kbtree9_7_3_5_80_5.wcsp.wcnf,1,ok
kbtree/kbtree9_7_3_5_90_4.wcsp.wcnf,1,ok
kbtree/kbtree9_7_3_5_90_5.wcsp.wcnf,1,ok
logic-synthesis/normalized-5xp1.b.opb.msat.wcnf,1,ok
logic-synthesis/normalized-alu4.b.opb.msat.wcnf,1,ok
logic-synthesis/normalized-apex4.a.opb.msat.wcnf,1,ok
logic-synthesis/normalized-bench1.pi.opb.msat.wcnf,1,ok
logic-synthesis/normalized-count.b.opb.msat.wcnf,1,ok
logic-synthesis/normalized-e64.b.opb.msat.wcnf,1,ok
logic-synthesis/normalized-ex5.pi.opb.msat.wcnf,1,ok
logic-synthesis/normalized-exam.pi.opb.msat.wcnf,1,ok
logic-synthesis/normalized-f51m.b.opb.msat.wcnf,1,ok
logic-synthesis/normalized-jac3.opb.msat.wcnf,1,ok
logic-synthesis/normalized-max1024.pi.opb.msat.wcnf,1,ok
logic-synthesis/normalized-prom2.pi.opb.msat.wcnf,1,ok
logic-synthesis/normalized-rot.b.opb.msat.wcnf,1,ok
logic-synthesis/normalized-sao2.b.opb.msat.wcnf,1,ok
logic-synthesis/normalized-test4.pi.opb.msat.wcnf,1,ok
maxclique/brock200_2.clq.wcnf,1,ok
maxclique/brock400_4.clq.wcnf,1,ok
maxclique/c-fat500-2.clq.wcnf,1,ok
maxclique/keller4.clq.wcnf,1,ok
maxclique/keller5.clq.wcnf,1,ok
maxclique/p_hat300-1.clq.wcnf,1,ok
maxclique/p_hat300-2.clq.wcnf,1,ok
maxclique/p_hat700-3.clq.wcnf,1,ok
maxclique/san1000.clq.wcnf,1,ok
maxclique/san200_0.9_3.clq.wcnf,1,ok
maxcut/hamming8-2.clq.wcnf,1,ok
maxcut/maxcut-140-630-0.7-15.wcnf,1,ok
maxcut/maxcut-140-630-0.7-48.wcnf,1,ok
maxcut/maxcut-140-630-0.8-34.wcnf,1,ok
maxcut/maxcut-140-630-0.8-36.wcnf,1,ok
maxcut/p_hat300-3.clq.wcnf,1,ok
maxcut/san400_0.5_1.clq.wcnf,1,ok
maxcut/sanr200_0.7.clq.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g2_n26e25_n48e52.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g2_n37e45_n71e77.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g2_n38e39_n146e164.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g2_n38e52_n53e67.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g2_n42e55_n44e53.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g2_n44e59_n69e83.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g2_n45e48_n47e54.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g2_n50e50_n58e61.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g2_n61e85_n120e154.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g2_n67e83_n68e73.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g2_n92e110_n96e105.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n26e25_n27e26_n42e48.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n30e43_n32e44_n40e53.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n30e43_n40e53_n44e48.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n34e43_n59e60_n71e84.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n35e48_n41e57_n56e65.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n37e36_n37e35_n39e39.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n39e39_n81e90_n91e99.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n39e42_n61e85_n72e77.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n52e77_n57e74_n58e75.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n66e77_n66e72_n94e112.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n66e77_n74e84_n94e112.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g3_n67e86_n89e98_n130e150.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g4_n47e57_n58e61_n133e169_n141e184.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g4_n58e71_n61e85_n100e127_n104e131.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g4_n69e80_n69e80_n69e80_n79e87.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g5_n39e38_n43e43_n61e61_n67e68_n82e119.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g6_n25e24_n28e29_n32e33_n37e37_n38e39_n40e39.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g7_n13e12_n13e12_n13e12_n13e12_n14e13_n15e14_n24e31.wcnf,1,ok
MaximumCommonSub-GraphExtraction/g8_n44e59_n44e58_n47e63_n58e76_n67e94_n75e107_n123e161_n133e175.wcnf,1,ok
maxone/3col140_5_1.shuffled.cnf.wcnf,1,ok
maxone/3col140_5_10.shuffled.cnf.wcnf,1,ok
maxone/3col140_5_2.shuffled.cnf.wcnf,1,ok
maxone/3col140_5_3.shuffled.cnf.wcnf,1,ok
maxone/3col140_5_4.shuffled.cnf.wcnf,1,ok
maxone/3col140_5_5.shuffled.cnf.wcnf,1,ok
maxone/3col140_5_6.shuffled.cnf.wcnf,1,ok
maxone/3col140_5_7.shuffled.cnf.wcnf,1,ok
maxone/3col140_5_8.shuffled.cnf.wcnf,1,ok
maxone/3col140_5_9.shuffled.cnf.wcnf,1,ok
maxone/dp06s06.shuffled.cnf.wcnf,1,ok
maxone/dp07s07.shuffled.cnf.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/adult_train_1_DNF_2_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/adult_train_5_CNF_2_1.wcnf,1,timeout
MaxSATQueriesinInterpretableClassifiers/adult_train_8_CNF_3_1.wcnf,1,timeout
MaxSATQueriesinInterpretableClassifiers/compas_train_1_CNF_5_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/compas_train_8_CNF_2_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/compas_train_9_DNF_3_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/credit_train_0_CNF_4_1.wcnf,1,timeout
MaxSATQueriesinInterpretableClassifiers/credit_train_1_CNF_5_1.wcnf,1,timeout
MaxSATQueriesinInterpretableClassifiers/heart_train_0_DNF_2_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/heart_train_0_DNF_3_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/ilpd_train_4_CNF_2_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_1_CNF_5_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_1_DNF_1_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_2_CNF_2_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/parkinsons_train_6_DNF_4_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/pima_train_5_CNF_2_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/tictactoe_train_1_CNF_3_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/tictactoe_train_3_DNF_1_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/titanic_train_0_CNF_4_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/titanic_train_1_CNF_2_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/titanic_train_1_CNF_5_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/titanic_train_9_CNF_2_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/toms_test_0_CNF_4_1.wcnf,1,timeout
MaxSATQueriesinInterpretableClassifiers/toms_test_1_DNF_5_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/toms_train_2_CNF_5_1.wcnf,1,timeout
MaxSATQueriesinInterpretableClassifiers/twitter_test_0_CNF_2_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/twitter_test_1_CNF_5_1.wcnf,1,timeout
MaxSATQueriesinInterpretableClassifiers/twitter_test_9_CNF_4_1.wcnf,1,timeout
MaxSATQueriesinInterpretableClassifiers/wdbc_train_0_CNF_3_1.wcnf,1,ok
MaxSATQueriesinInterpretableClassifiers/wdbc_train_1_CNF_1_1.wcnf,1,ok
mbd/b14_C-mbd14-0225.wcnf,1,ok
mbd/b14_C-mbd14-0307.wcnf,1,ok
mbd/b17_C-mbd14-0304.wcnf,1,ok
mbd/b17_C-mbd14-0370.wcnf,1,ok
mbd/b20_C-mbd14-0255.wcnf,1,ok
mbd/b20_C-mbd14-0328.wcnf,1,ok
mbd/b20_C-mbd14-0354.wcnf,1,ok
mbd/b21_C-mbd14-0205.wcnf,1,ok
mbd/b21_C-mbd14-0217.wcnf,1,ok
mbd/b21_C-mbd14-0267.wcnf,1,ok
mbd/b21_C-mbd14-0295.wcnf,1,ok
mbd/b21_C-mbd14-0349.wcnf,1,ok
mbd/b22_C-mbd14-0222.wcnf,1,ok
mbd/b22_C-mbd14-0223.wcnf,1,ok
mbd/b22_C-mbd14-0240.wcnf,1,ok
mbd/b22_C-mbd14-0241.wcnf,1,ok
mbd/b22_C-mbd14-0300.wcnf,1,ok
min-fill/MinFill_R0_miles1500.wcnf,1,timeout
min-fill/MinFill_R0_mulsol.i.2.wcnf,1,timeout
min-fill/MinFill_R0_mulsol.i.3.wcnf,1,timeout
min-fill/MinFill_R0_mulsol.i.4.wcnf,1,timeout
min-fill/MinFill_R0_myciel4.wcnf,1,ok
min-fill/MinFill_R0_myciel5.wcnf,1,ok
min-fill/MinFill_R0_myciel6.wcnf,1,ok
min-fill/MinFill_R0_myciel7.wcnf,1,timeout
min-fill/MinFill_R0_queen11_11.wcnf,1,timeout
min-fill/MinFill_R0_queen6_6.wcnf,1,ok
min-fill/MinFill_R0_queen8_12.wcnf,1,ok
min-fill/MinFill_R0_queen8_8.wcnf,1,ok
min-fill/MinFill_R1_games120.wcnf,1,timeout
min-fill/MinFill_R10_anna.wcnf,1,ok
min-fill/MinFill_R3_david.wcnf,1,ok
min-fill/MinFill_R3_miles1000.wcnf,1,timeout
min-fill/MinFill_R3_miles750.wcnf,1,timeout
min-fill/MinFill_R4_miles500.wcnf,1,timeout
mqc/10tree1020p.wcnf,1,ok
mqc/10tree115p.wcnf,1,ok
mqc/10tree125p.wcnf,1,ok
mqc/10tree315p.wcnf,1,ok
mqc/10tree320p.wcnf,1,ok
mqc/10tree425p.wcnf,1,ok
mqc/10tree430p.wcnf,1,ok
mqc/10tree730p.wcnf,1,ok
mqc/10tree825p.wcnf,1,ok
mqc/15tree101p.wcnf,1,ok
mqc/15tree201p.wcnf,1,ok
mqc/15tree301posib.wcnf,1,ok
mqc/15tree401posib.wcnf,1,ok
mqc/15tree501p.wcnf,1,ok
mqc/15tree701p.wcnf,1,ok
optic/gen_add_4_33.wcnf,1,ok
optic/gen_add_5_33.wcnf,1,ok
optic/gen_cvc-add3-carry2-gadget_33.wcnf,1,ok
optic/gen_cvc-add3-carry2-gadget_399.wcnf,1,ok
optic/gen_cvc-add3-carry2-gadget_9999.wcnf,1,ok
optic/gen_cvc-add7to3_9999.wcnf,1,ok
optic/gen_cvc-plus_4_33.wcnf,1,ok
optic/gen_mult_3_5_399.wcnf,1,ok
optic/gen_mult_3_5_991.wcnf,1,ok
optic/gen_mult_3_5_9999.wcnf,1,ok
optic/gen_mult_3_6_399.wcnf,1,ok
optic/gen_mult_4_4_9999.wcnf,1,ok
optic/gen_mult_4_5_9999.wcnf,1,ok
optic/gen_mult_4_6_299.wcnf,1,ok
optic/gen_mult_4_6_991.wcnf,1,ok
optic/gen_square_5_299.wcnf,1,ok
optic/gen_square_5_399.wcnf,1,ok
packup/2c3aece6-c8b2-11df-a040-00163e3d3b7c_l3.wcnf,1,ok
packup/7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l3.wcnf,1,ok
packup/apt-cudf-universe0ea62c_l1.wcnf,1,ok
packup/ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l3.wcnf,1,ok
packup/rand179_l2.wcnf,1,ok
packup/rand196_l2.wcnf,1,ok
packup/rand209_l2.wcnf,1,ok
packup/rand21_l2.wcnf,1,ok
packup/rand290_l2.wcnf,1,ok
packup/rand308_l2.wcnf,1,ok
packup/rand313_l2.wcnf,1,ok
packup/rand507_l2.wcnf,1,ok
packup/rand7_l2.wcnf,1,ok
packup/rand717_l2.wcnf,1,ok
packup/rand943_l2.wcnf,1,ok
packup/rand984_l2.wcnf,1,ok
protein_ins/1bpi_.2knt_.g.wcnf.t.wcnf,1,timeout
protein_ins/1bpi_.5pti_.g.wcnf.t.wcnf,1,timeout
protein_ins/1knt_.1bpi_.g.wcnf.t.wcnf,1,timeout
protein_ins/1knt_.2knt_.g.wcnf.t.wcnf,1,timeout
protein_ins/1knt_.5pti_.g.wcnf.t.wcnf,1,timeout
protein_ins/2knt_.5pti_.g.wcnf.t.wcnf,1,timeout
protein_ins/3ebx_.1era_.g.wcnf.t.wcnf,1,timeout
protein_ins/3ebx_.6ebx_.g.wcnf.t.wcnf,1,timeout
protein_ins/6ebx_.1era_.g.wcnf.t.wcnf,1,timeout
protein_ins/p1.wcnf.t.wcnf,1,timeout
protein_ins/sandiaprotein.g.wcnf.t.wcnf,1,timeout
pseudoBoolean/normalized-g100x100.opb.msat.wcnf,1,ok
pseudoBoolean/normalized-g15x15.opb.msat.wcnf,1,ok
pseudoBoolean/normalized-mps-v2-20-10-stein45.opb.msat.wcnf,1,ok
pseudoBoolean/normalized-par32-1.opb.msat.wcnf,1,ok
pseudoBoolean/normalized-par32-2.opb.msat.wcnf,1,ok
pseudoBoolean/normalized-par32-3.opb.msat.wcnf,1,ok
pseudoBoolean/normalized-par32-4.opb.msat.wcnf,1,ok
pseudoBoolean/normalized-par32-5.opb.msat.wcnf,1,ok
pseudoBoolean/normalized-ssa7552-038.opb.msat.wcnf,1,ok
pseudoBoolean/normalized-ssa7552-158.opb.msat.wcnf,1,ok
pseudoBoolean/normalized-ssa7552-159.opb.msat.wcnf,1,ok
pseudoBoolean/normalized-ssa7552-160.opb.msat.wcnf,1,ok
railway-transport/d4.wcnf,1,timeout
railway-transport/dp43.wcnf,1,timeout
railway-transport/p15.wcnf,1,ok
railway-transport/pesp_18Min.wcnf,1,timeout
railway-transport/pesp_5min.wcnf,1,timeout
railway-transport/we.wcnf,1,timeout
ramsey/ram_k3_n10.ra0.wcnf,1,ok
ramsey/ram_k3_n11.ra0.wcnf,1,ok
ramsey/ram_k3_n12.ra0.wcnf,1,ok
ramsey/ram_k3_n13.ra0.wcnf,1,ok
ramsey/ram_k3_n14.ra0.wcnf,1,ok
ramsey/ram_k3_n15.ra0.wcnf,1,ok
ramsey/ram_k3_n16.ra0.wcnf,1,ok
ramsey/ram_k3_n17.ra0.wcnf,1,ok
ramsey/ram_k3_n18.ra0.wcnf,1,ok
ramsey/ram_k3_n19.ra0.wcnf,1,ok
ramsey/ram_k3_n20.ra0.wcnf,1,ok
ramsey/ram_k3_n9.ra0.wcnf,1,ok
ramsey/ram_k4_n18.ra0.wcnf,1,ok
ramsey/ram_k4_n19.ra0.wcnf,1,ok
ramsey/ram_k4_n20.ra0.wcnf,1,ok
reversi/rev66-10.wcnf,1,ok
reversi/rev66-12.wcnf,1,ok
reversi/rev66-14.wcnf,1,ok
reversi/rev66-16.wcnf,1,ok
reversi/rev66-18.wcnf,1,ok
reversi/rev66-20.wcnf,1,ok
reversi/rev66-22.wcnf,1,ok
reversi/rev66-24.wcnf,1,ok
reversi/rev66-26.wcnf,1,ok
reversi/rev66-28.wcnf,1,ok
reversi/rev66-30.wcnf,1,ok
reversi/rev66-32.wcnf,1,ok
reversi/rev66-6.wcnf,1,ok
reversi/rev66-8.wcnf,1,ok
rna-alignment/k50-23-49.rna.pre.wcnf,1,ok
rna-alignment/k50-40-60.rna.pre.wcnf,1,ok
scheduling/cnf_10_center.wcnf,1,timeout
scheduling/cnf_10.wcnf,1,timeout
scheduling/cnf_12_center.wcnf,1,timeout
scheduling/cnf_12.wcnf,1,timeout
scheduling/cnf_small.wcnf,1,ok
SeanSafarpour/c6_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf,1,ok
SeanSafarpour/divider-problem.dimacs_2.filtered.wcnf,1,ok
SeanSafarpour/dividers1.dimacs.filtered.wcnf,1,ok
SeanSafarpour/dividers9.dimacs.filtered.wcnf,1,ok
SeanSafarpour/fpu8-problem.dimacs_24.filtered.wcnf,1,timeout
SeanSafarpour/mem_ctrl1.dimacs.filtered.wcnf,1,timeout
SeanSafarpour/rsdecoder_fsm1.dimacs.filtered.wcnf,1,timeout
SeanSafarpour/rsdecoder-problem.dimacs_34.filtered.wcnf,1,timeout
SeanSafarpour/spi-problem.dimacs_42.filtered.wcnf,1,timeout
SeanSafarpour/wb_4m8s3.dimacs.filtered.wcnf,1,timeout
SeanSafarpour/wb_conmax3.dimacs.filtered.wcnf,1,timeout
SeanSafarpour/wb1.dimacs.filtered.wcnf,1,ok
set-covering/scpclr10_maxsat.wcnf,1,ok
set-covering/scpclr11_maxsat.wcnf,1,ok
set-covering/scpclr12_maxsat.wcnf,1,ok
set-covering/scpclr13_maxsat.wcnf,1,ok
set-covering/scpcyc06_maxsat.wcnf,1,ok
set-covering/scpcyc07_maxsat.wcnf,1,ok
set-covering/scpcyc08_maxsat.wcnf,1,ok
set-covering/scpcyc09_maxsat.wcnf,1,ok
set-covering/scpcyc10_maxsat.wcnf,1,ok
set-covering/scpcyc11_maxsat.wcnf,1,ok
tpr/b14-s_PathRelaxation_FS_14.wcnf,1,ok
tpr/b14-s_PathRelaxation_FS_16.wcnf,1,ok
tpr/b14-s_PathRelaxation_FS_25.wcnf,1,ok
tpr/b14-s_PathRelaxation_FS_46.wcnf,1,ok
tpr/b14-s_PathRelaxation_Set_FS_47.wcnf,1,ok
tpr/b18-s_PathRelaxation_Set_FS_32.wcnf,1,timeout
tpr/b21-s_PathRelaxation_FS_28.wcnf,1,ok
tpr/b21-s_PathRelaxation_FS_42.wcnf,1,ok
tpr/b21-s_PathRelaxation_FS_47.wcnf,1,ok
tpr/b21-s_PathRelaxation_FS_48.wcnf,1,ok
tpr/b21-s_PathRelaxation_Set_FS_31.wcnf,1,ok
treewidth-computation/TWComp_1c75_N69.wcnf,1,ok
treewidth-computation/TWComp_1dj7_N73.wcnf,1,timeout
treewidth-computation/TWComp_1dp_N76.wcnf,1,timeout
treewidth-computation/TWComp_1en2_N69.wcnf,1,ok
treewidth-computation/TWComp_celar02_N100.wcnf,1,timeout
treewidth-computation/TWComp_celar09pp_N67.wcnf,1,ok
treewidth-computation/TWComp_david_N87.wcnf,1,timeout
treewidth-computation/TWComp_eil51.tsp_N51.wcnf,1,ok
treewidth-computation/TWComp_hepar2_N70.wcnf,1,timeout
treewidth-computation/TWComp_huck_N74.wcnf,1,timeout
treewidth-computation/TWComp_jean_N77.wcnf,1,timeout
treewidth-computation/TWComp_miles500_N128.wcnf,1,timeout
treewidth-computation/TWComp_mulsol.i.5-pp_N119.wcnf,1,timeout
treewidth-computation/TWComp_myciel4_N23.wcnf,1,ok
treewidth-computation/TWComp_myciel5_N47.wcnf,1,ok
treewidth-computation/TWComp_oesoca+_N67.wcnf,1,ok
treewidth-computation/TWComp_pathfinder_N109.wcnf,1,timeout
treewidth-computation/TWComp_queen5_5_N25.wcnf,1,ok
treewidth-computation/TWComp_queen6_6_N36.wcnf,1,ok
treewidth-computation/TWComp_queen7_7_N49.wcnf,1,ok
treewidth-computation/TWComp_ship-ship-pp_N30.wcnf,1,ok
treewidth-computation/TWComp_win95pts_N76.wcnf,1,timeout
uaq/uaq-nr-nr130-nc43-n3-k2-rpp4-ppr2-plb50.wcnf,1,ok
uaq/uaq-nr-nr150-nc50-n3-k2-rpp4-ppr2-plb50.wcnf,1,ok
uaq/uaq-nr-nr220-nc73-n3-k2-rpp4-ppr2-plb50.wcnf,1,ok
uaq/uaq-nr-nr240-nc80-n3-k2-rpp4-ppr2-plb50.wcnf,1,ok
uaq/uaq-nr-nr340-nc113-n3-k2-rpp4-ppr2-plb50.wcnf,1,ok
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb100.wcnf,1,ok
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb90.wcnf,1,ok
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr5-plb100.wcnf,1,ok
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr6-plb100.wcnf,1,ok
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr11-plb100.wcnf,1,ok
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr13-plb100.wcnf,1,ok
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr6-plb100.wcnf,1,ok
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr9-plb100.wcnf,1,ok
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp28-ppr2-plb20.wcnf,1,ok
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp6-ppr2-plb20.wcnf,1,ok
vpa/UAutomizer_4BitCounterPointer_true-termination_true-valid-memsafety.c_Abstraction1.wcnf,1,ok
vpa/UAutomizer_AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c_Abstraction1.wcnf,1,ok
vpa/UAutomizer_c.03-alloca_true-termination_true-no-overflow.c.i_Abstraction3.wcnf,1,ok
vpa/UAutomizer_CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i_Abstraction3.wcnf,1,ok
vpa/UAutomizer_cstrpbrk_diffterm_alloca_true-termination.c.i_Abstraction4.wcnf,1,ok
vpa/UAutomizer_ll_append-alloca_false-termination.c.i_Abstraction1.wcnf,1,ok
vpa/UAutomizer_LogAG_true-termination_true-no-overflow.c_Abstraction2.wcnf,1,ok
vpa/UAutomizer_NestedRecursion_2b_false-termination_true-valid-memsafety.c_Abstraction2.wcnf,1,ok
wqueens/wqueens14_12.wcsp.dir.wcnf,1,ok
wqueens/wqueens16_14.wcsp.dir.wcnf,1,ok
wqueens/wqueens18_16.wcsp.dir.wcnf,1,ok
xai-mindset2/australian.wcnf,1,timeout
xai-mindset2/bnn-last-layer-f10.wcnf,1,ok
xai-mindset2/cleve.wcnf,1,ok
xai-mindset2/cleveland.wcnf,1,ok
xai-mindset2/cloud.wcnf,1,ok
xai-mindset2/diabetes.wcnf,1,timeout
xai-mindset2/glass.wcnf,1,ok
xai-mindset2/glass2.wcnf,1,ok
xai-mindset2/heart-h.wcnf,1,ok
xai-mindset2/house-votes-84.wcnf,1,ok
xai-mindset2/hungarian.wcnf,1,ok
xai-mindset2/iris.wcnf,1,ok
xai-mindset2/liver-disorder.wcnf,1,ok
xai-mindset2/lupus.wcnf,1,ok
xai-mindset2/new-thyroid.wcnf,1,ok
xai-mindset2/soybean.wcnf,1,ok
xai-mindset2/tae.wcnf,1,ok