Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/bitwuzla/deps/cadical/test/cnf

	Name	Last modified	Size	Description
	Parent Directory		-
	README.md	2021-10-27 05:04	1.0K
	add4.cnf	2021-10-27 05:04	1.6K
	add8.cnf	2021-10-27 05:04	4.4K
	add16.cnf	2021-10-27 05:04	11K
	add32.cnf	2021-10-27 05:04	23K
	add64.cnf	2021-10-27 05:04	51K
	add128.cnf	2021-10-27 05:04	98K
	block0.cnf	2021-10-27 05:04	64
	drat-trim.c	2021-10-27 05:04	60K
	elimclash.cnf	2021-10-27 05:04	105
	elimredundant.cnf	2021-10-27 05:04	103
	empty.cnf	2021-10-27 05:04	10
	empty.sol	2021-10-27 05:04	18
	factor2708413neg.cnf	2021-10-27 05:04	38K
	factor2708413pos.cnf	2021-10-27 05:04	37K
	false.cnf	2021-10-27 05:04	12
	full1.cnf	2021-10-27 05:04	19
	full2.cnf	2021-10-27 05:04	38
	full3.cnf	2021-10-27 05:04	86
	full4.cnf	2021-10-27 05:04	203
	full5.cnf	2021-10-27 05:04	475
	full6.cnf	2021-10-27 05:04	1.1K
	full7.cnf	2021-10-27 05:04	2.4K
	makefile	2021-10-27 05:04	91
	ph2.cnf	2021-10-27 05:04	76
	ph3.cnf	2021-10-27 05:04	200
	ph4.cnf	2021-10-27 05:04	437
	ph5.cnf	2021-10-27 05:04	810
	ph6.cnf	2021-10-27 05:04	1.3K
	precochk.c	2021-10-27 05:04	6.4K
	prime4.cnf	2021-10-27 05:04	502
	prime4.sol	2021-10-27 05:04	80
	prime9.cnf	2021-10-27 05:04	1.8K
	prime9.sol	2021-10-27 05:04	245
	prime25.cnf	2021-10-27 05:04	3.9K
	prime25.sol	2021-10-27 05:04	527
	prime49.cnf	2021-10-27 05:04	7.1K
	prime49.sol	2021-10-27 05:04	939
	prime121.cnf	2021-10-27 05:04	11K
	prime121.sol	2021-10-27 05:04	1.4K
	prime169.cnf	2021-10-27 05:04	16K
	prime169.sol	2021-10-27 05:04	2.0K
	prime289.cnf	2021-10-27 05:04	21K
	prime289.sol	2021-10-27 05:04	2.8K
	prime361.cnf	2021-10-27 05:04	21K
	prime361.sol	2021-10-27 05:04	2.8K
	prime529.cnf	2021-10-27 05:04	28K
	prime529.sol	2021-10-27 05:04	3.6K
	prime841.cnf	2021-10-27 05:04	28K
	prime841.sol	2021-10-27 05:04	3.6K
	prime961.cnf	2021-10-27 05:04	28K
	prime961.sol	2021-10-27 05:04	3.6K
	prime1369.cnf	2021-10-27 05:04	35K
	prime1369.sol	2021-10-27 05:04	4.5K
	prime1681.cnf	2021-10-27 05:04	35K
	prime1681.sol	2021-10-27 05:04	4.5K
	prime1849.cnf	2021-10-27 05:04	35K
	prime1849.sol	2021-10-27 05:04	4.5K
	prime2209.cnf	2021-10-27 05:04	44K
	prime2209.sol	2021-10-27 05:04	5.7K
	prime65537.cnf	2021-10-27 05:04	87K
	prime4294967297.cnf	2021-10-27 05:04	84K
	regr000.cnf	2021-10-27 05:04	16
	regr000.sol	2021-10-27 05:04	48
	run.sh	2021-10-27 05:04	6.5K
	sat0.cnf	2021-10-27 05:04	38
	sat1.cnf	2021-10-27 05:04	39
	sat1.sol	2021-10-27 05:04	22
	sat2.cnf	2021-10-27 05:04	39
	sat2.sol	2021-10-27 05:04	23
	sat3.cnf	2021-10-27 05:04	39
	sat3.sol	2021-10-27 05:04	23
	sat4.cnf	2021-10-27 05:04	39
	sat4.sol	2021-10-27 05:04	24
	sat5.cnf	2021-10-27 05:04	86
	sat6.cnf	2021-10-27 05:04	87
	sat6.sol	2021-10-27 05:04	24
	sat7.cnf	2021-10-27 05:04	87
	sat7.sol	2021-10-27 05:04	25
	sat8.cnf	2021-10-27 05:04	87
	sat8.sol	2021-10-27 05:04	25
	sat9.cnf	2021-10-27 05:04	87
	sat9.sol	2021-10-27 05:04	26
	sat10.cnf	2021-10-27 05:04	87
	sat10.sol	2021-10-27 05:04	25
	sat11.cnf	2021-10-27 05:04	87
	sat11.sol	2021-10-27 05:04	26
	sat12.cnf	2021-10-27 05:04	87
	sat12.sol	2021-10-27 05:04	26
	sat13.cnf	2021-10-27 05:04	87
	sat13.sol	2021-10-27 05:04	27
	sqrt2809.cnf	2021-10-27 05:04	6.4K
	sqrt2809.sol	2021-10-27 05:04	914
	sqrt3481.cnf	2021-10-27 05:04	6.4K
	sqrt3481.sol	2021-10-27 05:04	912
	sqrt3721.cnf	2021-10-27 05:04	6.4K
	sqrt3721.sol	2021-10-27 05:04	913
	sqrt4489.cnf	2021-10-27 05:04	9.5K
	sqrt4489.sol	2021-10-27 05:04	1.3K
	sqrt5041.cnf	2021-10-27 05:04	9.5K
	sqrt5041.sol	2021-10-27 05:04	1.3K
	sqrt5329.cnf	2021-10-27 05:04	9.5K
	sqrt5329.sol	2021-10-27 05:04	1.3K
	sqrt6241.cnf	2021-10-27 05:04	9.5K
	sqrt6241.sol	2021-10-27 05:04	1.3K
	sqrt6889.cnf	2021-10-27 05:04	9.5K
	sqrt6889.sol	2021-10-27 05:04	1.3K
	sqrt7921.cnf	2021-10-27 05:04	9.5K
	sqrt7921.sol	2021-10-27 05:04	1.3K
	sqrt9409.cnf	2021-10-27 05:04	9.6K
	sqrt9409.sol	2021-10-27 05:04	1.3K
	sqrt10201.cnf	2021-10-27 05:04	9.6K
	sqrt10201.sol	2021-10-27 05:04	1.3K
	sqrt10609.cnf	2021-10-27 05:04	9.6K
	sqrt10609.sol	2021-10-27 05:04	1.3K
	sqrt11449.cnf	2021-10-27 05:04	9.6K
	sqrt11449.sol	2021-10-27 05:04	1.3K
	sqrt11881.cnf	2021-10-27 05:04	9.6K
	sqrt11881.sol	2021-10-27 05:04	1.3K
	sqrt12769.cnf	2021-10-27 05:04	9.5K
	sqrt12769.sol	2021-10-27 05:04	1.3K
	sqrt16129.cnf	2021-10-27 05:04	9.5K
	sqrt16129.sol	2021-10-27 05:04	1.3K
	sqrt63001.cnf	2021-10-27 05:04	13K
	sqrt63001.sol	2021-10-27 05:04	1.8K
	sqrt259081.cnf	2021-10-27 05:04	17K
	sqrt259081.sol	2021-10-27 05:04	2.3K
	sqrt1042441.cnf	2021-10-27 05:04	22K
	sqrt1042441.sol	2021-10-27 05:04	3.0K
	sub0.cnf	2021-10-27 05:04	24
	unit0.cnf	2021-10-27 05:04	14
	unit0.sol	2021-10-27 05:04	20
	unit1.cnf	2021-10-27 05:04	15
	unit1.sol	2021-10-27 05:04	21
	unit2.cnf	2021-10-27 05:04	21
	unit2.sol	2021-10-27 05:04	22
	unit3.cnf	2021-10-27 05:04	22
	unit3.sol	2021-10-27 05:04	24
	unit4.cnf	2021-10-27 05:04	28
	unit5.cnf	2021-10-27 05:04	63
	unit6.cnf	2021-10-27 05:04	39
	unit7.cnf	2021-10-27 05:04	52