<s> """<STR_LIT>""" <EOL> import os . path <EOL> import borg <EOL> logger = borg . get_logger ( __name__ , default_level = "<STR_LIT>" ) <EOL> @ borg . annotations ( <EOL> suite_path = ( "<STR_LIT>" , "<STR_LIT>" , None , os . path . abspath ) , <EOL> solver_name = ( "<STR_LIT>" , "<STR_LIT>" ) , <EOL> instance_path = ( "<STR_LIT>" , "<STR_LIT>" ) , <EOL> specifics = ( "<STR_LIT>" , "<STR_LIT>" ) , <EOL> budget = ( "<STR_LIT>" , "<STR_LIT>" , None , float ) , <EOL> max_length = ( "<STR_LIT>" , "<STR_LIT>" ) , <EOL> seed = ( "<STR_LIT>" , "<STR_LIT>" , None , int ) , <EOL> ) <EOL> def main ( <EOL> suite_path , <EOL> solver_name , <EOL> instance_path , <EOL> specifics = None , <EOL> budget = <NUM_LIT> , <EOL> max_length = None , <EOL> seed = None , <EOL> * args <EOL> ) : <EOL> """<STR_LIT>""" <EOL> suite = borg . load_solvers ( suite_path ) <EOL> if seed is not None : <EOL> borg . statistics . set_prng_seeds ( seed ) <EOL> suite = borg . load_solvers ( suite_path ) <EOL> solver = suite . solvers [ solver_name ] . with_args ( args ) <EOL> with suite . domain . task_from_path ( instance_path ) as task : <EOL> with borg . accounting ( ) as accountant : <EOL> answer = solver ( task ) ( budget ) <EOL> succeeded = suite . domain . is_final ( task , answer ) <EOL> print "<STR_LIT>" . format ( <EOL> solved = "<STR_LIT>" if succeeded else "<STR_LIT>" , <EOL> run_time = accountant . total . cpu_seconds , <EOL> run_length = - <NUM_LIT:1> , <EOL> best = - <NUM_LIT:1> , <EOL> seed = seed , <EOL> ) <EOL> if __name__ == "<STR_LIT:__main__>" : <EOL> borg . script ( main ) </s>
