Index of /src/pumpkin-solver-0.1.4/tests/cnf/
../
checkers/ 09-Nov-2024 03:57 -
README.md 24-Jul-2006 01:21 180
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
elimclash.cnf 24-Jul-2006 01:21 105
elimredundant.cnf 24-Jul-2006 01:21 103
empty.cnf 24-Jul-2006 01:21 10
factor2708413neg.cnf 24-Jul-2006 01:21 38510
factor2708413pos.cnf 24-Jul-2006 01:21 38267
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
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
prime121.cnf 24-Jul-2006 01:21 11322
prime1369.cnf 24-Jul-2006 01:21 35909
prime1681.cnf 24-Jul-2006 01:21 35909
prime169.cnf 24-Jul-2006 01:21 16229
prime1849.cnf 24-Jul-2006 01:21 35909
prime2209.cnf 24-Jul-2006 01:21 45445
prime25.cnf 24-Jul-2006 01:21 4006
prime289.cnf 24-Jul-2006 01:21 21959
prime361.cnf 24-Jul-2006 01:21 21959
prime4.cnf 24-Jul-2006 01:21 502
prime4294967297.cnf 24-Jul-2006 01:21 85837
prime49.cnf 24-Jul-2006 01:21 7250
prime529.cnf 24-Jul-2006 01:21 28525
prime65537.cnf 24-Jul-2006 01:21 88805
prime841.cnf 24-Jul-2006 01:21 28525
prime9.cnf 24-Jul-2006 01:21 1844
prime961.cnf 24-Jul-2006 01:21 28525
regr000.cnf 24-Jul-2006 01:21 16
sat0.cnf 24-Jul-2006 01:21 38
sat1.cnf 24-Jul-2006 01:21 39
sat10.cnf 24-Jul-2006 01:21 87
sat11.cnf 24-Jul-2006 01:21 87
sat12.cnf 24-Jul-2006 01:21 87
sat13.cnf 24-Jul-2006 01:21 87
sat2.cnf 24-Jul-2006 01:21 39
sat3.cnf 24-Jul-2006 01:21 39
sat4.cnf 24-Jul-2006 01:21 39
sat5.cnf 24-Jul-2006 01:21 86
sat6.cnf 24-Jul-2006 01:21 87
sat7.cnf 24-Jul-2006 01:21 87
sat8.cnf 24-Jul-2006 01:21 87
sat9.cnf 24-Jul-2006 01:21 87
sqrt10201.cnf 24-Jul-2006 01:21 9783
sqrt1042441.cnf 24-Jul-2006 01:21 22747
sqrt10609.cnf 24-Jul-2006 01:21 9783
sqrt11449.cnf 24-Jul-2006 01:21 9782
sqrt11881.cnf 24-Jul-2006 01:21 9784
sqrt12769.cnf 24-Jul-2006 01:21 9760
sqrt16129.cnf 24-Jul-2006 01:21 9766
sqrt259081.cnf 24-Jul-2006 01:21 17850
sqrt2809.cnf 24-Jul-2006 01:21 6591
sqrt3481.cnf 24-Jul-2006 01:21 6571
sqrt3721.cnf 24-Jul-2006 01:21 6572
sqrt4489.cnf 24-Jul-2006 01:21 9762
sqrt5041.cnf 24-Jul-2006 01:21 9762
sqrt5329.cnf 24-Jul-2006 01:21 9761
sqrt6241.cnf 24-Jul-2006 01:21 9762
sqrt63001.cnf 24-Jul-2006 01:21 13522
sqrt6889.cnf 24-Jul-2006 01:21 9761
sqrt7921.cnf 24-Jul-2006 01:21 9762
sqrt9409.cnf 24-Jul-2006 01:21 9783
sub0.cnf 24-Jul-2006 01:21 24
trivially_false.cnf 24-Jul-2006 01:21 12
unit0.cnf 24-Jul-2006 01:21 14
unit1.cnf 24-Jul-2006 01:21 15
unit2.cnf 24-Jul-2006 01:21 21
unit3.cnf 24-Jul-2006 01:21 22
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