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