/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_111_048.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 192301490
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 33310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.646 Prop: 64.263 PropClause: 56.48 Set: 38.364 Check: 0.0 Back: 0.0
INFO - Atoms: 33310/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 66620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.701 Prop: 114.126 PropClause: 100.127 Set: 46.213 Check: 0.0 Back: 0.931
INFO - Atoms: 33310/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 99486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.775 Prop: 161.456 PropClause: 145.882 Set: 53.736 Check: 0.0 Back: 1.846
INFO - Atoms: 32866/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 132352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.805 Prop: 206.951 PropClause: 188.645 Set: 65.615 Check: 0.0 Back: 2.712
INFO - Atoms: 32866/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 165218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.85 Prop: 247.427 PropClause: 228.099 Set: 73.242 Check: 0.0 Back: 3.562
INFO - Atoms: 32866/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 198078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.935 Prop: 288.363 PropClause: 268.063 Set: 81.765 Check: 0.0 Back: 4.423
INFO - Atoms: 32860/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 230605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.985 Prop: 324.76 PropClause: 303.521 Set: 89.949 Check: 0.0 Back: 5.278
INFO - Atoms: 32527/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 262925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.035 Prop: 366.09 PropClause: 343.913 Set: 97.648 Check: 0.0 Back: 6.135
INFO - Atoms: 32320/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 295003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.119 Prop: 402.366 PropClause: 379.225 Set: 105.681 Check: 0.0 Back: 6.991
INFO - Atoms: 32078/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 326869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.165 Prop: 440.849 PropClause: 416.782 Set: 113.291 Check: 0.0 Back: 7.824
INFO - Atoms: 31866/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 358493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.214 Prop: 478.648 PropClause: 453.665 Set: 120.665 Check: 0.0 Back: 8.656
INFO - Atoms: 31624/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 389889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.276 Prop: 517.527 PropClause: 491.617 Set: 132.149 Check: 0.0 Back: 9.439
INFO - Atoms: 31396/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 421059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.326 Prop: 558.665 PropClause: 531.827 Set: 143.578 Check: 0.0 Back: 10.233
INFO - Atoms: 31170/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 452018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.369 Prop: 598.016 PropClause: 570.256 Set: 194.798 Check: 0.0 Back: 11.032
INFO - Atoms: 30959/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 482734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.413 Prop: 628.579 PropClause: 600.057 Set: 200.236 Check: 0.0 Back: 11.791
INFO - Atoms: 30716/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 513238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.478 Prop: 656.451 PropClause: 627.156 Set: 205.633 Check: 0.0 Back: 12.564
INFO - Atoms: 30504/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 543500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.521 Prop: 682.395 PropClause: 652.347 Set: 210.998 Check: 0.0 Back: 13.331
INFO - Atoms: 30262/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 573534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.564 Prop: 711.753 PropClause: 680.96 Set: 216.289 Check: 0.0 Back: 14.042
INFO - Atoms: 30034/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 603342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.608 Prop: 737.899 PropClause: 706.361 Set: 221.487 Check: 0.0 Back: 14.731
INFO - Atoms: 29808/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 632938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.651 Prop: 764.153 PropClause: 731.885 Set: 226.617 Check: 0.0 Back: 15.392
INFO - Atoms: 29596/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 662292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.694 Prop: 787.637 PropClause: 754.636 Set: 231.732 Check: 0.0 Back: 16.05
INFO - Atoms: 29354/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 691434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.735 Prop: 813.312 PropClause: 779.589 Set: 236.798 Check: 0.0 Back: 16.708
INFO - Atoms: 29142/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 720334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.782 Prop: 845.369 PropClause: 810.811 Set: 243.561 Check: 0.0 Back: 17.359
INFO - Atoms: 28900/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 749022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.828 Prop: 873.988 PropClause: 838.67 Set: 249.11 Check: 0.0 Back: 18.111
INFO - Atoms: 28688/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 777468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.878 Prop: 894.495 PropClause: 858.466 Set: 253.953 Check: 0.0 Back: 18.761
INFO - Atoms: 28446/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 805702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.92 Prop: 915.922 PropClause: 879.19 Set: 258.766 Check: 0.0 Back: 19.401
INFO - Atoms: 28234/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 833694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.964 Prop: 936.169 PropClause: 898.737 Set: 263.588 Check: 0.0 Back: 20.039
INFO - Atoms: 27992/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 861458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.012 Prop: 956.869 PropClause: 918.744 Set: 268.259 Check: 0.0 Back: 20.669
INFO - Atoms: 27764/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 888996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.051 Prop: 977.225 PropClause: 938.409 Set: 275.779 Check: 0.0 Back: 21.298
INFO - Atoms: 27538/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 916306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.089 Prop: 999.264 PropClause: 959.765 Set: 283.467 Check: 0.0 Back: 21.92
INFO - Atoms: 27310/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 943390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.133 Prop: 1019.431 PropClause: 979.255 Set: 290.905 Check: 0.0 Back: 22.539
INFO - Atoms: 27084/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 970263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.176 Prop: 1043.15 PropClause: 1002.302 Set: 298.462 Check: 0.0 Back: 23.152
INFO - Atoms: 26873/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 996893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.218 Prop: 1064.198 PropClause: 1022.683 Set: 305.778 Check: 0.0 Back: 23.762
INFO - Atoms: 26630/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1023295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.259 Prop: 1085.072 PropClause: 1042.893 Set: 313.013 Check: 0.0 Back: 24.375
INFO - Atoms: 26402/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1049471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.301 Prop: 1107.228 PropClause: 1064.395 Set: 320.303 Check: 0.0 Back: 24.985
INFO - Atoms: 26176/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1075419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.345 Prop: 1126.908 PropClause: 1083.419 Set: 324.627 Check: 0.0 Back: 25.579
INFO - Atoms: 25948/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1101141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.388 Prop: 1146.393 PropClause: 1102.262 Set: 328.974 Check: 0.0 Back: 26.164
INFO - Atoms: 25722/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1126651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.45 Prop: 1176.521 PropClause: 1131.653 Set: 335.315 Check: 0.0 Back: 26.752
INFO - Atoms: 25510/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1151919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.498 Prop: 1198.91 PropClause: 1153.412 Set: 339.65 Check: 0.0 Back: 27.407
INFO - Atoms: 25268/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1176974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.546 Prop: 1222.757 PropClause: 1176.595 Set: 344.256 Check: 0.0 Back: 27.979
INFO - Atoms: 25055/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1201788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.59 Prop: 1240.656 PropClause: 1193.876 Set: 348.389 Check: 0.0 Back: 28.546
INFO - Atoms: 24814/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1226389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.647 Prop: 1260.147 PropClause: 1212.756 Set: 352.519 Check: 0.0 Back: 29.113
INFO - Atoms: 24601/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1250749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.708 Prop: 1280.006 PropClause: 1232.008 Set: 356.674 Check: 0.0 Back: 29.684
INFO - Atoms: 24360/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1274897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.754 Prop: 1300.878 PropClause: 1252.28 Set: 360.819 Check: 0.0 Back: 30.247
INFO - Atoms: 24148/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1298803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.796 Prop: 1318.116 PropClause: 1268.919 Set: 364.782 Check: 0.0 Back: 30.792
INFO - Atoms: 23906/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1322481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.837 Prop: 1336.726 PropClause: 1286.94 Set: 368.72 Check: 0.0 Back: 31.335
INFO - Atoms: 23678/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1345933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.874 Prop: 1353.917 PropClause: 1303.548 Set: 372.638 Check: 0.0 Back: 31.87
INFO - Atoms: 23452/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1369173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.913 Prop: 1371.707 PropClause: 1320.762 Set: 376.44 Check: 0.0 Back: 32.395
INFO - Atoms: 23240/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1392171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.957 Prop: 1389.481 PropClause: 1337.952 Set: 380.259 Check: 0.0 Back: 32.945
INFO - Atoms: 22998/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1414956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.001 Prop: 1410.012 PropClause: 1357.92 Set: 384.195 Check: 0.0 Back: 33.472
INFO - Atoms: 22785/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1437500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.05 Prop: 1430.401 PropClause: 1377.64 Set: 389.27 Check: 0.0 Back: 33.982
INFO - Atoms: 22544/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1459816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.214 Prop: 1451.766 PropClause: 1398.352 Set: 394.115 Check: 0.0 Back: 34.55
INFO - Atoms: 22316/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1483491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.295 Prop: 1468.667 PropClause: 1414.66 Set: 409.361 Check: 0.0 Back: 35.135
INFO - Atoms: 23675/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1507144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.317 Prop: 1485.037 PropClause: 1430.44 Set: 413.337 Check: 0.0 Back: 35.68
INFO - Atoms: 23653/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1530133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.339 Prop: 1500.312 PropClause: 1445.127 Set: 417.147 Check: 0.0 Back: 36.21
INFO - Atoms: 22989/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1553789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.36 Prop: 1517.232 PropClause: 1461.457 Set: 421.198 Check: 0.0 Back: 36.745
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1577467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.381 Prop: 1532.952 PropClause: 1476.589 Set: 425.148 Check: 0.0 Back: 37.285
INFO - Atoms: 23678/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1601344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.404 Prop: 1549.674 PropClause: 1492.702 Set: 429.188 Check: 0.0 Back: 37.814
INFO - Atoms: 23877/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1625000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.424 Prop: 1566.838 PropClause: 1509.273 Set: 433.263 Check: 0.0 Back: 38.347
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1648857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.445 Prop: 1584.005 PropClause: 1525.833 Set: 437.325 Check: 0.0 Back: 38.882
INFO - Atoms: 23857/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1672735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.465 Prop: 1600.298 PropClause: 1541.534 Set: 441.334 Check: 0.0 Back: 39.441
INFO - Atoms: 23878/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1696591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.486 Prop: 1617.686 PropClause: 1558.321 Set: 445.459 Check: 0.0 Back: 39.976
INFO - Atoms: 23856/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1720249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.508 Prop: 1633.859 PropClause: 1573.904 Set: 449.471 Check: 0.0 Back: 40.515
INFO - Atoms: 23658/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1744142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.525 Prop: 1650.668 PropClause: 1590.116 Set: 453.561 Check: 0.0 Back: 41.045
INFO - Atoms: 23893/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1767798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.544 Prop: 1667.6 PropClause: 1606.458 Set: 457.61 Check: 0.0 Back: 41.592
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 1791655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.567 Prop: 1685.522 PropClause: 1623.787 Set: 461.702 Check: 0.0 Back: 42.126
INFO - Atoms: 23857/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 1814649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.586 Prop: 1700.527 PropClause: 1638.215 Set: 465.527 Check: 0.0 Back: 42.663
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 1838505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.608 Prop: 1718.268 PropClause: 1655.361 Set: 469.644 Check: 0.0 Back: 43.183
INFO - Atoms: 23856/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 1862182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.63 Prop: 1736.446 PropClause: 1672.931 Set: 473.892 Check: 0.0 Back: 43.726
INFO - Atoms: 23677/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 1886074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.651 Prop: 1755.579 PropClause: 1691.446 Set: 478.229 Check: 0.0 Back: 44.268
INFO - Atoms: 23892/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 1909730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 1773.125 PropClause: 1708.401 Set: 482.239 Check: 0.0 Back: 44.817
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 1933585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.692 Prop: 1792.223 PropClause: 1726.903 Set: 488.537 Check: 0.0 Back: 45.351
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 1956579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.71 Prop: 1808.728 PropClause: 1742.83 Set: 492.611 Check: 0.0 Back: 45.89
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 1980434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.727 Prop: 1825.063 PropClause: 1758.57 Set: 498.564 Check: 0.0 Back: 46.408
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 2004112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.747 Prop: 1841.149 PropClause: 1774.066 Set: 504.458 Check: 0.0 Back: 46.947
INFO - Atoms: 23678/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 2028005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.764 Prop: 1857.884 PropClause: 1790.206 Set: 510.42 Check: 0.0 Back: 47.48
INFO - Atoms: 23893/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 2051661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.782 Prop: 1874.483 PropClause: 1806.216 Set: 516.33 Check: 0.0 Back: 48.02
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 2075516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.804 Prop: 1893.415 PropClause: 1824.543 Set: 523.048 Check: 0.0 Back: 48.553
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 2098510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.828 Prop: 1911.588 PropClause: 1842.119 Set: 529.099 Check: 0.0 Back: 49.1
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 2122364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.849 Prop: 1928.256 PropClause: 1858.192 Set: 535.157 Check: 0.0 Back: 49.624
INFO - Atoms: 23854/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 2146043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.87 Prop: 1945.997 PropClause: 1875.345 Set: 541.315 Check: 0.0 Back: 50.167
INFO - Atoms: 23679/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 2169051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.892 Prop: 1966.327 PropClause: 1895.099 Set: 547.446 Check: 0.0 Back: 50.702
INFO - Atoms: 23008/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 2192727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.913 Prop: 1984.168 PropClause: 1912.346 Set: 553.473 Check: 0.0 Back: 51.223
INFO - Atoms: 23676/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 2216584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.932 Prop: 2001.563 PropClause: 1929.148 Set: 559.358 Check: 0.0 Back: 51.77
INFO - Atoms: 23857/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 2240464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.954 Prop: 2020.537 PropClause: 1947.512 Set: 565.517 Check: 0.0 Back: 52.307
INFO - Atoms: 23880/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 2264318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.975 Prop: 2039.48 PropClause: 1965.86 Set: 571.55 Check: 0.0 Back: 52.87
INFO - Atoms: 23854/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 2287976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.994 Prop: 2056.994 PropClause: 1982.782 Set: 577.428 Check: 0.0 Back: 53.426
INFO - Atoms: 23658/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 2310984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.014 Prop: 2074.8 PropClause: 2000.017 Set: 583.556 Check: 0.0 Back: 53.97
INFO - Atoms: 23008/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 2334660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.036 Prop: 2091.226 PropClause: 2015.854 Set: 589.504 Check: 0.0 Back: 54.495
INFO - Atoms: 23676/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 2358517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.056 Prop: 2110.343 PropClause: 2034.378 Set: 595.821 Check: 0.0 Back: 55.031
INFO - Atoms: 23857/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 2382395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.079 Prop: 2129.149 PropClause: 2052.589 Set: 599.951 Check: 0.0 Back: 55.564
INFO - Atoms: 23878/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 2406251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.097 Prop: 2145.341 PropClause: 2068.187 Set: 603.99 Check: 0.0 Back: 56.102
INFO - Atoms: 23856/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 2429909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.117 Prop: 2161.033 PropClause: 2083.289 Set: 607.976 Check: 0.0 Back: 56.636
INFO - Atoms: 23658/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 2453786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.171 Prop: 2177.344 PropClause: 2099.005 Set: 612.077 Check: 0.0 Back: 57.166
INFO - Atoms: 23877/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 2477442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.233 Prop: 2193.481 PropClause: 2114.544 Set: 616.091 Check: 0.0 Back: 57.708
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 2501297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.249 Prop: 2209.934 PropClause: 2130.404 Set: 620.194 Check: 0.0 Back: 58.253
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 2524291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.26 Prop: 2225.729 PropClause: 2145.627 Set: 624.067 Check: 0.0 Back: 58.788
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 2548147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.274 Prop: 2241.63 PropClause: 2160.935 Set: 628.114 Check: 0.0 Back: 59.303
INFO - Atoms: 23856/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 2571824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.289 Prop: 2257.729 PropClause: 2176.443 Set: 632.197 Check: 0.0 Back: 59.836
INFO - Atoms: 23677/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 2595717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.303 Prop: 2274.29 PropClause: 2192.408 Set: 636.288 Check: 0.0 Back: 60.369
INFO - Atoms: 23893/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 2619373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.319 Prop: 2291.267 PropClause: 2208.795 Set: 640.387 Check: 0.0 Back: 60.903
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 2643228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.334 Prop: 2308.188 PropClause: 2225.122 Set: 644.516 Check: 0.0 Back: 61.436
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 2666222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.348 Prop: 2324.234 PropClause: 2240.595 Set: 648.341 Check: 0.0 Back: 61.981
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 2690077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.36 Prop: 2340.733 PropClause: 2256.505 Set: 652.422 Check: 0.0 Back: 62.498
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 2713755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.376 Prop: 2357.662 PropClause: 2272.85 Set: 656.51 Check: 0.0 Back: 63.033
INFO - Atoms: 23678/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 2737632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.39 Prop: 2374.637 PropClause: 2289.238 Set: 660.626 Check: 0.0 Back: 63.563
INFO - Atoms: 23877/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 2761288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.403 Prop: 2391.763 PropClause: 2305.775 Set: 664.709 Check: 0.0 Back: 64.105
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 2785143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.419 Prop: 2410.286 PropClause: 2323.71 Set: 668.806 Check: 0.0 Back: 64.653
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 2808137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.435 Prop: 2427.249 PropClause: 2340.092 Set: 672.683 Check: 0.0 Back: 65.183
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 2831992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.449 Prop: 2444.654 PropClause: 2356.899 Set: 676.888 Check: 0.0 Back: 65.696
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 2855670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.524 Prop: 2463.328 PropClause: 2374.98 Set: 681.022 Check: 0.0 Back: 66.234
INFO - Atoms: 23678/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 2879563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.539 Prop: 2483.687 PropClause: 2394.725 Set: 685.345 Check: 0.0 Back: 66.828
INFO - Atoms: 23893/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 2903219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.553 Prop: 2500.375 PropClause: 2410.82 Set: 689.417 Check: 0.0 Back: 67.371
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 2927074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.57 Prop: 2515.601 PropClause: 2425.451 Set: 693.432 Check: 0.0 Back: 67.901
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 2950068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.584 Prop: 2532.879 PropClause: 2442.148 Set: 697.394 Check: 0.0 Back: 68.44
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 2973922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.598 Prop: 2550.189 PropClause: 2458.863 Set: 701.616 Check: 0.0 Back: 68.958
INFO - Atoms: 23854/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 2997601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.613 Prop: 2568.516 PropClause: 2476.598 Set: 705.716 Check: 0.0 Back: 69.496
INFO - Atoms: 23679/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 3021478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.628 Prop: 2586.909 PropClause: 2494.394 Set: 709.948 Check: 0.0 Back: 70.029
INFO - Atoms: 23877/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 3045134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.643 Prop: 2604.772 PropClause: 2511.664 Set: 714.127 Check: 0.0 Back: 70.568
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 3068989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.659 Prop: 2622.748 PropClause: 2529.041 Set: 718.321 Check: 0.0 Back: 71.102
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 3091983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.673 Prop: 2640.473 PropClause: 2546.19 Set: 722.276 Check: 0.0 Back: 71.643
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 3115838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.688 Prop: 2659.674 PropClause: 2564.794 Set: 726.6 Check: 0.0 Back: 72.164
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 3139516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.702 Prop: 2677.734 PropClause: 2582.258 Set: 730.817 Check: 0.0 Back: 72.7
INFO - Atoms: 23678/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 3163410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.718 Prop: 2696.401 PropClause: 2600.329 Set: 735.074 Check: 0.0 Back: 73.235
INFO - Atoms: 23894/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 3187066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.732 Prop: 2715.238 PropClause: 2618.574 Set: 739.28 Check: 0.0 Back: 73.778
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 3210921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.748 Prop: 2734.479 PropClause: 2637.226 Set: 743.499 Check: 0.0 Back: 74.309
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 3233915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.762 Prop: 2753.239 PropClause: 2655.417 Set: 747.467 Check: 0.0 Back: 74.852
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 3257770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.779 Prop: 2772.165 PropClause: 2673.711 Set: 751.694 Check: 0.0 Back: 75.423
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 3281448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.794 Prop: 2792.44 PropClause: 2693.402 Set: 755.84 Check: 0.0 Back: 75.958
INFO - Atoms: 23678/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 3305341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.81 Prop: 2811.893 PropClause: 2712.266 Set: 760.034 Check: 0.0 Back: 76.483
INFO - Atoms: 23893/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 3328997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.826 Prop: 2832.144 PropClause: 2731.931 Set: 764.251 Check: 0.0 Back: 77.023
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 3352852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.845 Prop: 2860.11 PropClause: 2759.194 Set: 770.14 Check: 0.0 Back: 77.565
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 3376732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.861 Prop: 2876.928 PropClause: 2775.415 Set: 774.308 Check: 0.0 Back: 78.177
INFO - Atoms: 23880/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 3400588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.878 Prop: 2897.19 PropClause: 2795.063 Set: 778.621 Check: 0.0 Back: 78.713
INFO - Atoms: 23856/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 3424246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.893 Prop: 2919.728 PropClause: 2817.01 Set: 782.952 Check: 0.0 Back: 79.266
INFO - Atoms: 23658/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 3448123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.912 Prop: 2936.493 PropClause: 2833.176 Set: 787.121 Check: 0.0 Back: 79.8
INFO - Atoms: 23877/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 3471779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.926 Prop: 2953.243 PropClause: 2849.329 Set: 791.166 Check: 0.0 Back: 80.333
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 3495636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.94 Prop: 2970.319 PropClause: 2865.814 Set: 795.317 Check: 0.0 Back: 80.862
INFO - Atoms: 23857/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 3518630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.955 Prop: 2987.123 PropClause: 2882.047 Set: 799.255 Check: 0.0 Back: 81.404
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 3542486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.97 Prop: 3003.378 PropClause: 2897.709 Set: 803.413 Check: 0.0 Back: 81.924
INFO - Atoms: 23856/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 3566163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.988 Prop: 3022.911 PropClause: 2916.653 Set: 807.531 Check: 0.0 Back: 82.463
INFO - Atoms: 23677/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 3590057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.004 Prop: 3040.465 PropClause: 2933.613 Set: 811.671 Check: 0.0 Back: 82.996
INFO - Atoms: 23894/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 3613713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.02 Prop: 3059.29 PropClause: 2951.838 Set: 815.851 Check: 0.0 Back: 83.533
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 3637568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.036 Prop: 3077.169 PropClause: 2969.127 Set: 820.112 Check: 0.0 Back: 84.065
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 3660562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.05 Prop: 3094.258 PropClause: 2985.639 Set: 824.027 Check: 0.0 Back: 84.6
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 3684416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.065 Prop: 3111.765 PropClause: 3002.554 Set: 828.286 Check: 0.0 Back: 85.123
INFO - Atoms: 23854/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 3708095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.077 Prop: 3132.3 PropClause: 3022.498 Set: 832.553 Check: 0.0 Back: 85.657
INFO - Atoms: 23679/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 3731972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.178 Prop: 3154.342 PropClause: 3043.941 Set: 836.911 Check: 0.0 Back: 86.191
INFO - Atoms: 23877/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 3755628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.238 Prop: 3174.854 PropClause: 3063.858 Set: 841.152 Check: 0.0 Back: 86.745
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 3779483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.288 Prop: 3194.327 PropClause: 3082.738 Set: 845.437 Check: 0.0 Back: 87.277
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 3802477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.307 Prop: 3219.914 PropClause: 3107.655 Set: 850.877 Check: 0.0 Back: 87.816
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 3826331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.325 Prop: 3244.648 PropClause: 3131.688 Set: 856.714 Check: 0.0 Back: 88.402
INFO - Atoms: 23854/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 3850010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 3272.564 PropClause: 3158.906 Set: 862.335 Check: 0.0 Back: 89.0
INFO - Atoms: 23679/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 3873003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.386 Prop: 3294.369 PropClause: 3180.025 Set: 867.345 Check: 0.0 Back: 89.637
INFO - Atoms: 22993/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 3896679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.395 Prop: 3311.347 PropClause: 3196.416 Set: 871.51 Check: 0.0 Back: 90.16
INFO - Atoms: 23676/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 3920536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.405 Prop: 3327.694 PropClause: 3212.168 Set: 875.707 Check: 0.0 Back: 90.7
INFO - Atoms: 23857/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 3943530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.413 Prop: 3343.587 PropClause: 3227.486 Set: 879.595 Check: 0.0 Back: 91.242
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 3967387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.422 Prop: 3358.846 PropClause: 3242.149 Set: 883.777 Check: 0.0 Back: 91.759
INFO - Atoms: 23857/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 3991063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.462 Prop: 3377.415 PropClause: 3260.13 Set: 887.994 Check: 0.0 Back: 92.297
INFO - Atoms: 23676/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 4014056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.614 Prop: 3393.496 PropClause: 3275.638 Set: 891.967 Check: 0.0 Back: 92.83
INFO - Atoms: 22993/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 4037734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.633 Prop: 3409.805 PropClause: 3291.335 Set: 896.074 Check: 0.0 Back: 93.358
INFO - Atoms: 23678/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 4061589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.65 Prop: 3424.54 PropClause: 3305.476 Set: 900.123 Check: 0.0 Back: 93.893
INFO - Atoms: 23855/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 4085467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.7 Prop: 3439.583 PropClause: 3319.924 Set: 904.204 Check: 0.0 Back: 94.43
INFO - Atoms: 23878/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 4109321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.715 Prop: 3454.456 PropClause: 3334.206 Set: 908.304 Check: 0.0 Back: 94.968
INFO - Atoms: 23854/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 4132979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.728 Prop: 3469.261 PropClause: 3348.411 Set: 912.32 Check: 0.0 Back: 95.505
INFO - Atoms: 23658/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 4156856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.742 Prop: 3484.356 PropClause: 3362.912 Set: 916.493 Check: 0.0 Back: 96.036
INFO - Atoms: 23877/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 4180512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.759 Prop: 3499.966 PropClause: 3377.933 Set: 920.556 Check: 0.0 Back: 96.574
INFO - Atoms: 23656/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 4204273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.772 Prop: 3514.958 PropClause: 3392.335 Set: 924.609 Check: 0.0 Back: 97.106
INFO - Atoms: 23761/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 4227267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.788 Prop: 3530.768 PropClause: 3407.553 Set: 928.613 Check: 0.0 Back: 97.642
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 4250922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.802 Prop: 3545.472 PropClause: 3421.669 Set: 932.678 Check: 0.0 Back: 98.158
INFO - Atoms: 23655/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 4274486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.814 Prop: 3561.528 PropClause: 3437.141 Set: 936.695 Check: 0.0 Back: 98.696
INFO - Atoms: 23564/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 4298170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.828 Prop: 3579.316 PropClause: 3454.35 Set: 940.837 Check: 0.0 Back: 99.225
INFO - Atoms: 23684/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 4321614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.841 Prop: 3598.066 PropClause: 3472.523 Set: 947.122 Check: 0.0 Back: 99.749
INFO - Atoms: 23444/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 4345061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.854 Prop: 3615.274 PropClause: 3489.155 Set: 953.112 Check: 0.0 Back: 100.27
INFO - Atoms: 23447/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 4368055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.868 Prop: 3633.443 PropClause: 3506.76 Set: 958.912 Check: 0.0 Back: 100.793
INFO - Atoms: 22994/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 4391277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.895 Prop: 3650.483 PropClause: 3523.219 Set: 964.705 Check: 0.0 Back: 101.303
INFO - Atoms: 23222/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 4414500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.911 Prop: 3669.343 PropClause: 3541.498 Set: 970.591 Check: 0.0 Back: 101.82
INFO - Atoms: 23223/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 4437722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.939 Prop: 3688.231 PropClause: 3559.797 Set: 976.453 Check: 0.0 Back: 102.358
INFO - Atoms: 23222/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 4461051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.954 Prop: 3707.859 PropClause: 3578.849 Set: 982.372 Check: 0.0 Back: 102.874
INFO - Atoms: 23329/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 4484579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.969 Prop: 3724.686 PropClause: 3595.082 Set: 988.284 Check: 0.0 Back: 103.393
INFO - Atoms: 23528/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 4507886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.983 Prop: 3742.192 PropClause: 3612.008 Set: 994.188 Check: 0.0 Back: 103.918
INFO - Atoms: 23307/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 4531432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.997 Prop: 3759.89 PropClause: 3629.102 Set: 1000.124 Check: 0.0 Back: 104.445
INFO - Atoms: 23546/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 4554308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.025 Prop: 3778.372 PropClause: 3647.014 Set: 1005.841 Check: 0.0 Back: 104.988
INFO - Atoms: 22876/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 4577410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.04 Prop: 3797.762 PropClause: 3665.818 Set: 1011.697 Check: 0.0 Back: 105.502
INFO - Atoms: 23102/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 4600514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.053 Prop: 3813.562 PropClause: 3681.047 Set: 1015.592 Check: 0.0 Back: 106.021
INFO - Atoms: 23104/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 4623405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.066 Prop: 3829.173 PropClause: 3696.095 Set: 1019.414 Check: 0.0 Back: 106.541
INFO - Atoms: 22891/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 4646054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.081 Prop: 3847.367 PropClause: 3713.731 Set: 1023.277 Check: 0.0 Back: 107.051
INFO - Atoms: 22649/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 4668932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.093 Prop: 3872.083 PropClause: 3737.735 Set: 1035.144 Check: 0.0 Back: 107.552
INFO - Atoms: 22878/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 4692017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.109 Prop: 3887.498 PropClause: 3752.58 Set: 1039.308 Check: 0.0 Back: 108.129
INFO - Atoms: 23085/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 4715349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.122 Prop: 3902.107 PropClause: 3766.614 Set: 1043.422 Check: 0.0 Back: 108.641
INFO - Atoms: 23332/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 4738888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.136 Prop: 3917.667 PropClause: 3781.594 Set: 1047.593 Check: 0.0 Back: 109.159
INFO - Atoms: 23539/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 4762674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.196 Prop: 3933.452 PropClause: 3796.794 Set: 1051.822 Check: 0.0 Back: 109.693
INFO - Atoms: 23786/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 4786667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.215 Prop: 3950.538 PropClause: 3813.273 Set: 1056.121 Check: 0.0 Back: 110.222
INFO - Atoms: 23993/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 4810907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.254 Prop: 3967.12 PropClause: 3829.255 Set: 1060.425 Check: 0.0 Back: 110.767
INFO - Atoms: 24240/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 4835354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.264 Prop: 3984.829 PropClause: 3846.351 Set: 1064.799 Check: 0.0 Back: 111.311
INFO - Atoms: 24447/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 4860048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.274 Prop: 4001.902 PropClause: 3862.814 Set: 1069.256 Check: 0.0 Back: 111.857
INFO - Atoms: 24694/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 4884949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.285 Prop: 4020.241 PropClause: 3880.535 Set: 1073.754 Check: 0.0 Back: 112.409
INFO - Atoms: 24901/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 4910097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.295 Prop: 4037.84 PropClause: 3897.499 Set: 1078.246 Check: 0.0 Back: 112.969
INFO - Atoms: 25148/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 4935452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.305 Prop: 4056.596 PropClause: 3915.61 Set: 1082.81 Check: 0.0 Back: 113.532
INFO - Atoms: 25355/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 4961054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.314 Prop: 4075.624 PropClause: 3934.002 Set: 1087.478 Check: 0.0 Back: 114.099
INFO - Atoms: 25602/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 4986863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.325 Prop: 4096.014 PropClause: 3953.75 Set: 1092.149 Check: 0.0 Back: 114.688
INFO - Atoms: 25809/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 5012919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.336 Prop: 4112.737 PropClause: 3969.817 Set: 1096.762 Check: 0.0 Back: 115.267
INFO - Atoms: 26056/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 5039182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.347 Prop: 4130.36 PropClause: 3986.787 Set: 1101.486 Check: 0.0 Back: 115.852
INFO - Atoms: 26263/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 5065692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.357 Prop: 4147.867 PropClause: 4003.639 Set: 1106.26 Check: 0.0 Back: 116.444
INFO - Atoms: 26510/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 5092409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.367 Prop: 4167.041 PropClause: 4022.148 Set: 1110.981 Check: 0.0 Back: 117.04
INFO - Atoms: 26717/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 5119373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.378 Prop: 4185.752 PropClause: 4040.188 Set: 1115.796 Check: 0.0 Back: 117.642
INFO - Atoms: 26964/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 5146544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.389 Prop: 4206.237 PropClause: 4059.995 Set: 1120.668 Check: 0.0 Back: 118.257
INFO - Atoms: 27171/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 5173962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.397 Prop: 4228.187 PropClause: 4081.263 Set: 1125.69 Check: 0.0 Back: 118.869
INFO - Atoms: 27418/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 5201587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.407 Prop: 4248.376 PropClause: 4100.764 Set: 1130.767 Check: 0.0 Back: 119.487
INFO - Atoms: 27625/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 5229459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.417 Prop: 4271.03 PropClause: 4122.722 Set: 1135.82 Check: 0.0 Back: 120.109
INFO - Atoms: 27872/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 5257538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.427 Prop: 4291.898 PropClause: 4142.893 Set: 1140.852 Check: 0.0 Back: 120.738
INFO - Atoms: 28079/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 5285864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.437 Prop: 4314.621 PropClause: 4164.912 Set: 1145.969 Check: 0.0 Back: 121.372
INFO - Atoms: 28326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 5314397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.449 Prop: 4339.566 PropClause: 4189.146 Set: 1151.223 Check: 0.0 Back: 122.009
INFO - Atoms: 28533/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 5343177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.459 Prop: 4365.011 PropClause: 4213.874 Set: 1156.675 Check: 0.0 Back: 122.653
INFO - Atoms: 28780/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 5372164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.469 Prop: 4390.21 PropClause: 4238.349 Set: 1162.221 Check: 0.0 Back: 123.312
INFO - Atoms: 28987/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 5401398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.479 Prop: 4415.596 PropClause: 4263.005 Set: 1167.786 Check: 0.0 Back: 123.968
INFO - Atoms: 29234/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 5430839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.49 Prop: 4438.763 PropClause: 4285.438 Set: 1173.146 Check: 0.0 Back: 124.639
INFO - Atoms: 29441/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 5460527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.5 Prop: 4464.703 PropClause: 4310.647 Set: 1178.605 Check: 0.0 Back: 125.301
INFO - Atoms: 29688/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 5490422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.509 Prop: 4491.474 PropClause: 4336.672 Set: 1184.224 Check: 0.0 Back: 125.966
INFO - Atoms: 29895/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 5520564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.518 Prop: 4516.327 PropClause: 4360.778 Set: 1189.734 Check: 0.0 Back: 126.646
INFO - Atoms: 30142/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 5550913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.528 Prop: 4543.713 PropClause: 4387.421 Set: 1195.44 Check: 0.0 Back: 127.319
INFO - Atoms: 30349/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 5581509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.539 Prop: 4574.259 PropClause: 4417.198 Set: 1201.167 Check: 0.0 Back: 127.994
INFO - Atoms: 30596/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 5612312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.548 Prop: 4602.863 PropClause: 4445.045 Set: 1207.04 Check: 0.0 Back: 128.676
INFO - Atoms: 30803/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 5643362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.56 Prop: 4630.708 PropClause: 4472.125 Set: 1212.855 Check: 0.0 Back: 129.362
INFO - Atoms: 31050/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 5674619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.569 Prop: 4659.726 PropClause: 4500.376 Set: 1218.745 Check: 0.0 Back: 130.062
INFO - Atoms: 31257/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 5706123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.579 Prop: 4692.995 PropClause: 4532.863 Set: 1224.729 Check: 0.0 Back: 130.758
INFO - Atoms: 31504/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 5737834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.589 Prop: 4723.359 PropClause: 4562.444 Set: 1230.681 Check: 0.0 Back: 131.459
INFO - Atoms: 31711/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 5769791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.6 Prop: 4757.923 PropClause: 4596.215 Set: 1236.764 Check: 0.0 Back: 132.172
INFO - Atoms: 31957/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 679 Props: 8113830 Tprops: 0 Decides: 12616 RSplits: 0
INFO - Times: Expl: 855.721 Prop: 6966.286 PropClause: 6734.055 Set: 1298.187 Check: 0.311 Back: 191.021
INFO - Atoms: 11407/33312 Clauses: 743 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 230 Props: 11971 Tprops: 3017 Decides: 12827 RSplits: 0
INFO - Times: Expl: 93.412 Prop: 16203.035 PropClause: 6.866 Set: 1321.191 Check: 116.407 Back: 48.802
INFO - Atoms: 344/438 Clauses: 230 Axioms: 438
INFO - CCTimes: iE 133012 eq 11827732 cc 36421244 setRep 14511463
INFO - Merges: 94824, cc:140365
INFO - BVTimes: BB 192272535 BB_DPLL 14559414562 Graph 47503694
INFO - BitBlastingClauses: 176998 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat