/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_143_064.smt2


--------------------------------------------------------------------------------


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 263451680
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 57833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.721 Prop: 130.155 PropClause: 126.9 Set: 43.826 Check: 0.0 Back: 0.0
INFO - Atoms: 57833/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 115199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.776 Prop: 215.189 PropClause: 207.939 Set: 91.936 Check: 0.0 Back: 1.536
INFO - Atoms: 57366/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 172568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.829 Prop: 283.55 PropClause: 274.331 Set: 103.002 Check: 0.0 Back: 3.027
INFO - Atoms: 57369/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 229928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.92 Prop: 364.205 PropClause: 352.752 Set: 117.652 Check: 0.0 Back: 4.543
INFO - Atoms: 57360/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 287297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.002 Prop: 446.829 PropClause: 433.06 Set: 132.407 Check: 0.0 Back: 6.03
INFO - Atoms: 57369/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 344657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.055 Prop: 521.182 PropClause: 505.299 Set: 152.906 Check: 0.0 Back: 7.53
INFO - Atoms: 57360/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 402017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.105 Prop: 588.819 PropClause: 571.485 Set: 171.02 Check: 0.0 Back: 9.137
INFO - Atoms: 57360/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 459366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.155 Prop: 658.943 PropClause: 640.159 Set: 181.719 Check: 0.0 Back: 10.774
INFO - Atoms: 57349/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 516702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.199 Prop: 727.139 PropClause: 706.928 Set: 192.924 Check: 0.0 Back: 12.394
INFO - Atoms: 57336/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 573742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.277 Prop: 798.011 PropClause: 776.384 Set: 203.661 Check: 0.0 Back: 14.061
INFO - Atoms: 57040/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 630485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.351 Prop: 864.999 PropClause: 841.951 Set: 214.462 Check: 0.0 Back: 15.548
INFO - Atoms: 56743/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 686923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.44 Prop: 934.712 PropClause: 910.259 Set: 225.104 Check: 0.0 Back: 17.214
INFO - Atoms: 56438/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 743064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.511 Prop: 1006.62 PropClause: 980.772 Set: 235.972 Check: 0.0 Back: 18.665
INFO - Atoms: 56141/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 798900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.558 Prop: 1076.797 PropClause: 1049.54 Set: 246.683 Check: 0.0 Back: 20.105
INFO - Atoms: 55836/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 854439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.61 Prop: 1146.258 PropClause: 1117.623 Set: 264.309 Check: 0.0 Back: 21.535
INFO - Atoms: 55539/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 909673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.659 Prop: 1213.511 PropClause: 1183.498 Set: 281.553 Check: 0.0 Back: 23.158
INFO - Atoms: 55234/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 964610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.706 Prop: 1282.256 PropClause: 1250.861 Set: 299.211 Check: 0.0 Back: 24.713
INFO - Atoms: 54937/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1019242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.759 Prop: 1352.841 PropClause: 1320.063 Set: 348.448 Check: 0.0 Back: 26.317
INFO - Atoms: 54632/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1073577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.846 Prop: 1419.638 PropClause: 1385.512 Set: 358.916 Check: 0.0 Back: 27.855
INFO - Atoms: 54335/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1127607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.899 Prop: 1493.158 PropClause: 1457.493 Set: 371.24 Check: 0.0 Back: 29.453
INFO - Atoms: 54030/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1181340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.951 Prop: 1562.69 PropClause: 1525.649 Set: 381.92 Check: 0.0 Back: 30.958
INFO - Atoms: 53733/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1234768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.009 Prop: 1644.417 PropClause: 1605.829 Set: 395.429 Check: 0.0 Back: 32.543
INFO - Atoms: 53428/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1287899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.055 Prop: 1707.684 PropClause: 1667.775 Set: 405.616 Check: 0.0 Back: 33.945
INFO - Atoms: 53131/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1340725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.1 Prop: 1769.556 PropClause: 1728.335 Set: 415.503 Check: 0.0 Back: 35.472
INFO - Atoms: 52826/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1393254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.145 Prop: 1830.294 PropClause: 1787.762 Set: 425.446 Check: 0.0 Back: 36.958
INFO - Atoms: 52529/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1445478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.194 Prop: 1890.805 PropClause: 1846.968 Set: 435.161 Check: 0.0 Back: 38.47
INFO - Atoms: 52224/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1497405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.238 Prop: 1951.792 PropClause: 1906.659 Set: 445.065 Check: 0.0 Back: 39.917
INFO - Atoms: 51927/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1549027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.286 Prop: 2011.128 PropClause: 1964.705 Set: 454.69 Check: 0.0 Back: 41.386
INFO - Atoms: 51622/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1600352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.335 Prop: 2068.469 PropClause: 2020.763 Set: 464.212 Check: 0.0 Back: 42.811
INFO - Atoms: 51325/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1651372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.378 Prop: 2124.714 PropClause: 2075.729 Set: 473.629 Check: 0.0 Back: 44.285
INFO - Atoms: 51020/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1702095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.428 Prop: 2181.329 PropClause: 2131.077 Set: 483.146 Check: 0.0 Back: 45.711
INFO - Atoms: 50723/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1752513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.477 Prop: 2234.579 PropClause: 2183.063 Set: 492.408 Check: 0.0 Back: 47.163
INFO - Atoms: 50418/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1802634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.521 Prop: 2291.142 PropClause: 2238.377 Set: 501.717 Check: 0.0 Back: 48.603
INFO - Atoms: 50121/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1852450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.572 Prop: 2357.292 PropClause: 2303.045 Set: 518.183 Check: 0.0 Back: 50.011
INFO - Atoms: 49816/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1901969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.616 Prop: 2413.913 PropClause: 2358.429 Set: 533.582 Check: 0.0 Back: 51.399
INFO - Atoms: 49519/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1951183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.661 Prop: 2469.339 PropClause: 2412.613 Set: 548.681 Check: 0.0 Back: 52.787
INFO - Atoms: 49214/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2000100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.706 Prop: 2522.313 PropClause: 2464.371 Set: 563.172 Check: 0.0 Back: 54.135
INFO - Atoms: 48917/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2048712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.761 Prop: 2574.169 PropClause: 2514.999 Set: 577.972 Check: 0.0 Back: 55.551
INFO - Atoms: 48612/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2097027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.812 Prop: 2623.574 PropClause: 2563.193 Set: 592.78 Check: 0.0 Back: 56.918
INFO - Atoms: 48315/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2145037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.86 Prop: 2675.988 PropClause: 2614.395 Set: 607.166 Check: 0.0 Back: 58.294
INFO - Atoms: 48010/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2192750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.904 Prop: 2726.468 PropClause: 2663.677 Set: 621.388 Check: 0.0 Back: 59.617
INFO - Atoms: 47713/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2240158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.956 Prop: 2774.122 PropClause: 2710.152 Set: 629.971 Check: 0.0 Back: 60.994
INFO - Atoms: 47408/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2287269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.008 Prop: 2838.422 PropClause: 2773.101 Set: 642.017 Check: 0.0 Back: 62.31
INFO - Atoms: 47111/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2334075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.056 Prop: 2896.712 PropClause: 2830.087 Set: 651.884 Check: 0.0 Back: 63.508
INFO - Atoms: 46806/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2380584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.106 Prop: 2947.927 PropClause: 2880.145 Set: 660.456 Check: 0.0 Back: 64.81
INFO - Atoms: 46509/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2426788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.15 Prop: 2996.585 PropClause: 2927.637 Set: 668.875 Check: 0.0 Back: 66.105
INFO - Atoms: 46204/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2472695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.204 Prop: 3046.223 PropClause: 2976.117 Set: 677.437 Check: 0.0 Back: 67.377
INFO - Atoms: 45907/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2518297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.294 Prop: 3096.786 PropClause: 3025.547 Set: 685.728 Check: 0.0 Back: 68.692
INFO - Atoms: 45602/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2563602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.345 Prop: 3144.996 PropClause: 3072.633 Set: 694.055 Check: 0.0 Back: 69.932
INFO - Atoms: 45305/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2608602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.392 Prop: 3193.781 PropClause: 3120.295 Set: 702.214 Check: 0.0 Back: 71.24
INFO - Atoms: 45000/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2653305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.438 Prop: 3239.935 PropClause: 3165.332 Set: 710.436 Check: 0.0 Back: 72.468
INFO - Atoms: 44703/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2697703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.584 Prop: 3288.133 PropClause: 3212.429 Set: 718.442 Check: 0.0 Back: 73.708
INFO - Atoms: 44398/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2741804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.606 Prop: 3336.785 PropClause: 3259.967 Set: 726.595 Check: 0.0 Back: 74.901
INFO - Atoms: 44101/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 2785600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.628 Prop: 3379.96 PropClause: 3302.047 Set: 734.553 Check: 0.0 Back: 76.142
INFO - Atoms: 43796/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 2829099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.649 Prop: 3422.161 PropClause: 3343.159 Set: 742.539 Check: 0.0 Back: 77.345
INFO - Atoms: 43499/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 2872293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.669 Prop: 3461.601 PropClause: 3381.52 Set: 750.33 Check: 0.0 Back: 78.566
INFO - Atoms: 43194/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2915190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.692 Prop: 3500.305 PropClause: 3419.154 Set: 758.237 Check: 0.0 Back: 79.74
INFO - Atoms: 42897/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 2957782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.713 Prop: 3542.661 PropClause: 3460.437 Set: 765.879 Check: 0.0 Back: 80.945
INFO - Atoms: 42592/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 3000077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.731 Prop: 3584.148 PropClause: 3500.87 Set: 773.571 Check: 0.0 Back: 82.092
INFO - Atoms: 42295/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 3042067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.75 Prop: 3623.901 PropClause: 3539.57 Set: 781.024 Check: 0.0 Back: 83.282
INFO - Atoms: 41990/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 3083760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 3665.066 PropClause: 3579.697 Set: 788.647 Check: 0.0 Back: 84.417
INFO - Atoms: 41693/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3125148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.791 Prop: 3705.748 PropClause: 3619.347 Set: 796.04 Check: 0.0 Back: 85.588
INFO - Atoms: 41388/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3166239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.811 Prop: 3746.422 PropClause: 3658.995 Set: 803.5 Check: 0.0 Back: 86.699
INFO - Atoms: 41091/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3207025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.832 Prop: 3784.528 PropClause: 3696.085 Set: 810.773 Check: 0.0 Back: 87.836
INFO - Atoms: 40786/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3247514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.852 Prop: 3818.472 PropClause: 3729.023 Set: 817.887 Check: 0.0 Back: 88.916
INFO - Atoms: 40489/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3287698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.872 Prop: 3852.903 PropClause: 3762.458 Set: 824.916 Check: 0.0 Back: 90.035
INFO - Atoms: 40184/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 3327585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.892 Prop: 3888.715 PropClause: 3797.276 Set: 832.094 Check: 0.0 Back: 91.099
INFO - Atoms: 39887/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 3367166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.913 Prop: 3924.581 PropClause: 3832.155 Set: 839.116 Check: 0.0 Back: 92.177
INFO - Atoms: 39581/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 3409045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.938 Prop: 3966.68 PropClause: 3873.209 Set: 847.056 Check: 0.0 Back: 93.225
INFO - Atoms: 41879/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 3450940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.966 Prop: 4006.807 PropClause: 3912.296 Set: 854.644 Check: 0.0 Back: 94.384
INFO - Atoms: 41895/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 3493137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.989 Prop: 4045.578 PropClause: 3950.015 Set: 862.48 Check: 0.0 Back: 95.512
INFO - Atoms: 42197/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 3535338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.012 Prop: 4086.335 PropClause: 3989.71 Set: 870.16 Check: 0.0 Back: 96.654
INFO - Atoms: 42201/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 3576095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.04 Prop: 4123.908 PropClause: 4026.268 Set: 877.568 Check: 0.0 Back: 97.779
INFO - Atoms: 40757/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 3618578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.064 Prop: 4166.026 PropClause: 4067.326 Set: 885.526 Check: 0.0 Back: 98.907
INFO - Atoms: 42483/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 3661343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.088 Prop: 4206.375 PropClause: 4106.605 Set: 893.594 Check: 0.0 Back: 100.035
INFO - Atoms: 42765/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 3704113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.112 Prop: 4249.869 PropClause: 4149.033 Set: 901.554 Check: 0.0 Back: 101.221
INFO - Atoms: 42770/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 3746603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.136 Prop: 4290.895 PropClause: 4189.003 Set: 909.391 Check: 0.0 Back: 102.361
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 3789097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.161 Prop: 4329.609 PropClause: 4226.659 Set: 917.211 Check: 0.0 Back: 103.541
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 3830149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.184 Prop: 4370.474 PropClause: 4266.5 Set: 924.724 Check: 0.0 Back: 104.682
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 3872639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.209 Prop: 4412.155 PropClause: 4307.117 Set: 932.653 Check: 0.0 Back: 105.838
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 3915411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.233 Prop: 4451.974 PropClause: 4345.859 Set: 940.71 Check: 0.0 Back: 106.991
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 3958188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.256 Prop: 4495.043 PropClause: 4387.861 Set: 953.937 Check: 0.0 Back: 108.187
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 4000678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.286 Prop: 4538.965 PropClause: 4430.71 Set: 966.676 Check: 0.0 Back: 109.35
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 4043172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.312 Prop: 4582.801 PropClause: 4473.475 Set: 979.768 Check: 0.0 Back: 110.535
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 4084224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.339 Prop: 4625.76 PropClause: 4515.411 Set: 992.123 Check: 0.0 Back: 111.691
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 4126714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.363 Prop: 4669.958 PropClause: 4558.554 Set: 1004.665 Check: 0.0 Back: 112.825
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 4169486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.391 Prop: 4713.297 PropClause: 4600.804 Set: 1012.843 Check: 0.0 Back: 113.959
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 4212263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.419 Prop: 4762.824 PropClause: 4649.216 Set: 1021.193 Check: 0.0 Back: 115.13
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 4254753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.447 Prop: 4808.262 PropClause: 4693.592 Set: 1029.212 Check: 0.0 Back: 116.266
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 4297247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.469 Prop: 4855.126 PropClause: 4739.393 Set: 1037.089 Check: 0.0 Back: 117.439
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 4338299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.493 Prop: 4896.006 PropClause: 4779.249 Set: 1044.744 Check: 0.0 Back: 118.57
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 4380789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.549 Prop: 4937.549 PropClause: 4819.73 Set: 1052.694 Check: 0.0 Back: 119.7
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 4423561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.571 Prop: 4979.712 PropClause: 4860.819 Set: 1060.744 Check: 0.0 Back: 120.837
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 4466338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.591 Prop: 5020.554 PropClause: 4900.586 Set: 1068.71 Check: 0.0 Back: 122.025
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 4508828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.616 Prop: 5064.926 PropClause: 4943.896 Set: 1076.9 Check: 0.0 Back: 123.158
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 4551322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.635 Prop: 5107.043 PropClause: 4984.955 Set: 1084.748 Check: 0.0 Back: 124.332
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 4592374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.656 Prop: 5150.681 PropClause: 5027.567 Set: 1092.395 Check: 0.0 Back: 125.462
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 4634864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.679 Prop: 5191.951 PropClause: 5067.78 Set: 1100.344 Check: 0.0 Back: 126.584
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 4677636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.7 Prop: 5231.356 PropClause: 5106.119 Set: 1108.36 Check: 0.0 Back: 127.727
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 4718684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.721 Prop: 5274.105 PropClause: 5147.846 Set: 1115.836 Check: 0.0 Back: 128.914
INFO - Atoms: 41048/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 4761457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.74 Prop: 5314.35 PropClause: 5187.025 Set: 1123.948 Check: 0.0 Back: 130.007
INFO - Atoms: 42773/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 4803946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.799 Prop: 5356.965 PropClause: 5228.55 Set: 1132.192 Check: 0.0 Back: 131.181
INFO - Atoms: 42489/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 4844998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.867 Prop: 5399.196 PropClause: 5269.761 Set: 1139.771 Check: 0.0 Back: 132.318
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 4887488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.887 Prop: 5440.589 PropClause: 5310.09 Set: 1147.819 Check: 0.0 Back: 133.438
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 4930260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.904 Prop: 5479.257 PropClause: 5347.696 Set: 1155.849 Check: 0.0 Back: 134.584
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 4973037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.923 Prop: 5534.632 PropClause: 5401.84 Set: 1166.715 Check: 0.0 Back: 135.754
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 5015527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.974 Prop: 5586.754 PropClause: 5452.68 Set: 1176.939 Check: 0.0 Back: 136.884
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 5058021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.985 Prop: 5627.627 PropClause: 5492.494 Set: 1184.781 Check: 0.0 Back: 138.05
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 5099073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.995 Prop: 5666.898 PropClause: 5530.742 Set: 1192.437 Check: 0.0 Back: 139.169
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 5141563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.005 Prop: 5705.776 PropClause: 5568.559 Set: 1200.388 Check: 0.0 Back: 140.31
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 5184335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.016 Prop: 5747.336 PropClause: 5609.05 Set: 1208.523 Check: 0.0 Back: 141.412
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 5227112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.026 Prop: 5788.636 PropClause: 5649.281 Set: 1216.549 Check: 0.0 Back: 142.569
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 5269602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.039 Prop: 5830.401 PropClause: 5689.984 Set: 1241.702 Check: 0.0 Back: 143.713
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 5312096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.049 Prop: 5872.608 PropClause: 5731.105 Set: 1249.615 Check: 0.0 Back: 144.878
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 5353148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.061 Prop: 5911.253 PropClause: 5768.717 Set: 1257.111 Check: 0.0 Back: 146.009
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 5395638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.073 Prop: 5952.563 PropClause: 5808.942 Set: 1265.088 Check: 0.0 Back: 147.119
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 5438410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.083 Prop: 5991.588 PropClause: 5846.895 Set: 1273.222 Check: 0.0 Back: 148.254
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 5481187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.095 Prop: 6030.942 PropClause: 5885.174 Set: 1281.246 Check: 0.0 Back: 149.439
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 5523677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.104 Prop: 6069.96 PropClause: 5923.132 Set: 1289.248 Check: 0.0 Back: 150.572
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 5566171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.113 Prop: 6108.952 PropClause: 5961.061 Set: 1297.112 Check: 0.0 Back: 151.729
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 5607223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.124 Prop: 6146.98 PropClause: 5998.064 Set: 1304.734 Check: 0.0 Back: 152.858
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 5649713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.133 Prop: 6188.214 PropClause: 6038.233 Set: 1312.725 Check: 0.0 Back: 153.969
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 5692485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.143 Prop: 6227.29 PropClause: 6076.24 Set: 1320.85 Check: 0.0 Back: 155.107
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 5735262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.154 Prop: 6267.552 PropClause: 6115.427 Set: 1328.835 Check: 0.0 Back: 156.298
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 5777752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.165 Prop: 6301.969 PropClause: 6148.788 Set: 1336.651 Check: 0.0 Back: 157.449
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 5820246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.176 Prop: 6340.867 PropClause: 6186.621 Set: 1344.537 Check: 0.0 Back: 158.617
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 5861298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.186 Prop: 6380.828 PropClause: 6225.548 Set: 1352.167 Check: 0.0 Back: 159.743
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 5903788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.197 Prop: 6419.126 PropClause: 6262.751 Set: 1360.066 Check: 0.0 Back: 160.87
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 5946560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.209 Prop: 6457.886 PropClause: 6300.444 Set: 1368.165 Check: 0.0 Back: 162.0
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 5989337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.221 Prop: 6497.499 PropClause: 6338.99 Set: 1376.205 Check: 0.0 Back: 163.185
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 6031827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.232 Prop: 6534.507 PropClause: 6374.938 Set: 1384.236 Check: 0.0 Back: 164.328
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 6074321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.242 Prop: 6575.689 PropClause: 6415.05 Set: 1392.134 Check: 0.0 Back: 165.464
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 6115373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.253 Prop: 6612.271 PropClause: 6450.6 Set: 1399.738 Check: 0.0 Back: 166.572
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 6157863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.262 Prop: 6651.692 PropClause: 6488.953 Set: 1407.72 Check: 0.0 Back: 167.694
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 6200635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.273 Prop: 6691.874 PropClause: 6528.075 Set: 1415.767 Check: 0.0 Back: 168.824
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 6243412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.282 Prop: 6726.715 PropClause: 6561.841 Set: 1423.69 Check: 0.0 Back: 169.989
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 6285902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.291 Prop: 6766.72 PropClause: 6600.79 Set: 1431.669 Check: 0.0 Back: 171.127
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 6328396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 6805.358 PropClause: 6638.356 Set: 1439.536 Check: 0.0 Back: 172.271
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 6369448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.311 Prop: 6843.063 PropClause: 6675.041 Set: 1447.156 Check: 0.0 Back: 173.394
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 6411938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.323 Prop: 6882.373 PropClause: 6713.281 Set: 1455.196 Check: 0.0 Back: 174.517
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 6454710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.334 Prop: 6917.92 PropClause: 6747.759 Set: 1463.312 Check: 0.0 Back: 175.656
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 6497487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.346 Prop: 6952.373 PropClause: 6781.152 Set: 1471.145 Check: 0.0 Back: 176.825
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 6539977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.357 Prop: 6991.978 PropClause: 6819.691 Set: 1479.128 Check: 0.0 Back: 177.941
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 6582471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.366 Prop: 7029.845 PropClause: 6856.502 Set: 1487.363 Check: 0.0 Back: 179.088
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 6623523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.375 Prop: 7068.875 PropClause: 6894.511 Set: 1495.006 Check: 0.0 Back: 180.204
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 6666013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.384 Prop: 7108.74 PropClause: 6933.321 Set: 1503.0 Check: 0.0 Back: 181.339
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 6708785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.394 Prop: 7147.189 PropClause: 6970.697 Set: 1511.067 Check: 0.0 Back: 182.459
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 6751562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.404 Prop: 7185.585 PropClause: 7008.024 Set: 1518.992 Check: 0.0 Back: 183.632
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 6794052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.412 Prop: 7224.288 PropClause: 7045.669 Set: 1526.875 Check: 0.0 Back: 184.745
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 6836546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 7264.262 PropClause: 7084.592 Set: 1534.721 Check: 0.0 Back: 185.907
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 6879327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.435 Prop: 7304.223 PropClause: 7123.49 Set: 1542.799 Check: 0.0 Back: 187.003
INFO - Atoms: 42781/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 6921816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.446 Prop: 7344.608 PropClause: 7162.815 Set: 1550.744 Check: 0.0 Back: 188.157
INFO - Atoms: 42489/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 6964306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.456 Prop: 7380.408 PropClause: 7197.551 Set: 1558.707 Check: 0.0 Back: 189.272
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 7005354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.464 Prop: 7418.476 PropClause: 7234.589 Set: 1566.107 Check: 0.0 Back: 190.428
INFO - Atoms: 41048/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 7048127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.475 Prop: 7456.646 PropClause: 7271.697 Set: 1574.151 Check: 0.0 Back: 191.493
INFO - Atoms: 42773/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 7090616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.484 Prop: 7496.443 PropClause: 7310.437 Set: 1582.03 Check: 0.0 Back: 192.644
INFO - Atoms: 42489/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 7133398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.495 Prop: 7536.443 PropClause: 7349.373 Set: 1590.143 Check: 0.0 Back: 193.736
INFO - Atoms: 42782/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 7175887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.506 Prop: 7572.751 PropClause: 7384.621 Set: 1597.986 Check: 0.0 Back: 194.891
INFO - Atoms: 42489/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 7218377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.515 Prop: 7612.912 PropClause: 7423.713 Set: 1605.962 Check: 0.0 Back: 195.991
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 7261155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.525 Prop: 7652.267 PropClause: 7462.007 Set: 1613.9 Check: 0.0 Back: 197.116
INFO - Atoms: 42778/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 7303645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.535 Prop: 7691.437 PropClause: 7500.114 Set: 1621.87 Check: 0.0 Back: 198.237
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 7346139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.545 Prop: 7729.191 PropClause: 7536.819 Set: 1629.7 Check: 0.0 Back: 199.387
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 7387191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.556 Prop: 7761.818 PropClause: 7568.427 Set: 1637.162 Check: 0.0 Back: 200.501
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 7429681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.565 Prop: 7798.562 PropClause: 7604.115 Set: 1645.072 Check: 0.0 Back: 201.607
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 7472453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.575 Prop: 7839.645 PropClause: 7644.131 Set: 1653.271 Check: 0.0 Back: 202.734
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 7515230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 7881.175 PropClause: 7684.594 Set: 1661.33 Check: 0.0 Back: 203.893
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 7557720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.599 Prop: 7922.234 PropClause: 7724.58 Set: 1669.519 Check: 0.0 Back: 205.023
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 7600214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.609 Prop: 7962.131 PropClause: 7763.416 Set: 1677.441 Check: 0.0 Back: 206.176
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 7641266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.621 Prop: 7996.659 PropClause: 7796.931 Set: 1684.958 Check: 0.0 Back: 207.297
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 7683756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.631 Prop: 8035.452 PropClause: 7834.666 Set: 1692.98 Check: 0.0 Back: 208.402
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 7726528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.64 Prop: 8073.301 PropClause: 7871.447 Set: 1701.023 Check: 0.0 Back: 209.494
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 7769305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.651 Prop: 8114.211 PropClause: 7911.291 Set: 1709.138 Check: 0.0 Back: 210.638
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 7811795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.66 Prop: 8154.052 PropClause: 7950.072 Set: 1717.123 Check: 0.0 Back: 211.752
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 7854289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.671 Prop: 8189.736 PropClause: 7984.694 Set: 1724.981 Check: 0.0 Back: 212.901
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 7895341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.682 Prop: 8230.504 PropClause: 8024.441 Set: 1732.701 Check: 0.0 Back: 214.021
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 7937831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.693 Prop: 8268.123 PropClause: 8060.997 Set: 1740.594 Check: 0.0 Back: 215.113
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 7980603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.703 Prop: 8307.849 PropClause: 8099.655 Set: 1748.7 Check: 0.0 Back: 216.224
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 8023380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 8348.079 PropClause: 8138.816 Set: 1756.8 Check: 0.0 Back: 217.37
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 8065870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.726 Prop: 8386.696 PropClause: 8176.365 Set: 1764.838 Check: 0.0 Back: 218.493
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 8108364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.735 Prop: 8427.878 PropClause: 8216.493 Set: 1772.818 Check: 0.0 Back: 219.628
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 8149416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.746 Prop: 8468.716 PropClause: 8256.306 Set: 1780.534 Check: 0.0 Back: 220.736
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 8191906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.757 Prop: 8509.735 PropClause: 8296.272 Set: 1788.539 Check: 0.0 Back: 221.834
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 8234678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.767 Prop: 8550.709 PropClause: 8336.174 Set: 1796.731 Check: 0.0 Back: 222.929
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 8277455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.777 Prop: 8591.765 PropClause: 8376.153 Set: 1804.78 Check: 0.0 Back: 224.069
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 8319945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.788 Prop: 8631.826 PropClause: 8415.151 Set: 1812.829 Check: 0.0 Back: 225.198
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 8362439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.8 Prop: 8673.644 PropClause: 8455.908 Set: 1820.881 Check: 0.0 Back: 226.332
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 8403491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.808 Prop: 8710.828 PropClause: 8492.069 Set: 1828.47 Check: 0.0 Back: 227.429
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 8445981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.818 Prop: 8750.146 PropClause: 8530.319 Set: 1836.532 Check: 0.0 Back: 228.493
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 8488753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.827 Prop: 8789.526 PropClause: 8568.639 Set: 1844.662 Check: 0.0 Back: 229.594
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 8531530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.836 Prop: 8826.576 PropClause: 8604.624 Set: 1852.65 Check: 0.0 Back: 230.743
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 8574020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.846 Prop: 8866.72 PropClause: 8643.714 Set: 1860.662 Check: 0.0 Back: 231.858
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 8616514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.856 Prop: 8904.325 PropClause: 8680.259 Set: 1868.615 Check: 0.0 Back: 232.986
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 8657566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.866 Prop: 8943.695 PropClause: 8718.606 Set: 1876.307 Check: 0.0 Back: 234.105
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 8700056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.877 Prop: 8981.515 PropClause: 8755.357 Set: 1884.316 Check: 0.0 Back: 235.205
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 8742828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.888 Prop: 9020.982 PropClause: 8793.765 Set: 1892.407 Check: 0.0 Back: 236.313
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 8785605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.901 Prop: 9060.878 PropClause: 8832.587 Set: 1900.452 Check: 0.0 Back: 237.45
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 8828095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.912 Prop: 9101.862 PropClause: 8872.516 Set: 1908.531 Check: 0.0 Back: 238.548
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 8870589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.923 Prop: 9142.784 PropClause: 8912.384 Set: 1916.488 Check: 0.0 Back: 239.7
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 8911641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.935 Prop: 9183.214 PropClause: 8951.778 Set: 1924.222 Check: 0.0 Back: 240.787
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 8954131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.948 Prop: 9221.154 PropClause: 8988.666 Set: 1932.244 Check: 0.0 Back: 241.895
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 8996903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.958 Prop: 9261.441 PropClause: 9027.891 Set: 1940.44 Check: 0.0 Back: 242.999
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 9039680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.968 Prop: 9301.356 PropClause: 9066.742 Set: 1948.473 Check: 0.0 Back: 244.153
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 9082170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.977 Prop: 9342.097 PropClause: 9106.426 Set: 1956.403 Check: 0.0 Back: 245.261
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 9124664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.986 Prop: 9382.833 PropClause: 9146.106 Set: 1964.285 Check: 0.0 Back: 246.382
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 9165716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.999 Prop: 9421.874 PropClause: 9184.127 Set: 1971.957 Check: 0.0 Back: 247.479
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 9208206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.008 Prop: 9458.585 PropClause: 9219.776 Set: 1979.924 Check: 0.0 Back: 248.551
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 9250978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.019 Prop: 9501.007 PropClause: 9261.138 Set: 1988.146 Check: 0.0 Back: 249.645
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 9293755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.03 Prop: 9541.919 PropClause: 9300.986 Set: 1996.246 Check: 0.0 Back: 250.795
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 9336245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.042 Prop: 9585.76 PropClause: 9343.766 Set: 2004.295 Check: 0.0 Back: 251.897
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 9378739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.052 Prop: 9623.926 PropClause: 9380.879 Set: 2012.148 Check: 0.0 Back: 253.048
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 9419791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 9659.145 PropClause: 9415.078 Set: 2019.732 Check: 0.0 Back: 254.155
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 9462281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.071 Prop: 9695.53 PropClause: 9450.402 Set: 2027.719 Check: 0.0 Back: 255.245
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 9505053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.081 Prop: 9736.033 PropClause: 9489.839 Set: 2035.965 Check: 0.0 Back: 256.36
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 9547830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.092 Prop: 9774.314 PropClause: 9527.049 Set: 2044.032 Check: 0.0 Back: 257.495
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 9590320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.101 Prop: 9815.414 PropClause: 9567.091 Set: 2052.182 Check: 0.0 Back: 258.609
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 9632814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.112 Prop: 9854.448 PropClause: 9605.06 Set: 2060.18 Check: 0.0 Back: 259.748
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 9673866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.122 Prop: 9888.414 PropClause: 9638.002 Set: 2067.834 Check: 0.0 Back: 260.855
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 9716356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.132 Prop: 9927.473 PropClause: 9675.994 Set: 2075.87 Check: 0.0 Back: 261.941
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 9758997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.142 Prop: 9967.314 PropClause: 9714.774 Set: 2083.922 Check: 0.0 Back: 263.04
INFO - Atoms: 42641/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 9800045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.154 Prop: 10007.374 PropClause: 9753.797 Set: 2091.559 Check: 0.0 Back: 264.171
INFO - Atoms: 41048/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 9842553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.164 Prop: 10049.655 PropClause: 9795.016 Set: 2099.773 Check: 0.0 Back: 265.225
INFO - Atoms: 42508/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 9884909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.173 Prop: 10089.947 PropClause: 9834.256 Set: 2107.695 Check: 0.0 Back: 266.368
INFO - Atoms: 42356/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 9927425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.183 Prop: 10129.848 PropClause: 9873.097 Set: 2115.93 Check: 0.0 Back: 267.489
INFO - Atoms: 42516/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 9969646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.193 Prop: 10170.912 PropClause: 9913.109 Set: 2123.896 Check: 0.0 Back: 268.615
INFO - Atoms: 42221/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 10011868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.203 Prop: 10208.972 PropClause: 9950.109 Set: 2131.923 Check: 0.0 Back: 269.727
INFO - Atoms: 42222/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 10052916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.212 Prop: 10248.552 PropClause: 9988.664 Set: 2139.592 Check: 0.0 Back: 270.862
INFO - Atoms: 41048/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 10094862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.222 Prop: 10287.143 PropClause: 10026.213 Set: 2147.585 Check: 0.0 Back: 271.913
INFO - Atoms: 41946/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 10136808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.235 Prop: 10321.368 PropClause: 10059.385 Set: 2155.423 Check: 0.0 Back: 273.031
INFO - Atoms: 41946/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 10178753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.245 Prop: 10361.141 PropClause: 10098.117 Set: 2163.368 Check: 0.0 Back: 274.12
INFO - Atoms: 41945/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 10219767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.256 Prop: 10400.496 PropClause: 10136.459 Set: 2170.983 Check: 0.0 Back: 275.231
INFO - Atoms: 41014/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 10261074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.268 Prop: 10438.298 PropClause: 10173.239 Set: 2178.818 Check: 0.0 Back: 276.306
INFO - Atoms: 41307/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 10302088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.28 Prop: 10477.992 PropClause: 10211.884 Set: 2186.884 Check: 0.0 Back: 277.413
INFO - Atoms: 41014/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 10343403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 10511.768 PropClause: 10244.626 Set: 2194.675 Check: 0.0 Back: 278.515
INFO - Atoms: 41315/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 10384422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.303 Prop: 10550.761 PropClause: 10282.594 Set: 2202.363 Check: 0.0 Back: 279.6
INFO - Atoms: 41019/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 10425737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.314 Prop: 10589.995 PropClause: 10320.793 Set: 2210.153 Check: 0.0 Back: 280.661
INFO - Atoms: 41315/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 10466752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.327 Prop: 10629.525 PropClause: 10359.299 Set: 2217.931 Check: 0.0 Back: 281.754
INFO - Atoms: 41015/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 10508067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.339 Prop: 10667.033 PropClause: 10395.785 Set: 2225.655 Check: 0.0 Back: 282.82
INFO - Atoms: 41315/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 10549086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.348 Prop: 10700.09 PropClause: 10427.818 Set: 2233.195 Check: 0.0 Back: 283.918
INFO - Atoms: 41019/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 10590401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.359 Prop: 10735.134 PropClause: 10461.84 Set: 2240.833 Check: 0.0 Back: 284.977
INFO - Atoms: 41315/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 10631416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.37 Prop: 10773.988 PropClause: 10499.668 Set: 2248.371 Check: 0.0 Back: 286.066
INFO - Atoms: 41015/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 10672448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.38 Prop: 10811.012 PropClause: 10535.678 Set: 2255.954 Check: 0.0 Back: 287.112
INFO - Atoms: 41032/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 10713182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.389 Prop: 10848.637 PropClause: 10572.293 Set: 2263.411 Check: 0.0 Back: 288.182
INFO - Atoms: 40734/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 10753919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.398 Prop: 10885.434 PropClause: 10608.072 Set: 2270.95 Check: 0.0 Back: 289.225
INFO - Atoms: 40737/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 10793803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.407 Prop: 10917.783 PropClause: 10639.433 Set: 2278.108 Check: 0.0 Back: 290.288
INFO - Atoms: 39884/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 10833388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.418 Prop: 10954.385 PropClause: 10675.051 Set: 2285.424 Check: 0.0 Back: 291.31
INFO - Atoms: 39585/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 10854003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.501 Prop: 10982.2 PropClause: 10702.219 Set: 2298.132 Check: 0.0 Back: 292.324
INFO - Atoms: 20615/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 746 Props: 11462642 Tprops: 0 Decides: 854 RSplits: 0
INFO - Times: Expl: 666.662 Prop: 11289.933 PropClause: 10991.452 Set: 2316.876 Check: 0.03 Back: 308.002
INFO - Atoms: 18709/57952 Clauses: 888 Axioms: 191026
INFO - Restart
INFO - Confl: 1246 Props: 14367371 Tprops: 0 Decides: 12581 RSplits: 0
INFO - Times: Expl: 1841.531 Prop: 13888.738 PropClause: 13510.426 Set: 2389.387 Check: 0.322 Back: 379.283
INFO - Atoms: 18771/57952 Clauses: 1388 Axioms: 191026
INFO - Restart
INFO - Confl: 2246 Props: 15449087 Tprops: 0 Decides: 16086 RSplits: 0
INFO - Times: Expl: 2570.751 Prop: 14540.851 PropClause: 14132.082 Set: 2432.559 Check: 0.411 Back: 405.74
INFO - Atoms: 18771/57952 Clauses: 2388 Axioms: 191026
INFO - Restart
INFO - Confl: 2746 Props: 15791086 Tprops: 0 Decides: 17176 RSplits: 0
INFO - Times: Expl: 2764.32 Prop: 14725.079 PropClause: 14306.074 Set: 2441.249 Check: 0.439 Back: 414.234
INFO - Atoms: 18771/57952 Clauses: 2888 Axioms: 191026
INFO - Restart
INFO - Confl: 3246 Props: 16120230 Tprops: 0 Decides: 17919 RSplits: 0
INFO - Times: Expl: 3021.514 Prop: 14831.135 PropClause: 14403.609 Set: 2448.978 Check: 0.458 Back: 421.806
INFO - Atoms: 18771/57952 Clauses: 3388 Axioms: 191026
INFO - Restart
INFO - Confl: 4246 Props: 16686170 Tprops: 0 Decides: 19517 RSplits: 0
INFO - Times: Expl: 3198.574 Prop: 15025.856 PropClause: 14583.637 Set: 2462.275 Check: 0.496 Back: 434.788
INFO - Atoms: 18771/57952 Clauses: 4388 Axioms: 191026
INFO - Restart
INFO - Confl: 6246 Props: 18055598 Tprops: 0 Decides: 22466 RSplits: 0
INFO - Times: Expl: 3812.3 Prop: 15525.735 PropClause: 15047.703 Set: 2494.396 Check: 0.566 Back: 466.352
INFO - Atoms: 18771/57952 Clauses: 6388 Axioms: 191026
INFO - Restart
INFO - Confl: 6746 Props: 18517135 Tprops: 0 Decides: 23589 RSplits: 0
INFO - Times: Expl: 4176.538 Prop: 15770.936 PropClause: 15278.953 Set: 2506.106 Check: 0.597 Back: 477.745
INFO - Atoms: 18771/57952 Clauses: 6888 Axioms: 191026
INFO - Restart
INFO - Confl: 7246 Props: 18866885 Tprops: 0 Decides: 24270 RSplits: 0
INFO - Times: Expl: 4385.994 Prop: 15913.373 PropClause: 15411.111 Set: 2514.942 Check: 0.615 Back: 486.428
INFO - Atoms: 18771/57952 Clauses: 7388 Axioms: 191026
INFO - Restart
INFO - Confl: 8246 Props: 19588175 Tprops: 0 Decides: 25551 RSplits: 0
INFO - Times: Expl: 4796.978 Prop: 16156.522 PropClause: 15635.853 Set: 2531.599 Check: 0.645 Back: 502.847
INFO - Atoms: 18771/57952 Clauses: 8388 Axioms: 191026
INFO - Restart
INFO - Confl: 8746 Props: 19920806 Tprops: 0 Decides: 26307 RSplits: 0
INFO - Times: Expl: 4912.083 Prop: 16278.22 PropClause: 15749.039 Set: 2539.308 Check: 0.664 Back: 510.327
INFO - Atoms: 18771/57952 Clauses: 8888 Axioms: 191026
INFO - Restart
INFO - Confl: 9246 Props: 20191908 Tprops: 0 Decides: 26874 RSplits: 0
INFO - Times: Expl: 5014.156 Prop: 16370.448 PropClause: 15834.36 Set: 2545.559 Check: 0.677 Back: 516.522
INFO - Atoms: 18771/57952 Clauses: 9388 Axioms: 191026
INFO - Restart
INFO - Confl: 10246 Props: 21565314 Tprops: 0 Decides: 33174 RSplits: 0
INFO - Times: Expl: 6016.904 Prop: 17476.581 PropClause: 16900.618 Set: 2579.497 Check: 0.841 Back: 549.843
INFO - Atoms: 18788/57952 Clauses: 10388 Axioms: 191026
INFO - Restart
INFO - Confl: 12246 Props: 23260807 Tprops: 0 Decides: 39313 RSplits: 0
INFO - Times: Expl: 6618.287 Prop: 18292.536 PropClause: 17672.228 Set: 2619.334 Check: 0.99 Back: 589.189
INFO - Atoms: 18792/57952 Clauses: 12388 Axioms: 191026
INFO - Confl: 15762 Props: 25615883 Tprops: 0 Decides: 46281 RSplits: 0
INFO - Times: Expl: 7478.362 Prop: 19281.718 PropClause: 18600.393 Set: 2674.629 Check: 1.158 Back: 643.32
INFO - Atoms: 19688/57952 Clauses: 15904 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 248 Props: 20905 Tprops: 3024 Decides: 22696 RSplits: 0
INFO - Times: Expl: 209.56 Prop: 44110.476 PropClause: 9.098 Set: 2413.124 Check: 182.568 Back: 78.024
INFO - Atoms: 455/582 Clauses: 248 Axioms: 582
INFO - CCTimes: iE 249271 eq 19028850 cc 92209671 setRep 48948437
INFO - Merges: 320226, cc:1015649
INFO - BVTimes: BB 263431241 BB_DPLL 40957186971 Graph 627750
INFO - BitBlastingClauses: 286862 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat