cryptominisat5(1) on Linux
The text 211897791187, as Debian 13 (Trixie) shipped it.
manual page for cryptominisat5 5.11.21
Flags it lists
-
--adjustglue -
--allpresimp -
--assump -
--autodisablegauss -
--blockingglue -
--branchstr -
--breakid -
--breakidcls -
--breakideveryn -
--breakidmatrix -
--breakidmaxcls -
--breakidmaxlits -
--breakidmaxvars -
--breakidtime -
--bva -
--bva2lit -
--bvaeveryn -
--bvalim -
--bvato -
--cardfind -
--clearinter -
--confbtwsimp -
--confbtwsimpinc -
--debuglib -
--decbased -
--detachverb -
--detachxor -
--diffdeclevelchrono -
--distill -
--distillbin -
--distillincconf -
--distillirredalsoremratio -
--distillirrednoremratio -
--distillmaxm -
--distillminconf -
--distillshuffleeveryn -
--distillsort -
--distilltier0ratio -
--distilltier1ratio -
--dumpresult -
--emptyelim -
--eratio -
--everylev1 -
--everylev2 -
--forcepreservexors -
--fullwatchconseveryn -
--gatefindto -
--gates -
--gaussusefulcutoff -
--gluecut0 -
--gluecut1 -
--gluehist -
--help -
--implicitmanip -
--implstrto -
--implsubsto -
--intree -
--intreemaxm -
--lev1usewithin -
--locgmult -
--lwrbndblkrest -
--maxconfl -
--maxgluehistltlimited -
--maxmatrixcols -
--maxmatrixrows -
--maxnummatrices -
--maxnumsimppersolve -
--maxsccdepth -
--maxsol -
--maxtime -
--maxxormat -
--maxxorsize -
--memoutmult -
--minmatrixrows -
--moreminim -
--moremorealways -
--moremoreminim -
--mult -
--mustconsolidate -
--mustrenumber -
--nextm -
--nobansol -
--nonstop -
--occirredmaxmb -
--occredmax -
--occredmaxmb -
--occsimp -
--onlysampling -
--otfhyper -
--polar -
--preschedule -
--presimp -
--printgatedot -
--printtimes -
--random -
--ratiogluegeom -
--recur -
--renumber -
--restart -
--restartprint -
--rstfirst -
--sampling -
--savemem -
--scc -
--schedsimp -
--schedule -
--simfrat -
--sls -
--slsbumptype -
--slsccnraspire -
--slseveryn -
--slsgetphase -
--slsmaxmem -
--slstobump -
--slstobumpmaxpervar -
--slstype -
--strengthen -
--strmaxt -
--strstimelim -
--sublonggothrough -
--substimelim -
--substimelimbinratio -
--substimelimlongratio -
--sync -
--tern -
--ternbincreate -
--terncreate -
--ternkeep -
--terntimelim -
--threads -
--transred -
--updateglueonanalysis -
--useallmatrixes -
--varelim -
--varelimcheckres -
--varelimmaxmb -
--varelimover -
--varelimto -
--varsperxorcut -
--verb -
--verballrestarts -
--verbrestart -
--verbstat -
--version -
--walksatruns -
--weakentimelim -
--xor -
--xorfindtout -
--yalsatmems -
--zero-exit-status -
-h -
-m -
-n -
-r -
-t -
-v