$ lingeling mod2-3cage-unsat-9-10.cnf c Lingeling SAT Solver c c Version ats 57807c8f410a9e676816984a0ad0c410e485bcae c c Copyright (C) 2010-2013 Armin Biere JKU Linz Austria. c All rights reserved. c c released Wed Oct 16 17:03:36 CEST 2013 c compiled Mo 11. Nov 13:07:51 CET 2013 c c gcc (Ubuntu/Linaro 4.8.1-10ubuntu8) 4.8.1 c -Wall -O3 -DNDBLSCR -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT c Linux sheckley 3.11.0-13-generic x86_64 c c reading input file mod2-3cage-unsat-9-10.cnf c no embedded options c found 'p cnf 87 232' header c read 87 variables, 232 clauses, 696 literals in 0.0 seconds c c seconds irredundant redundant clauses agility height c variables clauses conflicts large ternary binary glue MB c c S 0.0 87 232 0 0 0 0 0 0.0 0.0 0 c c seconds irredundant redundant clauses agility height c variables clauses conflicts large ternary binary glue MB c s UNSATISFIABLE c c 0.010 6% simplifying c 0.160 94% search c ================================== c 0.170 100% all c c 33531 decisions, 197182.0 decisions/sec c 20201 conflicts, 118793.8 conflicts/sec c 122481 propagations, 0.7 megaprops/sec c 0.2 seconds, 1.9 MB