diff --git a/atpg b/atpg index e4d0301..e54fdb2 100755 Binary files a/atpg and b/atpg differ diff --git a/check.log b/check.log new file mode 100644 index 0000000..6165192 --- /dev/null +++ b/check.log @@ -0,0 +1,25 @@ +[1/26] 任务 ./benchmark/b17.bench +[2/26] 任务 ./benchmark/b21.bench +[3/26] 任务 ./benchmark/b07.bench +[4/26] 任务 ./benchmark/c17.bench +[5/26] 任务 ./benchmark/b03.bench +[6/26] 任务 ./benchmark/b11.bench +[7/26] 任务 ./benchmark/c5315.bench +[8/26] 任务 ./benchmark/c880.bench +[9/26] 任务 ./benchmark/b06.bench +[10/26] 任务 ./benchmark/b01.bench +[11/26] 任务 ./benchmark/b10.bench +[12/26] 任务 ./benchmark/b04.bench +[13/26] 任务 ./benchmark/b22.bench +[14/26] 任务 ./benchmark/b09.bench +[15/26] 任务 ./benchmark/b08.bench +[16/26] 任务 ./benchmark/c499.bench +[17/26] 任务 ./benchmark/c1908.bench +[18/26] 任务 ./benchmark/c3540.bench +[19/26] 任务 ./benchmark/c2670.bench +[20/26] 任务 ./benchmark/b12.bench +[21/26] 任务 ./benchmark/c7552.bench +[22/26] 任务 ./benchmark/b20.bench +[23/26] 任务 ./benchmark/c6288.bench +[24/26] 任务 ./benchmark/c432.bench +[25/26] 任务 ./benchmark/b13.bench diff --git a/ls.cpp b/ls.cpp index 46ab20b..4eeab07 100644 --- a/ls.cpp +++ b/ls.cpp @@ -76,8 +76,6 @@ bool Circuit::local_search(std::unordered_set &faults) { } else { ls_update_weight(); - - if(stem_total_cnt == stems.size()) { while(!flip_update_queue.empty()) { Gate* g = flip_update_queue.back(); diff --git a/run_exp.py b/run_exp.py index 8114a78..9dfbd32 100644 --- a/run_exp.py +++ b/run_exp.py @@ -34,6 +34,8 @@ def run_shell_command(command, output_file, timeout): # if(res != 0): # exit_status = ExitStatus.runtime_error + os.system("echo \"time: %.4f\" >> %s " % ( exec_time, output_file )) + return (exit_status, exec_time) class AtalantaSolver: diff --git a/show_exp.ipynb b/show_exp.ipynb new file mode 100644 index 0000000..e946599 --- /dev/null +++ b/show_exp.ipynb @@ -0,0 +1,38 @@ +{ + "cells": [ + { + "cell_type": "code", + "execution_count": 1, + "metadata": {}, + "outputs": [], + "source": [] + } + ], + "metadata": { + "kernelspec": { + "display_name": "Python 3", + "language": "python", + "name": "python3" + }, + "language_info": { + "codemirror_mode": { + "name": "ipython", + "version": 3 + }, + "file_extension": ".py", + "mimetype": "text/x-python", + "name": "python", + "nbconvert_exporter": "python", + "pygments_lexer": "ipython3", + "version": "3.10.7" + }, + "orig_nbformat": 4, + "vscode": { + "interpreter": { + "hash": "e7370f93d1d0cde622a1f8e1c04877d8463912d04d973331ad4851f04de6915a" + } + } + }, + "nbformat": 4, + "nbformat_minor": 2 +}