git.libre-soc.org Git - cvc5.git/tree - contrib/competitions/sygus-comp/

drwxr-xr-x		..
-rwxr-xr-x	861	run-script-sygusComp-current-CLIA	blob \| history \| raw
-rwxr-xr-x	882	run-script-sygusComp-current-GENERAL-auto	blob \| history \| raw
-rwxr-xr-x	866	run-script-sygusComp-current-GENERAL-f	blob \| history \| raw
-rwxr-xr-x	866	run-script-sygusComp-current-GENERAL-s	blob \| history \| raw
-rwxr-xr-x	850	run-script-sygusComp-current-INV-f	blob \| history \| raw
-rwxr-xr-x	850	run-script-sygusComp-current-INV-s	blob \| history \| raw
-rwxr-xr-x	939	run-script-sygusComp-current-INV-su	blob \| history \| raw
-rwxr-xr-x	327	run-script-sygusComp-current-PBE_BitVec-f	blob \| history \| raw
-rwxr-xr-x	351	run-script-sygusComp-current-PBE_BitVec-s	blob \| history \| raw
-rwxr-xr-x	347	run-script-sygusComp-current-PBE_Strings-f	blob \| history \| raw
-rwxr-xr-x	371	run-script-sygusComp-current-PBE_Strings-s	blob \| history \| raw
-rwxr-xr-x	361	run-script-sygusComp2016-CLIA	blob \| history \| raw
-rwxr-xr-x	784	run-script-sygusComp2016-GENERAL	blob \| history \| raw
-rwxr-xr-x	345	run-script-sygusComp2016-INV	blob \| history \| raw
-rwxr-xr-x	338	run-script-sygusComp2016-PBE	blob \| history \| raw
-rwxr-xr-x	361	run-script-sygusComp2017-CLIA	blob \| history \| raw
-rwxr-xr-x	784	run-script-sygusComp2017-GENERAL	blob \| history \| raw
-rwxr-xr-x	735	run-script-sygusComp2017-INV	blob \| history \| raw
-rwxr-xr-x	338	run-script-sygusComp2017-PBE_BitVec	blob \| history \| raw
-rwxr-xr-x	358	run-script-sygusComp2017-PBE_Strings	blob \| history \| raw
-rw-r--r--	894	run-script-sygusComp2018-CLIA	blob \| history \| raw
-rw-r--r--	917	run-script-sygusComp2018-GENERAL	blob \| history \| raw
-rw-r--r--	799	run-script-sygusComp2018-INV	blob \| history \| raw
-rw-r--r--	331	run-script-sygusComp2018-PBE_BitVec	blob \| history \| raw
-rw-r--r--	351	run-script-sygusComp2018-PBE_Strings	blob \| history \| raw
-rwxr-xr-x	873	run-script-sygusComp2019-CLIA	blob \| history \| raw
-rwxr-xr-x	894	run-script-sygusComp2019-GENERAL-auto	blob \| history \| raw
-rwxr-xr-x	872	run-script-sygusComp2019-GENERAL-f	blob \| history \| raw
-rwxr-xr-x	872	run-script-sygusComp2019-GENERAL-s	blob \| history \| raw
-rwxr-xr-x	844	run-script-sygusComp2019-INV-f	blob \| history \| raw
-rwxr-xr-x	844	run-script-sygusComp2019-INV-s	blob \| history \| raw
-rwxr-xr-x	947	run-script-sygusComp2019-INV-su	blob \| history \| raw
-rwxr-xr-x	330	run-script-sygusComp2019-PBE_BitVec-f	blob \| history \| raw
-rwxr-xr-x	354	run-script-sygusComp2019-PBE_BitVec-s	blob \| history \| raw
-rwxr-xr-x	350	run-script-sygusComp2019-PBE_Strings-f	blob \| history \| raw
-rwxr-xr-x	374	run-script-sygusComp2019-PBE_Strings-s	blob \| history \| raw
-rwxr-xr-x	424	run-script-syguscomp2015	blob \| history \| raw