package info
(click to toggle)
Folder: cnf
 |
.. (parent) | |||
 |
- | rw-r--r-- | 1,005 | README.md |
|
- | rw-r--r-- | 100,440 | add128.cnf |
|
- | rw-r--r-- | 10,945 | add16.cnf |
|
- | rw-r--r-- | 23,896 | add32.cnf |
|
- | rw-r--r-- | 1,646 | add4.cnf |
|
- | rw-r--r-- | 52,651 | add64.cnf |
|
- | rw-r--r-- | 4,533 | add8.cnf |
|
- | rw-r--r-- | 64 | block0.cnf |
|
- | rw-r--r-- | 65,015 | drat-trim.c |
|
- | rw-r--r-- | 105 | elimclash.cnf |
|
- | rw-r--r-- | 103 | elimredundant.cnf |
|
- | rw-r--r-- | 10 | empty.cnf |
|
- | rw-r--r-- | 18 | empty.sol |
|
- | rw-r--r-- | 38,510 | factor2708413neg.cnf |
|
- | rw-r--r-- | 38,267 | factor2708413pos.cnf |
|
- | rw-r--r-- | 12 | false.cnf |
|
- | rw-r--r-- | 19 | full1.cnf |
|
- | rw-r--r-- | 38 | full2.cnf |
|
- | rw-r--r-- | 86 | full3.cnf |
|
- | rw-r--r-- | 203 | full4.cnf |
|
- | rw-r--r-- | 475 | full5.cnf |
|
- | rw-r--r-- | 1,099 | full6.cnf |
|
- | rw-r--r-- | 2,508 | full7.cnf |
|
- | rw-r--r-- | 78,133 | lrat-trim.c |
|
- | rw-r--r-- | 91 | makefile |
|
- | rw-r--r-- | 76 | ph2.cnf |
|
- | rw-r--r-- | 200 | ph3.cnf |
|
- | rw-r--r-- | 437 | ph4.cnf |
|
- | rw-r--r-- | 810 | ph5.cnf |
|
- | rw-r--r-- | 1,350 | ph6.cnf |
|
- | rw-r--r-- | 6,517 | precochk.c |
|
- | rw-r--r-- | 11,322 | prime121.cnf |
|
- | rw-r--r-- | 1,469 | prime121.sol |
|
- | rw-r--r-- | 35,909 | prime1369.cnf |
|
- | rw-r--r-- | 4,619 | prime1369.sol |
|
- | rw-r--r-- | 35,909 | prime1681.cnf |
|
- | rw-r--r-- | 4,622 | prime1681.sol |
|
- | rw-r--r-- | 16,229 | prime169.cnf |
|
- | rw-r--r-- | 2,097 | prime169.sol |
|
- | rw-r--r-- | 35,909 | prime1849.cnf |
|
- | rw-r--r-- | 4,617 | prime1849.sol |
|
- | rw-r--r-- | 45,445 | prime2209.cnf |
|
- | rw-r--r-- | 5,864 | prime2209.sol |
|
- | rw-r--r-- | 4,006 | prime25.cnf |
|
- | rw-r--r-- | 527 | prime25.sol |
|
- | rw-r--r-- | 21,959 | prime289.cnf |
|
- | rw-r--r-- | 2,835 | prime289.sol |
|
- | rw-r--r-- | 21,959 | prime361.cnf |
|
- | rw-r--r-- | 2,834 | prime361.sol |
|
- | rw-r--r-- | 502 | prime4.cnf |
|
- | rw-r--r-- | 80 | prime4.sol |
|
- | rw-r--r-- | 85,837 | prime4294967297.cnf |
|
- | rw-r--r-- | 7,250 | prime49.cnf |
|
- | rw-r--r-- | 939 | prime49.sol |
|
- | rw-r--r-- | 28,525 | prime529.cnf |
|
- | rw-r--r-- | 3,665 | prime529.sol |
|
- | rw-r--r-- | 88,805 | prime65537.cnf |
|
- | rw-r--r-- | 28,525 | prime841.cnf |
|
- | rw-r--r-- | 3,669 | prime841.sol |
|
- | rw-r--r-- | 1,844 | prime9.cnf |
|
- | rw-r--r-- | 245 | prime9.sol |
|
- | rw-r--r-- | 28,525 | prime961.cnf |
|
- | rw-r--r-- | 3,650 | prime961.sol |
|
- | rw-r--r-- | 16 | regr000.cnf |
|
- | rw-r--r-- | 48 | regr000.sol |
|
- | rwxr-xr-x | 7,940 | run.sh |
|
- | rw-r--r-- | 38 | sat0.cnf |
|
- | rw-r--r-- | 39 | sat1.cnf |
|
- | rw-r--r-- | 22 | sat1.sol |
|
- | rw-r--r-- | 87 | sat10.cnf |
|
- | rw-r--r-- | 25 | sat10.sol |
|
- | rw-r--r-- | 87 | sat11.cnf |
|
- | rw-r--r-- | 26 | sat11.sol |
|
- | rw-r--r-- | 87 | sat12.cnf |
|
- | rw-r--r-- | 26 | sat12.sol |
|
- | rw-r--r-- | 87 | sat13.cnf |
|
- | rw-r--r-- | 27 | sat13.sol |
|
- | rw-r--r-- | 39 | sat2.cnf |
|
- | rw-r--r-- | 23 | sat2.sol |
|
- | rw-r--r-- | 39 | sat3.cnf |
|
- | rw-r--r-- | 23 | sat3.sol |
|
- | rw-r--r-- | 39 | sat4.cnf |
|
- | rw-r--r-- | 24 | sat4.sol |
|
- | rw-r--r-- | 86 | sat5.cnf |
|
- | rw-r--r-- | 87 | sat6.cnf |
|
- | rw-r--r-- | 24 | sat6.sol |
|
- | rw-r--r-- | 87 | sat7.cnf |
|
- | rw-r--r-- | 25 | sat7.sol |
|
- | rw-r--r-- | 87 | sat8.cnf |
|
- | rw-r--r-- | 25 | sat8.sol |
|
- | rw-r--r-- | 87 | sat9.cnf |
|
- | rw-r--r-- | 26 | sat9.sol |
|
- | rw-r--r-- | 9,783 | sqrt10201.cnf |
|
- | rw-r--r-- | 1,331 | sqrt10201.sol |
|
- | rw-r--r-- | 22,747 | sqrt1042441.cnf |
|
- | rw-r--r-- | 3,037 | sqrt1042441.sol |
|
- | rw-r--r-- | 9,783 | sqrt10609.cnf |
|
- | rw-r--r-- | 1,338 | sqrt10609.sol |
|
- | rw-r--r-- | 9,782 | sqrt11449.cnf |
|
- | rw-r--r-- | 1,337 | sqrt11449.sol |
|
- | rw-r--r-- | 9,784 | sqrt11881.cnf |
|
- | rw-r--r-- | 1,339 | sqrt11881.sol |
|
- | rw-r--r-- | 9,760 | sqrt12769.cnf |
|
- | rw-r--r-- | 1,329 | sqrt12769.sol |
|
- | rw-r--r-- | 9,766 | sqrt16129.cnf |
|
- | rw-r--r-- | 1,340 | sqrt16129.sol |
|
- | rw-r--r-- | 17,850 | sqrt259081.cnf |
|
- | rw-r--r-- | 2,397 | sqrt259081.sol |
|
- | rw-r--r-- | 6,591 | sqrt2809.cnf |
|
- | rw-r--r-- | 914 | sqrt2809.sol |
|
- | rw-r--r-- | 6,571 | sqrt3481.cnf |
|
- | rw-r--r-- | 912 | sqrt3481.sol |
|
- | rw-r--r-- | 6,572 | sqrt3721.cnf |
|
- | rw-r--r-- | 913 | sqrt3721.sol |
|
- | rw-r--r-- | 9,762 | sqrt4489.cnf |
|
- | rw-r--r-- | 1,328 | sqrt4489.sol |
|
- | rw-r--r-- | 9,762 | sqrt5041.cnf |
|
- | rw-r--r-- | 1,328 | sqrt5041.sol |
|
- | rw-r--r-- | 9,761 | sqrt5329.cnf |
|
- | rw-r--r-- | 1,328 | sqrt5329.sol |
|
- | rw-r--r-- | 9,762 | sqrt6241.cnf |
|
- | rw-r--r-- | 1,336 | sqrt6241.sol |
|
- | rw-r--r-- | 13,522 | sqrt63001.cnf |
|
- | rw-r--r-- | 1,830 | sqrt63001.sol |
|
- | rw-r--r-- | 9,761 | sqrt6889.cnf |
|
- | rw-r--r-- | 1,330 | sqrt6889.sol |
|
- | rw-r--r-- | 9,762 | sqrt7921.cnf |
|
- | rw-r--r-- | 1,328 | sqrt7921.sol |
|
- | rw-r--r-- | 9,783 | sqrt9409.cnf |
|
- | rw-r--r-- | 1,333 | sqrt9409.sol |
|
- | rw-r--r-- | 24 | sub0.cnf |
|
- | rw-r--r-- | 14 | unit0.cnf |
|
- | rw-r--r-- | 20 | unit0.sol |
|
- | rw-r--r-- | 15 | unit1.cnf |
|
- | rw-r--r-- | 21 | unit1.sol |
|
- | rw-r--r-- | 21 | unit2.cnf |
|
- | rw-r--r-- | 22 | unit2.sol |
|
- | rw-r--r-- | 22 | unit3.cnf |
|
- | rw-r--r-- | 24 | unit3.sol |
|
- | rw-r--r-- | 28 | unit4.cnf |
|
- | rw-r--r-- | 63 | unit5.cnf |
|
- | rw-r--r-- | 39 | unit6.cnf |
|
- | rw-r--r-- | 52 | unit7.cnf |