Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/cvc5/contrib/competitions/sygus-comp

	Name	Last modified	Size	Description
	Parent Directory		-
	run-script-sygusComp-current-CLIA	2024-09-15 02:50	861
	run-script-sygusComp-current-GENERAL-auto	2024-09-15 02:50	882
	run-script-sygusComp-current-GENERAL-f	2024-09-15 02:50	866
	run-script-sygusComp-current-GENERAL-s	2024-09-15 02:50	866
	run-script-sygusComp-current-INV-f	2024-09-15 02:50	850
	run-script-sygusComp-current-INV-s	2024-09-15 02:50	850
	run-script-sygusComp-current-INV-su	2024-09-15 02:50	939
	run-script-sygusComp-current-PBE_BitVec-f	2024-09-15 02:50	327
	run-script-sygusComp-current-PBE_BitVec-s	2024-09-15 02:50	351
	run-script-sygusComp-current-PBE_Strings-f	2024-09-15 02:50	347
	run-script-sygusComp-current-PBE_Strings-s	2024-09-15 02:50	371
	run-script-sygusComp2016-CLIA	2024-09-15 02:50	361
	run-script-sygusComp2016-GENERAL	2024-09-15 02:50	784
	run-script-sygusComp2016-INV	2024-09-15 02:50	345
	run-script-sygusComp2016-PBE	2024-09-15 02:50	338
	run-script-sygusComp2017-CLIA	2024-09-15 02:50	361
	run-script-sygusComp2017-GENERAL	2024-09-15 02:50	784
	run-script-sygusComp2017-INV	2024-09-15 02:50	735
	run-script-sygusComp2017-PBE_BitVec	2024-09-15 02:50	338
	run-script-sygusComp2017-PBE_Strings	2024-09-15 02:50	358
	run-script-sygusComp2018-CLIA	2024-09-15 02:50	894
	run-script-sygusComp2018-GENERAL	2024-09-15 02:50	917
	run-script-sygusComp2018-INV	2024-09-15 02:50	799
	run-script-sygusComp2018-PBE_BitVec	2024-09-15 02:50	331
	run-script-sygusComp2018-PBE_Strings	2024-09-15 02:50	351
	run-script-sygusComp2019-CLIA	2024-09-15 02:50	873
	run-script-sygusComp2019-GENERAL-auto	2024-09-15 02:50	894
	run-script-sygusComp2019-GENERAL-f	2024-09-15 02:50	872
	run-script-sygusComp2019-GENERAL-s	2024-09-15 02:50	872
	run-script-sygusComp2019-INV-f	2024-09-15 02:50	844
	run-script-sygusComp2019-INV-s	2024-09-15 02:50	844
	run-script-sygusComp2019-INV-su	2024-09-15 02:50	947
	run-script-sygusComp2019-PBE_BitVec-f	2024-09-15 02:50	330
	run-script-sygusComp2019-PBE_BitVec-s	2024-09-15 02:50	354
	run-script-sygusComp2019-PBE_Strings-f	2024-09-15 02:50	350
	run-script-sygusComp2019-PBE_Strings-s	2024-09-15 02:50	374
	run-script-syguscomp2015	2024-09-15 02:50	424