Index of /src/cadical-sys-0.1.0/cadical/test/cnf/
../
README.md 24-Jul-2006 01:21 1005
add128.cnf 24-Jul-2006 01:21 100440
add16.cnf 24-Jul-2006 01:21 10945
add32.cnf 24-Jul-2006 01:21 23896
add4.cnf 24-Jul-2006 01:21 1646
add64.cnf 24-Jul-2006 01:21 52651
add8.cnf 24-Jul-2006 01:21 4533
block0.cnf 24-Jul-2006 01:21 64
drat-trim.c 24-Jul-2006 01:21 65045
elimclash.cnf 24-Jul-2006 01:21 105
elimredundant.cnf 24-Jul-2006 01:21 103
empty.cnf 24-Jul-2006 01:21 10
empty.sol 24-Jul-2006 01:21 18
factor2708413neg.cnf 24-Jul-2006 01:21 38510
factor2708413pos.cnf 24-Jul-2006 01:21 38267
false.cnf 24-Jul-2006 01:21 12
full1.cnf 24-Jul-2006 01:21 19
full2.cnf 24-Jul-2006 01:21 38
full3.cnf 24-Jul-2006 01:21 86
full4.cnf 24-Jul-2006 01:21 203
full5.cnf 24-Jul-2006 01:21 475
full6.cnf 24-Jul-2006 01:21 1099
full7.cnf 24-Jul-2006 01:21 2508
lrat-trim.c 24-Jul-2006 01:21 78132
makefile 24-Jul-2006 01:21 91
ph2.cnf 24-Jul-2006 01:21 76
ph3.cnf 24-Jul-2006 01:21 200
ph4.cnf 24-Jul-2006 01:21 437
ph5.cnf 24-Jul-2006 01:21 810
ph6.cnf 24-Jul-2006 01:21 1350
precochk.c 24-Jul-2006 01:21 6517
prime121.cnf 24-Jul-2006 01:21 11322
prime121.sol 24-Jul-2006 01:21 1469
prime1369.cnf 24-Jul-2006 01:21 35909
prime1369.sol 24-Jul-2006 01:21 4619
prime1681.cnf 24-Jul-2006 01:21 35909
prime1681.sol 24-Jul-2006 01:21 4622
prime169.cnf 24-Jul-2006 01:21 16229
prime169.sol 24-Jul-2006 01:21 2097
prime1849.cnf 24-Jul-2006 01:21 35909
prime1849.sol 24-Jul-2006 01:21 4617
prime2209.cnf 24-Jul-2006 01:21 45445
prime2209.sol 24-Jul-2006 01:21 5864
prime25.cnf 24-Jul-2006 01:21 4006
prime25.sol 24-Jul-2006 01:21 527
prime289.cnf 24-Jul-2006 01:21 21959
prime289.sol 24-Jul-2006 01:21 2835
prime361.cnf 24-Jul-2006 01:21 21959
prime361.sol 24-Jul-2006 01:21 2834
prime4.cnf 24-Jul-2006 01:21 502
prime4.sol 24-Jul-2006 01:21 80
prime4294967297.cnf 24-Jul-2006 01:21 85837
prime49.cnf 24-Jul-2006 01:21 7250
prime49.sol 24-Jul-2006 01:21 939
prime529.cnf 24-Jul-2006 01:21 28525
prime529.sol 24-Jul-2006 01:21 3665
prime65537.cnf 24-Jul-2006 01:21 88805
prime841.cnf 24-Jul-2006 01:21 28525
prime841.sol 24-Jul-2006 01:21 3669
prime9.cnf 24-Jul-2006 01:21 1844
prime9.sol 24-Jul-2006 01:21 245
prime961.cnf 24-Jul-2006 01:21 28525
prime961.sol 24-Jul-2006 01:21 3650
regr000.cnf 24-Jul-2006 01:21 16
regr000.sol 24-Jul-2006 01:21 48
run.sh 24-Jul-2006 01:21 7276
sat0.cnf 24-Jul-2006 01:21 38
sat1.cnf 24-Jul-2006 01:21 39
sat1.sol 24-Jul-2006 01:21 22
sat10.cnf 24-Jul-2006 01:21 87
sat10.sol 24-Jul-2006 01:21 25
sat11.cnf 24-Jul-2006 01:21 87
sat11.sol 24-Jul-2006 01:21 26
sat12.cnf 24-Jul-2006 01:21 87
sat12.sol 24-Jul-2006 01:21 26
sat13.cnf 24-Jul-2006 01:21 87
sat13.sol 24-Jul-2006 01:21 27
sat2.cnf 24-Jul-2006 01:21 39
sat2.sol 24-Jul-2006 01:21 23
sat3.cnf 24-Jul-2006 01:21 39
sat3.sol 24-Jul-2006 01:21 23
sat4.cnf 24-Jul-2006 01:21 39
sat4.sol 24-Jul-2006 01:21 24
sat5.cnf 24-Jul-2006 01:21 86
sat6.cnf 24-Jul-2006 01:21 87
sat6.sol 24-Jul-2006 01:21 24
sat7.cnf 24-Jul-2006 01:21 87
sat7.sol 24-Jul-2006 01:21 25
sat8.cnf 24-Jul-2006 01:21 87
sat8.sol 24-Jul-2006 01:21 25
sat9.cnf 24-Jul-2006 01:21 87
sat9.sol 24-Jul-2006 01:21 26
sqrt10201.cnf 24-Jul-2006 01:21 9783
sqrt10201.sol 24-Jul-2006 01:21 1331
sqrt1042441.cnf 24-Jul-2006 01:21 22747
sqrt1042441.sol 24-Jul-2006 01:21 3037
sqrt10609.cnf 24-Jul-2006 01:21 9783
sqrt10609.sol 24-Jul-2006 01:21 1338
sqrt11449.cnf 24-Jul-2006 01:21 9782
sqrt11449.sol 24-Jul-2006 01:21 1337
sqrt11881.cnf 24-Jul-2006 01:21 9784
sqrt11881.sol 24-Jul-2006 01:21 1339
sqrt12769.cnf 24-Jul-2006 01:21 9760
sqrt12769.sol 24-Jul-2006 01:21 1329
sqrt16129.cnf 24-Jul-2006 01:21 9766
sqrt16129.sol 24-Jul-2006 01:21 1340
sqrt259081.cnf 24-Jul-2006 01:21 17850
sqrt259081.sol 24-Jul-2006 01:21 2397
sqrt2809.cnf 24-Jul-2006 01:21 6591
sqrt2809.sol 24-Jul-2006 01:21 914
sqrt3481.cnf 24-Jul-2006 01:21 6571
sqrt3481.sol 24-Jul-2006 01:21 912
sqrt3721.cnf 24-Jul-2006 01:21 6572
sqrt3721.sol 24-Jul-2006 01:21 913
sqrt4489.cnf 24-Jul-2006 01:21 9762
sqrt4489.sol 24-Jul-2006 01:21 1328
sqrt5041.cnf 24-Jul-2006 01:21 9762
sqrt5041.sol 24-Jul-2006 01:21 1328
sqrt5329.cnf 24-Jul-2006 01:21 9761
sqrt5329.sol 24-Jul-2006 01:21 1328
sqrt6241.cnf 24-Jul-2006 01:21 9762
sqrt6241.sol 24-Jul-2006 01:21 1336
sqrt63001.cnf 24-Jul-2006 01:21 13522
sqrt63001.sol 24-Jul-2006 01:21 1830
sqrt6889.cnf 24-Jul-2006 01:21 9761
sqrt6889.sol 24-Jul-2006 01:21 1330
sqrt7921.cnf 24-Jul-2006 01:21 9762
sqrt7921.sol 24-Jul-2006 01:21 1328
sqrt9409.cnf 24-Jul-2006 01:21 9783
sqrt9409.sol 24-Jul-2006 01:21 1333
sub0.cnf 24-Jul-2006 01:21 24
unit0.cnf 24-Jul-2006 01:21 14
unit0.sol 24-Jul-2006 01:21 20
unit1.cnf 24-Jul-2006 01:21 15
unit1.sol 24-Jul-2006 01:21 21
unit2.cnf 24-Jul-2006 01:21 21
unit2.sol 24-Jul-2006 01:21 22
unit3.cnf 24-Jul-2006 01:21 22
unit3.sol 24-Jul-2006 01:21 24
unit4.cnf 24-Jul-2006 01:21 28
unit5.cnf 24-Jul-2006 01:21 63
unit6.cnf 24-Jul-2006 01:21 39
unit7.cnf 24-Jul-2006 01:21 52