# start:
start = timer()
newfilename='fl1577.pool_100.txt' # change it every time you run it!
newfile=open(newfilename, 'w')
newfile.write('Variables: \n')
newfile.write('teeth_surplus_bound: %.5f \n' % teeth_surplus_bound)
newfile.write('node_num_upper_bd: %d \n' % node_num_upper_bd)
newfile.write('handle_num_bound: %d \n' % handle_num_bound)
newfile.write('x_delta_H_bound: %.5f \n' % x_delta_H_bound)
newfile.write('epsilon: %.5f \n' % epsilon)
newfile.write('krange: %d \n \n' % krange)
# constants:
F=build_support_graph('fl1577.x') # you may need to change this
G=create_dom_graph2('fl1577.dom', teeth_surplus_bound, node_num_upper_bd) # you may need to change this
newfile.write('Constants: \n')
newfile.write('Total number of dominoes: %d \n' % G.number_of_nodes())
handle_pool= all_handles('fl1577.pool.txt') # you may need to change this
newfile.write('Total number of handles considered: %d \n\n' % len(handle_pool))
# main function
viol_comb_list= find_comb(F,G,handle_pool)
# miscellaneous
end=timer()
print('Total running time: %.5f'%(end-start))
newfile.write('\n Total running time: %.5f'%(end-start))
# start:
start = timer()
newfilename='test_htt.3.3_2.txt' # change it every time you run it!
newfile=open(newfilename, 'w')
newfile.write('Variables: \n')
newfile.write('teeth_surplus_bound: %.5f \n' % teeth_surplus_bound)
newfile.write('node_num_upper_bd: %d \n' % node_num_upper_bd)
newfile.write('handle_num_bound: %d \n' % handle_num_bound)
newfile.write('x_delta_H_bound: %.5f \n' % x_delta_H_bound)
newfile.write('epsilon: %.5f \n' % epsilon)
newfile.write('krange: %d \n \n' % krange)
# constants:
F=build_support_graph('att532.x') # you may need to change this
G=create_dom_graph2('att532.dom', teeth_surplus_bound, node_num_upper_bd) # you may need to change this
newfile.write('Constants: \n')
newfile.write('Total number of dominoes: %d \n' % G.number_of_nodes())
handle_pool= all_handles('att532.pool.test.txt') # you may need to change this
newfile.write('Total number of handles considered: %d \n\n' % len(handle_pool))
# main function
viol_comb_list= find_comb(F,G,handle_pool)
# miscellaneous
end=timer()
print('Total running time: %.5f'%(end-start))
newfile.write('\n Total running time: %.5f'%(end-start))