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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 33454853
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 1039 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 1.076 Prop: 1.773 PropClause: 1.679 Set: 3.024 Check: 0.0 Back: 0.008
INFO - Atoms: 940/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 2072 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 1.335 Prop: 2.166 PropClause: 2.013 Set: 3.706 Check: 0.0 Back: 0.079
INFO - Atoms: 968/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 3101 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 1.537 Prop: 2.518 PropClause: 2.31 Set: 3.967 Check: 0.0 Back: 0.108
INFO - Atoms: 965/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 4132 Tprops: 0 Decides: 6 RSplits: 0
INFO - Times: Expl: 1.759 Prop: 2.871 PropClause: 2.573 Set: 4.219 Check: 0.0 Back: 0.138
INFO - Atoms: 966/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 5157 Tprops: 0 Decides: 7 RSplits: 0
INFO - Times: Expl: 1.948 Prop: 3.165 PropClause: 2.814 Set: 4.477 Check: 0.0 Back: 0.166
INFO - Atoms: 962/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 6182 Tprops: 0 Decides: 8 RSplits: 0
INFO - Times: Expl: 2.195 Prop: 3.546 PropClause: 3.103 Set: 4.74 Check: 0.0 Back: 0.196
INFO - Atoms: 961/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 7205 Tprops: 0 Decides: 9 RSplits: 0
INFO - Times: Expl: 2.392 Prop: 3.874 PropClause: 3.378 Set: 4.985 Check: 0.0 Back: 0.223
INFO - Atoms: 960/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 8228 Tprops: 0 Decides: 10 RSplits: 0
INFO - Times: Expl: 2.592 Prop: 4.238 PropClause: 3.69 Set: 5.28 Check: 0.0 Back: 0.251
INFO - Atoms: 959/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 9247 Tprops: 0 Decides: 11 RSplits: 0
INFO - Times: Expl: 2.795 Prop: 4.575 PropClause: 3.972 Set: 5.56 Check: 0.0 Back: 0.278
INFO - Atoms: 957/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 10268 Tprops: 0 Decides: 12 RSplits: 0
INFO - Times: Expl: 3.002 Prop: 4.905 PropClause: 4.249 Set: 8.116 Check: 0.0 Back: 0.306
INFO - Atoms: 957/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 11279 Tprops: 0 Decides: 13 RSplits: 0
INFO - Times: Expl: 3.144 Prop: 5.119 PropClause: 4.429 Set: 8.313 Check: 0.0 Back: 0.33
INFO - Atoms: 951/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 12294 Tprops: 0 Decides: 14 RSplits: 0
INFO - Times: Expl: 3.491 Prop: 8.109 PropClause: 5.956 Set: 10.672 Check: 0.002 Back: 0.357
INFO - Atoms: 952/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 13301 Tprops: 0 Decides: 15 RSplits: 0
INFO - Times: Expl: 3.68 Prop: 8.475 PropClause: 6.255 Set: 11.066 Check: 0.002 Back: 0.384
INFO - Atoms: 947/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 14310 Tprops: 0 Decides: 16 RSplits: 0
INFO - Times: Expl: 3.876 Prop: 8.838 PropClause: 6.551 Set: 11.465 Check: 0.002 Back: 0.411
INFO - Atoms: 947/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 15311 Tprops: 0 Decides: 17 RSplits: 0
INFO - Times: Expl: 4.102 Prop: 9.238 PropClause: 6.844 Set: 11.854 Check: 0.002 Back: 0.439
INFO - Atoms: 942/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 16312 Tprops: 0 Decides: 18 RSplits: 0
INFO - Times: Expl: 4.294 Prop: 9.599 PropClause: 7.141 Set: 12.22 Check: 0.002 Back: 0.464
INFO - Atoms: 941/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 17307 Tprops: 0 Decides: 19 RSplits: 0
INFO - Times: Expl: 4.502 Prop: 10.012 PropClause: 7.442 Set: 12.581 Check: 0.003 Back: 0.491
INFO - Atoms: 937/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 18304 Tprops: 0 Decides: 20 RSplits: 0
INFO - Times: Expl: 4.708 Prop: 10.401 PropClause: 7.762 Set: 14.375 Check: 0.003 Back: 0.517
INFO - Atoms: 937/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 19291 Tprops: 0 Decides: 21 RSplits: 0
INFO - Times: Expl: 4.915 Prop: 10.8 PropClause: 8.044 Set: 14.713 Check: 0.003 Back: 0.543
INFO - Atoms: 931/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 20282 Tprops: 0 Decides: 22 RSplits: 0
INFO - Times: Expl: 5.102 Prop: 11.216 PropClause: 8.352 Set: 15.061 Check: 0.003 Back: 0.57
INFO - Atoms: 932/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 21263 Tprops: 0 Decides: 23 RSplits: 0
INFO - Times: Expl: 5.414 Prop: 11.564 PropClause: 8.634 Set: 15.398 Check: 0.003 Back: 0.599
INFO - Atoms: 926/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 22246 Tprops: 0 Decides: 24 RSplits: 0
INFO - Times: Expl: 5.613 Prop: 11.931 PropClause: 8.927 Set: 15.682 Check: 0.003 Back: 0.625
INFO - Atoms: 926/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 23223 Tprops: 0 Decides: 25 RSplits: 0
INFO - Times: Expl: 5.809 Prop: 12.238 PropClause: 9.172 Set: 15.993 Check: 0.003 Back: 0.651
INFO - Atoms: 922/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 24198 Tprops: 0 Decides: 26 RSplits: 0
INFO - Times: Expl: 6.005 Prop: 12.532 PropClause: 9.406 Set: 16.294 Check: 0.004 Back: 0.677
INFO - Atoms: 920/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 25169 Tprops: 0 Decides: 27 RSplits: 0
INFO - Times: Expl: 6.195 Prop: 12.82 PropClause: 9.633 Set: 16.563 Check: 0.004 Back: 0.704
INFO - Atoms: 917/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 26140 Tprops: 0 Decides: 28 RSplits: 0
INFO - Times: Expl: 6.394 Prop: 13.153 PropClause: 9.873 Set: 16.856 Check: 0.004 Back: 0.73
INFO - Atoms: 916/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 27103 Tprops: 0 Decides: 29 RSplits: 0
INFO - Times: Expl: 6.584 Prop: 13.439 PropClause: 10.099 Set: 17.122 Check: 0.004 Back: 0.756
INFO - Atoms: 911/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 28070 Tprops: 0 Decides: 30 RSplits: 0
INFO - Times: Expl: 6.776 Prop: 13.727 PropClause: 10.328 Set: 17.378 Check: 0.004 Back: 0.783
INFO - Atoms: 912/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 29029 Tprops: 0 Decides: 31 RSplits: 0
INFO - Times: Expl: 6.975 Prop: 14.02 PropClause: 10.578 Set: 17.62 Check: 0.004 Back: 0.81
INFO - Atoms: 908/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 29994 Tprops: 0 Decides: 32 RSplits: 0
INFO - Times: Expl: 7.172 Prop: 14.309 PropClause: 10.825 Set: 17.884 Check: 0.004 Back: 0.835
INFO - Atoms: 910/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 30933 Tprops: 0 Decides: 33 RSplits: 0
INFO - Times: Expl: 7.502 Prop: 14.67 PropClause: 11.033 Set: 18.188 Check: 0.004 Back: 0.861
INFO - Atoms: 897/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 31908 Tprops: 0 Decides: 34 RSplits: 0
INFO - Times: Expl: 7.659 Prop: 14.916 PropClause: 11.237 Set: 18.441 Check: 0.005 Back: 0.887
INFO - Atoms: 914/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 32843 Tprops: 0 Decides: 35 RSplits: 0
INFO - Times: Expl: 7.837 Prop: 15.149 PropClause: 11.429 Set: 18.602 Check: 0.005 Back: 0.913
INFO - Atoms: 894/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 33814 Tprops: 0 Decides: 36 RSplits: 0
INFO - Times: Expl: 8.007 Prop: 15.39 PropClause: 11.631 Set: 18.723 Check: 0.005 Back: 0.938
INFO - Atoms: 911/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 34743 Tprops: 0 Decides: 37 RSplits: 0
INFO - Times: Expl: 8.772 Prop: 15.9 PropClause: 12.094 Set: 18.842 Check: 0.005 Back: 0.963
INFO - Atoms: 889/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 35712 Tprops: 0 Decides: 38 RSplits: 0
INFO - Times: Expl: 8.987 Prop: 16.146 PropClause: 12.29 Set: 18.952 Check: 0.005 Back: 0.985
INFO - Atoms: 909/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 36639 Tprops: 0 Decides: 39 RSplits: 0
INFO - Times: Expl: 9.179 Prop: 16.413 PropClause: 12.5 Set: 19.074 Check: 0.005 Back: 1.01
INFO - Atoms: 887/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 37604 Tprops: 0 Decides: 40 RSplits: 0
INFO - Times: Expl: 9.359 Prop: 16.663 PropClause: 12.705 Set: 19.217 Check: 0.005 Back: 1.035
INFO - Atoms: 906/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 38616 Tprops: 0 Decides: 42 RSplits: 0
INFO - Times: Expl: 9.597 Prop: 16.879 PropClause: 12.891 Set: 19.323 Check: 0.005 Back: 1.062
INFO - Atoms: 882/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 39686 Tprops: 0 Decides: 44 RSplits: 0
INFO - Times: Expl: 9.801 Prop: 17.084 PropClause: 13.067 Set: 19.431 Check: 0.005 Back: 1.088
INFO - Atoms: 910/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 40754 Tprops: 0 Decides: 46 RSplits: 0
INFO - Times: Expl: 10.041 Prop: 17.355 PropClause: 13.301 Set: 19.57 Check: 0.005 Back: 1.116
INFO - Atoms: 908/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 41816 Tprops: 0 Decides: 48 RSplits: 0
INFO - Times: Expl: 10.138 Prop: 17.565 PropClause: 13.482 Set: 19.675 Check: 0.006 Back: 1.143
INFO - Atoms: 904/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 42785 Tprops: 0 Decides: 49 RSplits: 0
INFO - Times: Expl: 10.194 Prop: 17.74 PropClause: 13.63 Set: 19.778 Check: 0.006 Back: 1.166
INFO - Atoms: 904/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 43746 Tprops: 0 Decides: 50 RSplits: 0
INFO - Times: Expl: 10.264 Prop: 17.915 PropClause: 13.779 Set: 19.88 Check: 0.006 Back: 1.19
INFO - Atoms: 899/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 44707 Tprops: 0 Decides: 51 RSplits: 0
INFO - Times: Expl: 10.359 Prop: 18.122 PropClause: 13.956 Set: 19.984 Check: 0.006 Back: 1.213
INFO - Atoms: 898/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 45664 Tprops: 0 Decides: 52 RSplits: 0
INFO - Times: Expl: 10.439 Prop: 18.3 PropClause: 14.108 Set: 20.082 Check: 0.006 Back: 1.237
INFO - Atoms: 895/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 46617 Tprops: 0 Decides: 53 RSplits: 0
INFO - Times: Expl: 10.528 Prop: 18.481 PropClause: 14.263 Set: 20.247 Check: 0.006 Back: 1.261
INFO - Atoms: 892/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 47570 Tprops: 0 Decides: 54 RSplits: 0
INFO - Times: Expl: 10.637 Prop: 18.673 PropClause: 14.428 Set: 20.431 Check: 0.006 Back: 1.283
INFO - Atoms: 891/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 48517 Tprops: 0 Decides: 55 RSplits: 0
INFO - Times: Expl: 10.749 Prop: 18.896 PropClause: 14.62 Set: 20.654 Check: 0.006 Back: 1.306
INFO - Atoms: 887/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 49462 Tprops: 0 Decides: 56 RSplits: 0
INFO - Times: Expl: 10.84 Prop: 19.109 PropClause: 14.802 Set: 20.827 Check: 0.006 Back: 1.328
INFO - Atoms: 885/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 50403 Tprops: 0 Decides: 57 RSplits: 0
INFO - Times: Expl: 10.917 Prop: 19.288 PropClause: 14.955 Set: 20.97 Check: 0.006 Back: 1.351
INFO - Atoms: 882/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 51344 Tprops: 0 Decides: 58 RSplits: 0
INFO - Times: Expl: 10.967 Prop: 19.468 PropClause: 15.109 Set: 21.113 Check: 0.006 Back: 1.373
INFO - Atoms: 881/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 52279 Tprops: 0 Decides: 59 RSplits: 0
INFO - Times: Expl: 11.01 Prop: 19.643 PropClause: 15.258 Set: 21.256 Check: 0.006 Back: 1.394
INFO - Atoms: 877/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 53212 Tprops: 0 Decides: 60 RSplits: 0
INFO - Times: Expl: 11.073 Prop: 19.855 PropClause: 15.438 Set: 21.436 Check: 0.006 Back: 1.416
INFO - Atoms: 875/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 54143 Tprops: 0 Decides: 61 RSplits: 0
INFO - Times: Expl: 11.123 Prop: 20.04 PropClause: 15.591 Set: 21.586 Check: 0.006 Back: 1.439
INFO - Atoms: 873/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 55070 Tprops: 0 Decides: 62 RSplits: 0
INFO - Times: Expl: 11.167 Prop: 20.212 PropClause: 15.738 Set: 21.729 Check: 0.006 Back: 1.46
INFO - Atoms: 870/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 55993 Tprops: 0 Decides: 63 RSplits: 0
INFO - Times: Expl: 11.252 Prop: 20.41 PropClause: 15.91 Set: 21.863 Check: 0.006 Back: 1.482
INFO - Atoms: 867/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 56914 Tprops: 0 Decides: 64 RSplits: 0
INFO - Times: Expl: 11.346 Prop: 20.586 PropClause: 16.06 Set: 22.003 Check: 0.006 Back: 1.505
INFO - Atoms: 865/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 57831 Tprops: 0 Decides: 65 RSplits: 0
INFO - Times: Expl: 11.415 Prop: 20.799 PropClause: 16.243 Set: 22.184 Check: 0.006 Back: 1.526
INFO - Atoms: 862/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 58748 Tprops: 0 Decides: 66 RSplits: 0
INFO - Times: Expl: 11.486 Prop: 20.975 PropClause: 16.394 Set: 22.334 Check: 0.006 Back: 1.548
INFO - Atoms: 861/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 59657 Tprops: 0 Decides: 67 RSplits: 0
INFO - Times: Expl: 11.531 Prop: 21.162 PropClause: 16.538 Set: 22.421 Check: 0.006 Back: 1.572
INFO - Atoms: 856/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 60570 Tprops: 0 Decides: 68 RSplits: 0
INFO - Times: Expl: 11.567 Prop: 21.338 PropClause: 16.67 Set: 22.503 Check: 0.006 Back: 1.593
INFO - Atoms: 857/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 61471 Tprops: 0 Decides: 69 RSplits: 0
INFO - Times: Expl: 11.602 Prop: 21.492 PropClause: 16.8 Set: 22.583 Check: 0.006 Back: 1.614
INFO - Atoms: 850/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 62378 Tprops: 0 Decides: 70 RSplits: 0
INFO - Times: Expl: 11.637 Prop: 21.645 PropClause: 16.931 Set: 22.665 Check: 0.006 Back: 1.637
INFO - Atoms: 852/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 63273 Tprops: 0 Decides: 71 RSplits: 0
INFO - Times: Expl: 11.671 Prop: 21.798 PropClause: 17.06 Set: 22.745 Check: 0.007 Back: 1.66
INFO - Atoms: 845/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 64174 Tprops: 0 Decides: 72 RSplits: 0
INFO - Times: Expl: 11.707 Prop: 21.957 PropClause: 17.196 Set: 22.828 Check: 0.007 Back: 1.682
INFO - Atoms: 847/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 65065 Tprops: 0 Decides: 73 RSplits: 0
INFO - Times: Expl: 11.767 Prop: 22.149 PropClause: 17.36 Set: 22.935 Check: 0.007 Back: 1.702
INFO - Atoms: 841/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 65962 Tprops: 0 Decides: 74 RSplits: 0
INFO - Times: Expl: 11.883 Prop: 22.351 PropClause: 17.535 Set: 23.044 Check: 0.007 Back: 1.725
INFO - Atoms: 844/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 66853 Tprops: 0 Decides: 75 RSplits: 0
INFO - Times: Expl: 11.945 Prop: 22.54 PropClause: 17.697 Set: 23.149 Check: 0.007 Back: 1.748
INFO - Atoms: 841/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 67750 Tprops: 0 Decides: 76 RSplits: 0
INFO - Times: Expl: 11.994 Prop: 22.728 PropClause: 17.857 Set: 23.254 Check: 0.007 Back: 1.771
INFO - Atoms: 844/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 68862 Tprops: 0 Decides: 79 RSplits: 0
INFO - Times: Expl: 12.064 Prop: 22.989 PropClause: 18.084 Set: 23.371 Check: 0.007 Back: 1.799
INFO - Atoms: 857/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 69877 Tprops: 0 Decides: 81 RSplits: 0
INFO - Times: Expl: 12.248 Prop: 23.228 PropClause: 18.292 Set: 23.48 Check: 0.007 Back: 1.825
INFO - Atoms: 855/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 70882 Tprops: 0 Decides: 83 RSplits: 0
INFO - Times: Expl: 12.33 Prop: 23.463 PropClause: 18.496 Set: 23.59 Check: 0.007 Back: 1.851
INFO - Atoms: 849/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 71889 Tprops: 0 Decides: 85 RSplits: 0
INFO - Times: Expl: 12.395 Prop: 23.692 PropClause: 18.695 Set: 23.7 Check: 0.007 Back: 1.877
INFO - Atoms: 849/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 72796 Tprops: 0 Decides: 86 RSplits: 0
INFO - Times: Expl: 12.449 Prop: 23.89 PropClause: 18.865 Set: 23.806 Check: 0.007 Back: 1.9
INFO - Atoms: 845/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 73706 Tprops: 0 Decides: 87 RSplits: 0
INFO - Times: Expl: 12.511 Prop: 24.091 PropClause: 19.038 Set: 23.913 Check: 0.007 Back: 1.924
INFO - Atoms: 847/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 74612 Tprops: 0 Decides: 88 RSplits: 0
INFO - Times: Expl: 12.564 Prop: 24.291 PropClause: 19.204 Set: 24.021 Check: 0.007 Back: 1.948
INFO - Atoms: 843/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 75513 Tprops: 0 Decides: 89 RSplits: 0
INFO - Times: Expl: 12.614 Prop: 24.478 PropClause: 19.364 Set: 24.124 Check: 0.007 Back: 1.972
INFO - Atoms: 841/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 76416 Tprops: 0 Decides: 90 RSplits: 0
INFO - Times: Expl: 12.693 Prop: 24.673 PropClause: 19.531 Set: 24.231 Check: 0.007 Back: 1.995
INFO - Atoms: 841/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 77317 Tprops: 0 Decides: 91 RSplits: 0
INFO - Times: Expl: 12.75 Prop: 24.872 PropClause: 19.703 Set: 24.34 Check: 0.007 Back: 2.018
INFO - Atoms: 840/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 78218 Tprops: 0 Decides: 92 RSplits: 0
INFO - Times: Expl: 12.786 Prop: 25.033 PropClause: 19.84 Set: 24.421 Check: 0.007 Back: 2.041
INFO - Atoms: 839/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 79105 Tprops: 0 Decides: 93 RSplits: 0
INFO - Times: Expl: 12.835 Prop: 25.188 PropClause: 19.973 Set: 24.498 Check: 0.008 Back: 2.067
INFO - Atoms: 831/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 80006 Tprops: 0 Decides: 94 RSplits: 0
INFO - Times: Expl: 12.873 Prop: 25.345 PropClause: 20.107 Set: 24.577 Check: 0.008 Back: 2.088
INFO - Atoms: 838/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 80887 Tprops: 0 Decides: 95 RSplits: 0
INFO - Times: Expl: 12.905 Prop: 25.5 PropClause: 20.239 Set: 24.656 Check: 0.008 Back: 2.108
INFO - Atoms: 827/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 81780 Tprops: 0 Decides: 96 RSplits: 0
INFO - Times: Expl: 12.939 Prop: 25.657 PropClause: 20.373 Set: 24.734 Check: 0.008 Back: 2.129
INFO - Atoms: 832/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 82663 Tprops: 0 Decides: 97 RSplits: 0
INFO - Times: Expl: 12.973 Prop: 25.813 PropClause: 20.505 Set: 24.811 Check: 0.008 Back: 2.151
INFO - Atoms: 826/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 83546 Tprops: 0 Decides: 98 RSplits: 0
INFO - Times: Expl: 13.006 Prop: 25.968 PropClause: 20.638 Set: 24.888 Check: 0.008 Back: 2.173
INFO - Atoms: 825/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 84409 Tprops: 0 Decides: 99 RSplits: 0
INFO - Times: Expl: 13.046 Prop: 26.133 PropClause: 20.77 Set: 24.963 Check: 0.008 Back: 2.193
INFO - Atoms: 814/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 85294 Tprops: 0 Decides: 100 RSplits: 0
INFO - Times: Expl: 13.176 Prop: 26.378 PropClause: 20.97 Set: 25.069 Check: 0.008 Back: 2.213
INFO - Atoms: 824/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 86143 Tprops: 0 Decides: 101 RSplits: 0
INFO - Times: Expl: 13.227 Prop: 26.559 PropClause: 21.125 Set: 25.165 Check: 0.008 Back: 2.236
INFO - Atoms: 805/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 87022 Tprops: 0 Decides: 102 RSplits: 0
INFO - Times: Expl: 13.294 Prop: 26.757 PropClause: 21.288 Set: 25.267 Check: 0.008 Back: 2.258
INFO - Atoms: 819/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 87877 Tprops: 0 Decides: 103 RSplits: 0
INFO - Times: Expl: 13.368 Prop: 26.958 PropClause: 21.453 Set: 25.376 Check: 0.008 Back: 2.28
INFO - Atoms: 806/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 88744 Tprops: 0 Decides: 104 RSplits: 0
INFO - Times: Expl: 13.413 Prop: 27.116 PropClause: 21.589 Set: 25.455 Check: 0.008 Back: 2.302
INFO - Atoms: 811/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 89573 Tprops: 0 Decides: 105 RSplits: 0
INFO - Times: Expl: 13.451 Prop: 27.297 PropClause: 21.743 Set: 25.551 Check: 0.008 Back: 2.324
INFO - Atoms: 791/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 90442 Tprops: 0 Decides: 106 RSplits: 0
INFO - Times: Expl: 13.514 Prop: 27.473 PropClause: 21.894 Set: 25.636 Check: 0.008 Back: 2.347
INFO - Atoms: 810/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 91267 Tprops: 0 Decides: 107 RSplits: 0
INFO - Times: Expl: 13.553 Prop: 27.617 PropClause: 22.017 Set: 25.707 Check: 0.008 Back: 2.368
INFO - Atoms: 787/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 92120 Tprops: 0 Decides: 108 RSplits: 0
INFO - Times: Expl: 13.62 Prop: 27.805 PropClause: 22.18 Set: 25.803 Check: 0.008 Back: 2.387
INFO - Atoms: 800/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 92959 Tprops: 0 Decides: 109 RSplits: 0
INFO - Times: Expl: 13.656 Prop: 27.985 PropClause: 22.334 Set: 25.9 Check: 0.008 Back: 2.408
INFO - Atoms: 792/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 93806 Tprops: 0 Decides: 110 RSplits: 0
INFO - Times: Expl: 13.693 Prop: 28.168 PropClause: 22.491 Set: 25.997 Check: 0.008 Back: 2.43
INFO - Atoms: 795/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 94611 Tprops: 0 Decides: 111 RSplits: 0
INFO - Times: Expl: 13.728 Prop: 28.341 PropClause: 22.639 Set: 26.092 Check: 0.008 Back: 2.45
INFO - Atoms: 773/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 95466 Tprops: 0 Decides: 112 RSplits: 0
INFO - Times: Expl: 13.776 Prop: 28.541 PropClause: 22.812 Set: 26.193 Check: 0.008 Back: 2.471
INFO - Atoms: 797/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 96259 Tprops: 0 Decides: 113 RSplits: 0
INFO - Times: Expl: 13.813 Prop: 28.709 PropClause: 22.957 Set: 26.28 Check: 0.008 Back: 2.492
INFO - Atoms: 765/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 97523 Tprops: 0 Decides: 130 RSplits: 0
INFO - Times: Expl: 13.895 Prop: 29.026 PropClause: 23.234 Set: 26.381 Check: 0.009 Back: 2.523
INFO - Atoms: 770/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 98480 Tprops: 0 Decides: 132 RSplits: 0
INFO - Times: Expl: 13.928 Prop: 29.223 PropClause: 23.398 Set: 26.46 Check: 0.009 Back: 2.544
INFO - Atoms: 798/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 99435 Tprops: 0 Decides: 134 RSplits: 0
INFO - Times: Expl: 13.961 Prop: 29.4 PropClause: 23.551 Set: 26.537 Check: 0.009 Back: 2.568
INFO - Atoms: 796/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 100386 Tprops: 0 Decides: 136 RSplits: 0
INFO - Times: Expl: 13.993 Prop: 29.578 PropClause: 23.704 Set: 26.616 Check: 0.009 Back: 2.589
INFO - Atoms: 793/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 101239 Tprops: 0 Decides: 137 RSplits: 0
INFO - Times: Expl: 14.033 Prop: 29.769 PropClause: 23.869 Set: 26.72 Check: 0.009 Back: 2.609
INFO - Atoms: 790/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 102090 Tprops: 0 Decides: 138 RSplits: 0
INFO - Times: Expl: 14.071 Prop: 29.95 PropClause: 24.024 Set: 26.82 Check: 0.009 Back: 2.63
INFO - Atoms: 788/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 102937 Tprops: 0 Decides: 139 RSplits: 0
INFO - Times: Expl: 14.11 Prop: 30.138 PropClause: 24.187 Set: 26.92 Check: 0.009 Back: 2.652
INFO - Atoms: 785/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 103784 Tprops: 0 Decides: 140 RSplits: 0
INFO - Times: Expl: 14.145 Prop: 30.314 PropClause: 24.337 Set: 27.022 Check: 0.009 Back: 2.673
INFO - Atoms: 784/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 104623 Tprops: 0 Decides: 141 RSplits: 0
INFO - Times: Expl: 14.18 Prop: 30.493 PropClause: 24.49 Set: 27.12 Check: 0.009 Back: 2.695
INFO - Atoms: 779/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 105464 Tprops: 0 Decides: 142 RSplits: 0
INFO - Times: Expl: 14.214 Prop: 30.677 PropClause: 24.647 Set: 27.222 Check: 0.009 Back: 2.716
INFO - Atoms: 779/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 106297 Tprops: 0 Decides: 143 RSplits: 0
INFO - Times: Expl: 14.247 Prop: 30.85 PropClause: 24.796 Set: 27.318 Check: 0.009 Back: 2.738
INFO - Atoms: 774/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 107132 Tprops: 0 Decides: 144 RSplits: 0
INFO - Times: Expl: 14.28 Prop: 31.026 PropClause: 24.947 Set: 27.416 Check: 0.009 Back: 2.759
INFO - Atoms: 774/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 107959 Tprops: 0 Decides: 145 RSplits: 0
INFO - Times: Expl: 14.315 Prop: 31.205 PropClause: 25.101 Set: 27.51 Check: 0.009 Back: 2.78
INFO - Atoms: 769/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 108790 Tprops: 0 Decides: 146 RSplits: 0
INFO - Times: Expl: 14.352 Prop: 31.395 PropClause: 25.265 Set: 27.604 Check: 0.009 Back: 2.801
INFO - Atoms: 770/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 109609 Tprops: 0 Decides: 147 RSplits: 0
INFO - Times: Expl: 14.388 Prop: 31.582 PropClause: 25.424 Set: 27.707 Check: 0.01 Back: 2.822
INFO - Atoms: 763/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 110434 Tprops: 0 Decides: 148 RSplits: 0
INFO - Times: Expl: 14.449 Prop: 31.755 PropClause: 25.573 Set: 27.802 Check: 0.01 Back: 2.843
INFO - Atoms: 765/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 111247 Tprops: 0 Decides: 149 RSplits: 0
INFO - Times: Expl: 14.526 Prop: 31.934 PropClause: 25.727 Set: 27.895 Check: 0.01 Back: 2.863
INFO - Atoms: 758/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 112068 Tprops: 0 Decides: 150 RSplits: 0
INFO - Times: Expl: 14.559 Prop: 32.111 PropClause: 25.88 Set: 27.99 Check: 0.01 Back: 2.883
INFO - Atoms: 761/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 112873 Tprops: 0 Decides: 151 RSplits: 0
INFO - Times: Expl: 14.61 Prop: 32.287 PropClause: 26.032 Set: 28.081 Check: 0.01 Back: 2.903
INFO - Atoms: 752/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 113688 Tprops: 0 Decides: 152 RSplits: 0
INFO - Times: Expl: 14.649 Prop: 32.466 PropClause: 26.187 Set: 28.172 Check: 0.01 Back: 2.923
INFO - Atoms: 756/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 114487 Tprops: 0 Decides: 153 RSplits: 0
INFO - Times: Expl: 14.682 Prop: 32.646 PropClause: 26.343 Set: 28.261 Check: 0.01 Back: 2.944
INFO - Atoms: 747/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 115298 Tprops: 0 Decides: 154 RSplits: 0
INFO - Times: Expl: 14.717 Prop: 32.822 PropClause: 26.495 Set: 28.357 Check: 0.01 Back: 2.964
INFO - Atoms: 752/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 116091 Tprops: 0 Decides: 155 RSplits: 0
INFO - Times: Expl: 14.749 Prop: 32.992 PropClause: 26.642 Set: 28.445 Check: 0.01 Back: 2.983
INFO - Atoms: 742/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 116896 Tprops: 0 Decides: 156 RSplits: 0
INFO - Times: Expl: 14.782 Prop: 33.169 PropClause: 26.793 Set: 28.538 Check: 0.01 Back: 3.004
INFO - Atoms: 747/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 117683 Tprops: 0 Decides: 157 RSplits: 0
INFO - Times: Expl: 14.817 Prop: 33.349 PropClause: 26.949 Set: 28.627 Check: 0.01 Back: 3.024
INFO - Atoms: 737/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 118482 Tprops: 0 Decides: 158 RSplits: 0
INFO - Times: Expl: 14.85 Prop: 33.527 PropClause: 27.102 Set: 28.717 Check: 0.01 Back: 3.044
INFO - Atoms: 742/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 119261 Tprops: 0 Decides: 159 RSplits: 0
INFO - Times: Expl: 14.884 Prop: 33.698 PropClause: 27.249 Set: 28.804 Check: 0.01 Back: 3.064
INFO - Atoms: 731/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 120058 Tprops: 0 Decides: 160 RSplits: 0
INFO - Times: Expl: 14.916 Prop: 33.854 PropClause: 27.383 Set: 28.881 Check: 0.01 Back: 3.084
INFO - Atoms: 740/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 120835 Tprops: 0 Decides: 161 RSplits: 0
INFO - Times: Expl: 15.182 Prop: 34.024 PropClause: 27.529 Set: 28.967 Check: 0.01 Back: 3.103
INFO - Atoms: 729/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 121628 Tprops: 0 Decides: 162 RSplits: 0
INFO - Times: Expl: 15.23 Prop: 34.209 PropClause: 27.691 Set: 29.057 Check: 0.01 Back: 3.123
INFO - Atoms: 737/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 122403 Tprops: 0 Decides: 163 RSplits: 0
INFO - Times: Expl: 15.276 Prop: 34.392 PropClause: 27.849 Set: 29.144 Check: 0.01 Back: 3.143
INFO - Atoms: 727/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 123190 Tprops: 0 Decides: 164 RSplits: 0
INFO - Times: Expl: 15.315 Prop: 34.562 PropClause: 27.994 Set: 29.23 Check: 0.01 Back: 3.163
INFO - Atoms: 732/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 123961 Tprops: 0 Decides: 165 RSplits: 0
INFO - Times: Expl: 15.352 Prop: 34.735 PropClause: 28.144 Set: 29.32 Check: 0.01 Back: 3.183
INFO - Atoms: 724/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 124744 Tprops: 0 Decides: 166 RSplits: 0
INFO - Times: Expl: 15.39 Prop: 34.912 PropClause: 28.297 Set: 29.408 Check: 0.01 Back: 3.203
INFO - Atoms: 729/1436 Clauses: 394 Axioms: 3360
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 216 Props: 2876 Tprops: 0 Decides: 15016 RSplits: 0
INFO - Times: Expl: 39.392 Prop: 365.613 PropClause: 2.461 Set: 1111.769 Check: 3.377 Back: 19.578
INFO - Atoms: 52/425 Clauses: 216 Axioms: 546
INFO - CCTimes: iE 0 eq 21443890 cc 811492 setRep 6849332
INFO - Merges: 13924, cc:0
INFO - BVTimes: BB 33446236 BB_DPLL 213536417 Graph 390989
INFO - BitBlastingClauses: 56672 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat