Experiment: ijcai16_k2_n150
Worker Num: 29
Total Workers: 500
Base Arguments: {"temp_directory": "/scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/", "project_directory": "experiments/cnfxor/", "script": "cnfxor.py", "cnf_length": 2, "trials": 100, "nvars": 150, "experiment_name": "CNFXOR", "experiment_id": "ijcai16_k2_n150", "xor_prob": 0.5}

The following have been reloaded with a version change:
  1) GCC/4.4.7 => GCC/4.8.5

Running 100 trials.
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/29_output.txt
Ran 100 trials
Running 100 trials.
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/529_output.txt
Ran 100 trials
Running 100 trials.
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1029_output.txt
Ran 100 trials
Running 100 trials.
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
experiments/cnfxor/cryptominisat4_1 --maxtime=1000 --verb=0 --threads=12 --printsol=0 --autodisablegauss=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/1529_output.txt
Ran 100 trials
Running 100 trials.
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2029_output.txt
Ran 100 trials
Running 100 trials.
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/2529_output.txt
Ran 100 trials
Running 100 trials.
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3029_output.txt
Ran 100 trials
Running 100 trials.
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
experiments/cnfxor/cryptominisat2_9 --nosolprint --maxtime=1000 --gaussuntil=400 --threads=12 --verbosity=0 /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_formula.txt > /scratch/jmd11/experiments/cnfxor/ijcai16_k2_n150/temp/3529_output.txt
Ran 100 trials
