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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 256418827
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 75260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.709 Prop: 172.115 PropClause: 167.844 Set: 174.776 Check: 0.0 Back: 0.0
INFO - Atoms: 75260/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 150012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.758 Prop: 303.421 PropClause: 295.202 Set: 191.914 Check: 0.0 Back: 2.074
INFO - Atoms: 74752/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 224385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.854 Prop: 428.588 PropClause: 416.691 Set: 211.006 Check: 0.0 Back: 4.033
INFO - Atoms: 74373/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 298758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.907 Prop: 545.221 PropClause: 529.7 Set: 229.117 Check: 0.0 Back: 5.973
INFO - Atoms: 74373/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 373125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.963 Prop: 663.365 PropClause: 644.465 Set: 257.032 Check: 0.0 Back: 7.887
INFO - Atoms: 74367/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 447493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.011 Prop: 769.878 PropClause: 748.332 Set: 274.194 Check: 0.0 Back: 9.813
INFO - Atoms: 74368/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 521860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.064 Prop: 888.058 PropClause: 863.866 Set: 292.727 Check: 0.0 Back: 11.519
INFO - Atoms: 74367/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 596227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.152 Prop: 1016.556 PropClause: 989.751 Set: 311.35 Check: 0.0 Back: 13.437
INFO - Atoms: 74367/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 670340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.203 Prop: 1131.636 PropClause: 1102.218 Set: 328.995 Check: 0.0 Back: 15.386
INFO - Atoms: 74113/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 744193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.285 Prop: 1238.447 PropClause: 1206.496 Set: 354.049 Check: 0.0 Back: 17.229
INFO - Atoms: 73853/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 817788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.363 Prop: 1325.433 PropClause: 1291.424 Set: 374.94 Check: 0.0 Back: 19.066
INFO - Atoms: 73595/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 891123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.409 Prop: 1420.191 PropClause: 1384.108 Set: 388.459 Check: 0.0 Back: 20.753
INFO - Atoms: 73335/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 964200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.451 Prop: 1507.027 PropClause: 1468.897 Set: 401.931 Check: 0.0 Back: 22.436
INFO - Atoms: 73077/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1037017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.497 Prop: 1599.813 PropClause: 1559.624 Set: 415.499 Check: 0.0 Back: 24.323
INFO - Atoms: 72817/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1109576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.546 Prop: 1691.464 PropClause: 1649.26 Set: 428.72 Check: 0.0 Back: 26.171
INFO - Atoms: 72559/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1181875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.596 Prop: 1785.264 PropClause: 1741.032 Set: 441.95 Check: 0.0 Back: 28.001
INFO - Atoms: 72299/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1253916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.643 Prop: 1877.202 PropClause: 1830.939 Set: 455.307 Check: 0.0 Back: 29.694
INFO - Atoms: 72041/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1325697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.686 Prop: 1970.508 PropClause: 1922.222 Set: 468.354 Check: 0.0 Back: 31.41
INFO - Atoms: 71781/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1397220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.731 Prop: 2063.689 PropClause: 2013.41 Set: 481.655 Check: 0.0 Back: 33.076
INFO - Atoms: 71523/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1468483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.778 Prop: 2156.928 PropClause: 2104.622 Set: 494.956 Check: 0.0 Back: 34.741
INFO - Atoms: 71263/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1539488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.827 Prop: 2246.959 PropClause: 2192.646 Set: 515.14 Check: 0.0 Back: 36.412
INFO - Atoms: 71005/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1610233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.904 Prop: 2339.705 PropClause: 2283.414 Set: 535.467 Check: 0.0 Back: 38.071
INFO - Atoms: 70745/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1680720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.953 Prop: 2434.323 PropClause: 2376.036 Set: 556.45 Check: 0.0 Back: 39.703
INFO - Atoms: 70487/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1750947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.002 Prop: 2528.033 PropClause: 2467.786 Set: 576.892 Check: 0.0 Back: 41.369
INFO - Atoms: 70227/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1820916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.063 Prop: 2651.086 PropClause: 2588.377 Set: 602.956 Check: 0.0 Back: 43.023
INFO - Atoms: 69969/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1890625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.113 Prop: 2745.975 PropClause: 2681.304 Set: 615.684 Check: 0.0 Back: 44.848
INFO - Atoms: 69709/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1960076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.159 Prop: 2833.397 PropClause: 2766.772 Set: 628.382 Check: 0.0 Back: 46.484
INFO - Atoms: 69451/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2029267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.204 Prop: 2926.562 PropClause: 2857.995 Set: 641.137 Check: 0.0 Back: 48.111
INFO - Atoms: 69191/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2098200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.251 Prop: 3014.878 PropClause: 2944.38 Set: 653.662 Check: 0.0 Back: 49.726
INFO - Atoms: 68933/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2166873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.305 Prop: 3106.325 PropClause: 3033.895 Set: 666.163 Check: 0.0 Back: 51.349
INFO - Atoms: 68673/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2235288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.36 Prop: 3193.705 PropClause: 3119.368 Set: 678.5 Check: 0.0 Back: 52.961
INFO - Atoms: 68415/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2303443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.41 Prop: 3284.275 PropClause: 3208.027 Set: 690.809 Check: 0.0 Back: 54.553
INFO - Atoms: 68155/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2371340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.45 Prop: 3370.007 PropClause: 3291.846 Set: 703.194 Check: 0.0 Back: 56.145
INFO - Atoms: 67897/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2438977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.497 Prop: 3457.887 PropClause: 3377.815 Set: 715.64 Check: 0.0 Back: 57.742
INFO - Atoms: 67637/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2506356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.545 Prop: 3539.986 PropClause: 3458.038 Set: 727.775 Check: 0.0 Back: 59.321
INFO - Atoms: 67379/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2573475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.588 Prop: 3627.989 PropClause: 3544.162 Set: 740.117 Check: 0.0 Back: 60.905
INFO - Atoms: 67119/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2640336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.634 Prop: 3711.397 PropClause: 3625.674 Set: 752.019 Check: 0.0 Back: 62.481
INFO - Atoms: 66861/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2706937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.68 Prop: 3793.263 PropClause: 3705.663 Set: 764.102 Check: 0.0 Back: 64.058
INFO - Atoms: 66601/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2773280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.727 Prop: 3873.902 PropClause: 3784.425 Set: 775.854 Check: 0.0 Back: 65.607
INFO - Atoms: 66343/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2839363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.772 Prop: 3955.364 PropClause: 3864.022 Set: 787.696 Check: 0.0 Back: 67.162
INFO - Atoms: 66083/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2905188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.811 Prop: 4034.585 PropClause: 3941.389 Set: 799.54 Check: 0.0 Back: 68.718
INFO - Atoms: 65825/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2970753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.865 Prop: 4113.801 PropClause: 4018.758 Set: 811.363 Check: 0.0 Back: 70.281
INFO - Atoms: 65565/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 3036060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.909 Prop: 4189.549 PropClause: 4092.673 Set: 823.114 Check: 0.0 Back: 71.825
INFO - Atoms: 65307/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 3101107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.959 Prop: 4269.785 PropClause: 4171.075 Set: 834.862 Check: 0.0 Back: 73.376
INFO - Atoms: 65047/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 3165896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.002 Prop: 4345.588 PropClause: 4245.052 Set: 851.978 Check: 0.0 Back: 74.913
INFO - Atoms: 64789/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 3230425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.046 Prop: 4424.776 PropClause: 4322.425 Set: 869.145 Check: 0.0 Back: 76.48
INFO - Atoms: 64529/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 3294696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.091 Prop: 4500.593 PropClause: 4396.459 Set: 880.645 Check: 0.0 Back: 78.001
INFO - Atoms: 64271/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 3358707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.137 Prop: 4574.387 PropClause: 4468.471 Set: 892.203 Check: 0.0 Back: 79.525
INFO - Atoms: 64011/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 3422460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.18 Prop: 4648.234 PropClause: 4540.529 Set: 903.531 Check: 0.0 Back: 81.042
INFO - Atoms: 63753/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 3485953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.222 Prop: 4721.821 PropClause: 4612.328 Set: 914.918 Check: 0.0 Back: 82.546
INFO - Atoms: 63493/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3549188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.259 Prop: 4787.21 PropClause: 4675.94 Set: 926.097 Check: 0.0 Back: 84.049
INFO - Atoms: 63235/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3612163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.417 Prop: 4863.479 PropClause: 4750.431 Set: 937.276 Check: 0.0 Back: 85.549
INFO - Atoms: 62975/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 3674880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.439 Prop: 4937.646 PropClause: 4822.827 Set: 948.41 Check: 0.0 Back: 87.027
INFO - Atoms: 62717/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3737337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.46 Prop: 5012.474 PropClause: 4895.897 Set: 959.49 Check: 0.0 Back: 88.55
INFO - Atoms: 62457/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3799536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.481 Prop: 5085.528 PropClause: 4967.204 Set: 970.49 Check: 0.0 Back: 90.032
INFO - Atoms: 62199/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3861475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.5 Prop: 5162.02 PropClause: 5041.964 Set: 981.503 Check: 0.0 Back: 91.505
INFO - Atoms: 61939/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 3923156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.522 Prop: 5235.263 PropClause: 5113.467 Set: 992.257 Check: 0.0 Back: 92.962
INFO - Atoms: 61681/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 3984577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.543 Prop: 5309.572 PropClause: 5186.046 Set: 1003.31 Check: 0.0 Back: 94.434
INFO - Atoms: 61421/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 4045740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.564 Prop: 5382.288 PropClause: 5257.039 Set: 1014.026 Check: 0.0 Back: 95.888
INFO - Atoms: 61163/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 4106643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.587 Prop: 5459.701 PropClause: 5332.731 Set: 1024.944 Check: 0.0 Back: 97.339
INFO - Atoms: 60903/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 4167288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.609 Prop: 5530.313 PropClause: 5401.635 Set: 1035.81 Check: 0.0 Back: 98.797
INFO - Atoms: 60645/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 4227673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.633 Prop: 5605.273 PropClause: 5474.885 Set: 1046.467 Check: 0.0 Back: 100.238
INFO - Atoms: 60385/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 4287800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.652 Prop: 5675.573 PropClause: 5543.486 Set: 1056.98 Check: 0.0 Back: 101.68
INFO - Atoms: 60127/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 4347667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 5748.213 PropClause: 5614.447 Set: 1067.598 Check: 0.0 Back: 103.102
INFO - Atoms: 59867/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 4407276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.692 Prop: 5815.871 PropClause: 5680.408 Set: 1078.305 Check: 0.0 Back: 104.532
INFO - Atoms: 59609/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 4466625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.711 Prop: 5889.387 PropClause: 5752.253 Set: 1088.722 Check: 0.0 Back: 105.964
INFO - Atoms: 59349/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 4525716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.731 Prop: 5958.537 PropClause: 5819.737 Set: 1098.967 Check: 0.0 Back: 107.376
INFO - Atoms: 59091/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 4584547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.79 Prop: 6029.925 PropClause: 5889.486 Set: 1109.221 Check: 0.0 Back: 108.78
INFO - Atoms: 58831/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 4643120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.873 Prop: 6099.595 PropClause: 5957.509 Set: 1119.387 Check: 0.0 Back: 110.172
INFO - Atoms: 58573/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 4701433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.894 Prop: 6168.142 PropClause: 6024.413 Set: 1129.777 Check: 0.0 Back: 111.573
INFO - Atoms: 58313/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 4759488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.915 Prop: 6235.101 PropClause: 6089.735 Set: 1140.0 Check: 0.0 Back: 112.957
INFO - Atoms: 58055/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 4817283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.937 Prop: 6306.134 PropClause: 6159.151 Set: 1150.263 Check: 0.0 Back: 114.35
INFO - Atoms: 57795/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 4874820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.956 Prop: 6372.736 PropClause: 6224.15 Set: 1160.095 Check: 0.0 Back: 115.697
INFO - Atoms: 57537/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 4932097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.98 Prop: 6452.265 PropClause: 6301.725 Set: 1172.382 Check: 0.0 Back: 117.042
INFO - Atoms: 57277/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 4989116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.002 Prop: 6518.437 PropClause: 6366.273 Set: 1182.706 Check: 0.0 Back: 118.394
INFO - Atoms: 57019/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 5045875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.028 Prop: 6587.769 PropClause: 6434.01 Set: 1192.634 Check: 0.0 Back: 119.79
INFO - Atoms: 56759/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 5102376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.05 Prop: 6651.426 PropClause: 6496.094 Set: 1202.478 Check: 0.0 Back: 121.148
INFO - Atoms: 56501/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 5158617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.069 Prop: 6717.06 PropClause: 6560.168 Set: 1212.139 Check: 0.0 Back: 122.486
INFO - Atoms: 56241/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 5214600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.091 Prop: 6782.076 PropClause: 6623.588 Set: 1222.218 Check: 0.0 Back: 123.826
INFO - Atoms: 55983/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 5270323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.112 Prop: 6843.424 PropClause: 6683.368 Set: 1232.14 Check: 0.0 Back: 125.202
INFO - Atoms: 55723/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 5325788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.135 Prop: 6898.449 PropClause: 6736.821 Set: 1241.612 Check: 0.0 Back: 126.548
INFO - Atoms: 55465/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 5380993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.158 Prop: 6963.915 PropClause: 6800.734 Set: 1251.367 Check: 0.0 Back: 127.878
INFO - Atoms: 55205/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 5435940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.177 Prop: 7024.663 PropClause: 6859.946 Set: 1260.915 Check: 0.0 Back: 129.202
INFO - Atoms: 54947/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 5490627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.202 Prop: 7107.739 PropClause: 6941.066 Set: 1273.354 Check: 0.0 Back: 130.514
INFO - Atoms: 54687/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 5545056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.288 Prop: 7180.53 PropClause: 7011.9 Set: 1285.729 Check: 0.0 Back: 131.929
INFO - Atoms: 54429/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 5599225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.296 Prop: 7241.211 PropClause: 7071.067 Set: 1295.207 Check: 0.0 Back: 133.369
INFO - Atoms: 54169/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 5653136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.307 Prop: 7304.493 PropClause: 7132.842 Set: 1304.598 Check: 0.0 Back: 134.669
INFO - Atoms: 53911/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 5706787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.327 Prop: 7363.986 PropClause: 7190.828 Set: 1314.027 Check: 0.0 Back: 135.975
INFO - Atoms: 53651/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 5760180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.337 Prop: 7420.906 PropClause: 7246.263 Set: 1323.11 Check: 0.0 Back: 137.269
INFO - Atoms: 53393/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 5813313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.348 Prop: 7481.578 PropClause: 7305.442 Set: 1332.376 Check: 0.0 Back: 138.553
INFO - Atoms: 53133/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 5866188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.36 Prop: 7535.937 PropClause: 7358.329 Set: 1357.467 Check: 0.0 Back: 139.833
INFO - Atoms: 52875/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 5918803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.37 Prop: 7592.536 PropClause: 7413.471 Set: 1366.388 Check: 0.0 Back: 141.091
INFO - Atoms: 52615/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 5971160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.38 Prop: 7646.776 PropClause: 7466.246 Set: 1375.363 Check: 0.0 Back: 142.327
INFO - Atoms: 52357/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 6023257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.389 Prop: 7700.989 PropClause: 7518.998 Set: 1384.391 Check: 0.0 Back: 143.593
INFO - Atoms: 52097/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 6075096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.398 Prop: 7754.107 PropClause: 7570.659 Set: 1393.159 Check: 0.0 Back: 144.835
INFO - Atoms: 51839/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 6126675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.408 Prop: 7808.666 PropClause: 7623.776 Set: 1402.053 Check: 0.0 Back: 146.09
INFO - Atoms: 51579/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 6177996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.418 Prop: 7863.792 PropClause: 7677.453 Set: 1410.699 Check: 0.0 Back: 147.326
INFO - Atoms: 51321/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 6229057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.429 Prop: 7922.658 PropClause: 7734.867 Set: 1419.45 Check: 0.0 Back: 148.562
INFO - Atoms: 51061/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 6279860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 7974.15 PropClause: 7784.931 Set: 1428.167 Check: 0.0 Back: 149.798
INFO - Atoms: 50803/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 6330403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.448 Prop: 8029.232 PropClause: 7838.589 Set: 1436.93 Check: 0.0 Back: 151.036
INFO - Atoms: 50543/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 6380688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.46 Prop: 8080.467 PropClause: 7888.397 Set: 1445.504 Check: 0.0 Back: 152.26
INFO - Atoms: 50285/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 6431986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.476 Prop: 8150.601 PropClause: 7956.76 Set: 1457.103 Check: 0.0 Back: 153.486
INFO - Atoms: 51298/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 6483544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.491 Prop: 8220.944 PropClause: 8025.309 Set: 1469.506 Check: 0.0 Back: 154.759
INFO - Atoms: 51558/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 6535360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.507 Prop: 8293.904 PropClause: 8096.466 Set: 1481.547 Check: 0.0 Back: 156.064
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 6587175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.523 Prop: 8353.245 PropClause: 8154.328 Set: 1490.753 Check: 0.0 Back: 157.388
INFO - Atoms: 51815/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 6638232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.538 Prop: 8406.918 PropClause: 8206.571 Set: 1499.236 Check: 0.0 Back: 158.615
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 6690295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.585 Prop: 8460.704 PropClause: 8258.88 Set: 1508.289 Check: 0.0 Back: 159.826
INFO - Atoms: 52063/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 6742110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.596 Prop: 8516.941 PropClause: 8313.637 Set: 1517.724 Check: 0.0 Back: 161.085
INFO - Atoms: 51815/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 6794177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.608 Prop: 8570.975 PropClause: 8366.19 Set: 1550.234 Check: 0.0 Back: 162.37
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 6845993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.62 Prop: 8629.422 PropClause: 8423.183 Set: 1559.41 Check: 0.0 Back: 163.643
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 6898058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.632 Prop: 8686.272 PropClause: 8478.561 Set: 1568.399 Check: 0.0 Back: 164.894
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 6949115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.643 Prop: 8742.462 PropClause: 8533.321 Set: 1577.163 Check: 0.0 Back: 166.153
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 7001179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.656 Prop: 8798.619 PropClause: 8588.005 Set: 1586.328 Check: 0.0 Back: 167.384
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 7053244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.666 Prop: 8852.3 PropClause: 8640.213 Set: 1595.354 Check: 0.0 Back: 168.673
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 7105311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.678 Prop: 8906.738 PropClause: 8693.201 Set: 1604.306 Check: 0.0 Back: 169.917
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 7157127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.689 Prop: 8963.608 PropClause: 8748.628 Set: 1613.419 Check: 0.0 Back: 171.18
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 7209192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.7 Prop: 9019.545 PropClause: 8803.108 Set: 1622.524 Check: 0.0 Back: 172.419
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 7260249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.712 Prop: 9078.527 PropClause: 8860.627 Set: 1631.638 Check: 0.0 Back: 173.668
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 7312313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.723 Prop: 9135.794 PropClause: 8916.404 Set: 1640.846 Check: 0.0 Back: 174.921
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 7364378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 9193.28 PropClause: 8972.422 Set: 1650.032 Check: 0.0 Back: 176.195
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 7416445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.747 Prop: 9251.461 PropClause: 9029.156 Set: 1659.173 Check: 0.0 Back: 177.429
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 7468261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.759 Prop: 9307.598 PropClause: 9083.839 Set: 1668.471 Check: 0.0 Back: 178.69
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 7520326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.77 Prop: 9362.55 PropClause: 9137.326 Set: 1677.495 Check: 0.0 Back: 179.966
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 7571383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.782 Prop: 9419.836 PropClause: 9193.178 Set: 1686.353 Check: 0.0 Back: 181.231
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 7623447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.795 Prop: 9481.266 PropClause: 9253.04 Set: 1696.507 Check: 0.0 Back: 182.474
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 7675512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.807 Prop: 9540.474 PropClause: 9310.788 Set: 1705.852 Check: 0.0 Back: 183.755
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 7727579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.819 Prop: 9595.933 PropClause: 9364.793 Set: 1733.145 Check: 0.0 Back: 185.018
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 7779395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.83 Prop: 9654.165 PropClause: 9421.574 Set: 1742.353 Check: 0.0 Back: 186.26
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 7831460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.839 Prop: 9708.213 PropClause: 9474.153 Set: 1751.5 Check: 0.0 Back: 187.503
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 7882517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.849 Prop: 9767.112 PropClause: 9531.619 Set: 1760.356 Check: 0.0 Back: 188.765
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 7934581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.859 Prop: 9825.823 PropClause: 9588.878 Set: 1769.369 Check: 0.0 Back: 189.994
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 7986646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.87 Prop: 9882.125 PropClause: 9643.715 Set: 1778.686 Check: 0.0 Back: 191.282
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 8038713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.879 Prop: 9937.97 PropClause: 9698.086 Set: 1787.851 Check: 0.0 Back: 192.536
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 8090529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.889 Prop: 9996.534 PropClause: 9755.195 Set: 1797.006 Check: 0.0 Back: 193.821
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 8142594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.898 Prop: 10052.493 PropClause: 9809.686 Set: 1806.073 Check: 0.0 Back: 195.068
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 8194662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.908 Prop: 10108.801 PropClause: 9864.546 Set: 1815.132 Check: 0.0 Back: 196.329
INFO - Atoms: 52068/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 8246726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.919 Prop: 10164.25 PropClause: 9918.536 Set: 1824.177 Check: 0.0 Back: 197.565
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 8298543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.928 Prop: 10222.36 PropClause: 9975.183 Set: 1833.23 Check: 0.0 Back: 198.825
INFO - Atoms: 51817/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 8349601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.937 Prop: 10280.094 PropClause: 10031.478 Set: 1842.221 Check: 0.0 Back: 200.092
INFO - Atoms: 51058/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 8401665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.95 Prop: 10336.842 PropClause: 10086.773 Set: 1851.52 Check: 0.0 Back: 201.336
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 8453730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.961 Prop: 10395.219 PropClause: 10143.688 Set: 1860.723 Check: 0.0 Back: 202.576
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 8505796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.971 Prop: 10454.766 PropClause: 10201.779 Set: 1869.993 Check: 0.0 Back: 203.835
INFO - Atoms: 52066/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 8557860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.98 Prop: 10510.11 PropClause: 10255.659 Set: 1879.06 Check: 0.0 Back: 205.087
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 8609677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.99 Prop: 10567.819 PropClause: 10311.91 Set: 1888.104 Check: 0.0 Back: 206.352
INFO - Atoms: 51817/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 8661744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.0 Prop: 10624.418 PropClause: 10367.042 Set: 1897.151 Check: 0.0 Back: 207.598
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 8713560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.011 Prop: 10682.199 PropClause: 10423.359 Set: 1906.248 Check: 0.0 Back: 208.87
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 8765625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.023 Prop: 10735.305 PropClause: 10475.007 Set: 1915.397 Check: 0.0 Back: 210.124
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 8816682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.034 Prop: 10793.725 PropClause: 10531.978 Set: 1924.261 Check: 0.0 Back: 211.377
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 8868746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.044 Prop: 10850.369 PropClause: 10587.155 Set: 1933.414 Check: 0.0 Back: 212.606
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 8920811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.053 Prop: 10903.663 PropClause: 10638.984 Set: 1942.533 Check: 0.0 Back: 213.867
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 8972878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.062 Prop: 10958.006 PropClause: 10691.879 Set: 1951.564 Check: 0.0 Back: 215.107
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 9024694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.074 Prop: 11012.021 PropClause: 10744.462 Set: 1960.573 Check: 0.0 Back: 216.34
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 9076759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.083 Prop: 11064.371 PropClause: 10795.354 Set: 1969.531 Check: 0.0 Back: 217.569
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 9127816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.091 Prop: 11119.782 PropClause: 10849.335 Set: 1978.385 Check: 0.0 Back: 218.827
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 9179880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.1 Prop: 11169.793 PropClause: 10897.884 Set: 1987.444 Check: 0.0 Back: 220.045
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 9231945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.111 Prop: 11223.799 PropClause: 10950.434 Set: 1996.435 Check: 0.0 Back: 221.394
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 9284012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.119 Prop: 11275.658 PropClause: 11000.842 Set: 2005.394 Check: 0.0 Back: 222.647
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 9335828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.129 Prop: 11331.563 PropClause: 11055.294 Set: 2014.565 Check: 0.0 Back: 223.889
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 9387893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.136 Prop: 11384.89 PropClause: 11107.151 Set: 2023.547 Check: 0.0 Back: 225.128
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 9438950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 11436.8 PropClause: 11157.631 Set: 2032.469 Check: 0.0 Back: 226.369
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 9491014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.154 Prop: 11488.839 PropClause: 11208.217 Set: 2041.588 Check: 0.0 Back: 227.595
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 9543079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.162 Prop: 11542.142 PropClause: 11260.063 Set: 2050.74 Check: 0.0 Back: 228.839
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 9595146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.171 Prop: 11596.339 PropClause: 11312.8 Set: 2059.694 Check: 0.0 Back: 230.099
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 9646962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.181 Prop: 11650.982 PropClause: 11365.989 Set: 2068.642 Check: 0.0 Back: 231.347
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 9699027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.191 Prop: 11703.227 PropClause: 11416.759 Set: 2077.772 Check: 0.0 Back: 232.583
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 9750084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.201 Prop: 11756.319 PropClause: 11468.45 Set: 2086.52 Check: 0.0 Back: 233.835
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 9802148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 11808.212 PropClause: 11518.879 Set: 2095.513 Check: 0.0 Back: 235.053
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 9854213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.221 Prop: 11863.447 PropClause: 11572.656 Set: 2104.619 Check: 0.0 Back: 236.289
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 9906280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.23 Prop: 11917.066 PropClause: 11624.817 Set: 2113.696 Check: 0.0 Back: 237.525
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 9958096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.242 Prop: 11971.454 PropClause: 11677.752 Set: 2122.815 Check: 0.0 Back: 238.771
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 10010161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.25 Prop: 12023.673 PropClause: 11728.502 Set: 2131.774 Check: 0.0 Back: 240.019
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 10061218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.261 Prop: 12080.305 PropClause: 11783.706 Set: 2140.876 Check: 0.0 Back: 241.284
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 10113282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.271 Prop: 12136.359 PropClause: 11838.303 Set: 2150.115 Check: 0.0 Back: 242.491
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 10165347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.281 Prop: 12192.936 PropClause: 11893.401 Set: 2159.314 Check: 0.0 Back: 243.739
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 10217414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.291 Prop: 12248.204 PropClause: 11947.206 Set: 2168.539 Check: 0.0 Back: 244.988
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 10269230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.3 Prop: 12308.016 PropClause: 12005.578 Set: 2177.619 Check: 0.0 Back: 246.241
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 10321295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.341 Prop: 12363.438 PropClause: 12059.518 Set: 2186.778 Check: 0.0 Back: 247.477
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 10372352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.373 Prop: 12419.553 PropClause: 12114.199 Set: 2195.631 Check: 0.0 Back: 248.713
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 10424416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.382 Prop: 12472.189 PropClause: 12165.312 Set: 2204.77 Check: 0.0 Back: 249.945
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 10476481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.392 Prop: 12530.978 PropClause: 12222.632 Set: 2214.182 Check: 0.0 Back: 251.2
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 10528548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.399 Prop: 12586.591 PropClause: 12276.78 Set: 2223.507 Check: 0.0 Back: 252.463
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 10580364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 12644.001 PropClause: 12332.746 Set: 2232.674 Check: 0.0 Back: 253.727
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 10632429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.419 Prop: 12700.753 PropClause: 12388.03 Set: 2241.948 Check: 0.0 Back: 254.95
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 10683486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.43 Prop: 12759.827 PropClause: 12445.685 Set: 2250.983 Check: 0.0 Back: 256.208
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 10735550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.438 Prop: 12816.927 PropClause: 12501.316 Set: 2260.383 Check: 0.0 Back: 257.458
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 10787615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.448 Prop: 12874.203 PropClause: 12557.126 Set: 2269.616 Check: 0.0 Back: 258.724
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 10839682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.457 Prop: 12930.813 PropClause: 12612.277 Set: 2279.062 Check: 0.0 Back: 259.994
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 10891498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.466 Prop: 12989.311 PropClause: 12669.314 Set: 2288.244 Check: 0.0 Back: 261.246
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 10943563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.475 Prop: 13045.441 PropClause: 12723.973 Set: 2297.575 Check: 0.0 Back: 262.504
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 10994620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.484 Prop: 13104.866 PropClause: 12781.958 Set: 2306.719 Check: 0.0 Back: 263.768
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 11046684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.495 Prop: 13159.113 PropClause: 12834.752 Set: 2315.881 Check: 0.0 Back: 265.01
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 11098749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 13214.175 PropClause: 12888.345 Set: 2324.986 Check: 0.0 Back: 266.26
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 11150816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.518 Prop: 13270.163 PropClause: 12942.865 Set: 2334.118 Check: 0.0 Back: 267.49
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 11202632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.53 Prop: 13327.73 PropClause: 12998.961 Set: 2343.355 Check: 0.0 Back: 268.74
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 11254697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.539 Prop: 13382.883 PropClause: 13052.646 Set: 2352.56 Check: 0.0 Back: 269.986
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 11305754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.548 Prop: 13437.791 PropClause: 13106.114 Set: 2361.493 Check: 0.0 Back: 271.242
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 11357818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.559 Prop: 13491.041 PropClause: 13157.895 Set: 2370.533 Check: 0.0 Back: 272.488
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 11409883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.57 Prop: 13551.284 PropClause: 13216.668 Set: 2380.103 Check: 0.0 Back: 273.741
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 11461950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.581 Prop: 13610.488 PropClause: 13274.395 Set: 2415.228 Check: 0.0 Back: 275.008
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 11513766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.59 Prop: 13670.568 PropClause: 13333.016 Set: 2424.429 Check: 0.0 Back: 276.265
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 11565831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.601 Prop: 13726.879 PropClause: 13387.863 Set: 2433.64 Check: 0.0 Back: 277.514
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 11616888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.612 Prop: 13784.774 PropClause: 13444.224 Set: 2442.65 Check: 0.0 Back: 278.771
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 11668952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.621 Prop: 13838.55 PropClause: 13496.531 Set: 2451.858 Check: 0.0 Back: 280.001
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 11721017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.632 Prop: 13897.759 PropClause: 13554.272 Set: 2461.257 Check: 0.0 Back: 281.255
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 11773084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.641 Prop: 13952.367 PropClause: 13607.413 Set: 2470.512 Check: 0.0 Back: 282.529
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 11824900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.651 Prop: 14008.561 PropClause: 13662.121 Set: 2479.616 Check: 0.0 Back: 283.796
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 11876965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.66 Prop: 14064.375 PropClause: 13716.486 Set: 2488.722 Check: 0.0 Back: 285.06
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 11928022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 14120.892 PropClause: 13771.565 Set: 2497.767 Check: 0.0 Back: 286.304
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 11980086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.679 Prop: 14175.447 PropClause: 13824.645 Set: 2507.031 Check: 0.0 Back: 287.535
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 12032151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.686 Prop: 14233.824 PropClause: 13881.541 Set: 2516.445 Check: 0.0 Back: 288.797
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 12084218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.695 Prop: 14287.758 PropClause: 13934.015 Set: 2525.588 Check: 0.0 Back: 290.058
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 12136034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.706 Prop: 14345.01 PropClause: 13989.824 Set: 2534.828 Check: 0.0 Back: 291.305
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 12188099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.725 Prop: 14395.337 PropClause: 14038.694 Set: 2543.969 Check: 0.0 Back: 292.553
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 12239156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.736 Prop: 14449.102 PropClause: 14091.02 Set: 2552.838 Check: 0.0 Back: 293.796
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 12291220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.744 Prop: 14500.301 PropClause: 14140.753 Set: 2561.977 Check: 0.0 Back: 295.027
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 12343285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.755 Prop: 14554.205 PropClause: 14193.193 Set: 2586.485 Check: 0.0 Back: 296.291
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 12395352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.764 Prop: 14607.903 PropClause: 14245.412 Set: 2595.633 Check: 0.0 Back: 297.532
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 12447168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.774 Prop: 14661.431 PropClause: 14297.473 Set: 2604.741 Check: 0.0 Back: 298.794
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 12499233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.783 Prop: 14712.855 PropClause: 14347.448 Set: 2613.946 Check: 0.0 Back: 300.029
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 12550290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.793 Prop: 14766.728 PropClause: 14399.873 Set: 2622.909 Check: 0.0 Back: 301.283
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 12602354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.802 Prop: 14818.847 PropClause: 14450.519 Set: 2632.132 Check: 0.0 Back: 302.519
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 12654419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.811 Prop: 14873.599 PropClause: 14503.808 Set: 2641.314 Check: 0.0 Back: 303.762
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 12706486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.821 Prop: 14926.206 PropClause: 14554.97 Set: 2650.415 Check: 0.0 Back: 304.998
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 12758302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.831 Prop: 14980.278 PropClause: 14607.582 Set: 2659.687 Check: 0.0 Back: 306.254
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 12810367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.841 Prop: 15031.375 PropClause: 14657.221 Set: 2668.747 Check: 0.0 Back: 307.498
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 12861424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.851 Prop: 15086.257 PropClause: 14710.664 Set: 2677.694 Check: 0.0 Back: 308.768
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 12913488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.86 Prop: 15137.869 PropClause: 14760.813 Set: 2686.917 Check: 0.0 Back: 309.982
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 12965553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.869 Prop: 15192.362 PropClause: 14813.858 Set: 2696.253 Check: 0.0 Back: 311.237
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 13017620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.879 Prop: 15246.07 PropClause: 14866.116 Set: 2705.425 Check: 0.0 Back: 312.483
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 13069436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.888 Prop: 15299.989 PropClause: 14918.574 Set: 2714.641 Check: 0.0 Back: 313.73
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 13121501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.897 Prop: 15352.663 PropClause: 14969.78 Set: 2724.014 Check: 0.0 Back: 314.966
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 13172558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.906 Prop: 15404.565 PropClause: 15020.25 Set: 2732.939 Check: 0.0 Back: 316.361
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 13224622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.916 Prop: 15455.537 PropClause: 15069.763 Set: 2742.035 Check: 0.0 Back: 317.588
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 13276687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.925 Prop: 15509.561 PropClause: 15122.338 Set: 2751.127 Check: 0.0 Back: 318.855
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 13328754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.934 Prop: 15561.259 PropClause: 15172.573 Set: 2760.345 Check: 0.0 Back: 320.091
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 13380570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.946 Prop: 15617.234 PropClause: 15227.093 Set: 2769.612 Check: 0.0 Back: 321.34
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 13432635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.954 Prop: 15671.426 PropClause: 15279.819 Set: 2778.911 Check: 0.0 Back: 322.554
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 13483692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.966 Prop: 15727.469 PropClause: 15334.448 Set: 2787.998 Check: 0.0 Back: 323.838
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 13535756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.977 Prop: 15779.42 PropClause: 15384.953 Set: 2797.195 Check: 0.0 Back: 325.07
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 13587821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 15834.383 PropClause: 15438.458 Set: 2806.617 Check: 0.0 Back: 326.328
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 13639888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.993 Prop: 15889.793 PropClause: 15492.385 Set: 2815.84 Check: 0.0 Back: 327.601
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 13691704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.003 Prop: 15944.644 PropClause: 15545.781 Set: 2825.126 Check: 0.0 Back: 328.861
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 13743769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.011 Prop: 15998.349 PropClause: 15598.013 Set: 2834.372 Check: 0.0 Back: 330.116
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 13794826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.019 Prop: 16052.496 PropClause: 15650.74 Set: 2843.438 Check: 0.0 Back: 331.372
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 13846890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.03 Prop: 16106.723 PropClause: 15703.521 Set: 2852.641 Check: 0.0 Back: 332.598
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 13898955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.039 Prop: 16163.218 PropClause: 15758.554 Set: 2862.046 Check: 0.0 Back: 333.852
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 13951022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.047 Prop: 16217.928 PropClause: 15811.8 Set: 2871.333 Check: 0.0 Back: 335.112
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 14002838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.058 Prop: 16273.673 PropClause: 15866.089 Set: 2880.58 Check: 0.0 Back: 336.383
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 14054903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.069 Prop: 16326.746 PropClause: 15917.692 Set: 2889.894 Check: 0.0 Back: 337.649
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 14105960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.079 Prop: 16381.522 PropClause: 15971.048 Set: 2898.886 Check: 0.0 Back: 338.906
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 14158024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.088 Prop: 16434.445 PropClause: 16022.509 Set: 2908.223 Check: 0.0 Back: 340.125
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 14210089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.099 Prop: 16490.256 PropClause: 16076.857 Set: 2917.56 Check: 0.0 Back: 341.385
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 14262156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.108 Prop: 16545.964 PropClause: 16131.102 Set: 2926.855 Check: 0.0 Back: 342.646
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 14313972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.119 Prop: 16602.716 PropClause: 16186.417 Set: 2936.132 Check: 0.0 Back: 343.914
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 14366037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.127 Prop: 16659.489 PropClause: 16241.725 Set: 2945.37 Check: 0.0 Back: 345.153
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 14417094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.14 Prop: 16713.705 PropClause: 16294.502 Set: 2954.507 Check: 0.0 Back: 346.427
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 14469158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.151 Prop: 16766.697 PropClause: 16346.03 Set: 2963.94 Check: 0.0 Back: 347.682
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 14521223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.162 Prop: 16824.791 PropClause: 16402.66 Set: 2973.414 Check: 0.0 Back: 348.96
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 14573290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.172 Prop: 16878.996 PropClause: 16455.403 Set: 2982.678 Check: 0.0 Back: 350.217
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 14625106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.182 Prop: 16936.584 PropClause: 16511.544 Set: 2991.992 Check: 0.0 Back: 351.468
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 14677171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.192 Prop: 16993.348 PropClause: 16566.855 Set: 3001.3 Check: 0.0 Back: 352.714
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 14728228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.204 Prop: 17047.625 PropClause: 16619.695 Set: 3010.397 Check: 0.0 Back: 353.969
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 14780292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.215 Prop: 17101.86 PropClause: 16672.466 Set: 3019.787 Check: 0.0 Back: 355.215
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 14832357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.227 Prop: 17158.74 PropClause: 16727.882 Set: 3048.317 Check: 0.0 Back: 356.473
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 14884424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.238 Prop: 17213.294 PropClause: 16781.004 Set: 3057.587 Check: 0.0 Back: 357.714
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 14936240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.249 Prop: 17270.087 PropClause: 16836.349 Set: 3066.937 Check: 0.0 Back: 358.966
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 14988305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.259 Prop: 17325.375 PropClause: 16890.171 Set: 3076.297 Check: 0.0 Back: 360.212
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 15039362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.268 Prop: 17383.601 PropClause: 16946.952 Set: 3085.507 Check: 0.0 Back: 361.484
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 15091426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.276 Prop: 17439.376 PropClause: 17001.267 Set: 3094.859 Check: 0.0 Back: 362.737
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 15143491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.284 Prop: 17495.45 PropClause: 17055.889 Set: 3104.188 Check: 0.0 Back: 363.994
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 15195558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.293 Prop: 17550.581 PropClause: 17109.559 Set: 3113.728 Check: 0.0 Back: 365.25
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 15247374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.303 Prop: 17606.763 PropClause: 17164.272 Set: 3123.042 Check: 0.0 Back: 366.522
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 15299439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.316 Prop: 17666.708 PropClause: 17222.71 Set: 3132.822 Check: 0.0 Back: 367.773
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 15350496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.327 Prop: 17725.611 PropClause: 17280.162 Set: 3142.167 Check: 0.0 Back: 369.138
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 15402560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.338 Prop: 17780.593 PropClause: 17333.685 Set: 3151.573 Check: 0.0 Back: 370.564
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 15454625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.35 Prop: 17836.379 PropClause: 17388.011 Set: 3160.959 Check: 0.0 Back: 371.821
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 15506692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.359 Prop: 17887.324 PropClause: 17437.493 Set: 3170.128 Check: 0.0 Back: 373.069
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 15558508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.368 Prop: 17937.25 PropClause: 17485.968 Set: 3179.227 Check: 0.0 Back: 374.324
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 15610573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.377 Prop: 17986.504 PropClause: 17533.748 Set: 3188.294 Check: 0.0 Back: 375.567
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 15662641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.388 Prop: 18038.302 PropClause: 17584.083 Set: 3197.608 Check: 0.0 Back: 376.826
INFO - Atoms: 52068/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 15714705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.396 Prop: 18090.454 PropClause: 17634.791 Set: 3206.784 Check: 0.0 Back: 378.098
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 15766522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.405 Prop: 18143.397 PropClause: 17686.28 Set: 3215.939 Check: 0.0 Back: 379.345
INFO - Atoms: 51817/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 15817580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.415 Prop: 18194.318 PropClause: 17735.791 Set: 3224.867 Check: 0.0 Back: 380.59
INFO - Atoms: 51058/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 15869644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.425 Prop: 18245.1 PropClause: 17785.115 Set: 3234.134 Check: 0.0 Back: 381.839
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 15921709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.434 Prop: 18295.629 PropClause: 17834.187 Set: 3243.389 Check: 0.0 Back: 383.096
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 15973775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.442 Prop: 18348.316 PropClause: 17885.438 Set: 3252.552 Check: 0.0 Back: 384.341
INFO - Atoms: 52066/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 16025839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.451 Prop: 18400.111 PropClause: 17935.771 Set: 3261.853 Check: 0.0 Back: 385.591
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 16077656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.459 Prop: 18450.798 PropClause: 17984.993 Set: 3271.0 Check: 0.0 Back: 386.843
INFO - Atoms: 51817/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 16129723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.468 Prop: 18501.428 PropClause: 18034.163 Set: 3280.138 Check: 0.0 Back: 388.085
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 16181539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.476 Prop: 18551.733 PropClause: 18083.018 Set: 3289.305 Check: 0.0 Back: 389.334
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 16233604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.483 Prop: 18601.68 PropClause: 18131.518 Set: 3298.327 Check: 0.0 Back: 390.57
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 16284661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.494 Prop: 18653.775 PropClause: 18182.193 Set: 3307.23 Check: 0.0 Back: 391.798
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 16336725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.502 Prop: 18704.006 PropClause: 18230.98 Set: 3316.418 Check: 0.0 Back: 393.012
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 16388790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.51 Prop: 18755.052 PropClause: 18280.557 Set: 3325.633 Check: 0.0 Back: 394.266
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 16440857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.523 Prop: 18806.395 PropClause: 18330.434 Set: 3334.805 Check: 0.0 Back: 395.53
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 16492673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.533 Prop: 18858.045 PropClause: 18380.631 Set: 3343.978 Check: 0.0 Back: 396.78
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 16544738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.544 Prop: 18911.542 PropClause: 18432.677 Set: 3353.252 Check: 0.0 Back: 398.028
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 16595795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.552 Prop: 18964.254 PropClause: 18483.97 Set: 3362.188 Check: 0.0 Back: 399.28
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 16647859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.564 Prop: 19017.022 PropClause: 18535.264 Set: 3371.862 Check: 0.0 Back: 400.491
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 16699924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.574 Prop: 19067.668 PropClause: 18584.461 Set: 3381.129 Check: 0.0 Back: 401.796
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 16751991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.584 Prop: 19118.634 PropClause: 18633.956 Set: 3390.443 Check: 0.0 Back: 403.058
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 16803807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.593 Prop: 19171.111 PropClause: 18684.993 Set: 3399.691 Check: 0.0 Back: 404.321
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 16855872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.602 Prop: 19222.157 PropClause: 18734.582 Set: 3408.917 Check: 0.0 Back: 405.559
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 16906929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.611 Prop: 19273.453 PropClause: 18784.443 Set: 3417.933 Check: 0.0 Back: 406.822
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 16958993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.621 Prop: 19327.935 PropClause: 18837.464 Set: 3427.396 Check: 0.0 Back: 408.048
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 17011058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.629 Prop: 19381.29 PropClause: 18889.354 Set: 3436.834 Check: 0.0 Back: 409.31
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 17063125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.639 Prop: 19432.829 PropClause: 18939.422 Set: 3446.141 Check: 0.0 Back: 410.605
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 17114941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.647 Prop: 19484.627 PropClause: 18989.774 Set: 3455.345 Check: 0.0 Back: 411.87
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 17167006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.659 Prop: 19535.911 PropClause: 19039.6 Set: 3481.482 Check: 0.0 Back: 413.115
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 17218063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.668 Prop: 19590.139 PropClause: 19092.38 Set: 3490.573 Check: 0.0 Back: 414.355
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 17270127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.677 Prop: 19641.36 PropClause: 19142.139 Set: 3499.923 Check: 0.0 Back: 415.59
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 17322192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.686 Prop: 19697.828 PropClause: 19197.138 Set: 3509.518 Check: 0.0 Back: 416.856
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 17374259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.695 Prop: 19751.156 PropClause: 19248.992 Set: 3518.903 Check: 0.0 Back: 418.131
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 17426075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.704 Prop: 19804.413 PropClause: 19300.807 Set: 3528.195 Check: 0.0 Back: 419.391
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 17478140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.713 Prop: 19856.255 PropClause: 19351.187 Set: 3537.59 Check: 0.0 Back: 420.629
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 17529197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.723 Prop: 19908.594 PropClause: 19402.089 Set: 3546.756 Check: 0.0 Back: 421.901
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 17581261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.73 Prop: 19961.834 PropClause: 19453.867 Set: 3556.156 Check: 0.0 Back: 423.131
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 17633326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.74 Prop: 20016.046 PropClause: 19506.6 Set: 3565.667 Check: 0.0 Back: 424.396
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 17685393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.75 Prop: 20068.054 PropClause: 19557.168 Set: 3574.984 Check: 0.0 Back: 425.668
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 17737209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.76 Prop: 20121.578 PropClause: 19609.238 Set: 3584.339 Check: 0.0 Back: 426.936
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 17789274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.769 Prop: 20174.422 PropClause: 19660.614 Set: 3593.651 Check: 0.0 Back: 428.191
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 17840331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.778 Prop: 20229.077 PropClause: 19713.832 Set: 3602.86 Check: 0.0 Back: 429.453
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 17892395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.787 Prop: 20280.759 PropClause: 19764.045 Set: 3612.293 Check: 0.0 Back: 430.689
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 17944460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.799 Prop: 20334.598 PropClause: 19816.431 Set: 3621.702 Check: 0.0 Back: 431.951
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 17996527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.807 Prop: 20388.088 PropClause: 19868.473 Set: 3631.003 Check: 0.0 Back: 433.195
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 18048343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.82 Prop: 20442.441 PropClause: 19921.368 Set: 3640.456 Check: 0.0 Back: 434.448
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 18100408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.831 Prop: 20497.157 PropClause: 19974.618 Set: 3649.937 Check: 0.0 Back: 435.687
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 18151465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.841 Prop: 20552.318 PropClause: 20028.343 Set: 3659.256 Check: 0.0 Back: 436.964
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 18203529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.85 Prop: 20606.375 PropClause: 20080.927 Set: 3668.696 Check: 0.0 Back: 438.201
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 18255594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.859 Prop: 20660.14 PropClause: 20133.238 Set: 3678.084 Check: 0.0 Back: 439.464
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 18307661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.867 Prop: 20713.214 PropClause: 20184.862 Set: 3687.351 Check: 0.0 Back: 440.702
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 18359477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.874 Prop: 20766.658 PropClause: 20236.843 Set: 3696.663 Check: 0.0 Back: 441.95
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 18411542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.881 Prop: 20819.716 PropClause: 20288.442 Set: 3706.079 Check: 0.0 Back: 443.201
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 18462599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.891 Prop: 20873.138 PropClause: 20340.429 Set: 3715.247 Check: 0.0 Back: 444.469
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 18514663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.899 Prop: 20925.83 PropClause: 20391.675 Set: 3724.733 Check: 0.0 Back: 445.709
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 18566728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.91 Prop: 20981.19 PropClause: 20445.585 Set: 3734.196 Check: 0.0 Back: 446.978
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 18618795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.921 Prop: 21034.255 PropClause: 20497.185 Set: 3743.575 Check: 0.0 Back: 448.234
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 18670611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.932 Prop: 21087.519 PropClause: 20548.992 Set: 3752.961 Check: 0.0 Back: 449.48
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 18722676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.941 Prop: 21140.83 PropClause: 20600.84 Set: 3762.391 Check: 0.0 Back: 450.724
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 18773733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.95 Prop: 21194.533 PropClause: 20653.107 Set: 3771.567 Check: 0.0 Back: 451.994
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 18825797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.959 Prop: 21246.969 PropClause: 20704.095 Set: 3780.968 Check: 0.0 Back: 453.231
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 18877862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.972 Prop: 21304.972 PropClause: 20760.662 Set: 3790.645 Check: 0.0 Back: 454.48
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 18929929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.982 Prop: 21360.938 PropClause: 20815.177 Set: 3800.282 Check: 0.0 Back: 455.761
INFO - Atoms: 52067/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 18981745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.991 Prop: 21415.121 PropClause: 20867.907 Set: 3809.717 Check: 0.0 Back: 457.028
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 19033810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.002 Prop: 21468.665 PropClause: 20919.987 Set: 3819.089 Check: 0.0 Back: 458.282
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 19084867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.011 Prop: 21521.108 PropClause: 20970.988 Set: 3828.218 Check: 0.0 Back: 459.565
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 19136931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.019 Prop: 21570.805 PropClause: 21019.24 Set: 3837.36 Check: 0.0 Back: 460.829
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 19188996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.028 Prop: 21621.487 PropClause: 21068.451 Set: 3846.523 Check: 0.0 Back: 462.076
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 19240054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.037 Prop: 21671.044 PropClause: 21116.579 Set: 3855.46 Check: 0.0 Back: 463.33
INFO - Atoms: 51058/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 19292118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.045 Prop: 21722.436 PropClause: 21166.514 Set: 3864.938 Check: 0.0 Back: 464.556
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 19344183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.056 Prop: 21773.245 PropClause: 21215.86 Set: 3874.192 Check: 0.0 Back: 465.803
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 19396249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.067 Prop: 21823.209 PropClause: 21264.367 Set: 3883.489 Check: 0.0 Back: 467.072
INFO - Atoms: 52066/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 19448313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.077 Prop: 21872.891 PropClause: 21312.591 Set: 3892.779 Check: 0.0 Back: 468.334
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 19500130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.086 Prop: 21923.422 PropClause: 21361.673 Set: 3902.062 Check: 0.0 Back: 469.582
INFO - Atoms: 51817/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 19551188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.095 Prop: 21973.046 PropClause: 21409.873 Set: 3911.048 Check: 0.0 Back: 470.839
INFO - Atoms: 51058/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 19603252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.104 Prop: 22026.167 PropClause: 21461.531 Set: 3920.606 Check: 0.0 Back: 472.072
INFO - Atoms: 52064/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 19655317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.111 Prop: 22078.311 PropClause: 21512.212 Set: 3930.058 Check: 0.0 Back: 473.305
INFO - Atoms: 52065/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 19707383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.119 Prop: 22129.755 PropClause: 21562.209 Set: 3939.253 Check: 0.0 Back: 474.553
INFO - Atoms: 52066/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 19759328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.128 Prop: 22180.196 PropClause: 21611.209 Set: 3948.375 Check: 0.0 Back: 475.786
INFO - Atoms: 51945/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 19811144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.138 Prop: 22230.717 PropClause: 21660.281 Set: 3957.571 Check: 0.0 Back: 477.045
INFO - Atoms: 51816/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 19863091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.145 Prop: 22280.398 PropClause: 21708.494 Set: 3966.772 Check: 0.0 Back: 478.278
INFO - Atoms: 51947/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 19914786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.154 Prop: 22332.438 PropClause: 21759.075 Set: 3976.072 Check: 0.0 Back: 479.528
INFO - Atoms: 51695/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 19966609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.162 Prop: 22384.956 PropClause: 21810.115 Set: 3985.267 Check: 0.0 Back: 480.763
INFO - Atoms: 51823/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 20017666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.17 Prop: 22438.23 PropClause: 21861.983 Set: 3994.37 Check: 0.0 Back: 482.005
INFO - Atoms: 51057/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 20069240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.18 Prop: 22489.251 PropClause: 21911.558 Set: 4003.681 Check: 0.0 Back: 483.238
INFO - Atoms: 51574/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 20120813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.19 Prop: 22538.981 PropClause: 21959.837 Set: 4012.832 Check: 0.0 Back: 484.485
INFO - Atoms: 51573/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 20172388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.2 Prop: 22588.255 PropClause: 22007.668 Set: 4021.935 Check: 0.0 Back: 485.688
INFO - Atoms: 51575/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 20223707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.207 Prop: 22645.712 PropClause: 22063.68 Set: 4031.347 Check: 0.0 Back: 486.932
INFO - Atoms: 51319/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 20275025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.338 Prop: 22694.507 PropClause: 22111.038 Set: 4040.366 Check: 0.0 Back: 488.156
INFO - Atoms: 51318/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 20326449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.348 Prop: 22745.227 PropClause: 22160.32 Set: 4049.552 Check: 0.0 Back: 489.379
INFO - Atoms: 51424/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 20377113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.358 Prop: 22795.605 PropClause: 22209.276 Set: 4058.626 Check: 0.0 Back: 490.614
INFO - Atoms: 50664/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 20428538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.369 Prop: 22844.927 PropClause: 22257.156 Set: 4067.805 Check: 0.0 Back: 491.861
INFO - Atoms: 51425/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 20480211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.378 Prop: 22895.822 PropClause: 22306.601 Set: 4076.992 Check: 0.0 Back: 493.094
INFO - Atoms: 51673/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 20531135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.547 Prop: 22947.333 PropClause: 22356.702 Set: 4085.988 Check: 0.0 Back: 494.353
INFO - Atoms: 50924/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 20582059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.705 Prop: 23000.206 PropClause: 22408.164 Set: 4094.862 Check: 0.0 Back: 495.572
INFO - Atoms: 50924/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 20633482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.717 Prop: 23051.053 PropClause: 22457.566 Set: 4104.048 Check: 0.0 Back: 496.8
INFO - Atoms: 51423/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 20685155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.726 Prop: 23101.366 PropClause: 22506.427 Set: 4113.249 Check: 0.0 Back: 498.033
INFO - Atoms: 51673/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 20736829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.735 Prop: 23154.96 PropClause: 22558.576 Set: 4122.561 Check: 0.0 Back: 499.358
INFO - Atoms: 51674/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 20787752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.746 Prop: 23207.725 PropClause: 22609.915 Set: 4131.74 Check: 0.0 Back: 500.604
INFO - Atoms: 50923/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 20838678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.759 Prop: 23261.742 PropClause: 22662.43 Set: 4140.898 Check: 0.0 Back: 501.846
INFO - Atoms: 50926/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 20889343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.769 Prop: 23313.73 PropClause: 22713.002 Set: 4149.872 Check: 0.0 Back: 503.09
INFO - Atoms: 50665/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 20940246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.819 Prop: 23373.954 PropClause: 22771.58 Set: 4164.707 Check: 0.0 Back: 504.316
INFO - Atoms: 50903/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 20966929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.865 Prop: 23412.275 PropClause: 22808.983 Set: 4170.09 Check: 0.0 Back: 505.589
INFO - Atoms: 26683/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 883 Props: 22134806 Tprops: 0 Decides: 4112 RSplits: 0
INFO - Times: Expl: 2425.636 Prop: 24443.844 PropClause: 23802.602 Set: 4203.144 Check: 0.107 Back: 533.834
INFO - Atoms: 24906/75264 Clauses: 1080 Axioms: 249074
INFO - Restart
INFO - Confl: 1383 Props: 25530895 Tprops: 0 Decides: 16215 RSplits: 0
INFO - Times: Expl: 3575.442 Prop: 27866.104 PropClause: 27122.851 Set: 4285.567 Check: 0.425 Back: 613.574
INFO - Atoms: 24932/75264 Clauses: 1580 Axioms: 249074
INFO - Confl: 1726 Props: 26301315 Tprops: 0 Decides: 18233 RSplits: 0
INFO - Times: Expl: 3862.518 Prop: 28456.865 PropClause: 27689.397 Set: 4304.39 Check: 0.476 Back: 631.737
INFO - Atoms: 25946/75264 Clauses: 1923 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 427 Props: 46281 Tprops: 10985 Decides: 51824 RSplits: 0
INFO - Times: Expl: 258.489 Prop: 67933.944 PropClause: 20.479 Set: 7488.195 Check: 474.807 Back: 225.092
INFO - Atoms: 870/870 Clauses: 427 Axioms: 870
INFO - CCTimes: iE 466063 eq 27712262 cc 95394268 setRep 62828095
INFO - Merges: 373686, cc:661683
INFO - BVTimes: BB 256401804 BB_DPLL 62076763627 Graph 259270848
INFO - BitBlastingClauses: 471794 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat