[INFO] cloning repository https://github.com/hyblm/upol-vytal
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hyblm/upol-vytal" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1247513d95bd7d4c5f989017462b2e4a3e1bb59b
[INFO] checking hyblm/upol-vytal against try#1f5783cbeb5da8b38566d718631d016891e9c912 for pr-142704
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/87.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/870.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/871.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/872.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/873.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/874.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/875.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/876.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/877.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/878.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/879.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/88.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/880.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/881.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/882.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/883.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/884.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/885.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/930.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/931.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/932.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/933.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/934.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/935.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/936.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/937.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/938.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/939.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/94.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/940.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/941.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/942.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/943.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/944.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/945.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/946.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/947.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/948.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/949.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/95.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/950.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/951.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/952.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/953.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/954.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/955.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/956.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/957.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/958.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/959.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/96.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/960.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/961.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/962.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/963.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/964.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/965.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/966.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/967.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/968.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/969.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/97.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/970.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/971.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/972.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/973.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/974.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/975.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/976.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/977.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/978.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/979.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/98.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/980.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/981.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/982.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/983.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/984.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/985.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/986.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/987.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/988.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/989.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/99.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/990.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/991.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/992.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/993.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/994.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/995.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/996.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/997.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/998.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/113.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/125.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/126.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/127.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/128.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/485.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/486.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/487.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/488.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/489.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/49.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/490.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/491.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/492.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/493.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/494.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/495.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/496.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/497.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/498.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/499.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/5.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/50.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/500.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/501.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/502.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/925.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/926.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/927.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/928.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/929.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/93.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/930.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/931.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/932.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/933.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/934.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/935.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/936.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/937.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/938.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/939.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/94.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/940.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/941.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/942.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/943.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/944.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/945.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/946.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/947.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/948.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/949.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/95.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/950.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/951.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/952.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/953.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/965.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/966.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/967.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/968.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/969.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/97.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/970.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/971.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/972.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/973.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/974.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/975.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/976.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/977.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/978.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/979.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/98.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/980.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/981.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/982.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/983.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/984.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/985.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/986.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/987.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/988.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/989.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/99.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/990.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/991.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/992.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/993.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/994.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/995.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/996.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/997.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/998.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/999.cnf
[INFO] [stderr] fatal: cannot create directory at 'benchmarks/200vars': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking hyblm/upol-vytal against try#1f5783cbeb5da8b38566d718631d016891e9c912 for pr-142704
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/582.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/583.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/584.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/585.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/586.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/587.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/588.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/589.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/59.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/590.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/591.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/592.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/593.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/594.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/595.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/596.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/597.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/598.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/599.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/6.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/60.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/600.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/601.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/602.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/603.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/604.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/605.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/606.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/607.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/608.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/609.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/61.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/610.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/611.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/612.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/613.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/614.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/615.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/616.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/617.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/618.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/619.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/62.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/620.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/621.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/622.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/623.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/624.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/625.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/626.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/627.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/628.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/629.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/63.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/630.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/631.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/632.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/633.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/634.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/635.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/636.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/637.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/638.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/639.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/64.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/640.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/641.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/642.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/643.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/644.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/645.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/646.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/647.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/648.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/649.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/65.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/650.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/651.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/652.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/653.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/654.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/655.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/656.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/657.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/658.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/659.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/66.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/660.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/661.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/662.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/663.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/664.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/665.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/666.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/667.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/668.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/669.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/67.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/670.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/671.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/672.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/673.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/674.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/675.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/676.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/677.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/678.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/679.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/68.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/680.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/681.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/682.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/683.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/684.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/685.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/686.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/687.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/688.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/689.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/69.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/690.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/691.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/692.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/693.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/694.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/695.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/696.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/697.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/698.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/699.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/7.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/70.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/700.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/701.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/702.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/703.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/704.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/705.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/706.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/707.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/708.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/709.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/71.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/710.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/711.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/712.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/713.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/714.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/715.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/716.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/717.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/718.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/719.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/72.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/720.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/721.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/722.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/723.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/724.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/725.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/726.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/727.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/728.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/729.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/73.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/730.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/731.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/732.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/733.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/734.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/735.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/736.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/737.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/738.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/739.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/74.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/740.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/741.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/742.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/743.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/744.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/745.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/746.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/747.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/748.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/749.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/75.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/750.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/751.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/752.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/753.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/754.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/755.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/756.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/757.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/758.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/759.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/76.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/760.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/761.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/762.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/763.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/764.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/765.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/766.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/767.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/768.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/769.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/77.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/770.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/771.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/772.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/773.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/774.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/775.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/776.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/777.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/778.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/779.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/78.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/780.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/781.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/782.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/783.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/784.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/785.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/786.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/787.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/788.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/789.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/79.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/790.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/791.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/792.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/793.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/794.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/795.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/796.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/797.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/798.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/799.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/8.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/80.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/800.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/801.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/802.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/803.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/804.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/805.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/806.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/807.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/808.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/809.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/81.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/810.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/811.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/812.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/813.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/814.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/815.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/816.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/817.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/818.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/819.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/82.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/820.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/821.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/822.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/823.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/824.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/825.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/826.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/827.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/828.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/829.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/83.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/830.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/831.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/832.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/833.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/834.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/835.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/836.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/837.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/838.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/839.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/84.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/840.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/841.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/842.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/843.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/844.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/845.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/846.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/847.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/848.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/849.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/85.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/850.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/851.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/852.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/853.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/854.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/855.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/856.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/857.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/858.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/859.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/86.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/860.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/861.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/862.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/863.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/864.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/865.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/866.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/867.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/868.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/869.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/87.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/870.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/871.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/872.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/873.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/874.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/875.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/876.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/877.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/878.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/879.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/88.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/880.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/881.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/882.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/883.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/884.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/885.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/886.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/887.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/888.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/889.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/89.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/890.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/891.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/892.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/893.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/894.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/895.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/896.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/897.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/898.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/899.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/9.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/90.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/900.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/901.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/902.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/903.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/904.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/905.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/906.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/907.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/908.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/909.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/91.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/910.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/911.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/912.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/913.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/914.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/915.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/916.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/917.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/918.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/919.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/92.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/920.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/921.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/922.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/923.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/924.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/925.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/926.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/927.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/928.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/929.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/93.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/930.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/931.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/932.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/933.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/934.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/935.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/936.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/937.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/938.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/939.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/94.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/940.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/941.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/942.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/943.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/944.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/945.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/946.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/947.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/948.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/949.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/95.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/950.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/951.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/952.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/953.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/954.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/955.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/956.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/957.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/958.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/959.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/96.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/960.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/961.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/962.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/963.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/964.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/965.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/966.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/967.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/968.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/969.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/97.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/970.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/971.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/972.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/973.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/974.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/975.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/976.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/977.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/978.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/979.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/98.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/980.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/981.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/982.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/983.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/984.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/985.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/986.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/987.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/988.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/989.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/99.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/990.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/991.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/992.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/993.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/994.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/995.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/996.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/997.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/998.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/999.cnf
[INFO] [stderr] fatal: cannot create directory at 'benchmarks/200vars': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking hyblm/upol-vytal against try#1f5783cbeb5da8b38566d718631d016891e9c912 for pr-142704
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/851.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/852.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/853.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/854.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/855.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/856.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/857.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/858.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/859.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/86.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/860.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/861.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/862.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/863.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/864.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/865.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/866.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/867.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/868.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/869.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/87.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/870.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/871.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/872.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/873.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/874.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/875.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/876.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/877.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/878.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/879.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/88.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/880.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/881.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/106.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/107.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/108.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/109.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/11.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/110.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/111.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/112.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/113.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/114.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/115.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/116.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/117.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/118.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/119.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/12.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/120.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/121.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/122.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/123.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/124.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/125.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/126.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/127.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/128.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/129.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/13.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/130.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/131.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/132.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/133.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/134.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/135.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/136.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/137.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/138.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/139.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/14.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/140.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/141.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/142.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/143.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/144.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/145.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/146.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/147.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/148.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/149.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/15.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/150.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/151.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/152.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/153.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/154.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/155.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/156.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/157.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/158.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/159.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/16.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/160.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/161.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/162.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/163.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/164.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/165.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/166.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/167.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/168.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/169.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/17.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/170.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/171.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/194.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/195.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/196.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/197.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/198.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/199.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/2.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/20.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/200.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/201.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/202.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/203.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/204.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/205.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/206.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/207.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/208.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/209.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/21.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/210.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/211.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/212.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/213.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/214.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/215.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/216.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/217.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/218.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/219.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/22.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/220.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/221.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/222.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/223.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/224.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/225.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/226.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/227.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/228.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/229.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/23.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/230.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/231.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/232.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/233.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/234.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/235.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/236.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/237.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/238.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/239.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/24.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/240.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/241.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/242.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/243.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/244.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/245.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/246.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/247.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/248.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/249.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/25.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/250.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/251.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/252.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/253.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/254.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/255.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/256.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/257.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/258.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/259.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/26.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/260.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/261.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/262.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/263.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/264.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/265.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/266.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/267.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/268.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/269.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/27.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/270.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/271.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/272.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/273.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/274.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/275.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/276.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/277.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/278.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/279.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/28.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/280.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/281.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/282.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/283.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/284.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/285.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/286.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/287.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/288.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/289.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/29.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/290.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/291.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/292.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/293.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/294.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/295.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/296.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/297.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/298.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/299.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/3.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/30.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/300.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/301.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/302.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/303.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/304.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/305.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/306.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/307.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/308.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/309.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/31.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/310.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/311.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/312.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/313.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/314.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/315.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/316.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/317.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/318.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/319.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/32.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/320.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/321.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/322.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/323.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/324.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/unsat/325.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/326.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/327.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/328.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/329.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/33.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/330.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/331.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/332.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/333.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/334.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/335.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/336.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/337.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/338.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/339.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/34.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/340.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/341.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/342.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/343.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/344.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/345.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/346.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/347.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/348.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/349.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/35.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/350.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/351.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/352.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/353.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/354.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/355.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/356.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/357.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/358.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/359.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/36.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/360.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/361.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/362.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/363.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/364.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/365.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/366.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/367.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/368.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/369.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/37.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/370.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/371.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/372.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/373.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/374.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/375.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/376.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/377.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/378.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/379.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/38.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/380.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/381.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/382.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/383.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/384.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/385.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/386.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/387.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/388.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/389.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/39.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/390.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/391.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/392.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/393.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/394.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/395.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/396.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/397.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/398.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/399.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/4.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/40.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/400.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/401.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/402.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/403.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/404.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/405.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/406.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/407.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/408.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/409.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/41.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/410.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/411.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/412.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/413.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/414.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/415.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/416.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/417.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/418.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/419.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/42.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/420.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/421.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/422.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/423.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/424.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/425.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/426.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/427.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/428.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/429.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/43.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/430.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/431.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/432.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/433.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/434.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/435.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/436.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/437.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/438.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/439.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/44.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/440.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/441.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/442.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/443.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/444.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/445.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/446.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/447.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/448.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/449.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/45.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/450.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/451.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/452.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/453.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/454.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/455.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/456.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/457.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/458.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/459.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/46.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/460.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/461.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/462.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/463.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/464.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/465.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/466.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/467.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/468.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/469.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/47.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/470.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/471.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/472.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/473.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/474.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/475.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/476.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/477.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/478.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/479.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/48.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/480.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/481.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/482.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/483.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/484.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/485.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/486.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/487.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/488.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/489.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/49.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/490.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/491.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/492.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/493.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/494.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/495.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/496.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/497.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/498.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/499.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/5.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/50.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/500.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/501.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/502.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/503.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/504.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/505.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/506.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/507.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/508.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/509.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/51.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/510.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/511.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/512.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/513.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/514.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/515.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/516.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/517.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/518.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/519.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/52.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/520.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/521.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/522.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/523.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/524.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/525.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/526.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/527.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/528.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/529.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/53.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/530.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/531.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/532.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/533.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/534.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/535.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/536.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/537.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/538.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/539.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/54.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/540.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/541.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/542.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/543.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/544.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/545.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/546.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/547.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/548.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/549.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/55.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/550.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/551.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/552.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/553.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/554.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/555.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/556.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/557.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/558.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/559.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/56.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/560.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/561.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/562.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/563.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/564.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/565.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/566.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/567.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/568.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/569.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/57.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/570.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/571.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/572.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/573.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/574.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/575.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/576.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/577.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/578.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/579.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/58.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/580.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/581.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/582.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/583.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/584.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/585.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/586.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/587.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/588.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/589.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/59.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/590.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/591.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/592.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/593.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/594.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/595.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/596.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/597.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/598.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/599.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/6.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/60.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/600.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/601.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/602.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/603.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/604.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/605.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/606.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/607.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/608.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/609.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/61.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/610.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/611.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/612.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/613.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/614.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/615.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/616.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/617.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/618.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/619.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/62.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/620.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/621.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/622.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/623.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/624.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/625.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/626.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/627.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/628.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/629.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/63.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/630.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/631.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/632.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/633.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/634.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/635.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/636.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/637.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/638.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/639.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/64.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/640.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/641.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/642.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/643.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/644.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/645.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/646.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/647.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/648.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/649.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/65.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/650.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/651.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/652.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/653.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/654.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/655.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/656.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/657.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/658.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/659.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/66.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/660.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/661.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/662.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/663.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/664.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/665.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/666.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/667.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/668.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/669.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/67.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/670.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/671.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/672.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/673.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/674.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/675.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/676.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/677.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/678.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/679.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/68.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/680.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/681.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/682.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/683.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/684.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/685.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/686.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/687.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/688.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/689.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/69.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/690.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/691.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/692.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/693.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/694.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/695.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/696.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/697.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/698.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/699.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/7.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/70.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/700.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/701.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/702.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/703.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/704.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/705.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/706.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/707.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/708.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/709.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/71.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/710.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/711.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/712.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/713.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/714.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/715.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/716.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/717.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/718.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/719.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/72.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/720.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/721.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/722.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/723.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/724.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/725.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/726.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/727.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/728.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/729.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/73.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/730.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/731.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/732.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/733.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/734.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/735.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/736.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/737.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/738.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/739.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/74.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/740.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/741.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/742.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/743.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/744.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/745.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/746.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/747.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/748.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/749.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/75.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/750.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/751.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/752.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/753.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/754.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/755.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/756.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/757.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/758.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/759.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/76.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/760.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/761.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/762.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/763.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/764.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/765.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/766.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/767.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/768.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/769.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/77.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/770.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/771.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/772.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/773.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/774.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/775.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/776.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/777.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/778.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/779.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/78.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/780.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/781.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/782.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/783.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/784.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/785.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/786.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/787.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/788.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/789.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/79.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/790.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/791.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/792.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/793.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/794.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/795.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/796.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/797.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/798.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/799.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/8.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/80.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/800.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/801.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/802.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/803.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/804.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/805.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/806.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/807.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/808.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/809.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/81.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/810.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/811.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/812.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/813.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/814.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/815.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/816.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/817.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/818.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/819.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/82.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/820.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/821.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/822.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/823.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/824.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/825.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/826.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/827.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/828.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/829.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/83.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/830.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/831.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/832.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/833.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/834.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/835.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/836.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/837.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/838.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/839.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/84.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/840.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/841.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/842.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/843.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/844.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/845.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/846.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/847.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/848.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/849.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/85.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/850.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/851.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/852.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/853.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/854.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/855.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/856.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/857.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/858.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/859.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/86.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/860.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/861.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/862.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/863.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/864.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/865.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/866.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/867.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/868.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/869.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/87.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/870.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/871.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/872.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/873.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/874.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/875.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/876.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/877.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/878.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/879.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/88.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/880.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/881.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/882.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/883.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/884.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/885.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/886.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/887.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/888.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/889.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/89.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/890.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/891.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/892.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/893.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/894.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/895.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/896.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/897.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/898.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/899.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/9.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/90.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/900.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/901.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/902.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/903.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/904.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/905.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/906.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/907.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/908.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/909.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/91.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/910.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/911.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/912.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/913.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/914.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/915.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/916.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/917.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/918.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/919.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/92.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/920.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/921.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/922.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/923.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/924.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/925.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/926.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/927.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/928.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/929.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/93.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/930.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/931.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/932.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/933.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/934.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/935.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/936.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/937.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/938.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/939.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/94.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/940.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/941.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/942.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/943.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/944.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/945.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/946.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/947.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/948.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/949.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/95.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/950.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/951.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/952.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/953.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/954.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/955.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/956.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/957.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/958.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/959.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/96.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/960.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/961.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/962.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/963.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/964.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/965.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/966.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/967.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/968.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/969.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/97.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/970.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/971.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/972.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/973.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/974.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/975.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/976.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/977.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/978.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/979.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/98.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/980.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/981.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/982.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/983.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/984.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/985.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/986.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/987.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/988.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/989.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/99.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/990.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/991.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/992.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/993.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/994.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/995.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/996.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/997.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/998.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/unsat/999.cnf: No space left on device
[INFO] [stderr] fatal: cannot create directory at 'benchmarks/200vars': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking hyblm/upol-vytal against try#1f5783cbeb5da8b38566d718631d016891e9c912 for pr-142704
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/327.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/328.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/329.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/33.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/330.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/331.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/332.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/333.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/334.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/335.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/336.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/337.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/338.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/339.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/34.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/340.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/341.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/342.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/343.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/344.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/345.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/346.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/347.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/348.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/349.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/35.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/350.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/351.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/352.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/353.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/354.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/355.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/356.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/357.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/358.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/359.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/36.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/360.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/361.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/362.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/363.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/364.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/365.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/366.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/367.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/368.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/369.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/37.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/370.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/371.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/372.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/373.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/374.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/375.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/376.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/377.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/378.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/379.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/38.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/380.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/381.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/382.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/383.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/384.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/385.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/386.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/387.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/388.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/389.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/39.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/390.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/391.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/392.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/393.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/394.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/395.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/396.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/397.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/398.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/399.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/4.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/40.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/400.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/401.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/402.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/403.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/404.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/405.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/406.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/407.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/408.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/409.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/41.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/410.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/411.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/412.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/413.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/414.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/415.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/416.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/853.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/854.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/855.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/856.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/857.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/858.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/859.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/86.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/860.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/861.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/862.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/863.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/864.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/865.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/866.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/867.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/868.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/869.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/87.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/870.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/871.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/872.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/873.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/874.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/875.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/876.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/877.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/878.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/879.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/88.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/880.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/881.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/882.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/883.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/884.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/885.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/886.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/887.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/888.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/889.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/89.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/890.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/891.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/892.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/893.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/894.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/895.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/896.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/897.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/898.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/899.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/9.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/90.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/900.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/901.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/902.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/903.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/904.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/905.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/906.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/907.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/908.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/909.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/91.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/910.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/911.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/912.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/913.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/914.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/915.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/916.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/917.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/918.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/919.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/92.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/920.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/921.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/922.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/923.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/924.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/925.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/926.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/927.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/928.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/929.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/93.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/930.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/931.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/932.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/933.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/934.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/935.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/936.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/937.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/938.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/939.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/94.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/940.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/941.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/942.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/943.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/944.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/945.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/946.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/947.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/948.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/949.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/95.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/950.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/951.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/952.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/953.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/954.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/955.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/956.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/957.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/958.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/959.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/96.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/960.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/961.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/962.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/963.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/964.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/965.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/966.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/967.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/968.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/969.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/97.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/970.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/971.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/972.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/973.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/974.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/975.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/976.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/977.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/978.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/979.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/98.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/980.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/981.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/982.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/983.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/984.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/985.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/986.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/987.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/988.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/989.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/99.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/990.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/991.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/992.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/993.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/994.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/995.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/996.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/997.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/998.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/999.cnf
[INFO] [stderr] fatal: cannot create directory at 'benchmarks/100vars/unsat': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking hyblm/upol-vytal against try#1f5783cbeb5da8b38566d718631d016891e9c912 for pr-142704
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhyblm%2Fupol-vytal" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/486.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/487.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/488.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/489.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/49.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/490.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/491.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/492.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/493.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/494.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/495.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/496.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/497.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/498.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/647.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/648.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/649.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/65.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/650.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/651.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/652.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/653.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/654.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/655.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/656.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/657.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/658.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/659.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/66.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/660.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/661.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/662.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/663.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/664.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/665.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/666.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/667.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/668.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/669.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/67.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/670.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/671.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/672.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/673.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/674.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/675.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/676.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/677.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/678.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/679.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/68.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/680.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/681.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/682.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/683.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/684.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/685.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/686.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/687.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/688.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/689.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/69.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/690.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/691.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/692.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/693.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/694.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/695.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/696.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/697.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/698.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/699.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/7.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/70.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/700.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/701.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/702.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/703.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/704.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/705.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/706.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/707.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/708.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/709.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/71.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/710.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/711.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/712.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/713.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/714.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/715.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/716.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/717.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/718.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/719.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/72.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/720.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/721.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/722.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/723.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/724.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/725.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/726.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/727.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/728.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/729.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/73.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/730.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/731.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/732.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/733.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/734.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/735.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/736.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/737.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/738.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/739.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/74.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/740.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/741.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/742.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/743.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/744.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/745.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/746.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/747.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/748.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/749.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/75.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/750.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/751.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/752.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/753.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/754.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/755.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/756.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/757.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/758.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/759.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/76.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/760.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/761.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/762.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/763.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/764.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/765.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/766.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/767.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/768.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/769.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/77.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/770.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/771.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/772.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/773.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/774.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/775.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/776.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/777.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/778.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/779.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/78.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/780.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/781.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/782.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/783.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/784.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/785.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/786.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/787.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/788.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/789.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/79.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/790.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/791.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/792.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/793.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/794.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/795.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/796.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/797.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/798.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/799.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/8.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/80.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/800.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/801.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/802.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/803.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/804.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/805.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/806.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/807.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/808.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/809.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/81.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/810.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/811.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/812.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/813.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/814.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/815.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/816.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/817.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/818.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/819.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/82.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/820.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/821.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/822.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/823.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/824.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/825.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/826.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/827.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/828.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/829.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/83.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/830.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/831.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/832.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/833.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/834.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/835.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/836.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/837.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/838.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/839.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/84.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/840.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/841.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/842.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/843.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/844.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/845.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/846.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/847.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/848.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/849.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/85.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/850.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/851.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/852.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/853.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/854.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/855.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/856.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/857.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/858.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/859.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/86.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/860.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/861.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/862.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/863.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/864.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/865.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/866.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/867.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/868.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/869.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/87.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/870.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/871.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/872.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/873.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/874.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/875.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/876.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/877.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/878.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/879.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/88.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/880.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/881.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/882.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/883.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/884.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/885.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/886.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/887.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/888.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/889.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/89.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/890.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/891.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/892.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/893.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/894.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/895.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/896.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/897.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/898.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/899.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/9.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/90.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/900.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/901.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/902.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/903.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/904.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/905.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/906.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/907.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/908.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/909.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/91.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/910.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/911.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/912.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/913.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/914.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/915.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/916.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/917.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/918.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/919.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/92.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/920.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/921.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/922.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/923.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/924.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/925.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/926.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/927.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/928.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/929.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/93.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/930.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/931.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/932.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/933.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/934.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/935.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/936.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/937.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/938.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/939.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/94.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/940.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/941.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/942.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/943.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/944.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/945.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/946.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/947.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/948.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/949.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/95.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/950.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/951.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/952.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/953.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/954.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/955.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/956.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/957.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/958.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/959.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/96.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/960.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/961.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/962.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/963.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/964.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/965.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/966.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/967.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/968.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/969.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/97.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/970.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/971.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/972.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/973.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/974.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/975.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/976.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/977.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/978.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/979.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/98.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/980.cnf: No space left on device
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/981.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/982.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/983.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/984.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/985.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/986.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/987.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/988.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/989.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/99.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/990.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/991.cnf
[INFO] [stderr] error: unable to create file benchmarks/100vars/sat/992.cnf: No space left on device
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/993.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/994.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/995.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/996.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/997.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/998.cnf
[INFO] [stderr] error: unable to write file benchmarks/100vars/sat/999.cnf
[INFO] [stderr] fatal: cannot create directory at 'benchmarks/100vars/unsat': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 


failed to checkout https://github.com/hyblm/upol-vytal

Caused by:
    command failed: exit status: 128
    
    