nohup: ignoring input
10pipe_k.cnf
13pipe_k.cnf
14pipe_q0_k.cnf
20-100-frag12-0_sat.cnf
20-100-frag12-14_sat.cnf
20-100-frag12-32_sat.cnf
20-100-frag12-53_sat.cnf
20-100-lambda100-14_sat.cnf
20-100-lambda100-14_unsat.cnf
20-100-lambda100-47_unsat.cnf
20-100-lambda100-49_sat.cnf
20-100-lambda100-65_sat.cnf
20-100-lambda100-89_sat.cnf
20-100-lambda100-89_unsat.cnf
20-100-p100-55_sat.cnf
20-100-p100-55_unsat.cnf
2bitcomp_5.hg_20.cnf
51.smt2.cnf
73.smt2.cnf
9dlx_vliw_at_b_iq5.cnf
9dlx_vliw_at_b_iq8.cnf
ACG-15-10p1.cnf
ak016modbtsimpbisc.cnf
ak032modbtmodbtisc.cnf
ak128paralparalisc.cnf
assoc_mult_err_3.c.cnf
at-least-two-aaai10-planning-ipc5-pathways-17-step20.cnf
at-least-two-aaai10-planning-ipc5-pipesworld-12-step15.cnf
at-least-two-hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf
at-least-two-ibm-2004-23-k100.cnf
at-least-two-maris-s03-gripper11.cnf
at-least-two-smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf
at-least-two-sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
at-least-two-traffic_b_unsat.cnf
at-least-two-traffic_f_unknown.cnf
at-least-two-traffic_kkb_unknown.cnf
at-least-two-traffic_pcb_unknown.cnf
vmpc_26.cnf
at-least-two-vmpc_28.cnf
b04_s_unknown_pre.cnf
b2005-p3-12x12c10h7-Ser7-0.cnf
barman-pfile10-039.sas.ex.15.cnf
barman-pfile10-040.sas.ex.15.cnf
battleship-12-12-unsat.cnf
battleship-14-26-sat.cnf
blocks-blocks-36-0.180-SAT.cnf
blocks-blocks-37-1.120-NOTKNOWN.cnf
blocks-blocks-37-1.130-NOTKNOWN.cnf
bvsdiv_19.smt2.cnf
bvsmod_18.smt2.cnf
bvsmod_19.smt2.cnf
bvsub_08985.smt2.cnf
bvsub_12973.smt2.cnf
bvsub_19952.smt2.cnf
bv-term-small-rw_1492.smt2.cnf
bvurem_20.smt2.cnf
Circuit_multiplier18.cnf
Circuit_multiplier22.cnf
Circuit_multiplier24.cnf
Circuit_multiplier25.cnf
Circuit_multiplier26.cnf
Circuit_multiplier29.cnf
Circuit_multiplier33.cnf
Circuit_multiplier34.cnf
Circuit_multiplier35.cnf
Circuit_multiplier36.cnf
Circuit_multiplier37.cnf
Circuit_multiplier45.cnf
Circuit_multiplier53.cnf
crafted_n10_d6_c4_num15.cnf
crafted_n10_d6_c4_num21.cnf
crafted_n11_d6_c4_num14.cnf
crafted_n12_d6_c3_num18.cnf
crafted_n12_d6_c3_num28.cnf
crafted_n12_d6_c4_num17.cnf
ctl_4201_555_unsat.cnf
ctl_4291_567_1_unsat.cnf
ctl_4291_567_11_unsat.cnf
ctl_4291_567_6_unsat_pre.cnf
ctl_4291_567_9_unsat.cnf
dist10.c.cnf
dist4.c.cnf
E00X23.cnf
E02F17.cnf
ecarev-110-1031-23-40-8.cnf
ecarev-110-4099-22-30-4.cnf
edit_distance007_85.cnf
edit_distance019_312.cnf
edit_distance023_281.cnf
edit_distance023_282.cnf
edit_distance023_283.cnf
edit_distance025_448.cnf
edit_distance025_449.cnf
edit_distance025_450.cnf
edit_distance031_283.cnf
edit_distance031_284.cnf
edit_distance035_393.cnf
edit_distance041_182.cnf
edit_distance041_183.cnf
ER_500_40_2.apx_0.cnf
erin2_0x0_n207-379.cnf
erin2_0x0-379.cnf
erin2_0x1e3-216.cnf
ex045_7.cnf
ex065_25.cnf
ex095_8.cnf
ex175_20.cnf
HCP-424-60.cnf
HCP-446-105.cnf
HCP-446-420.cnf
HCP-446-60.cnf
HCP-470-105.cnf
HCP-470-420.cnf
HCP-470-60.cnf
HCP-506-60.cnf
HCP-522-105.cnf
HCP-526-105.cnf
HCP-526-420.cnf
HCP-529-420.cnf
HCP-529-60.cnf
huck.col.11.cnf
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf
k2fix_gr_rcs_w8.shuffled.cnf
Kakuro-easy-045-ext.xml.hg_4.cnf
Kakuro-easy-051-ext.xml.hg_4.cnf
Kakuro-easy-089-ext.xml.hg_4.cnf
Kakuro-easy-104-ext.xml.hg_6.cnf
Kakuro-easy-112-ext.xml.hg_7.cnf
Kakuro-easy-115-ext.xml.hg_5.cnf
Kakuro-easy-118-ext.xml.hg_4.cnf
Kakuro-easy-127-ext.xml.hg_7.cnf
Kakuro-easy-132-ext.xml.hg_8.cnf
Kakuro-easy-142-ext.xml.hg_8.cnf
Kakuro-easy-150-ext.xml.hg_9.cnf
Kakuro-easy-156-ext.xml.hg_7.cnf
ktf_TF-1.tf_4_0.06_101.cnf
ktf_TF-3.tf_2_0.02_24.cnf
ktf_TF-3.tf_3_0.02_24.cnf
ktf_TF-4.tf_2_0.02_18.cnf
ktf_TF-4.tf_4_0.04_35.cnf
ktf_TF-4.tf_4_0.06_52.cnf
ktf_TF-6.tf_4_0.06_77.cnf
ktf_TF-7.tf_3_0.06_113.cnf
ktf_TF-8.tf_4_0.06_109.cnf
LABS_n041_goal003.cnf
LABS_n068_goal001.cnf
LABS_n069_goal001.cnf
LABS_n072_goal006.cnf
LABS_n089_goal008.cnf
maximum_constrained_partition_14_bits_n200.cnf
maximum_constrained_partition_18_bits_n200.cnf
maxor128.cnf
mp1-blockpuzzle_5x10_s5_free3.cnf
mp1-blockpuzzle_5x12_s6_free3.cnf
mp1-blockpuzzle_9x9_s1_free8.cnf
mp1-blockpuzzle_9x9_s5_free3.cnf
mp1-bsat201-707.cnf
mp1-bsat210-739.cnf
mp1-klieber2017s-0300-034-t12.cnf
mp1-klieber2017s-0490-024-t12.cnf
mp1-klieber2017s-1000-023-eq.cnf
mp1-klieber2017s-1000-024-eq.cnf
mp1-klieber2017s-1200-022-eq.cnf
mp1-klieber2017s-2000-022-eq.cnf
mp1-Nb6T06.cnf
mp1-Nb6T07.cnf
mp1-Nb7T44.cnf
mp1-Nb7T46.cnf
mp1-squ_ali_s10x10_c39_abio_SAT.cnf
mp1-squ_any_s09x07_c27_abix_UNS.cnf
mp1-tri_ali_s11_c35_abix_UNS.cnf
mp1-tri_ali_s11_c35_bail_UNS.cnf
MVD_ADS_S1_5_5.cnf
MVD_ADS_S10_5_6.cnf
MVD_ADS_S10_6_6.cnf
MVD_ADS_S11_6_7.cnf
MVD_ADS_S11_7_7.cnf
MVD_ADS_S11_8_7.cnf
MVD_ADS_S3_5_5.cnf
MVD_ADS_S4_5_5.cnf
MVD_ADS_S5_6_6.cnf
MVD_ADS_S6_6_5.cnf
MVD_ADS_S6_6_6.cnf
MVD_ADS_S7_6_6.cnf
MVD_ADS_S9_6_6.cnf
Mycielski-10-hints-10.cnf
Mycielski-10-hints-7.cnf
Mycielski-10-hints-8.cnf
Mycielski-10-hints-9.cnf
Mycielski-11-hints-1.cnf
Mycielski-11-hints-2.cnf
Mycielski-11-hints-3.cnf
Mycielski-11-hints-4.cnf
n320p5q2_n.apx_16.cnf
n320p5q2_n.apx_17.cnf
Nb51T6.cnf
ndhf_xits_09_UNSAT.cnf
p01_lb_05.cnf
pb_300_05_lb_16.cnf
pb_300_05_lb_17.cnf
pb_300_06_lb_02.cnf
pb_300_10_lb_06.cnf
php12e12.cnf
prime_a20_b20.cnf
prime_a22_b22.cnf
prime_a24_b24.cnf
puzzle30_sat.cnf
puzzle34_sat.cnf
puzzle34_unsat.cnf
puzzle35_sat.cnf
puzzle35_unsat.cnf
puzzle36_sat.cnf
puzzle37_unsat.cnf
puzzle39_sat.cnf
puzzle42_sat.cnf
puzzle44_unsat.cnf
quad_res_r21_m22.cnf
quad_res_r26_m27.cnf
quad_res_r28_m29.cnf
quad_res_r29_m32.cnf
randomG-B-Mix-n15-d05.cnf
randomG-B-Mix-n16-d05.cnf
randomG-B-Mix-n18-d05.cnf
randomG-Mix-n17-d05.cnf
randomG-Mix-n18-d05.cnf
randomG-n16-d05.cnf
randomG-n17-d05.cnf
randomG-n18-d05.cnf
randomG-n19-d05.cnf
randomG-n20-d05.cnf
rphp4_065_shuffled.cnf
rphp4_080_shuffled.cnf
rphp4_090_shuffled.cnf
rpoc_xits_10_UNKNOWN.cnf
satch2ways12u.cnf
satch2ways12wu.cnf
satch2ways13wu.cnf
satch2ways14u.cnf
satch2ways15.cnf
satch2ways15u.cnf
satch2ways15wu.cnf
satch2ways16.cnf
satch2ways16w.cnf
SC21_Timetable_C_466_E_62_Cl_31_S_30.cnf
SC21_Timetable_C_527_E_71_Cl_35_S_35.cnf
SC21_Timetable_C_542_E_71_Cl_36_S_35.cnf
SC21_Timetable_C_557_E_73_Cl_37_S_35.cnf
scc_1213_40_10_3.apx_0.cnf
stb_531_83.apx_1.cnf
stb_588_138.apx_1.cnf
SE_PR_WS_500_16_70_10.apx_0.cnf
shift1add.26949.cnf
size_5_5_5_i003_r12.cnf
size_5_5_5_i223_r12.cnf
size_5_5_5_i251_r12.cnf
snw_13_8_pre.cnf
snw_13_8_pre-sc2016.cnf
snw_13_9_pre.cnf
snw_16_9_Encpre.cnf
sokoban-p16.sas.ex.19-sc2016.cnf
sokoban-p20.sas.cr.21.cnf
sokoban-p20.sas.cr.27.cnf
sokoban-p20.sas.ex.13.cnf
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
sp4-33-bin-stri-flat-noid.cnf
sp4-33-one-nons-flat-noid.cnf
sp4-33-one-stri-tree-noid.cnf
sp4-33-una-stri-flat-noid.cnf
sp5-21-15-bin-stri-flat-noid.cnf
sp5-21-15-bin-stri-tree-noid.cnf
sp5-21-15-one-nons-tree-noid.cnf
sp5-21-15-one-stri-tree-noid.cnf
sp5-21-15-una-nons-tree-noid.cnf
sp5-21-15-una-stri-flat-noid.cnf
sp5-26-19-bin-nons-tree-noid.cnf
sp5-26-19-bin-stri-flat-noid.cnf
sp5-26-19-una-nons-tree-noid.cnf
spg_200_300.cnf
spg_200_301.cnf
spg_200_307.cnf
spg_200_316.cnf
spg_200_317.cnf
spg_200_321.cnf
spg_300_300.cnf
spg_300_301.cnf
spg_300_312.cnf
spg_330_400.cnf
spg_400_281.cnf
spg_420_280.cnf
spg_420_350.cnf
stb_531_83.apx_0.cnf
stb_792_333.apx_0.cnf
sted1_0x0-637.cnf
sted1_0x1e3-393.cnf
sted12a_0x1e1-67.cnf
sted2_0x0-343.cnf
sted2_0x1e3-216.cnf
sted3_0x0_n201-239.cnf
sted4_0x0_n159-185.cnf
sted5_0x0_n90-157.cnf
sted5_0x1e3-120.cnf
sted5_0x1e3-20.cnf
sted6_0x1e3-97.cnf
string_compare_safety_cbmc_unwinding_600.cnf
string_compare_safety_cbmc_unwinding_630.cnf
string_compare_safety_cbmc_unwinding_670.cnf
string_compare_safety_cbmc_unwinding_680.cnf
string_compare_safety_cbmc_unwinding_690.cnf
string_compare_safety_cbmc_unwinding_700.cnf
string_compare_safety_cbmc_unwinding_730.cnf
string_compare_safety_cbmc_unwinding_780.cnf
string_compare_safety_cbmc_unwinding_800.cnf
string_compare_safety_cbmc_unwinding_870.cnf
string_compare_safety_cbmc_unwinding_900.cnf
string_compare_safety_cbmc_unwinding_930.cnf
string_compare_safety_cbmc_unwinding_940.cnf
sum_of_3_cubes_37_bits_87.cnf
sum_of_3_cubes_42_bits_96.cnf
sum_of_3_cubes_50_bits_91.cnf
sum_of_3_cubes_51_bits_80.cnf
sum_of_3_cubes_52_bits_39.cnf
Sz1024_34824.smt2.cnf
Sz512_15128_1.smt2.cnf
test_v7_r12_vr1_c1_s10576.smt2.cnf
toughsat_factoring_426s.cnf
toughsat_factoring_895s.cnf
UCG-20-10p1-sc2009.cnf
UR-15-10p0.cnf
g2-UR-20-5p1.cnf
vlsat2_11_26.cnf
vlsat2_11_42.cnf
vlsat2_111_1186.cnf
vlsat2_112_4223.cnf
vlsat2_113_1150.cnf
vlsat2_142_6781.cnf
vlsat2_144_7585.cnf
vlsat2_297_3780.cnf
vlsat2_377_5364.cnf
vlsat2_44_545.cnf
vlsat2_51_824.cnf
vlsat2_56_1042.cnf
vlsat2_702_14170.cnf
WS_300_24_90_10.apx_0.cnf
WS_400_16_90_70.apx_0.cnf
WS_500_16_70_10.apx_0.cnf
WS_500_32_30_10.apx_0.cnf