├── DES_Supervisor_linux ├── DES_Supervisor_win.exe ├── Makefile ├── README.md ├── bin └── empty.txt ├── include ├── BFS_Node.h ├── Bimap.h ├── CSR.h ├── DBTS.h ├── FSM.h ├── ICS.h ├── IS_Property.h ├── LDS.h ├── NBAIC.h ├── NBAIC_State.h ├── Typedef.h ├── UBTS.h ├── Utilities.h ├── double_fsm.h └── supervisor.h ├── obj ├── DES_Supervisor.o ├── FSM.o ├── ICS.o ├── IS_Property.o └── LDS.o ├── scalability_test ├── csv files │ ├── 200r_12s_25e_100c_80o_40d.csv │ ├── 50r_13s_25e_100c_80o_40d.csv │ ├── 50r_25s_3e_100c_80o_40d.csv │ ├── EBTS_size_results.csv │ ├── NBAIC_size_results.csv │ ├── runtime_results.csv │ └── scalability_test_results.csv ├── results │ ├── EBTS_size_results.csv │ ├── MPO_size_results.csv │ ├── Test Results.xlsx │ └── runtime_results.csv ├── scalability_test ├── scalability_test.cpp └── scalability_test.o ├── src ├── CSR.cpp ├── DBTS.cpp ├── DES_Supervisor.cpp ├── FSM.cpp ├── ICS.cpp ├── IS_Property.cpp ├── LDS.cpp ├── NBAIC.cpp ├── NBAIC_State.cpp ├── UBTS.cpp ├── Utilities.cpp └── supervisor.cpp └── test ├── FSM_test_0.txt ├── FSM_test_1.txt ├── FSM_test_10.txt ├── FSM_test_11.txt ├── FSM_test_12.txt ├── FSM_test_13.txt ├── FSM_test_14.txt ├── FSM_test_15.txt ├── FSM_test_16.txt ├── FSM_test_17.txt ├── FSM_test_18.txt ├── FSM_test_19.txt ├── FSM_test_2.txt ├── FSM_test_20.txt ├── FSM_test_21.txt ├── FSM_test_22.txt ├── FSM_test_23.txt ├── FSM_test_24.txt ├── FSM_test_25.fsm ├── FSM_test_25.txt ├── FSM_test_26.txt ├── FSM_test_27.txt ├── FSM_test_3.txt ├── FSM_test_4.txt ├── FSM_test_5.txt ├── FSM_test_6.txt ├── FSM_test_7.txt ├── FSM_test_8.txt ├── FSM_test_9.txt ├── SURE_test.txt ├── disambiguation_test_25.txt ├── looooooong.txt ├── opacity_test_2.txt ├── presentation_fsm.txt ├── safety_test_10.txt ├── safety_test_2.txt ├── safety_test_3.txt ├── safety_test_4.txt ├── safety_test_5.txt ├── test_1.out ├── test_1.txt ├── test_10.out ├── test_10.txt ├── test_11.out ├── test_11.txt ├── test_12.out ├── test_12.txt ├── test_13.out ├── test_13.txt ├── test_14.out ├── test_14.txt ├── test_15.out ├── test_15.txt ├── test_16.out ├── test_16.txt ├── test_2.out ├── test_2.txt ├── test_3.out ├── test_3.txt ├── test_4.out ├── test_4.txt ├── test_5.out ├── test_5.txt ├── test_6.out ├── test_6.txt ├── test_7.out ├── test_7.txt ├── test_8.out └── test_9.out /DES_Supervisor_linux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/DES_Supervisor_linux -------------------------------------------------------------------------------- /DES_Supervisor_win.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/DES_Supervisor_win.exe -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/README.md -------------------------------------------------------------------------------- /bin/empty.txt: -------------------------------------------------------------------------------- 1 | epp 2 | -------------------------------------------------------------------------------- /include/BFS_Node.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/BFS_Node.h -------------------------------------------------------------------------------- /include/Bimap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/Bimap.h -------------------------------------------------------------------------------- /include/CSR.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/CSR.h -------------------------------------------------------------------------------- /include/DBTS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/DBTS.h -------------------------------------------------------------------------------- /include/FSM.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/FSM.h -------------------------------------------------------------------------------- /include/ICS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/ICS.h -------------------------------------------------------------------------------- /include/IS_Property.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/IS_Property.h -------------------------------------------------------------------------------- /include/LDS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/LDS.h -------------------------------------------------------------------------------- /include/NBAIC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/NBAIC.h -------------------------------------------------------------------------------- /include/NBAIC_State.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/NBAIC_State.h -------------------------------------------------------------------------------- /include/Typedef.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/Typedef.h -------------------------------------------------------------------------------- /include/UBTS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/UBTS.h -------------------------------------------------------------------------------- /include/Utilities.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/Utilities.h -------------------------------------------------------------------------------- /include/double_fsm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/double_fsm.h -------------------------------------------------------------------------------- /include/supervisor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/include/supervisor.h -------------------------------------------------------------------------------- /obj/DES_Supervisor.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/obj/DES_Supervisor.o -------------------------------------------------------------------------------- /obj/FSM.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/obj/FSM.o -------------------------------------------------------------------------------- /obj/ICS.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/obj/ICS.o -------------------------------------------------------------------------------- /obj/IS_Property.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/obj/IS_Property.o -------------------------------------------------------------------------------- /obj/LDS.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/obj/LDS.o -------------------------------------------------------------------------------- /scalability_test/csv files/200r_12s_25e_100c_80o_40d.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/csv files/200r_12s_25e_100c_80o_40d.csv -------------------------------------------------------------------------------- /scalability_test/csv files/50r_13s_25e_100c_80o_40d.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/csv files/50r_13s_25e_100c_80o_40d.csv -------------------------------------------------------------------------------- /scalability_test/csv files/50r_25s_3e_100c_80o_40d.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/csv files/50r_25s_3e_100c_80o_40d.csv -------------------------------------------------------------------------------- /scalability_test/csv files/EBTS_size_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/csv files/EBTS_size_results.csv -------------------------------------------------------------------------------- /scalability_test/csv files/NBAIC_size_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/csv files/NBAIC_size_results.csv -------------------------------------------------------------------------------- /scalability_test/csv files/runtime_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/csv files/runtime_results.csv -------------------------------------------------------------------------------- /scalability_test/csv files/scalability_test_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/csv files/scalability_test_results.csv -------------------------------------------------------------------------------- /scalability_test/results/EBTS_size_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/results/EBTS_size_results.csv -------------------------------------------------------------------------------- /scalability_test/results/MPO_size_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/results/MPO_size_results.csv -------------------------------------------------------------------------------- /scalability_test/results/Test Results.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/results/Test Results.xlsx -------------------------------------------------------------------------------- /scalability_test/results/runtime_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/results/runtime_results.csv -------------------------------------------------------------------------------- /scalability_test/scalability_test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/scalability_test -------------------------------------------------------------------------------- /scalability_test/scalability_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/scalability_test.cpp -------------------------------------------------------------------------------- /scalability_test/scalability_test.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/scalability_test/scalability_test.o -------------------------------------------------------------------------------- /src/CSR.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/CSR.cpp -------------------------------------------------------------------------------- /src/DBTS.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/DBTS.cpp -------------------------------------------------------------------------------- /src/DES_Supervisor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/DES_Supervisor.cpp -------------------------------------------------------------------------------- /src/FSM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/FSM.cpp -------------------------------------------------------------------------------- /src/ICS.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/ICS.cpp -------------------------------------------------------------------------------- /src/IS_Property.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/IS_Property.cpp -------------------------------------------------------------------------------- /src/LDS.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/LDS.cpp -------------------------------------------------------------------------------- /src/NBAIC.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/NBAIC.cpp -------------------------------------------------------------------------------- /src/NBAIC_State.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/NBAIC_State.cpp -------------------------------------------------------------------------------- /src/UBTS.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/UBTS.cpp -------------------------------------------------------------------------------- /src/Utilities.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/Utilities.cpp -------------------------------------------------------------------------------- /src/supervisor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/src/supervisor.cpp -------------------------------------------------------------------------------- /test/FSM_test_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_0.txt -------------------------------------------------------------------------------- /test/FSM_test_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_1.txt -------------------------------------------------------------------------------- /test/FSM_test_10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_10.txt -------------------------------------------------------------------------------- /test/FSM_test_11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_11.txt -------------------------------------------------------------------------------- /test/FSM_test_12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_12.txt -------------------------------------------------------------------------------- /test/FSM_test_13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_13.txt -------------------------------------------------------------------------------- /test/FSM_test_14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_14.txt -------------------------------------------------------------------------------- /test/FSM_test_15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_15.txt -------------------------------------------------------------------------------- /test/FSM_test_16.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_16.txt -------------------------------------------------------------------------------- /test/FSM_test_17.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_17.txt -------------------------------------------------------------------------------- /test/FSM_test_18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_18.txt -------------------------------------------------------------------------------- /test/FSM_test_19.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_19.txt -------------------------------------------------------------------------------- /test/FSM_test_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_2.txt -------------------------------------------------------------------------------- /test/FSM_test_20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_20.txt -------------------------------------------------------------------------------- /test/FSM_test_21.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_21.txt -------------------------------------------------------------------------------- /test/FSM_test_22.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_22.txt -------------------------------------------------------------------------------- /test/FSM_test_23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_23.txt -------------------------------------------------------------------------------- /test/FSM_test_24.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_24.txt -------------------------------------------------------------------------------- /test/FSM_test_25.fsm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_25.fsm -------------------------------------------------------------------------------- /test/FSM_test_25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_25.txt -------------------------------------------------------------------------------- /test/FSM_test_26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_26.txt -------------------------------------------------------------------------------- /test/FSM_test_27.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_27.txt -------------------------------------------------------------------------------- /test/FSM_test_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_3.txt -------------------------------------------------------------------------------- /test/FSM_test_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_4.txt -------------------------------------------------------------------------------- /test/FSM_test_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_5.txt -------------------------------------------------------------------------------- /test/FSM_test_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_6.txt -------------------------------------------------------------------------------- /test/FSM_test_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_7.txt -------------------------------------------------------------------------------- /test/FSM_test_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_8.txt -------------------------------------------------------------------------------- /test/FSM_test_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/FSM_test_9.txt -------------------------------------------------------------------------------- /test/SURE_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/SURE_test.txt -------------------------------------------------------------------------------- /test/disambiguation_test_25.txt: -------------------------------------------------------------------------------- 1 | 3 2 | 1 4 5 6 -------------------------------------------------------------------------------- /test/looooooong.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/looooooong.txt -------------------------------------------------------------------------------- /test/opacity_test_2.txt: -------------------------------------------------------------------------------- 1 | 5 -------------------------------------------------------------------------------- /test/presentation_fsm.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/presentation_fsm.txt -------------------------------------------------------------------------------- /test/safety_test_10.txt: -------------------------------------------------------------------------------- 1 | 9 10 -------------------------------------------------------------------------------- /test/safety_test_2.txt: -------------------------------------------------------------------------------- 1 | 5 -------------------------------------------------------------------------------- /test/safety_test_3.txt: -------------------------------------------------------------------------------- 1 | 3 8 -------------------------------------------------------------------------------- /test/safety_test_4.txt: -------------------------------------------------------------------------------- 1 | 15 -------------------------------------------------------------------------------- /test/safety_test_5.txt: -------------------------------------------------------------------------------- 1 | 3 8 -------------------------------------------------------------------------------- /test/test_1.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_1.out -------------------------------------------------------------------------------- /test/test_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_1.txt -------------------------------------------------------------------------------- /test/test_10.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_10.out -------------------------------------------------------------------------------- /test/test_10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_10.txt -------------------------------------------------------------------------------- /test/test_11.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_11.out -------------------------------------------------------------------------------- /test/test_11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_11.txt -------------------------------------------------------------------------------- /test/test_12.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_12.out -------------------------------------------------------------------------------- /test/test_12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_12.txt -------------------------------------------------------------------------------- /test/test_13.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_13.out -------------------------------------------------------------------------------- /test/test_13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_13.txt -------------------------------------------------------------------------------- /test/test_14.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_14.out -------------------------------------------------------------------------------- /test/test_14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_14.txt -------------------------------------------------------------------------------- /test/test_15.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_15.out -------------------------------------------------------------------------------- /test/test_15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_15.txt -------------------------------------------------------------------------------- /test/test_16.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_16.out -------------------------------------------------------------------------------- /test/test_16.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_16.txt -------------------------------------------------------------------------------- /test/test_2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_2.out -------------------------------------------------------------------------------- /test/test_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_2.txt -------------------------------------------------------------------------------- /test/test_3.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_3.out -------------------------------------------------------------------------------- /test/test_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_3.txt -------------------------------------------------------------------------------- /test/test_4.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_4.out -------------------------------------------------------------------------------- /test/test_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_4.txt -------------------------------------------------------------------------------- /test/test_5.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_5.out -------------------------------------------------------------------------------- /test/test_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_5.txt -------------------------------------------------------------------------------- /test/test_6.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_6.out -------------------------------------------------------------------------------- /test/test_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_6.txt -------------------------------------------------------------------------------- /test/test_7.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_7.out -------------------------------------------------------------------------------- /test/test_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_7.txt -------------------------------------------------------------------------------- /test/test_8.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_8.out -------------------------------------------------------------------------------- /test/test_9.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xiang-yin/DPO-SYNT/HEAD/test/test_9.out --------------------------------------------------------------------------------