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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 39495508
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 1407 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 0.783 Prop: 0.974 PropClause: 0.878 Set: 1.4 Check: 0.0 Back: 0.001
INFO - Atoms: 1392/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 2836 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 0.971 Prop: 1.433 PropClause: 1.274 Set: 1.703 Check: 0.0 Back: 0.055
INFO - Atoms: 1403/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 4265 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 1.177 Prop: 1.883 PropClause: 1.639 Set: 2.004 Check: 0.0 Back: 0.088
INFO - Atoms: 1403/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 5694 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 1.386 Prop: 2.307 PropClause: 1.97 Set: 2.3 Check: 0.0 Back: 0.121
INFO - Atoms: 1403/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 7117 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 1.589 Prop: 3.165 PropClause: 2.748 Set: 2.721 Check: 0.0 Back: 0.153
INFO - Atoms: 1399/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 8538 Tprops: 0 Decides: 6 RSplits: 0
INFO - Times: Expl: 1.779 Prop: 3.553 PropClause: 3.076 Set: 3.105 Check: 0.0 Back: 0.186
INFO - Atoms: 1397/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 9957 Tprops: 0 Decides: 7 RSplits: 0
INFO - Times: Expl: 1.971 Prop: 3.951 PropClause: 3.383 Set: 6.707 Check: 0.0 Back: 0.218
INFO - Atoms: 1395/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 11368 Tprops: 0 Decides: 8 RSplits: 0
INFO - Times: Expl: 2.159 Prop: 4.31 PropClause: 3.682 Set: 7.004 Check: 0.0 Back: 0.25
INFO - Atoms: 1390/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 12783 Tprops: 0 Decides: 9 RSplits: 0
INFO - Times: Expl: 2.336 Prop: 4.57 PropClause: 3.897 Set: 8.251 Check: 0.0 Back: 0.283
INFO - Atoms: 1391/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 14184 Tprops: 0 Decides: 10 RSplits: 0
INFO - Times: Expl: 2.757 Prop: 4.838 PropClause: 4.12 Set: 8.57 Check: 0.0 Back: 0.315
INFO - Atoms: 1383/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 15593 Tprops: 0 Decides: 11 RSplits: 0
INFO - Times: Expl: 2.927 Prop: 5.088 PropClause: 4.325 Set: 8.862 Check: 0.0 Back: 0.347
INFO - Atoms: 1386/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 16994 Tprops: 0 Decides: 12 RSplits: 0
INFO - Times: Expl: 3.129 Prop: 5.407 PropClause: 4.57 Set: 18.61 Check: 0.0 Back: 0.379
INFO - Atoms: 1381/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 18418 Tprops: 0 Decides: 14 RSplits: 0
INFO - Times: Expl: 3.319 Prop: 5.665 PropClause: 4.775 Set: 18.946 Check: 0.001 Back: 0.412
INFO - Atoms: 1374/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 19858 Tprops: 0 Decides: 16 RSplits: 0
INFO - Times: Expl: 3.499 Prop: 5.915 PropClause: 4.98 Set: 19.234 Check: 0.001 Back: 0.444
INFO - Atoms: 1381/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 21298 Tprops: 0 Decides: 18 RSplits: 0
INFO - Times: Expl: 3.68 Prop: 6.187 PropClause: 5.198 Set: 20.35 Check: 0.001 Back: 0.477
INFO - Atoms: 1381/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 22738 Tprops: 0 Decides: 20 RSplits: 0
INFO - Times: Expl: 3.862 Prop: 6.454 PropClause: 5.42 Set: 20.603 Check: 0.001 Back: 0.51
INFO - Atoms: 1381/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 24141 Tprops: 0 Decides: 21 RSplits: 0
INFO - Times: Expl: 4.034 Prop: 6.704 PropClause: 5.627 Set: 20.898 Check: 0.001 Back: 0.542
INFO - Atoms: 1379/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 25542 Tprops: 0 Decides: 22 RSplits: 0
INFO - Times: Expl: 4.235 Prop: 7.01 PropClause: 5.889 Set: 21.132 Check: 0.001 Back: 0.574
INFO - Atoms: 1377/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 26939 Tprops: 0 Decides: 23 RSplits: 0
INFO - Times: Expl: 4.472 Prop: 7.327 PropClause: 6.156 Set: 21.355 Check: 0.001 Back: 0.606
INFO - Atoms: 1374/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 28332 Tprops: 0 Decides: 24 RSplits: 0
INFO - Times: Expl: 4.757 Prop: 7.597 PropClause: 6.367 Set: 21.575 Check: 0.001 Back: 0.638
INFO - Atoms: 1371/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 29723 Tprops: 0 Decides: 25 RSplits: 0
INFO - Times: Expl: 5.01 Prop: 7.874 PropClause: 6.577 Set: 21.787 Check: 0.001 Back: 0.67
INFO - Atoms: 1369/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 31104 Tprops: 0 Decides: 26 RSplits: 0
INFO - Times: Expl: 5.236 Prop: 8.142 PropClause: 6.79 Set: 21.999 Check: 0.001 Back: 0.702
INFO - Atoms: 1363/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 32493 Tprops: 0 Decides: 27 RSplits: 0
INFO - Times: Expl: 5.468 Prop: 8.424 PropClause: 7.028 Set: 22.123 Check: 0.001 Back: 0.734
INFO - Atoms: 1366/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 33870 Tprops: 0 Decides: 28 RSplits: 0
INFO - Times: Expl: 5.627 Prop: 8.661 PropClause: 7.222 Set: 22.246 Check: 0.001 Back: 0.767
INFO - Atoms: 1359/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 35322 Tprops: 0 Decides: 32 RSplits: 0
INFO - Times: Expl: 5.821 Prop: 8.999 PropClause: 7.44 Set: 22.369 Check: 0.002 Back: 0.801
INFO - Atoms: 1354/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 36743 Tprops: 0 Decides: 34 RSplits: 0
INFO - Times: Expl: 5.987 Prop: 9.251 PropClause: 7.647 Set: 22.492 Check: 0.002 Back: 0.834
INFO - Atoms: 1361/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 38164 Tprops: 0 Decides: 36 RSplits: 0
INFO - Times: Expl: 6.158 Prop: 9.507 PropClause: 7.859 Set: 22.614 Check: 0.002 Back: 0.867
INFO - Atoms: 1361/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 39585 Tprops: 0 Decides: 38 RSplits: 0
INFO - Times: Expl: 6.336 Prop: 9.765 PropClause: 8.072 Set: 22.738 Check: 0.002 Back: 0.901
INFO - Atoms: 1361/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 40970 Tprops: 0 Decides: 39 RSplits: 0
INFO - Times: Expl: 6.498 Prop: 10.09 PropClause: 8.28 Set: 22.862 Check: 0.003 Back: 0.933
INFO - Atoms: 1361/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 42351 Tprops: 0 Decides: 40 RSplits: 0
INFO - Times: Expl: 6.658 Prop: 10.332 PropClause: 8.479 Set: 22.983 Check: 0.003 Back: 0.965
INFO - Atoms: 1358/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 43730 Tprops: 0 Decides: 41 RSplits: 0
INFO - Times: Expl: 6.822 Prop: 10.579 PropClause: 8.683 Set: 23.105 Check: 0.003 Back: 0.997
INFO - Atoms: 1357/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 45111 Tprops: 0 Decides: 42 RSplits: 0
INFO - Times: Expl: 7.127 Prop: 10.822 PropClause: 8.882 Set: 23.228 Check: 0.003 Back: 1.028
INFO - Atoms: 1357/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 46486 Tprops: 0 Decides: 43 RSplits: 0
INFO - Times: Expl: 7.306 Prop: 11.056 PropClause: 9.081 Set: 23.349 Check: 0.003 Back: 1.059
INFO - Atoms: 1353/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 47859 Tprops: 0 Decides: 44 RSplits: 0
INFO - Times: Expl: 7.508 Prop: 11.311 PropClause: 9.301 Set: 23.471 Check: 0.003 Back: 1.091
INFO - Atoms: 1351/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 49228 Tprops: 0 Decides: 45 RSplits: 0
INFO - Times: Expl: 7.893 Prop: 11.547 PropClause: 9.502 Set: 23.591 Check: 0.003 Back: 1.122
INFO - Atoms: 1348/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 50593 Tprops: 0 Decides: 46 RSplits: 0
INFO - Times: Expl: 8.038 Prop: 11.779 PropClause: 9.698 Set: 23.711 Check: 0.003 Back: 1.153
INFO - Atoms: 1345/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 52051 Tprops: 0 Decides: 50 RSplits: 0
INFO - Times: Expl: 8.21 Prop: 12.047 PropClause: 9.927 Set: 23.834 Check: 0.003 Back: 1.186
INFO - Atoms: 1338/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 53460 Tprops: 0 Decides: 52 RSplits: 0
INFO - Times: Expl: 8.334 Prop: 12.306 PropClause: 10.15 Set: 23.957 Check: 0.003 Back: 1.217
INFO - Atoms: 1349/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 54863 Tprops: 0 Decides: 54 RSplits: 0
INFO - Times: Expl: 8.406 Prop: 12.555 PropClause: 10.364 Set: 24.078 Check: 0.003 Back: 1.249
INFO - Atoms: 1345/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 56264 Tprops: 0 Decides: 56 RSplits: 0
INFO - Times: Expl: 8.471 Prop: 12.809 PropClause: 10.573 Set: 24.2 Check: 0.003 Back: 1.281
INFO - Atoms: 1343/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 57627 Tprops: 0 Decides: 57 RSplits: 0
INFO - Times: Expl: 8.554 Prop: 13.05 PropClause: 10.778 Set: 24.32 Check: 0.003 Back: 1.311
INFO - Atoms: 1340/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 58984 Tprops: 0 Decides: 58 RSplits: 0
INFO - Times: Expl: 8.606 Prop: 13.283 PropClause: 10.976 Set: 24.439 Check: 0.003 Back: 1.342
INFO - Atoms: 1336/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 60341 Tprops: 0 Decides: 59 RSplits: 0
INFO - Times: Expl: 8.663 Prop: 13.519 PropClause: 11.177 Set: 24.559 Check: 0.003 Back: 1.373
INFO - Atoms: 1336/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 61704 Tprops: 0 Decides: 60 RSplits: 0
INFO - Times: Expl: 8.755 Prop: 13.752 PropClause: 11.376 Set: 24.679 Check: 0.003 Back: 1.403
INFO - Atoms: 1339/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 63063 Tprops: 0 Decides: 61 RSplits: 0
INFO - Times: Expl: 8.824 Prop: 13.987 PropClause: 11.576 Set: 24.8 Check: 0.003 Back: 1.434
INFO - Atoms: 1336/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 64418 Tprops: 0 Decides: 62 RSplits: 0
INFO - Times: Expl: 8.877 Prop: 14.22 PropClause: 11.774 Set: 24.92 Check: 0.003 Back: 1.464
INFO - Atoms: 1333/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 65769 Tprops: 0 Decides: 63 RSplits: 0
INFO - Times: Expl: 8.936 Prop: 14.464 PropClause: 11.982 Set: 25.04 Check: 0.003 Back: 1.494
INFO - Atoms: 1331/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 67118 Tprops: 0 Decides: 64 RSplits: 0
INFO - Times: Expl: 9.067 Prop: 14.717 PropClause: 12.201 Set: 25.264 Check: 0.004 Back: 1.525
INFO - Atoms: 1329/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 68594 Tprops: 0 Decides: 70 RSplits: 0
INFO - Times: Expl: 9.147 Prop: 15.03 PropClause: 12.474 Set: 25.482 Check: 0.004 Back: 1.558
INFO - Atoms: 1322/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 69987 Tprops: 0 Decides: 72 RSplits: 0
INFO - Times: Expl: 9.227 Prop: 15.372 PropClause: 12.781 Set: 25.69 Check: 0.004 Back: 1.59
INFO - Atoms: 1333/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 71378 Tprops: 0 Decides: 74 RSplits: 0
INFO - Times: Expl: 9.29 Prop: 15.631 PropClause: 13.004 Set: 25.893 Check: 0.004 Back: 1.621
INFO - Atoms: 1331/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 72769 Tprops: 0 Decides: 76 RSplits: 0
INFO - Times: Expl: 9.363 Prop: 15.904 PropClause: 13.241 Set: 26.096 Check: 0.004 Back: 1.652
INFO - Atoms: 1331/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 74120 Tprops: 0 Decides: 77 RSplits: 0
INFO - Times: Expl: 9.444 Prop: 16.152 PropClause: 13.454 Set: 26.295 Check: 0.004 Back: 1.683
INFO - Atoms: 1327/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 75467 Tprops: 0 Decides: 78 RSplits: 0
INFO - Times: Expl: 9.512 Prop: 16.405 PropClause: 13.672 Set: 26.489 Check: 0.004 Back: 1.713
INFO - Atoms: 1324/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 76812 Tprops: 0 Decides: 79 RSplits: 0
INFO - Times: Expl: 9.582 Prop: 16.65 PropClause: 13.883 Set: 26.687 Check: 0.004 Back: 1.744
INFO - Atoms: 1323/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 78161 Tprops: 0 Decides: 80 RSplits: 0
INFO - Times: Expl: 9.649 Prop: 16.903 PropClause: 14.102 Set: 26.882 Check: 0.004 Back: 1.774
INFO - Atoms: 1325/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 79510 Tprops: 0 Decides: 81 RSplits: 0
INFO - Times: Expl: 9.698 Prop: 17.14 PropClause: 14.304 Set: 27.066 Check: 0.004 Back: 1.805
INFO - Atoms: 1325/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 80859 Tprops: 0 Decides: 82 RSplits: 0
INFO - Times: Expl: 9.765 Prop: 17.454 PropClause: 14.584 Set: 27.256 Check: 0.004 Back: 1.835
INFO - Atoms: 1325/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 82206 Tprops: 0 Decides: 83 RSplits: 0
INFO - Times: Expl: 9.824 Prop: 17.695 PropClause: 14.79 Set: 27.439 Check: 0.004 Back: 1.866
INFO - Atoms: 1324/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 83549 Tprops: 0 Decides: 84 RSplits: 0
INFO - Times: Expl: 9.914 Prop: 17.933 PropClause: 14.995 Set: 27.563 Check: 0.004 Back: 1.898
INFO - Atoms: 1321/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 85083 Tprops: 0 Decides: 95 RSplits: 0
INFO - Times: Expl: 9.994 Prop: 18.235 PropClause: 15.254 Set: 27.683 Check: 0.004 Back: 1.932
INFO - Atoms: 1314/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 86464 Tprops: 0 Decides: 97 RSplits: 0
INFO - Times: Expl: 10.065 Prop: 18.496 PropClause: 15.481 Set: 27.806 Check: 0.004 Back: 1.963
INFO - Atoms: 1325/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 87845 Tprops: 0 Decides: 99 RSplits: 0
INFO - Times: Expl: 10.142 Prop: 18.751 PropClause: 15.7 Set: 27.925 Check: 0.004 Back: 1.994
INFO - Atoms: 1325/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 89224 Tprops: 0 Decides: 101 RSplits: 0
INFO - Times: Expl: 10.223 Prop: 18.995 PropClause: 15.909 Set: 28.045 Check: 0.004 Back: 2.026
INFO - Atoms: 1323/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 90569 Tprops: 0 Decides: 102 RSplits: 0
INFO - Times: Expl: 10.39 Prop: 19.233 PropClause: 16.113 Set: 28.162 Check: 0.005 Back: 2.055
INFO - Atoms: 1320/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 91910 Tprops: 0 Decides: 103 RSplits: 0
INFO - Times: Expl: 10.449 Prop: 19.469 PropClause: 16.313 Set: 28.28 Check: 0.005 Back: 2.086
INFO - Atoms: 1317/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 93255 Tprops: 0 Decides: 104 RSplits: 0
INFO - Times: Expl: 10.491 Prop: 19.712 PropClause: 16.522 Set: 28.403 Check: 0.005 Back: 2.116
INFO - Atoms: 1319/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 94592 Tprops: 0 Decides: 105 RSplits: 0
INFO - Times: Expl: 10.528 Prop: 19.948 PropClause: 16.723 Set: 28.52 Check: 0.005 Back: 2.146
INFO - Atoms: 1315/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 95933 Tprops: 0 Decides: 106 RSplits: 0
INFO - Times: Expl: 10.565 Prop: 20.185 PropClause: 16.926 Set: 28.638 Check: 0.005 Back: 2.176
INFO - Atoms: 1316/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 97262 Tprops: 0 Decides: 107 RSplits: 0
INFO - Times: Expl: 10.606 Prop: 20.433 PropClause: 17.139 Set: 28.755 Check: 0.005 Back: 2.206
INFO - Atoms: 1309/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 98601 Tprops: 0 Decides: 108 RSplits: 0
INFO - Times: Expl: 10.644 Prop: 20.669 PropClause: 17.341 Set: 28.872 Check: 0.005 Back: 2.236
INFO - Atoms: 1314/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 99924 Tprops: 0 Decides: 109 RSplits: 0
INFO - Times: Expl: 10.68 Prop: 20.9 PropClause: 17.538 Set: 28.987 Check: 0.005 Back: 2.268
INFO - Atoms: 1305/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 101441 Tprops: 0 Decides: 116 RSplits: 0
INFO - Times: Expl: 10.731 Prop: 21.203 PropClause: 17.801 Set: 29.106 Check: 0.005 Back: 2.307
INFO - Atoms: 1300/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 102805 Tprops: 0 Decides: 118 RSplits: 0
INFO - Times: Expl: 10.769 Prop: 21.452 PropClause: 18.014 Set: 29.222 Check: 0.005 Back: 2.338
INFO - Atoms: 1307/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 104169 Tprops: 0 Decides: 120 RSplits: 0
INFO - Times: Expl: 10.808 Prop: 21.704 PropClause: 18.231 Set: 29.339 Check: 0.005 Back: 2.369
INFO - Atoms: 1307/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 105533 Tprops: 0 Decides: 122 RSplits: 0
INFO - Times: Expl: 10.845 Prop: 21.955 PropClause: 18.447 Set: 29.454 Check: 0.005 Back: 2.401
INFO - Atoms: 1307/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 106862 Tprops: 0 Decides: 123 RSplits: 0
INFO - Times: Expl: 10.88 Prop: 22.196 PropClause: 18.653 Set: 29.57 Check: 0.005 Back: 2.431
INFO - Atoms: 1305/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 108189 Tprops: 0 Decides: 124 RSplits: 0
INFO - Times: Expl: 10.916 Prop: 22.433 PropClause: 18.856 Set: 29.686 Check: 0.005 Back: 2.461
INFO - Atoms: 1303/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 109516 Tprops: 0 Decides: 125 RSplits: 0
INFO - Times: Expl: 10.951 Prop: 22.67 PropClause: 19.059 Set: 29.801 Check: 0.005 Back: 2.491
INFO - Atoms: 1302/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 110827 Tprops: 0 Decides: 126 RSplits: 0
INFO - Times: Expl: 11.006 Prop: 22.897 PropClause: 19.252 Set: 29.913 Check: 0.005 Back: 2.52
INFO - Atoms: 1293/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 112150 Tprops: 0 Decides: 127 RSplits: 0
INFO - Times: Expl: 11.043 Prop: 23.132 PropClause: 19.453 Set: 30.027 Check: 0.005 Back: 2.55
INFO - Atoms: 1298/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 113449 Tprops: 0 Decides: 128 RSplits: 0
INFO - Times: Expl: 11.078 Prop: 23.358 PropClause: 19.646 Set: 30.139 Check: 0.005 Back: 2.579
INFO - Atoms: 1285/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 114770 Tprops: 0 Decides: 129 RSplits: 0
INFO - Times: Expl: 11.144 Prop: 23.591 PropClause: 19.845 Set: 30.252 Check: 0.005 Back: 2.609
INFO - Atoms: 1295/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 116065 Tprops: 0 Decides: 130 RSplits: 0
INFO - Times: Expl: 11.185 Prop: 23.819 PropClause: 20.039 Set: 30.363 Check: 0.005 Back: 2.638
INFO - Atoms: 1281/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 117608 Tprops: 0 Decides: 143 RSplits: 0
INFO - Times: Expl: 11.239 Prop: 24.131 PropClause: 20.309 Set: 30.481 Check: 0.006 Back: 2.673
INFO - Atoms: 1280/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 118955 Tprops: 0 Decides: 145 RSplits: 0
INFO - Times: Expl: 11.277 Prop: 24.388 PropClause: 20.531 Set: 30.596 Check: 0.006 Back: 2.704
INFO - Atoms: 1287/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 120302 Tprops: 0 Decides: 147 RSplits: 0
INFO - Times: Expl: 11.333 Prop: 24.656 PropClause: 20.764 Set: 30.709 Check: 0.006 Back: 2.734
INFO - Atoms: 1287/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 121645 Tprops: 0 Decides: 149 RSplits: 0
INFO - Times: Expl: 11.38 Prop: 24.898 PropClause: 20.972 Set: 30.821 Check: 0.006 Back: 2.764
INFO - Atoms: 1284/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 122944 Tprops: 0 Decides: 150 RSplits: 0
INFO - Times: Expl: 11.418 Prop: 25.132 PropClause: 21.173 Set: 30.933 Check: 0.006 Back: 2.793
INFO - Atoms: 1279/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 124241 Tprops: 0 Decides: 151 RSplits: 0
INFO - Times: Expl: 11.456 Prop: 25.373 PropClause: 21.38 Set: 31.044 Check: 0.006 Back: 2.823
INFO - Atoms: 1277/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 125534 Tprops: 0 Decides: 152 RSplits: 0
INFO - Times: Expl: 11.489 Prop: 25.604 PropClause: 21.578 Set: 31.154 Check: 0.006 Back: 2.852
INFO - Atoms: 1274/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 126835 Tprops: 0 Decides: 153 RSplits: 0
INFO - Times: Expl: 11.523 Prop: 25.835 PropClause: 21.775 Set: 31.265 Check: 0.006 Back: 2.881
INFO - Atoms: 1277/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 128126 Tprops: 0 Decides: 154 RSplits: 0
INFO - Times: Expl: 11.565 Prop: 26.077 PropClause: 21.984 Set: 31.376 Check: 0.006 Back: 2.91
INFO - Atoms: 1271/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 129415 Tprops: 0 Decides: 155 RSplits: 0
INFO - Times: Expl: 11.602 Prop: 26.304 PropClause: 22.178 Set: 31.487 Check: 0.006 Back: 2.94
INFO - Atoms: 1269/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 130700 Tprops: 0 Decides: 156 RSplits: 0
INFO - Times: Expl: 11.637 Prop: 26.534 PropClause: 22.376 Set: 31.595 Check: 0.006 Back: 2.969
INFO - Atoms: 1267/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 131991 Tprops: 0 Decides: 157 RSplits: 0
INFO - Times: Expl: 11.674 Prop: 26.759 PropClause: 22.567 Set: 31.706 Check: 0.006 Back: 2.998
INFO - Atoms: 1270/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 133578 Tprops: 0 Decides: 170 RSplits: 0
INFO - Times: Expl: 11.732 Prop: 27.089 PropClause: 22.855 Set: 31.823 Check: 0.006 Back: 3.035
INFO - Atoms: 1264/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 134907 Tprops: 0 Decides: 172 RSplits: 0
INFO - Times: Expl: 11.768 Prop: 27.342 PropClause: 23.073 Set: 31.934 Check: 0.006 Back: 3.065
INFO - Atoms: 1271/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 136230 Tprops: 0 Decides: 174 RSplits: 0
INFO - Times: Expl: 11.805 Prop: 27.585 PropClause: 23.283 Set: 32.05 Check: 0.007 Back: 3.095
INFO - Atoms: 1267/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 137553 Tprops: 0 Decides: 176 RSplits: 0
INFO - Times: Expl: 11.852 Prop: 27.852 PropClause: 23.515 Set: 32.162 Check: 0.007 Back: 3.125
INFO - Atoms: 1267/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 138840 Tprops: 0 Decides: 177 RSplits: 0
INFO - Times: Expl: 11.89 Prop: 28.086 PropClause: 23.717 Set: 32.273 Check: 0.007 Back: 3.154
INFO - Atoms: 1265/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 140123 Tprops: 0 Decides: 178 RSplits: 0
INFO - Times: Expl: 11.929 Prop: 28.32 PropClause: 23.918 Set: 32.382 Check: 0.007 Back: 3.183
INFO - Atoms: 1262/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 141404 Tprops: 0 Decides: 179 RSplits: 0
INFO - Times: Expl: 11.968 Prop: 28.557 PropClause: 24.122 Set: 32.493 Check: 0.007 Back: 3.212
INFO - Atoms: 1261/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 142691 Tprops: 0 Decides: 180 RSplits: 0
INFO - Times: Expl: 12.01 Prop: 28.804 PropClause: 24.335 Set: 32.606 Check: 0.007 Back: 3.241
INFO - Atoms: 1263/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 143966 Tprops: 0 Decides: 181 RSplits: 0
INFO - Times: Expl: 12.252 Prop: 29.034 PropClause: 24.533 Set: 32.715 Check: 0.007 Back: 3.27
INFO - Atoms: 1256/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 145251 Tprops: 0 Decides: 182 RSplits: 0
INFO - Times: Expl: 12.283 Prop: 29.26 PropClause: 24.726 Set: 32.824 Check: 0.007 Back: 3.298
INFO - Atoms: 1261/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 146516 Tprops: 0 Decides: 183 RSplits: 0
INFO - Times: Expl: 12.329 Prop: 29.487 PropClause: 24.921 Set: 32.932 Check: 0.007 Back: 3.327
INFO - Atoms: 1250/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 147799 Tprops: 0 Decides: 184 RSplits: 0
INFO - Times: Expl: 12.36 Prop: 29.71 PropClause: 25.112 Set: 33.041 Check: 0.007 Back: 3.356
INFO - Atoms: 1259/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 149395 Tprops: 0 Decides: 199 RSplits: 0
INFO - Times: Expl: 12.427 Prop: 30.058 PropClause: 25.416 Set: 33.159 Check: 0.007 Back: 3.393
INFO - Atoms: 1248/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 150710 Tprops: 0 Decides: 201 RSplits: 0
INFO - Times: Expl: 12.46 Prop: 30.31 PropClause: 25.634 Set: 33.27 Check: 0.007 Back: 3.422
INFO - Atoms: 1256/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 152025 Tprops: 0 Decides: 203 RSplits: 0
INFO - Times: Expl: 12.492 Prop: 30.55 PropClause: 25.841 Set: 33.38 Check: 0.007 Back: 3.452
INFO - Atoms: 1256/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 153336 Tprops: 0 Decides: 205 RSplits: 0
INFO - Times: Expl: 12.525 Prop: 30.792 PropClause: 26.043 Set: 33.491 Check: 0.007 Back: 3.481
INFO - Atoms: 1253/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 154613 Tprops: 0 Decides: 206 RSplits: 0
INFO - Times: Expl: 12.555 Prop: 31.02 PropClause: 26.239 Set: 33.6 Check: 0.007 Back: 3.51
INFO - Atoms: 1252/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 155882 Tprops: 0 Decides: 207 RSplits: 0
INFO - Times: Expl: 12.585 Prop: 31.241 PropClause: 26.427 Set: 33.708 Check: 0.007 Back: 3.539
INFO - Atoms: 1247/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 157155 Tprops: 0 Decides: 208 RSplits: 0
INFO - Times: Expl: 12.615 Prop: 31.465 PropClause: 26.62 Set: 33.817 Check: 0.007 Back: 3.568
INFO - Atoms: 1248/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 158420 Tprops: 0 Decides: 209 RSplits: 0
INFO - Times: Expl: 12.645 Prop: 31.687 PropClause: 26.809 Set: 33.924 Check: 0.008 Back: 3.596
INFO - Atoms: 1244/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 159691 Tprops: 0 Decides: 210 RSplits: 0
INFO - Times: Expl: 12.675 Prop: 31.914 PropClause: 27.003 Set: 34.032 Check: 0.008 Back: 3.625
INFO - Atoms: 1246/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 160950 Tprops: 0 Decides: 211 RSplits: 0
INFO - Times: Expl: 12.705 Prop: 32.134 PropClause: 27.191 Set: 34.138 Check: 0.008 Back: 3.653
INFO - Atoms: 1239/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 162215 Tprops: 0 Decides: 212 RSplits: 0
INFO - Times: Expl: 12.736 Prop: 32.36 PropClause: 27.385 Set: 34.245 Check: 0.008 Back: 3.682
INFO - Atoms: 1241/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 163472 Tprops: 0 Decides: 213 RSplits: 0
INFO - Times: Expl: 12.766 Prop: 32.589 PropClause: 27.582 Set: 34.352 Check: 0.008 Back: 3.71
INFO - Atoms: 1237/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 165101 Tprops: 0 Decides: 231 RSplits: 0
INFO - Times: Expl: 12.825 Prop: 32.939 PropClause: 27.886 Set: 34.468 Check: 0.008 Back: 3.748
INFO - Atoms: 1232/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 166404 Tprops: 0 Decides: 233 RSplits: 0
INFO - Times: Expl: 12.857 Prop: 33.2 PropClause: 28.114 Set: 34.575 Check: 0.008 Back: 3.777
INFO - Atoms: 1243/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 167707 Tprops: 0 Decides: 235 RSplits: 0
INFO - Times: Expl: 12.889 Prop: 33.443 PropClause: 28.325 Set: 34.682 Check: 0.008 Back: 3.807
INFO - Atoms: 1243/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 169010 Tprops: 0 Decides: 237 RSplits: 0
INFO - Times: Expl: 12.933 Prop: 33.708 PropClause: 28.557 Set: 34.792 Check: 0.008 Back: 3.836
INFO - Atoms: 1243/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 170279 Tprops: 0 Decides: 238 RSplits: 0
INFO - Times: Expl: 12.962 Prop: 33.936 PropClause: 28.752 Set: 34.898 Check: 0.008 Back: 3.865
INFO - Atoms: 1243/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 171546 Tprops: 0 Decides: 239 RSplits: 0
INFO - Times: Expl: 12.992 Prop: 34.176 PropClause: 28.954 Set: 35.006 Check: 0.008 Back: 3.893
INFO - Atoms: 1241/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 172815 Tprops: 0 Decides: 240 RSplits: 0
INFO - Times: Expl: 13.021 Prop: 34.405 PropClause: 29.15 Set: 35.115 Check: 0.008 Back: 3.922
INFO - Atoms: 1242/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 174072 Tprops: 0 Decides: 241 RSplits: 0
INFO - Times: Expl: 13.051 Prop: 34.629 PropClause: 29.341 Set: 35.225 Check: 0.008 Back: 3.95
INFO - Atoms: 1235/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 175335 Tprops: 0 Decides: 242 RSplits: 0
INFO - Times: Expl: 13.081 Prop: 34.856 PropClause: 29.536 Set: 35.332 Check: 0.008 Back: 3.978
INFO - Atoms: 1237/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 176584 Tprops: 0 Decides: 243 RSplits: 0
INFO - Times: Expl: 13.111 Prop: 35.076 PropClause: 29.724 Set: 35.437 Check: 0.008 Back: 4.006
INFO - Atoms: 1229/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 177845 Tprops: 0 Decides: 244 RSplits: 0
INFO - Times: Expl: 13.141 Prop: 35.304 PropClause: 29.919 Set: 35.543 Check: 0.008 Back: 4.035
INFO - Atoms: 1234/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 179084 Tprops: 0 Decides: 245 RSplits: 0
INFO - Times: Expl: 13.176 Prop: 35.533 PropClause: 30.117 Set: 35.647 Check: 0.008 Back: 4.063
INFO - Atoms: 1222/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 180690 Tprops: 0 Decides: 257 RSplits: 0
INFO - Times: Expl: 13.24 Prop: 35.886 PropClause: 30.425 Set: 35.829 Check: 0.009 Back: 4.1
INFO - Atoms: 1218/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 181978 Tprops: 0 Decides: 259 RSplits: 0
INFO - Times: Expl: 13.277 Prop: 36.141 PropClause: 30.648 Set: 36.002 Check: 0.009 Back: 4.135
INFO - Atoms: 1229/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 183262 Tprops: 0 Decides: 261 RSplits: 0
INFO - Times: Expl: 13.311 Prop: 36.378 PropClause: 30.852 Set: 36.171 Check: 0.009 Back: 4.164
INFO - Atoms: 1226/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 184548 Tprops: 0 Decides: 263 RSplits: 0
INFO - Times: Expl: 13.347 Prop: 36.623 PropClause: 31.064 Set: 36.342 Check: 0.009 Back: 4.193
INFO - Atoms: 1227/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 185797 Tprops: 0 Decides: 264 RSplits: 0
INFO - Times: Expl: 13.38 Prop: 36.861 PropClause: 31.27 Set: 36.506 Check: 0.009 Back: 4.221
INFO - Atoms: 1224/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 187044 Tprops: 0 Decides: 265 RSplits: 0
INFO - Times: Expl: 13.41 Prop: 37.087 PropClause: 31.464 Set: 36.671 Check: 0.009 Back: 4.249
INFO - Atoms: 1222/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 188287 Tprops: 0 Decides: 266 RSplits: 0
INFO - Times: Expl: 13.447 Prop: 37.319 PropClause: 31.664 Set: 36.84 Check: 0.009 Back: 4.278
INFO - Atoms: 1219/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 189526 Tprops: 0 Decides: 267 RSplits: 0
INFO - Times: Expl: 13.477 Prop: 37.541 PropClause: 31.854 Set: 37.003 Check: 0.009 Back: 4.306
INFO - Atoms: 1216/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 190763 Tprops: 0 Decides: 268 RSplits: 0
INFO - Times: Expl: 13.508 Prop: 37.778 PropClause: 32.06 Set: 37.171 Check: 0.009 Back: 4.333
INFO - Atoms: 1214/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 191998 Tprops: 0 Decides: 269 RSplits: 0
INFO - Times: Expl: 13.539 Prop: 37.997 PropClause: 32.247 Set: 37.333 Check: 0.009 Back: 4.361
INFO - Atoms: 1212/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 193231 Tprops: 0 Decides: 270 RSplits: 0
INFO - Times: Expl: 13.57 Prop: 38.222 PropClause: 32.44 Set: 37.494 Check: 0.009 Back: 4.389
INFO - Atoms: 1211/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 194466 Tprops: 0 Decides: 271 RSplits: 0
INFO - Times: Expl: 13.615 Prop: 38.512 PropClause: 32.698 Set: 37.655 Check: 0.009 Back: 4.417
INFO - Atoms: 1212/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 196123 Tprops: 0 Decides: 288 RSplits: 0
INFO - Times: Expl: 13.682 Prop: 38.884 PropClause: 33.025 Set: 37.826 Check: 0.01 Back: 4.455
INFO - Atoms: 1202/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 197396 Tprops: 0 Decides: 290 RSplits: 0
INFO - Times: Expl: 13.714 Prop: 39.142 PropClause: 33.25 Set: 37.991 Check: 0.01 Back: 4.483
INFO - Atoms: 1213/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 198669 Tprops: 0 Decides: 292 RSplits: 0
INFO - Times: Expl: 13.748 Prop: 39.381 PropClause: 33.457 Set: 38.153 Check: 0.01 Back: 4.512
INFO - Atoms: 1213/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 199936 Tprops: 0 Decides: 294 RSplits: 0
INFO - Times: Expl: 13.78 Prop: 39.615 PropClause: 33.657 Set: 38.314 Check: 0.01 Back: 4.541
INFO - Atoms: 1209/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 201163 Tprops: 0 Decides: 295 RSplits: 0
INFO - Times: Expl: 13.812 Prop: 39.847 PropClause: 33.858 Set: 38.472 Check: 0.01 Back: 4.569
INFO - Atoms: 1205/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 202390 Tprops: 0 Decides: 296 RSplits: 0
INFO - Times: Expl: 13.855 Prop: 40.086 PropClause: 34.066 Set: 38.633 Check: 0.01 Back: 4.597
INFO - Atoms: 1205/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 203611 Tprops: 0 Decides: 297 RSplits: 0
INFO - Times: Expl: 13.886 Prop: 40.314 PropClause: 34.262 Set: 38.797 Check: 0.01 Back: 4.625
INFO - Atoms: 1201/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 204838 Tprops: 0 Decides: 298 RSplits: 0
INFO - Times: Expl: 13.917 Prop: 40.533 PropClause: 34.45 Set: 38.954 Check: 0.01 Back: 4.652
INFO - Atoms: 1203/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 206057 Tprops: 0 Decides: 299 RSplits: 0
INFO - Times: Expl: 13.951 Prop: 40.771 PropClause: 34.657 Set: 39.112 Check: 0.01 Back: 4.68
INFO - Atoms: 1199/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 207286 Tprops: 0 Decides: 300 RSplits: 0
INFO - Times: Expl: 13.983 Prop: 40.993 PropClause: 34.847 Set: 39.272 Check: 0.01 Back: 4.707
INFO - Atoms: 1203/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 208499 Tprops: 0 Decides: 301 RSplits: 0
INFO - Times: Expl: 14.016 Prop: 41.218 PropClause: 35.041 Set: 39.43 Check: 0.01 Back: 4.735
INFO - Atoms: 1195/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 209724 Tprops: 0 Decides: 302 RSplits: 0
INFO - Times: Expl: 14.05 Prop: 41.439 PropClause: 35.231 Set: 39.59 Check: 0.01 Back: 4.762
INFO - Atoms: 1201/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 211369 Tprops: 0 Decides: 316 RSplits: 0
INFO - Times: Expl: 14.12 Prop: 41.819 PropClause: 35.566 Set: 39.755 Check: 0.01 Back: 4.799
INFO - Atoms: 1192/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 212629 Tprops: 0 Decides: 318 RSplits: 0
INFO - Times: Expl: 14.167 Prop: 42.168 PropClause: 35.883 Set: 39.917 Check: 0.01 Back: 4.828
INFO - Atoms: 1203/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 213889 Tprops: 0 Decides: 320 RSplits: 0
INFO - Times: Expl: 14.199 Prop: 42.399 PropClause: 36.081 Set: 40.074 Check: 0.01 Back: 4.856
INFO - Atoms: 1203/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 215149 Tprops: 0 Decides: 322 RSplits: 0
INFO - Times: Expl: 14.234 Prop: 42.629 PropClause: 36.28 Set: 40.231 Check: 0.01 Back: 4.884
INFO - Atoms: 1203/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 216376 Tprops: 0 Decides: 323 RSplits: 0
INFO - Times: Expl: 14.266 Prop: 42.851 PropClause: 36.471 Set: 40.389 Check: 0.01 Back: 4.912
INFO - Atoms: 1201/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 217597 Tprops: 0 Decides: 324 RSplits: 0
INFO - Times: Expl: 14.322 Prop: 43.068 PropClause: 36.656 Set: 40.547 Check: 0.01 Back: 4.939
INFO - Atoms: 1197/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 218812 Tprops: 0 Decides: 325 RSplits: 0
INFO - Times: Expl: 14.355 Prop: 43.292 PropClause: 36.85 Set: 40.705 Check: 0.011 Back: 4.967
INFO - Atoms: 1193/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 220025 Tprops: 0 Decides: 326 RSplits: 0
INFO - Times: Expl: 14.396 Prop: 43.509 PropClause: 37.036 Set: 40.861 Check: 0.011 Back: 4.994
INFO - Atoms: 1191/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 221240 Tprops: 0 Decides: 327 RSplits: 0
INFO - Times: Expl: 14.429 Prop: 43.728 PropClause: 37.224 Set: 41.014 Check: 0.011 Back: 5.021
INFO - Atoms: 1192/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 222451 Tprops: 0 Decides: 328 RSplits: 0
INFO - Times: Expl: 14.457 Prop: 43.944 PropClause: 37.409 Set: 41.17 Check: 0.011 Back: 5.048
INFO - Atoms: 1189/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 223660 Tprops: 0 Decides: 329 RSplits: 0
INFO - Times: Expl: 14.489 Prop: 44.166 PropClause: 37.6 Set: 41.329 Check: 0.011 Back: 5.076
INFO - Atoms: 1187/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 224859 Tprops: 0 Decides: 330 RSplits: 0
INFO - Times: Expl: 14.52 Prop: 44.383 PropClause: 37.787 Set: 41.476 Check: 0.011 Back: 5.103
INFO - Atoms: 1181/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 226541 Tprops: 0 Decides: 347 RSplits: 0
INFO - Times: Expl: 14.587 Prop: 44.767 PropClause: 38.124 Set: 41.64 Check: 0.011 Back: 5.141
INFO - Atoms: 1176/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 227788 Tprops: 0 Decides: 349 RSplits: 0
INFO - Times: Expl: 14.616 Prop: 45.019 PropClause: 38.344 Set: 41.798 Check: 0.011 Back: 5.169
INFO - Atoms: 1187/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 229033 Tprops: 0 Decides: 351 RSplits: 0
INFO - Times: Expl: 14.646 Prop: 45.253 PropClause: 38.546 Set: 41.954 Check: 0.011 Back: 5.197
INFO - Atoms: 1185/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 230278 Tprops: 0 Decides: 353 RSplits: 0
INFO - Times: Expl: 14.688 Prop: 45.506 PropClause: 38.767 Set: 42.119 Check: 0.011 Back: 5.225
INFO - Atoms: 1185/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 231489 Tprops: 0 Decides: 354 RSplits: 0
INFO - Times: Expl: 14.717 Prop: 45.725 PropClause: 38.955 Set: 42.275 Check: 0.011 Back: 5.252
INFO - Atoms: 1185/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 232696 Tprops: 0 Decides: 355 RSplits: 0
INFO - Times: Expl: 14.745 Prop: 45.939 PropClause: 39.139 Set: 42.424 Check: 0.011 Back: 5.281
INFO - Atoms: 1182/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 233901 Tprops: 0 Decides: 356 RSplits: 0
INFO - Times: Expl: 14.774 Prop: 46.158 PropClause: 39.328 Set: 42.58 Check: 0.011 Back: 5.308
INFO - Atoms: 1181/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 235100 Tprops: 0 Decides: 357 RSplits: 0
INFO - Times: Expl: 14.802 Prop: 46.374 PropClause: 39.513 Set: 42.735 Check: 0.011 Back: 5.335
INFO - Atoms: 1177/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 236299 Tprops: 0 Decides: 358 RSplits: 0
INFO - Times: Expl: 14.829 Prop: 46.591 PropClause: 39.699 Set: 42.897 Check: 0.011 Back: 5.363
INFO - Atoms: 1176/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 237494 Tprops: 0 Decides: 359 RSplits: 0
INFO - Times: Expl: 14.856 Prop: 46.806 PropClause: 39.884 Set: 43.051 Check: 0.011 Back: 5.39
INFO - Atoms: 1173/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 238687 Tprops: 0 Decides: 360 RSplits: 0
INFO - Times: Expl: 14.883 Prop: 47.021 PropClause: 40.069 Set: 43.205 Check: 0.011 Back: 5.416
INFO - Atoms: 1171/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 239876 Tprops: 0 Decides: 361 RSplits: 0
INFO - Times: Expl: 14.911 Prop: 47.231 PropClause: 40.249 Set: 43.355 Check: 0.012 Back: 5.443
INFO - Atoms: 1168/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 241564 Tprops: 0 Decides: 379 RSplits: 0
INFO - Times: Expl: 14.979 Prop: 47.617 PropClause: 40.588 Set: 43.52 Check: 0.012 Back: 5.482
INFO - Atoms: 1160/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 242793 Tprops: 0 Decides: 381 RSplits: 0
INFO - Times: Expl: 15.009 Prop: 47.872 PropClause: 40.812 Set: 43.67 Check: 0.012 Back: 5.509
INFO - Atoms: 1169/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 244022 Tprops: 0 Decides: 383 RSplits: 0
INFO - Times: Expl: 15.038 Prop: 48.101 PropClause: 41.009 Set: 43.823 Check: 0.012 Back: 5.536
INFO - Atoms: 1169/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 245275 Tprops: 0 Decides: 385 RSplits: 0
INFO - Times: Expl: 15.199 Prop: 48.369 PropClause: 41.245 Set: 43.984 Check: 0.012 Back: 5.566
INFO - Atoms: 1193/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 246492 Tprops: 0 Decides: 386 RSplits: 0
INFO - Times: Expl: 15.293 Prop: 48.637 PropClause: 41.482 Set: 44.143 Check: 0.012 Back: 5.631
INFO - Atoms: 1191/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 247727 Tprops: 0 Decides: 387 RSplits: 0
INFO - Times: Expl: 15.384 Prop: 48.887 PropClause: 41.7 Set: 44.306 Check: 0.012 Back: 5.696
INFO - Atoms: 1209/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 248960 Tprops: 0 Decides: 388 RSplits: 0
INFO - Times: Expl: 15.473 Prop: 49.136 PropClause: 41.912 Set: 44.463 Check: 0.012 Back: 5.761
INFO - Atoms: 1207/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 250175 Tprops: 0 Decides: 389 RSplits: 0
INFO - Times: Expl: 15.527 Prop: 49.354 PropClause: 42.099 Set: 44.617 Check: 0.012 Back: 5.825
INFO - Atoms: 1197/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 251446 Tprops: 0 Decides: 390 RSplits: 0
INFO - Times: Expl: 15.624 Prop: 49.663 PropClause: 42.375 Set: 44.729 Check: 0.012 Back: 5.89
INFO - Atoms: 1245/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 252705 Tprops: 0 Decides: 391 RSplits: 0
INFO - Times: Expl: 15.682 Prop: 49.904 PropClause: 42.585 Set: 44.834 Check: 0.012 Back: 5.96
INFO - Atoms: 1239/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 253976 Tprops: 0 Decides: 392 RSplits: 0
INFO - Times: Expl: 15.746 Prop: 50.153 PropClause: 42.801 Set: 44.942 Check: 0.012 Back: 6.027
INFO - Atoms: 1244/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 255227 Tprops: 0 Decides: 393 RSplits: 0
INFO - Times: Expl: 15.836 Prop: 50.427 PropClause: 43.043 Set: 45.048 Check: 0.012 Back: 6.094
INFO - Atoms: 1233/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 256490 Tprops: 0 Decides: 394 RSplits: 0
INFO - Times: Expl: 15.895 Prop: 50.667 PropClause: 43.25 Set: 45.155 Check: 0.012 Back: 6.163
INFO - Atoms: 1239/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 257743 Tprops: 0 Decides: 395 RSplits: 0
INFO - Times: Expl: 15.949 Prop: 50.905 PropClause: 43.456 Set: 45.26 Check: 0.012 Back: 6.227
INFO - Atoms: 1234/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 259000 Tprops: 0 Decides: 396 RSplits: 0
INFO - Times: Expl: 16.005 Prop: 51.153 PropClause: 43.671 Set: 45.366 Check: 0.012 Back: 6.293
INFO - Atoms: 1235/2224 Clauses: 610 Axioms: 5120
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 232 Props: 2970 Tprops: 0 Decides: 35898 RSplits: 0
INFO - Times: Expl: 34.851 Prop: 541.729 PropClause: 3.186 Set: 2268.882 Check: 92.719 Back: 77.674
INFO - Atoms: 93/621 Clauses: 232 Axioms: 782
INFO - CCTimes: iE 0 eq 12034826 cc 1213362 setRep 2429501
INFO - Merges: 26624, cc:0
INFO - BVTimes: BB 39488054 BB_DPLL 285195873 Graph 89158886
INFO - BitBlastingClauses: 123680 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat