clasp-3.0.4-p8 CSSC-K3-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/clasp-cssc/claspCSSCWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/K3-inst/k3-v275-c1172/unif-v275-c1172-797-S58452150.cnf UNSATISFIABLE 300.0 2147483647 375162 -@1:F:update-act 'yes' -@1:1:del-init '5.67461970229492' -@1:F:berk-huang 'yes' -@1:S:deletion 'yes' -@1:F:local-restarts 'no' -@1:1:del-grow '1.2297587679130648' -@1:2:del-glue '1' -@1:F:sign-fix 'no' -@0:S:sat-prepro 'no' -@1:otfs '0' -@1:rand-freq '0.0' -@1:update-lbd '0' -@1:3:deletion '0' -@1:0:strengthen 'no' -@1:1:lookahead 'hybrid' -@1:del-max '258278056' -@1:1:del-cfl '9' -@1:3:del-init '904' -@1:save-progress '176' -@0:sat-prepro '0' -@1:S:counterCond 'no' -@1:init-watches '0' -@1:del-on-restart '14' -@1:1:deletion 'basic' -@1:S:del-grow 'yes' -@1:S:contraction 'no' -@1:sign-def '3' -@1:0:del-cfl 'L' -@1:1:del-glue '5' -@1:2:del-grow '43.18494065115549' -@1:No:contraction 'no' -@1:2:del-init '46' -@1:F:berk-once 'no' -@1:reverse-arcs '2' -@1:0:restarts 'no' -@1:2:lookahead '1' -@1:S:growSched 'no' -@1:heuristic 'Berkmin' -@1:2:deletion '66' -@1:F:init-moms 'yes' -@1:berk-max '2' CSSC-unsat-unif-k5-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/clasp-cssc/claspCSSCWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/unsat-unif-k5/unif-k5-r21.117-v50-c1056-S3376777782583961866.cnf UNSATISFIABLE 300.0 2147483647 375162 -@1:F:update-act 'yes' -@1:1:del-init '20.0' -@1:S:deletion 'yes' -@1:F:local-restarts 'no' -@1:1:del-grow '1.5' -@1:2:del-glue '0' -@1:F:sign-fix 'no' -@0:S:sat-prepro 'no' -@1:otfs '0' -@1:rand-freq '0.0' -@1:update-lbd '0' -@1:3:deletion '0' -@1:0:strengthen 'no' -@1:1:lookahead 'body' -@1:del-max '1000000' -@1:3:del-init '15000' -@1:save-progress '180' -@1:contraction '250' -@0:sat-prepro '0' -@1:S:counterCond 'yes' -@1:init-watches '1' -@1:del-on-restart '33' -@1:1:deletion 'basic' -@1:S:del-grow 'yes' -@1:vsids-decay '98' -@1:sign-def '1' -@1:0:del-cfl 'no' -@1:1:del-glue '0' -@1:2:del-grow '3.0' -@1:2:del-init '10' -@1:reverse-arcs '0' -@1:0:restarts 'no' -@1:2:lookahead '1' -@1:S:growSched 'no' -@1:heuristic 'Vsids' -@1:2:deletion '90' -@1:F:init-moms 'no' CSSC-3cnf-v350-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/clasp-cssc/claspCSSCWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/3cnf-v350/touchsat-3cnf-v350-c1493-726.cnf 0 300.0 2147483647 375162 -@1:F:update-act 'yes' -@1:1:del-init '14.834274912830175' -@1:F:berk-huang 'yes' -@1:S:deletion 'yes' -@1:F:local-restarts 'no' -@1:1:del-grow '3.8954773171729027' -@1:2:del-glue '1' -@1:F:sign-fix 'no' -@0:S:sat-prepro 'no' -@1:otfs '1' -@1:rand-freq '0.0' -@1:update-lbd '3' -@1:3:deletion '2' -@1:0:strengthen 'no' -@1:1:lookahead 'no' -@1:del-max '1433212832' -@1:1:del-cfl '23' -@1:2:A:del-cfl '549' -@1:3:del-init '29008' -@1:save-progress '23' -@0:sat-prepro '0' -@1:S:counterCond 'no' -@1:init-watches '2' -@1:del-on-restart '50' -@1:1:deletion 'sort' -@1:3:del-cfl '5620' -@1:S:del-grow 'yes' -@1:S:contraction 'no' -@1:sign-def '0' -@1:0:del-cfl '+' -@1:1:del-glue '0' -@1:2:del-grow '1.6492359130220295' -@1:No:contraction 'no' -@1:2:del-init '688' -@1:F:berk-once 'no' -@1:reverse-arcs '2' -@1:0:restarts 'no' -@1:S:growSched 'no' -@1:heuristic 'Berkmin' -@1:2:deletion '48' -@1:F:init-moms 'no' -@1:berk-max '2' DCCASat+march-rw CSSC-K3-300s-2day bash run-algo.sh instances/Sat_Data/K3-inst/k3-v275-c1172/unif-v275-c1172-797-S58452150.cnf UNSATISFIABLE 300.0 2147483647 375162 -sls_time_ratio '0.1' CSSC-unsat-unif-k5-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script None --ext-callstring "ruby ./solvers/DCCASat+march_rw/callstring_generator.rb" --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/unsat-unif-k5/unif-k5-r21.117-v50-c1056-S3376777782583961866.cnf UNSATISFIABLE 300.0 2147483647 375162 -sls_time_ratio '0.1' CSSC-3cnf-v350-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script None --ext-callstring "ruby ./solvers/DCCASat+march_rw/callstring_generator.rb" --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/3cnf-v350/touchsat-3cnf-v350-c1493-726.cnf 0 300.0 2147483647 375162 -sls_time_ratio '0.1' minisat-HACK-999ED-CSSC CSSC-K3-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/minisat_HACK_999ED_CSSC/minisat_HACK_999ED_CSSCWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/K3-inst/k3-v275-c1172/unif-v275-c1172-797-S58452150.cnf UNSATISFIABLE 300.0 2147483647 375162 -ccmin-mode '2' -lbd-cut '4' -luby '0' -core-tolerance '0.01' -K-val '0.7' -cla-decay '0.999' -cp-increase '5000' -lbd-cut-max '6' -R-val '1.4' CSSC-unsat-unif-k5-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/minisat_HACK_999ED_CSSC/minisat_HACK_999ED_CSSCWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/unsat-unif-k5/unif-k5-r21.117-v50-c1056-S3376777782583961866.cnf UNSATISFIABLE 300.0 2147483647 375162 -ccmin-mode '2' -lbd-cut '3' -luby '0' -core-tolerance '0.01' -K-val '0.7' -cla-decay '0.99' -cp-increase '5000' -lbd-cut-max '9' -R-val '1.4' CSSC-3cnf-v350-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/minisat_HACK_999ED_CSSC/minisat_HACK_999ED_CSSCWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/3cnf-v350/touchsat-3cnf-v350-c1493-726.cnf 0 300.0 2147483647 375162 -ccmin-mode '2' -lbd-cut '4' -luby '0' -core-tolerance '0.01' -K-val '0.7' -cla-decay '0.999' -cp-increase '5000' -lbd-cut-max '8' -R-val '1.4' Riss-4.27 CSSC-K3-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/riss427/rissWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/K3-inst/k3-v275-c1172/unif-v275-c1172-797-S58452150.cnf UNSATISFIABLE 300.0 2147483647 375162 -sUhdPrRb 'yes' -quickRed 'no' -agil-r 'yes' -minLBDMinimizingClause '3' -pr-probeL '7500000' -hack '1' -otfss 'yes' -longConflict 'yes' -keepWorst '0.001' -firstReduceDB '4000' -ics 'no' -incLBD 'yes' -rinc '4' -lbdIgnL0 'no' -hack-cost 'yes' -rer 'no' -vsids-e '1.0' -lhbr-sub 'yes' -vsids-d '2147483647' -biAsserting 'no' -vsids-i '1.0' -specialIncReduceDB '1100' -sUHLEsize '8' -agil-add '512' -otfssMLDB '30' -init-act '3' -pr-keepL '0' -varActB '1' -pr-keepI '2' -sInterval '2' -phase-saving '2' -var-decay-i '0.01' -sUHLElbd '6' -alluiphack '2' -rtype '2' -vsids-s '1.0' -dontTrust 'yes' -otfssL 'yes' -pr-lhbr 'no' -sUhdProbe '2' -learnDecP '66' -pr-double 'no' -var-decay-e '0.99' -var-decay-d '5000' -var-decay-b '0.95' -actStart '2048.0' -lbdupd '1' -minLBDFrozenClause '15' -minSizeMinimizingClause '3' -agil-decay '0.9999' -cla-decay '0.995' -cp3_ee_bIter '10' -sUhdPrSh '8' -incReduceDB '450' -pr-uips '0' -agil-limit '0.33' -laHack 'no' -rlevel '0' -agil-init '0.11' -enabled_cp3 'no' -clsActB '2' -lhbr-max '0' -init-pol '0' -lhbr '4' -pr-nce 'no' -rnd-freq '0.001' CSSC-unsat-unif-k5-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/riss427/rissWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/unsat-unif-k5/unif-k5-r21.117-v50-c1056-S3376777782583961866.cnf UNSATISFIABLE 300.0 2147483647 375162 -quickRed 'no' -agil-r 'yes' -minLBDMinimizingClause '6' -pr-probeL '5000000' -szLBDQueue '50' -hack '0' -otfss 'no' -longConflict 'no' -keepWorst '0.0' -firstReduceDB '2000' -rMaxInc '1.05' -ics 'no' -incLBD 'no' -lbdIgnL0 'no' -rer 'no' -vsids-e '1.0' -vsids-d '2147483647' -biAsserting 'no' -vsids-i '1.0' -rMax '32' -specialIncReduceDB '1000' -sUHLEsize '8' -agil-add '128' -init-act '3' -pr-keepL '2' -varActB '0' -pr-keepI '2' -sInterval '3' -phase-saving '2' -var-decay-i '0.01' -sUHLElbd '0' -K '0.8' -alluiphack '2' -rtype '0' -vsids-s '1.0' -R '1.5' -dontTrust 'no' -pr-lhbr 'no' -sUhdProbe '0' -learnDecP '50' -pr-double 'no' -var-decay-e '0.99' -var-decay-d '5000' -var-decay-b '0.95' -actStart '1024.0' -lbdupd '1' -minLBDFrozenClause '30' -minSizeMinimizingClause '50' -agil-decay '0.9999' -szTrailQueue '3500' -cla-decay '0.995' -cp3_ee_bIter '400000000' -incReduceDB '300' -pr-uips '0' -agil-limit '0.22' -laHack 'no' -rlevel '0' -agil-init '0.01' -enabled_cp3 'no' -clsActB '0' -init-pol '2' -lhbr '0' -pr-nce 'yes' -rnd-freq '0' CSSC-3cnf-v350-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/riss427/rissWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/3cnf-v350/touchsat-3cnf-v350-c1493-726.cnf 0 300.0 2147483647 375162 -sUhdPrRb 'yes' -quickRed 'no' -agil-r 'no' -minLBDMinimizingClause '9' -pr-probeL '7500000' -hack '1' -otfss 'yes' -longConflict 'no' -keepWorst '0.0' -firstReduceDB '8000' -ics 'no' -incLBD 'yes' -rinc '1.5' -lbdIgnL0 'no' -hack-cost 'yes' -rer 'no' -vsids-e '1.0' -vsids-d '2147483647' -biAsserting 'no' -vsids-i '1.0' -laEEp '50' -laEEl 'yes' -specialIncReduceDB '1000' -hlaTop '512' -sUHLEsize '0' -tabu 'yes' -otfssMLDB '2' -hlaevery '64' -init-act '6' -pr-keepL '0' -varActB '2' -pr-keepI '2' -sInterval '0' -phase-saving '2' -var-decay-i '0.01' -alluiphack '0' -hlaMax '75' -rtype '2' -vsids-s '1.0' -dontTrust 'no' -otfssL 'no' -pr-lhbr 'yes' -hlaLevel '1' -sUhdProbe '1' -learnDecP '66' -pr-double 'yes' -var-decay-e '0.99' -var-decay-d '5000' -var-decay-b '0.75' -actStart '2048.0' -lbdupd '1' -minLBDFrozenClause '30' -minSizeMinimizingClause '3' -cla-decay '0.995' -cp3_ee_bIter '400000000' -sUhdPrSh '0' -incReduceDB '300' -pr-uips '0' -laHack 'yes' -rlevel '2' -dyn 'yes' -enabled_cp3 'no' -hlabound '4096' -clsActB '1' -init-pol '3' -lhbr '0' -pr-nce 'no' -rnd-freq '0.001' SparrowToRiss CSSC-K3-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/SparrowToRiss/StrWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/K3-inst/k3-v275-c1172/unif-v275-c1172-797-S58452150.cnf UNSATISFIABLE 300.0 2147483647 375162 -cp3_uhdUHTE 'yes' -cp3_uhdTrans 'no' -cce 'no' -cp3_uhdPrEE 'yes' -sUhdPrRb 'no' -quickRed 'no' -agil-r 'yes' -hack '0' -SPARROW-k 'no' -otfss 'no' -longConflict 'no' -firstReduceDB '7977' -strSseconds '150' -subsimp 'yes' -rinc '1.9733936157146363' -3resolve 'yes' -cp3_vars '2000000' -biAsserting 'no' -pr-csize '622561760' -cp3_inp_cons '20000' -cp3_res_bin 'no' -sUHLEsize '64' -cp3_uhdUHLE '0' -pr-keepL '0' -sls 'yes' -pr-keepI '0' -bce 'no' -var-decay-i '0.01' -xorMaxSize '8' -SPARROW--randomc '0' -cp3_res3_steps '783026' -vsids-s '1.0' -cp3_str_limit '1.0875847825233866E7' -dontTrust 'no' -pr-lhbr 'yes' -SPARROW--luby '0' -pr-keepLHBR '0' -learnDecP '50' -pr-double 'yes' -var-decay-e '0.99' -xor 'yes' -pr-viviP '62' -var-decay-d '5000' -cp3_sub_limit '7888563.53960616' -var-decay-b '0.95' -pr-viviL '5019002' -pr-vivi 'yes' -lbdupd '1' -minSizeMinimizingClause '6' -xorLimit '345021' -sUhdPrSh '2' -incReduceDB '450' -pr-uips '-1' -agil-limit '0.2799818896720078' -cp3_strength 'yes' -agil-init '0.17901419259018145' -enabled_cp3 'yes' -cp3_uhdIters '3' -sls-adopt-cls 'yes' -SPARROW--c1 '2.9145063524292443' -pr-nce 'yes' -cp3_limited 'yes' -cp3_uhdPrSiBo 'yes' -bva 'no' -minLBDMinimizingClause '7' -pr-probeL '518503' -sls-flips '800000' -bve 'no' -keepWorst '0.001319333310346731' -xorSelect '1' -ics 'no' -incLBD 'yes' -up 'yes' -lbdIgnL0 'yes' -rer 'no' -vsids-e '1.0' -ee 'no' -vsids-d '2147483647' -lhbr-sub 'yes' -xorKeepUsed 'yes' -vsids-i '1.0' -specialIncReduceDB '1100' -SPARROW--sp '0.8588881515049815' -dense 'yes' -symm 'no' -cp3_iters '2' -agil-add '1' -init-act '2' -varActB '0' -unhide 'yes' -sInterval '2' -phase-saving '2' -cp3_uhdProbe '4' -fm 'no' -sUHLElbd '12' -cp3_uhdPrSize '4' -alluiphack '2' -randInp 'no' -inc-inp 'yes' -rtype '2' -rate 'no' -sls-rnd-walk '2113' -hte 'no' -sUhdProbe '2' -cp3_res_percent '0.007337287531277907' -pr-bins 'yes' -actStart '1024.0' -xorFindSubs 'yes' -all_strength_res '3' -minLBDFrozenClause '15' -agil-decay '0.9955577769602765' -cla-decay '0.999' -cp3_res3_ncls '155627' -cp3_ee_bIter '5416910' -cp3_uhdEE 'no' -probe 'yes' -laHack 'no' -cp3_cls '30000000' -inprocess 'yes' -rlevel '1' -strFlips '500000000' -clsActB '0' -lhbr-max '1024' -init-pol '2' -lhbr '3' -rnd-freq '0.00776983480632459' -sls-ksat-flips '3.8643791764051527E8' CSSC-unsat-unif-k5-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/SparrowToRiss/StrWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/unsat-unif-k5/unif-k5-r21.117-v50-c1056-S3376777782583961866.cnf UNSATISFIABLE 300.0 2147483647 375162 -rer-minLBD '6' -quickRed 'no' -agil-r 'yes' -ics_dyn 'yes' -ics_relSIZE '0.01' -minLBDMinimizingClause '6' -pr-probeL '1233106' -hack '0' -SPARROW-k 'no' -otfss 'no' -longConflict 'yes' -keepWorst '0.000000' -firstReduceDB '2000' -strSseconds '100' -ics 'yes' -incLBD 'no' -rer-maxLBD '6' -rinc '3.396763' -rer-max-size '2' -lbdIgnL0 'no' -rer 'yes' -vsids-e '1.0' -vsids-d '2147483647' -lhbr-sub 'yes' -biAsserting 'no' -vsids-i '1.0' -ics_shrinkNew 'no' -rer-freq '0.1' -specialIncReduceDB '1000' -SPARROW--sp '0.666667' -rer-r '0' -sUHLEsize '0' -agil-add '512' -init-act '6' -pr-keepL '0' -varActB '0' -pr-keepI '2' -sInterval '0' -phase-saving '2' -var-decay-i '0.01' -rer-l 'yes' -ics_relLBD '1.2' -alluiphack '0' -SPARROW--randomc '0' -rer-f 'yes' -rer-min-size '15' -rtype '2' -vsids-s '1.0' -dontTrust 'yes' -pr-lhbr 'yes' -SPARROW--luby '0' -sUhdProbe '0' -learnDecP '50' -pr-double 'no' -var-decay-e '0.99' -var-decay-d '5000' -var-decay-b '0.95' -actStart '1024.0' -lbdupd '1' -minLBDFrozenClause '30' -minSizeMinimizingClause '11' -ics_processLast '10000' -agil-decay '0.991643' -cla-decay '0.995' -cp3_ee_bIter '1' -ics_keepNew 'yes' -incReduceDB '325' -ics_window '200000' -pr-uips '0' -agil-limit '0.256667' -laHack 'no' -rlevel '1' -agil-init '0.136667' -strFlips '1000000000' -enabled_cp3 'no' -SPARROW--c1 '7.000000' -clsActB '1' -lhbr-max '0' -init-pol '3' -pr-nce 'yes' -lhbr '4' -rer-new-act '4' -rnd-freq '0.005000' CSSC-3cnf-v350-300s-2day python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script ./solvers/SparrowToRiss/StrWrapper.py --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True instances/Sat_Data/3cnf-v350/touchsat-3cnf-v350-c1493-726.cnf 0 300.0 2147483647 375162 -cp3_uhdUHTE 'yes' -cp3_uhdTrans 'no' -cce 'no' -cp3_uhdPrEE 'no' -sUhdPrRb 'no' -quickRed 'yes' -agil-r 'no' -ics_dyn 'no' -ics_relSIZE '0.5' -hack '0' -SPARROW-k 'no' -otfss 'yes' -longConflict 'no' -firstReduceDB '2000' -strSseconds '250' -subsimp 'yes' -rinc '1.500000' -rat-compl 'yes' -3resolve 'yes' -cp3_vars '1000000' -biAsserting 'no' -cp3_inp_cons '0' -ics_shrinkNew 'yes' -cp3_res_bin 'no' -SPARROW--luby_base '850000.000000' -sUHLEsize '64' -otfssMLDB '2' -cp3_uhdUHLE '3' -pr-keepL '0' -sls 'no' -pr-keepI '2' -bce 'no' -var-decay-i '0.01' -xorMaxSize '9' -SPARROW--randomc '0' -cp3_res3_steps '2000001' -vsids-s '1.0' -dontTrust 'no' -pr-lhbr 'no' -SPARROW--luby '1' -learnDecP '100' -pr-double 'no' -var-decay-e '0.99' -xor 'yes' -var-decay-d '5000' -var-decay-b '0.95' -lbdupd '1' -minSizeMinimizingClause '50' -ics_processLast '50000' -sUhdPrSh '4' -incReduceDB '375' -ics_window '200000' -pr-uips '0' -cp3_strength 'no' -enabled_cp3 'yes' -cp3_uhdIters '3' -SPARROW--c1 '6.000000' -pr-nce 'yes' -cp3_limited 'no' -cp3_uhdPrSiBo 'yes' -bva 'no' -minLBDMinimizingClause '6' -pr-probeL '500000' -bve 'no' -keepWorst '0.033333' -xorSelect '1' -ics 'yes' -incLBD 'no' -up 'no' -lbdIgnL0 'no' -rer 'no' -vsids-e '1.0' -ee 'no' -vsids-d '2147483647' -lhbr-sub 'no' -xorKeepUsed 'no' -vsids-i '1.0' -specialIncReduceDB '2000' -dense 'no' -symm 'no' -cp3_iters '4' -init-act '0' -varActB '0' -unhide 'yes' -sInterval '3' -phase-saving '2' -cp3_uhdProbe '3' -fm 'no' -sUHLElbd '6' -ics_relLBD '0.01' -cp3_uhdPrSize '2' -alluiphack '2' -randInp 'yes' -inc-inp 'yes' -rtype '2' -rate 'yes' -otfssL 'no' -hte 'no' -sUhdProbe '1' -cp3_res_percent '0.010000' -actStart '1024.0' -xorFindSubs 'no' -minLBDFrozenClause '15' -cla-decay '0.999' -cp3_res3_ncls '46416' -cp3_ee_bIter '1' -ics_keepNew 'no' -cp3_uhdEE 'yes' -probe 'no' -laHack 'no' -cp3_cls '30000000' -inprocess 'yes' -rlevel '0' -strFlips '1000000000' -rate-min '4' -clsActB '0' -lhbr-max '4096' -init-pol '5' -lhbr '3' -rnd-freq '0.000000'