cryptominisat5(1) on Linux
The text 7a52fe351e3d, as Arch Linux 2026-11-01 shipped it. The page shows this text now.
manual page for cryptominisat5 5.17.0
Flags it lists
-
--absbudget -
--allpresimp -
--assump -
--autodisablegauss -
--backboneccnrlim -
--branchstr -
--bumpreasondepth -
--bva -
--cardfind -
--ccnrneighmaxsz -
--chronoreusetrail -
--clearinter -
--confbtwsimp -
--confbtwsimpinc -
--congruence -
--congruenceandsz -
--congruencexorsz -
--debuglib -
--decbased -
--diffdeclevelchrono -
--distill -
--distillbin -
--distillbineff -
--distillincconf -
--distillinst -
--distillirredalsoremratio -
--distillirrednoremratio -
--distillirredreleff -
--distillmaxm -
--distillminconf -
--distillmineffm -
--distillredreleff -
--distillremlevel -
--distillschedmax -
--dumpresult -
--dyntiers -
--eagersubsume -
--emagluefast -
--emaglueslow -
--emptyelim -
--eratio -
--flush -
--flushfactor -
--flushint -
--fullprobe -
--fullprobemaxm -
--fullwatchconseveryn -
--gatefindto -
--gates -
--gausscheckevery -
--gaussmincalls -
--gaussusefulcutoff -
--help -
--hyperkeepconfl -
--implicitmanip -
--implstrto -
--implsubsto -
--intree -
--intreeeff -
--intreemaxm -
--lucky -
--maxconfl -
--maxmatrixcols -
--maxmatrixrows -
--maxnummatrices -
--maxnumsimppersolve -
--maxsccdepth -
--maxsol -
--maxtime -
--maxxormat -
--maxxorsize -
--memoutmult -
--minmatrixrows -
--moreminim -
--moremorealways -
--moremoreminim -
--mult -
--mustconsolidate -
--mustrenumber -
--nextm -
--nobansol -
--nonstop -
--occirredmaxmb -
--occredmax -
--occredmaxmb -
--occrelocatelim -
--occsimp -
--oraclefindbins -
--oraclegetlearnts -
--oraclemult -
--oracleremovedislearnt -
--otfhyper -
--otfs -
--phase -
--polar -
--prefix -
--preschedule -
--presimp -
--printgatedot -
--printsol -
--printtimes -
--recur -
--reduce -
--reducehigh -
--reduceint -
--reducekeepused -
--reducelow -
--reducerounds -
--reducetarget -
--reducetier1glue -
--reducetier2glue -
--reluctant -
--reluctantmax -
--renumber -
--rephase -
--rephaseint -
--restart -
--restartint -
--restartmargin -
--restartprint -
--restartreusetrail -
--sampling -
--savemem -
--scc -
--schedsimp -
--schedule -
--seed -
--shrink -
--sls -
--slsmaxmem -
--stabilize -
--stabilizefactor -
--stabilizeint -
--stabilizemaxint -
--strengthen -
--strmaxt -
--strstimelim -
--sublonggothrough -
--substimelim -
--substimelimbinratio -
--substimelimlongratio -
--sweep -
--sweepclauses -
--sweepdepth -
--sweepeff -
--sweepfliprounds -
--sweepmineffm -
--sweeptimelimM -
--sweepvars -
--sync -
--target -
--tern -
--ternbincreate -
--terncreate -
--terntimelim -
--threads -
--transred -
--varelim -
--varelimcheckres -
--varelimclslim -
--varelimclsmaxsz -
--varelimirregconfl -
--varelimirregocclim -
--varelimirregunit -
--varelimmaxmb -
--varelimocclim -
--varelimover -
--varelimprod -
--varelimprodlim -
--varelimschedtouched -
--varelimsum -
--varelimto -
--verb -
--verballrestarts -
--verbrestart -
--verbstat -
--version -
--walkinitially -
--walkmaxeff -
--walkmineff -
--walknonstable -
--walkreleff -
--walkseedphase -
--walkxorweight -
--weakenclsmaxsz -
--weakentimelim -
--xlrup -
--xor -
--xorfindtout -
--xorgatemaxsize -
--zero-exit-status -
-h -
-m -
-n -
-r -
-s -
-t -
-v