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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 48835621
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 1503 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 0.825 Prop: 0.625 PropClause: 0.54 Set: 1.637 Check: 0.0 Back: 0.006
INFO - Atoms: 1404/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 3046 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 1.043 Prop: 1.069 PropClause: 0.927 Set: 2.018 Check: 0.0 Back: 0.065
INFO - Atoms: 1447/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 4583 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 1.277 Prop: 1.425 PropClause: 1.198 Set: 2.355 Check: 0.0 Back: 0.1
INFO - Atoms: 1443/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 6120 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 1.515 Prop: 1.829 PropClause: 1.515 Set: 3.055 Check: 0.0 Back: 0.135
INFO - Atoms: 1443/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 7651 Tprops: 0 Decides: 6 RSplits: 0
INFO - Times: Expl: 1.73 Prop: 2.201 PropClause: 1.829 Set: 3.505 Check: 0.0 Back: 0.171
INFO - Atoms: 1439/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 9176 Tprops: 0 Decides: 7 RSplits: 0
INFO - Times: Expl: 1.925 Prop: 2.559 PropClause: 2.137 Set: 3.933 Check: 0.0 Back: 0.206
INFO - Atoms: 1435/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 10713 Tprops: 0 Decides: 8 RSplits: 0
INFO - Times: Expl: 2.15 Prop: 2.931 PropClause: 2.455 Set: 7.725 Check: 0.0 Back: 0.24
INFO - Atoms: 1440/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 12230 Tprops: 0 Decides: 9 RSplits: 0
INFO - Times: Expl: 2.356 Prop: 3.279 PropClause: 2.749 Set: 8.088 Check: 0.0 Back: 0.275
INFO - Atoms: 1429/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 13769 Tprops: 0 Decides: 10 RSplits: 0
INFO - Times: Expl: 2.572 Prop: 4.959 PropClause: 3.068 Set: 8.463 Check: 0.001 Back: 0.31
INFO - Atoms: 1439/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 15286 Tprops: 0 Decides: 11 RSplits: 0
INFO - Times: Expl: 2.786 Prop: 5.355 PropClause: 3.401 Set: 8.815 Check: 0.001 Back: 0.345
INFO - Atoms: 1429/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 16823 Tprops: 0 Decides: 12 RSplits: 0
INFO - Times: Expl: 2.998 Prop: 5.751 PropClause: 3.734 Set: 9.189 Check: 0.001 Back: 0.381
INFO - Atoms: 1438/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 18336 Tprops: 0 Decides: 13 RSplits: 0
INFO - Times: Expl: 3.207 Prop: 6.136 PropClause: 4.056 Set: 9.536 Check: 0.001 Back: 0.416
INFO - Atoms: 1425/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 19861 Tprops: 0 Decides: 14 RSplits: 0
INFO - Times: Expl: 3.424 Prop: 6.539 PropClause: 4.38 Set: 9.883 Check: 0.001 Back: 0.45
INFO - Atoms: 1430/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 21358 Tprops: 0 Decides: 15 RSplits: 0
INFO - Times: Expl: 3.623 Prop: 6.885 PropClause: 4.684 Set: 10.221 Check: 0.001 Back: 0.485
INFO - Atoms: 1415/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 22877 Tprops: 0 Decides: 16 RSplits: 0
INFO - Times: Expl: 3.83 Prop: 7.25 PropClause: 5.007 Set: 10.604 Check: 0.001 Back: 0.519
INFO - Atoms: 1425/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 24370 Tprops: 0 Decides: 17 RSplits: 0
INFO - Times: Expl: 4.026 Prop: 7.6 PropClause: 5.316 Set: 10.939 Check: 0.001 Back: 0.554
INFO - Atoms: 1411/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 25877 Tprops: 0 Decides: 18 RSplits: 0
INFO - Times: Expl: 4.232 Prop: 8.012 PropClause: 5.64 Set: 11.42 Check: 0.001 Back: 0.588
INFO - Atoms: 1417/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 27378 Tprops: 0 Decides: 19 RSplits: 0
INFO - Times: Expl: 4.447 Prop: 8.425 PropClause: 5.973 Set: 11.864 Check: 0.001 Back: 0.622
INFO - Atoms: 1413/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 28873 Tprops: 0 Decides: 20 RSplits: 0
INFO - Times: Expl: 4.669 Prop: 8.829 PropClause: 6.337 Set: 12.249 Check: 0.001 Back: 0.656
INFO - Atoms: 1409/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 30358 Tprops: 0 Decides: 21 RSplits: 0
INFO - Times: Expl: 4.87 Prop: 9.197 PropClause: 6.662 Set: 12.614 Check: 0.001 Back: 0.69
INFO - Atoms: 1404/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 31861 Tprops: 0 Decides: 22 RSplits: 0
INFO - Times: Expl: 5.175 Prop: 9.569 PropClause: 6.994 Set: 12.92 Check: 0.001 Back: 0.724
INFO - Atoms: 1412/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 33336 Tprops: 0 Decides: 23 RSplits: 0
INFO - Times: Expl: 5.367 Prop: 9.885 PropClause: 7.263 Set: 13.222 Check: 0.001 Back: 0.764
INFO - Atoms: 1397/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 34823 Tprops: 0 Decides: 24 RSplits: 0
INFO - Times: Expl: 5.563 Prop: 10.227 PropClause: 7.565 Set: 13.514 Check: 0.001 Back: 0.797
INFO - Atoms: 1402/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 36306 Tprops: 0 Decides: 25 RSplits: 0
INFO - Times: Expl: 5.76 Prop: 10.521 PropClause: 7.815 Set: 13.666 Check: 0.001 Back: 0.831
INFO - Atoms: 1399/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 37783 Tprops: 0 Decides: 26 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 10.812 PropClause: 8.061 Set: 13.802 Check: 0.002 Back: 0.866
INFO - Atoms: 1395/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 39240 Tprops: 0 Decides: 27 RSplits: 0
INFO - Times: Expl: 6.186 Prop: 11.105 PropClause: 8.316 Set: 13.936 Check: 0.002 Back: 0.901
INFO - Atoms: 1384/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 40723 Tprops: 0 Decides: 28 RSplits: 0
INFO - Times: Expl: 6.396 Prop: 11.437 PropClause: 8.608 Set: 14.073 Check: 0.002 Back: 0.935
INFO - Atoms: 1396/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 42176 Tprops: 0 Decides: 29 RSplits: 0
INFO - Times: Expl: 6.604 Prop: 11.721 PropClause: 8.839 Set: 14.205 Check: 0.002 Back: 0.969
INFO - Atoms: 1381/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 43645 Tprops: 0 Decides: 30 RSplits: 0
INFO - Times: Expl: 6.826 Prop: 12.029 PropClause: 9.097 Set: 14.337 Check: 0.002 Back: 1.003
INFO - Atoms: 1388/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 45112 Tprops: 0 Decides: 31 RSplits: 0
INFO - Times: Expl: 7.058 Prop: 12.329 PropClause: 9.343 Set: 14.472 Check: 0.002 Back: 1.038
INFO - Atoms: 1386/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 46571 Tprops: 0 Decides: 32 RSplits: 0
INFO - Times: Expl: 7.283 Prop: 12.6 PropClause: 9.563 Set: 14.603 Check: 0.002 Back: 1.073
INFO - Atoms: 1381/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 48012 Tprops: 0 Decides: 33 RSplits: 0
INFO - Times: Expl: 7.457 Prop: 12.855 PropClause: 9.78 Set: 14.732 Check: 0.002 Back: 1.106
INFO - Atoms: 1372/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 49489 Tprops: 0 Decides: 34 RSplits: 0
INFO - Times: Expl: 7.666 Prop: 13.139 PropClause: 10.018 Set: 14.865 Check: 0.002 Back: 1.139
INFO - Atoms: 1390/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 50922 Tprops: 0 Decides: 35 RSplits: 0
INFO - Times: Expl: 8.05 Prop: 13.403 PropClause: 10.236 Set: 14.993 Check: 0.002 Back: 1.172
INFO - Atoms: 1367/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 52377 Tprops: 0 Decides: 36 RSplits: 0
INFO - Times: Expl: 8.194 Prop: 13.662 PropClause: 10.458 Set: 15.121 Check: 0.002 Back: 1.204
INFO - Atoms: 1377/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 53836 Tprops: 0 Decides: 37 RSplits: 0
INFO - Times: Expl: 8.336 Prop: 13.919 PropClause: 10.677 Set: 15.252 Check: 0.002 Back: 1.237
INFO - Atoms: 1378/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 55279 Tprops: 0 Decides: 38 RSplits: 0
INFO - Times: Expl: 8.484 Prop: 14.174 PropClause: 10.894 Set: 15.379 Check: 0.002 Back: 1.27
INFO - Atoms: 1369/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 56702 Tprops: 0 Decides: 39 RSplits: 0
INFO - Times: Expl: 8.625 Prop: 14.426 PropClause: 11.11 Set: 15.505 Check: 0.002 Back: 1.302
INFO - Atoms: 1358/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 58159 Tprops: 0 Decides: 40 RSplits: 0
INFO - Times: Expl: 8.778 Prop: 14.692 PropClause: 11.338 Set: 15.635 Check: 0.002 Back: 1.334
INFO - Atoms: 1374/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 59572 Tprops: 0 Decides: 41 RSplits: 0
INFO - Times: Expl: 8.883 Prop: 14.939 PropClause: 11.548 Set: 15.759 Check: 0.002 Back: 1.367
INFO - Atoms: 1351/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 60997 Tprops: 0 Decides: 42 RSplits: 0
INFO - Times: Expl: 8.986 Prop: 15.211 PropClause: 11.775 Set: 15.889 Check: 0.002 Back: 1.399
INFO - Atoms: 1356/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 62440 Tprops: 0 Decides: 43 RSplits: 0
INFO - Times: Expl: 9.045 Prop: 15.492 PropClause: 12.018 Set: 16.101 Check: 0.002 Back: 1.431
INFO - Atoms: 1364/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 63855 Tprops: 0 Decides: 44 RSplits: 0
INFO - Times: Expl: 9.115 Prop: 15.768 PropClause: 12.257 Set: 16.302 Check: 0.002 Back: 1.463
INFO - Atoms: 1349/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 65254 Tprops: 0 Decides: 45 RSplits: 0
INFO - Times: Expl: 9.188 Prop: 16.031 PropClause: 12.483 Set: 16.505 Check: 0.002 Back: 1.502
INFO - Atoms: 1340/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 66691 Tprops: 0 Decides: 46 RSplits: 0
INFO - Times: Expl: 9.257 Prop: 16.314 PropClause: 12.728 Set: 16.712 Check: 0.002 Back: 1.534
INFO - Atoms: 1358/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 68084 Tprops: 0 Decides: 47 RSplits: 0
INFO - Times: Expl: 9.324 Prop: 16.59 PropClause: 12.967 Set: 16.904 Check: 0.002 Back: 1.566
INFO - Atoms: 1335/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 69485 Tprops: 0 Decides: 48 RSplits: 0
INFO - Times: Expl: 9.394 Prop: 16.863 PropClause: 13.204 Set: 17.093 Check: 0.002 Back: 1.598
INFO - Atoms: 1338/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 70906 Tprops: 0 Decides: 49 RSplits: 0
INFO - Times: Expl: 9.464 Prop: 17.13 PropClause: 13.434 Set: 17.292 Check: 0.002 Back: 1.629
INFO - Atoms: 1347/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 72301 Tprops: 0 Decides: 50 RSplits: 0
INFO - Times: Expl: 9.547 Prop: 17.409 PropClause: 13.675 Set: 17.487 Check: 0.002 Back: 1.661
INFO - Atoms: 1333/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 73908 Tprops: 0 Decides: 54 RSplits: 0
INFO - Times: Expl: 9.634 Prop: 17.738 PropClause: 13.962 Set: 17.691 Check: 0.003 Back: 1.698
INFO - Atoms: 1320/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 75509 Tprops: 0 Decides: 56 RSplits: 0
INFO - Times: Expl: 9.716 Prop: 18.066 PropClause: 14.248 Set: 17.895 Check: 0.003 Back: 1.733
INFO - Atoms: 1364/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 77108 Tprops: 0 Decides: 58 RSplits: 0
INFO - Times: Expl: 9.816 Prop: 18.394 PropClause: 14.534 Set: 18.099 Check: 0.003 Back: 1.769
INFO - Atoms: 1362/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 78705 Tprops: 0 Decides: 60 RSplits: 0
INFO - Times: Expl: 9.895 Prop: 18.716 PropClause: 14.814 Set: 18.294 Check: 0.003 Back: 1.805
INFO - Atoms: 1360/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 80158 Tprops: 0 Decides: 61 RSplits: 0
INFO - Times: Expl: 9.988 Prop: 18.997 PropClause: 15.057 Set: 18.492 Check: 0.003 Back: 1.838
INFO - Atoms: 1357/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 81611 Tprops: 0 Decides: 62 RSplits: 0
INFO - Times: Expl: 10.097 Prop: 19.258 PropClause: 15.279 Set: 18.631 Check: 0.003 Back: 1.87
INFO - Atoms: 1357/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 83060 Tprops: 0 Decides: 63 RSplits: 0
INFO - Times: Expl: 10.164 Prop: 19.505 PropClause: 15.489 Set: 18.765 Check: 0.003 Back: 1.903
INFO - Atoms: 1354/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 84507 Tprops: 0 Decides: 64 RSplits: 0
INFO - Times: Expl: 10.25 Prop: 19.757 PropClause: 15.703 Set: 18.9 Check: 0.003 Back: 1.935
INFO - Atoms: 1352/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 85952 Tprops: 0 Decides: 65 RSplits: 0
INFO - Times: Expl: 10.323 Prop: 20.011 PropClause: 15.921 Set: 19.036 Check: 0.003 Back: 1.968
INFO - Atoms: 1350/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 87393 Tprops: 0 Decides: 66 RSplits: 0
INFO - Times: Expl: 10.39 Prop: 20.272 PropClause: 16.145 Set: 19.172 Check: 0.003 Back: 2.0
INFO - Atoms: 1347/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 88834 Tprops: 0 Decides: 67 RSplits: 0
INFO - Times: Expl: 10.444 Prop: 20.524 PropClause: 16.36 Set: 19.306 Check: 0.003 Back: 2.033
INFO - Atoms: 1347/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 90273 Tprops: 0 Decides: 68 RSplits: 0
INFO - Times: Expl: 10.497 Prop: 20.797 PropClause: 16.596 Set: 19.438 Check: 0.003 Back: 2.065
INFO - Atoms: 1345/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 91706 Tprops: 0 Decides: 69 RSplits: 0
INFO - Times: Expl: 10.55 Prop: 21.05 PropClause: 16.812 Set: 19.572 Check: 0.003 Back: 2.098
INFO - Atoms: 1341/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 93139 Tprops: 0 Decides: 70 RSplits: 0
INFO - Times: Expl: 10.613 Prop: 21.301 PropClause: 17.026 Set: 19.709 Check: 0.003 Back: 2.131
INFO - Atoms: 1340/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 94570 Tprops: 0 Decides: 71 RSplits: 0
INFO - Times: Expl: 10.689 Prop: 21.56 PropClause: 17.248 Set: 19.841 Check: 0.003 Back: 2.162
INFO - Atoms: 1339/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 96001 Tprops: 0 Decides: 72 RSplits: 0
INFO - Times: Expl: 10.826 Prop: 21.829 PropClause: 17.48 Set: 19.977 Check: 0.003 Back: 2.195
INFO - Atoms: 1338/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 97424 Tprops: 0 Decides: 73 RSplits: 0
INFO - Times: Expl: 10.896 Prop: 22.09 PropClause: 17.704 Set: 20.108 Check: 0.003 Back: 2.227
INFO - Atoms: 1333/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 98851 Tprops: 0 Decides: 74 RSplits: 0
INFO - Times: Expl: 10.945 Prop: 22.342 PropClause: 17.918 Set: 20.244 Check: 0.003 Back: 2.26
INFO - Atoms: 1334/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 100268 Tprops: 0 Decides: 75 RSplits: 0
INFO - Times: Expl: 10.986 Prop: 22.593 PropClause: 18.132 Set: 20.375 Check: 0.003 Back: 2.293
INFO - Atoms: 1328/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 101691 Tprops: 0 Decides: 76 RSplits: 0
INFO - Times: Expl: 11.028 Prop: 22.842 PropClause: 18.345 Set: 20.506 Check: 0.004 Back: 2.324
INFO - Atoms: 1331/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 103108 Tprops: 0 Decides: 77 RSplits: 0
INFO - Times: Expl: 11.07 Prop: 23.104 PropClause: 18.569 Set: 20.646 Check: 0.004 Back: 2.357
INFO - Atoms: 1328/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 104527 Tprops: 0 Decides: 78 RSplits: 0
INFO - Times: Expl: 11.109 Prop: 23.356 PropClause: 18.785 Set: 20.778 Check: 0.004 Back: 2.389
INFO - Atoms: 1328/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 105938 Tprops: 0 Decides: 79 RSplits: 0
INFO - Times: Expl: 11.149 Prop: 23.604 PropClause: 18.996 Set: 20.908 Check: 0.004 Back: 2.421
INFO - Atoms: 1323/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 107353 Tprops: 0 Decides: 80 RSplits: 0
INFO - Times: Expl: 11.191 Prop: 23.853 PropClause: 19.21 Set: 21.039 Check: 0.004 Back: 2.453
INFO - Atoms: 1324/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 108758 Tprops: 0 Decides: 81 RSplits: 0
INFO - Times: Expl: 11.239 Prop: 24.107 PropClause: 19.427 Set: 21.168 Check: 0.004 Back: 2.485
INFO - Atoms: 1318/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 110165 Tprops: 0 Decides: 82 RSplits: 0
INFO - Times: Expl: 11.326 Prop: 24.354 PropClause: 19.638 Set: 21.296 Check: 0.004 Back: 2.517
INFO - Atoms: 1318/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 111564 Tprops: 0 Decides: 83 RSplits: 0
INFO - Times: Expl: 11.367 Prop: 24.601 PropClause: 19.849 Set: 21.424 Check: 0.004 Back: 2.549
INFO - Atoms: 1313/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 112969 Tprops: 0 Decides: 84 RSplits: 0
INFO - Times: Expl: 11.426 Prop: 24.86 PropClause: 20.072 Set: 21.553 Check: 0.004 Back: 2.581
INFO - Atoms: 1316/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 114364 Tprops: 0 Decides: 85 RSplits: 0
INFO - Times: Expl: 11.47 Prop: 25.107 PropClause: 20.284 Set: 21.682 Check: 0.004 Back: 2.613
INFO - Atoms: 1310/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 115765 Tprops: 0 Decides: 86 RSplits: 0
INFO - Times: Expl: 11.521 Prop: 25.382 PropClause: 20.522 Set: 21.812 Check: 0.004 Back: 2.645
INFO - Atoms: 1312/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 117152 Tprops: 0 Decides: 87 RSplits: 0
INFO - Times: Expl: 11.578 Prop: 25.643 PropClause: 20.746 Set: 21.941 Check: 0.004 Back: 2.676
INFO - Atoms: 1304/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 118549 Tprops: 0 Decides: 88 RSplits: 0
INFO - Times: Expl: 11.631 Prop: 25.897 PropClause: 20.965 Set: 22.068 Check: 0.004 Back: 2.708
INFO - Atoms: 1308/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 119932 Tprops: 0 Decides: 89 RSplits: 0
INFO - Times: Expl: 11.67 Prop: 26.154 PropClause: 21.186 Set: 22.193 Check: 0.004 Back: 2.739
INFO - Atoms: 1301/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 121325 Tprops: 0 Decides: 90 RSplits: 0
INFO - Times: Expl: 11.716 Prop: 26.405 PropClause: 21.4 Set: 22.321 Check: 0.004 Back: 2.77
INFO - Atoms: 1305/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 122702 Tprops: 0 Decides: 91 RSplits: 0
INFO - Times: Expl: 11.757 Prop: 26.653 PropClause: 21.613 Set: 22.445 Check: 0.004 Back: 2.802
INFO - Atoms: 1296/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 124089 Tprops: 0 Decides: 92 RSplits: 0
INFO - Times: Expl: 11.801 Prop: 26.901 PropClause: 21.825 Set: 22.572 Check: 0.004 Back: 2.833
INFO - Atoms: 1300/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 125460 Tprops: 0 Decides: 93 RSplits: 0
INFO - Times: Expl: 11.845 Prop: 27.147 PropClause: 22.035 Set: 22.697 Check: 0.004 Back: 2.864
INFO - Atoms: 1291/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 126843 Tprops: 0 Decides: 94 RSplits: 0
INFO - Times: Expl: 11.885 Prop: 27.392 PropClause: 22.244 Set: 22.821 Check: 0.004 Back: 2.895
INFO - Atoms: 1296/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 128208 Tprops: 0 Decides: 95 RSplits: 0
INFO - Times: Expl: 11.925 Prop: 27.634 PropClause: 22.451 Set: 22.944 Check: 0.004 Back: 2.926
INFO - Atoms: 1286/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 129585 Tprops: 0 Decides: 96 RSplits: 0
INFO - Times: Expl: 11.97 Prop: 27.883 PropClause: 22.665 Set: 23.067 Check: 0.004 Back: 2.956
INFO - Atoms: 1291/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 130946 Tprops: 0 Decides: 97 RSplits: 0
INFO - Times: Expl: 12.017 Prop: 28.131 PropClause: 22.878 Set: 23.192 Check: 0.004 Back: 2.987
INFO - Atoms: 1283/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 132323 Tprops: 0 Decides: 98 RSplits: 0
INFO - Times: Expl: 12.069 Prop: 28.385 PropClause: 23.096 Set: 23.316 Check: 0.004 Back: 3.018
INFO - Atoms: 1291/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 133682 Tprops: 0 Decides: 99 RSplits: 0
INFO - Times: Expl: 12.112 Prop: 28.653 PropClause: 23.329 Set: 23.44 Check: 0.004 Back: 3.049
INFO - Atoms: 1281/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 135051 Tprops: 0 Decides: 100 RSplits: 0
INFO - Times: Expl: 12.157 Prop: 28.929 PropClause: 23.569 Set: 23.563 Check: 0.004 Back: 3.08
INFO - Atoms: 1285/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 136408 Tprops: 0 Decides: 101 RSplits: 0
INFO - Times: Expl: 12.204 Prop: 29.173 PropClause: 23.778 Set: 23.685 Check: 0.004 Back: 3.111
INFO - Atoms: 1279/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 137773 Tprops: 0 Decides: 102 RSplits: 0
INFO - Times: Expl: 12.249 Prop: 29.442 PropClause: 24.012 Set: 23.809 Check: 0.005 Back: 3.144
INFO - Atoms: 1282/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 139126 Tprops: 0 Decides: 103 RSplits: 0
INFO - Times: Expl: 12.297 Prop: 29.704 PropClause: 24.238 Set: 23.935 Check: 0.005 Back: 3.174
INFO - Atoms: 1275/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 140483 Tprops: 0 Decides: 104 RSplits: 0
INFO - Times: Expl: 12.339 Prop: 29.953 PropClause: 24.453 Set: 24.055 Check: 0.005 Back: 3.205
INFO - Atoms: 1276/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 142054 Tprops: 0 Decides: 110 RSplits: 0
INFO - Times: Expl: 12.434 Prop: 30.275 PropClause: 24.733 Set: 24.177 Check: 0.005 Back: 3.241
INFO - Atoms: 1244/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 143579 Tprops: 0 Decides: 112 RSplits: 0
INFO - Times: Expl: 12.498 Prop: 30.61 PropClause: 25.025 Set: 24.304 Check: 0.005 Back: 3.275
INFO - Atoms: 1291/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 145104 Tprops: 0 Decides: 114 RSplits: 0
INFO - Times: Expl: 12.551 Prop: 30.92 PropClause: 25.296 Set: 24.43 Check: 0.005 Back: 3.309
INFO - Atoms: 1291/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 146627 Tprops: 0 Decides: 116 RSplits: 0
INFO - Times: Expl: 12.604 Prop: 31.227 PropClause: 25.563 Set: 24.556 Check: 0.005 Back: 3.344
INFO - Atoms: 1289/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 148010 Tprops: 0 Decides: 117 RSplits: 0
INFO - Times: Expl: 12.671 Prop: 31.49 PropClause: 25.79 Set: 24.679 Check: 0.005 Back: 3.375
INFO - Atoms: 1286/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 149391 Tprops: 0 Decides: 118 RSplits: 0
INFO - Times: Expl: 12.71 Prop: 31.74 PropClause: 26.005 Set: 24.81 Check: 0.005 Back: 3.406
INFO - Atoms: 1285/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 150768 Tprops: 0 Decides: 119 RSplits: 0
INFO - Times: Expl: 12.75 Prop: 31.994 PropClause: 26.224 Set: 24.932 Check: 0.005 Back: 3.437
INFO - Atoms: 1282/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 152145 Tprops: 0 Decides: 120 RSplits: 0
INFO - Times: Expl: 12.802 Prop: 32.254 PropClause: 26.447 Set: 25.055 Check: 0.005 Back: 3.468
INFO - Atoms: 1281/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 153512 Tprops: 0 Decides: 121 RSplits: 0
INFO - Times: Expl: 12.845 Prop: 32.514 PropClause: 26.672 Set: 25.175 Check: 0.005 Back: 3.499
INFO - Atoms: 1275/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 154881 Tprops: 0 Decides: 122 RSplits: 0
INFO - Times: Expl: 12.898 Prop: 32.784 PropClause: 26.905 Set: 25.301 Check: 0.005 Back: 3.53
INFO - Atoms: 1275/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 156238 Tprops: 0 Decides: 123 RSplits: 0
INFO - Times: Expl: 12.95 Prop: 33.032 PropClause: 27.118 Set: 25.419 Check: 0.005 Back: 3.562
INFO - Atoms: 1268/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 157605 Tprops: 0 Decides: 124 RSplits: 0
INFO - Times: Expl: 13.004 Prop: 33.298 PropClause: 27.349 Set: 25.539 Check: 0.005 Back: 3.593
INFO - Atoms: 1273/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 158958 Tprops: 0 Decides: 125 RSplits: 0
INFO - Times: Expl: 13.065 Prop: 33.559 PropClause: 27.574 Set: 25.659 Check: 0.005 Back: 3.623
INFO - Atoms: 1265/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 160315 Tprops: 0 Decides: 126 RSplits: 0
INFO - Times: Expl: 13.149 Prop: 33.805 PropClause: 27.785 Set: 25.778 Check: 0.005 Back: 3.654
INFO - Atoms: 1266/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 161668 Tprops: 0 Decides: 127 RSplits: 0
INFO - Times: Expl: 13.19 Prop: 34.048 PropClause: 27.992 Set: 25.898 Check: 0.005 Back: 3.684
INFO - Atoms: 1263/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 163021 Tprops: 0 Decides: 128 RSplits: 0
INFO - Times: Expl: 13.433 Prop: 34.296 PropClause: 28.205 Set: 26.018 Check: 0.005 Back: 3.715
INFO - Atoms: 1263/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 164362 Tprops: 0 Decides: 129 RSplits: 0
INFO - Times: Expl: 13.47 Prop: 34.544 PropClause: 28.413 Set: 26.135 Check: 0.005 Back: 3.745
INFO - Atoms: 1256/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 165715 Tprops: 0 Decides: 130 RSplits: 0
INFO - Times: Expl: 13.507 Prop: 34.801 PropClause: 28.629 Set: 26.256 Check: 0.005 Back: 3.775
INFO - Atoms: 1261/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 167048 Tprops: 0 Decides: 131 RSplits: 0
INFO - Times: Expl: 13.543 Prop: 35.04 PropClause: 28.833 Set: 26.372 Check: 0.005 Back: 3.806
INFO - Atoms: 1251/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 168397 Tprops: 0 Decides: 132 RSplits: 0
INFO - Times: Expl: 13.58 Prop: 35.288 PropClause: 29.046 Set: 26.491 Check: 0.006 Back: 3.836
INFO - Atoms: 1258/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 169738 Tprops: 0 Decides: 133 RSplits: 0
INFO - Times: Expl: 13.624 Prop: 35.537 PropClause: 29.26 Set: 26.608 Check: 0.006 Back: 3.867
INFO - Atoms: 1254/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 171083 Tprops: 0 Decides: 134 RSplits: 0
INFO - Times: Expl: 13.662 Prop: 35.784 PropClause: 29.473 Set: 26.725 Check: 0.006 Back: 3.897
INFO - Atoms: 1255/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 172404 Tprops: 0 Decides: 135 RSplits: 0
INFO - Times: Expl: 13.699 Prop: 36.022 PropClause: 29.677 Set: 26.84 Check: 0.006 Back: 3.927
INFO - Atoms: 1242/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 173745 Tprops: 0 Decides: 136 RSplits: 0
INFO - Times: Expl: 13.736 Prop: 36.264 PropClause: 29.884 Set: 26.957 Check: 0.006 Back: 3.957
INFO - Atoms: 1251/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 175062 Tprops: 0 Decides: 137 RSplits: 0
INFO - Times: Expl: 13.771 Prop: 36.499 PropClause: 30.085 Set: 27.072 Check: 0.006 Back: 3.987
INFO - Atoms: 1239/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 176393 Tprops: 0 Decides: 138 RSplits: 0
INFO - Times: Expl: 13.806 Prop: 36.739 PropClause: 30.29 Set: 27.188 Check: 0.006 Back: 4.017
INFO - Atoms: 1245/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 177718 Tprops: 0 Decides: 139 RSplits: 0
INFO - Times: Expl: 13.841 Prop: 36.979 PropClause: 30.497 Set: 27.304 Check: 0.006 Back: 4.048
INFO - Atoms: 1241/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 179045 Tprops: 0 Decides: 140 RSplits: 0
INFO - Times: Expl: 13.878 Prop: 37.224 PropClause: 30.707 Set: 27.419 Check: 0.006 Back: 4.079
INFO - Atoms: 1241/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 180342 Tprops: 0 Decides: 141 RSplits: 0
INFO - Times: Expl: 13.912 Prop: 37.464 PropClause: 30.913 Set: 27.531 Check: 0.006 Back: 4.108
INFO - Atoms: 1225/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 181671 Tprops: 0 Decides: 142 RSplits: 0
INFO - Times: Expl: 13.95 Prop: 37.707 PropClause: 31.122 Set: 27.652 Check: 0.006 Back: 4.137
INFO - Atoms: 1240/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 182966 Tprops: 0 Decides: 143 RSplits: 0
INFO - Times: Expl: 13.984 Prop: 37.936 PropClause: 31.317 Set: 27.764 Check: 0.006 Back: 4.167
INFO - Atoms: 1223/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 184279 Tprops: 0 Decides: 144 RSplits: 0
INFO - Times: Expl: 14.033 Prop: 38.18 PropClause: 31.527 Set: 27.884 Check: 0.006 Back: 4.197
INFO - Atoms: 1231/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 185594 Tprops: 0 Decides: 145 RSplits: 0
INFO - Times: Expl: 14.078 Prop: 38.418 PropClause: 31.732 Set: 27.999 Check: 0.006 Back: 4.228
INFO - Atoms: 1232/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 186907 Tprops: 0 Decides: 146 RSplits: 0
INFO - Times: Expl: 14.123 Prop: 38.654 PropClause: 31.933 Set: 28.112 Check: 0.006 Back: 4.259
INFO - Atoms: 1231/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 188194 Tprops: 0 Decides: 147 RSplits: 0
INFO - Times: Expl: 14.157 Prop: 38.888 PropClause: 32.135 Set: 28.223 Check: 0.006 Back: 4.288
INFO - Atoms: 1217/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 189517 Tprops: 0 Decides: 148 RSplits: 0
INFO - Times: Expl: 14.193 Prop: 39.131 PropClause: 32.342 Set: 28.34 Check: 0.006 Back: 4.318
INFO - Atoms: 1234/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 190796 Tprops: 0 Decides: 149 RSplits: 0
INFO - Times: Expl: 14.226 Prop: 39.362 PropClause: 32.54 Set: 28.449 Check: 0.006 Back: 4.347
INFO - Atoms: 1211/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 192093 Tprops: 0 Decides: 150 RSplits: 0
INFO - Times: Expl: 14.26 Prop: 39.597 PropClause: 32.742 Set: 28.561 Check: 0.006 Back: 4.376
INFO - Atoms: 1219/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 193394 Tprops: 0 Decides: 151 RSplits: 0
INFO - Times: Expl: 14.295 Prop: 39.833 PropClause: 32.945 Set: 28.673 Check: 0.006 Back: 4.405
INFO - Atoms: 1220/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 194679 Tprops: 0 Decides: 152 RSplits: 0
INFO - Times: Expl: 14.333 Prop: 40.065 PropClause: 33.143 Set: 28.784 Check: 0.006 Back: 4.436
INFO - Atoms: 1211/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 195948 Tprops: 0 Decides: 153 RSplits: 0
INFO - Times: Expl: 14.366 Prop: 40.299 PropClause: 33.343 Set: 28.894 Check: 0.006 Back: 4.465
INFO - Atoms: 1202/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 197249 Tprops: 0 Decides: 154 RSplits: 0
INFO - Times: Expl: 14.483 Prop: 40.539 PropClause: 33.55 Set: 29.007 Check: 0.006 Back: 4.494
INFO - Atoms: 1217/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 198508 Tprops: 0 Decides: 155 RSplits: 0
INFO - Times: Expl: 14.516 Prop: 40.766 PropClause: 33.745 Set: 29.115 Check: 0.006 Back: 4.523
INFO - Atoms: 1195/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 199777 Tprops: 0 Decides: 156 RSplits: 0
INFO - Times: Expl: 14.549 Prop: 40.999 PropClause: 33.945 Set: 29.231 Check: 0.006 Back: 4.553
INFO - Atoms: 1199/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 201062 Tprops: 0 Decides: 157 RSplits: 0
INFO - Times: Expl: 14.584 Prop: 41.23 PropClause: 34.143 Set: 29.342 Check: 0.006 Back: 4.581
INFO - Atoms: 1206/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 202319 Tprops: 0 Decides: 158 RSplits: 0
INFO - Times: Expl: 14.616 Prop: 41.459 PropClause: 34.34 Set: 29.449 Check: 0.006 Back: 4.611
INFO - Atoms: 1191/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 203570 Tprops: 0 Decides: 159 RSplits: 0
INFO - Times: Expl: 14.65 Prop: 41.687 PropClause: 34.535 Set: 29.555 Check: 0.006 Back: 4.64
INFO - Atoms: 1188/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 204857 Tprops: 0 Decides: 160 RSplits: 0
INFO - Times: Expl: 14.7 Prop: 41.919 PropClause: 34.734 Set: 29.668 Check: 0.006 Back: 4.669
INFO - Atoms: 1206/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 206492 Tprops: 0 Decides: 166 RSplits: 0
INFO - Times: Expl: 14.788 Prop: 42.276 PropClause: 35.048 Set: 29.786 Check: 0.007 Back: 4.706
INFO - Atoms: 1176/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 207945 Tprops: 0 Decides: 168 RSplits: 0
INFO - Times: Expl: 14.832 Prop: 42.57 PropClause: 35.304 Set: 29.909 Check: 0.007 Back: 4.738
INFO - Atoms: 1223/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 209394 Tprops: 0 Decides: 170 RSplits: 0
INFO - Times: Expl: 14.876 Prop: 42.853 PropClause: 35.55 Set: 30.034 Check: 0.007 Back: 4.771
INFO - Atoms: 1220/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 210845 Tprops: 0 Decides: 172 RSplits: 0
INFO - Times: Expl: 14.921 Prop: 43.138 PropClause: 35.795 Set: 30.157 Check: 0.007 Back: 4.804
INFO - Atoms: 1221/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 212162 Tprops: 0 Decides: 173 RSplits: 0
INFO - Times: Expl: 14.954 Prop: 43.373 PropClause: 35.997 Set: 30.274 Check: 0.007 Back: 4.834
INFO - Atoms: 1220/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 213479 Tprops: 0 Decides: 174 RSplits: 0
INFO - Times: Expl: 14.987 Prop: 43.61 PropClause: 36.2 Set: 30.392 Check: 0.007 Back: 4.865
INFO - Atoms: 1219/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 214792 Tprops: 0 Decides: 175 RSplits: 0
INFO - Times: Expl: 15.02 Prop: 43.848 PropClause: 36.403 Set: 30.51 Check: 0.007 Back: 4.895
INFO - Atoms: 1217/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 216105 Tprops: 0 Decides: 176 RSplits: 0
INFO - Times: Expl: 15.055 Prop: 44.086 PropClause: 36.607 Set: 30.631 Check: 0.007 Back: 4.925
INFO - Atoms: 1216/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 217412 Tprops: 0 Decides: 177 RSplits: 0
INFO - Times: Expl: 15.109 Prop: 44.315 PropClause: 36.803 Set: 30.749 Check: 0.007 Back: 4.954
INFO - Atoms: 1212/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 218719 Tprops: 0 Decides: 178 RSplits: 0
INFO - Times: Expl: 15.146 Prop: 44.548 PropClause: 37.002 Set: 30.873 Check: 0.007 Back: 4.985
INFO - Atoms: 1211/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 220022 Tprops: 0 Decides: 179 RSplits: 0
INFO - Times: Expl: 15.18 Prop: 44.785 PropClause: 37.205 Set: 30.992 Check: 0.007 Back: 5.015
INFO - Atoms: 1208/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 221325 Tprops: 0 Decides: 180 RSplits: 0
INFO - Times: Expl: 15.215 Prop: 45.034 PropClause: 37.421 Set: 31.156 Check: 0.007 Back: 5.044
INFO - Atoms: 1208/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 222626 Tprops: 0 Decides: 181 RSplits: 0
INFO - Times: Expl: 15.249 Prop: 45.278 PropClause: 37.631 Set: 31.322 Check: 0.007 Back: 5.074
INFO - Atoms: 1206/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 223923 Tprops: 0 Decides: 182 RSplits: 0
INFO - Times: Expl: 15.323 Prop: 45.525 PropClause: 37.844 Set: 31.484 Check: 0.007 Back: 5.104
INFO - Atoms: 1203/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 225220 Tprops: 0 Decides: 183 RSplits: 0
INFO - Times: Expl: 15.387 Prop: 45.767 PropClause: 38.053 Set: 31.657 Check: 0.007 Back: 5.133
INFO - Atoms: 1203/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 226515 Tprops: 0 Decides: 184 RSplits: 0
INFO - Times: Expl: 15.44 Prop: 46.016 PropClause: 38.268 Set: 31.825 Check: 0.007 Back: 5.162
INFO - Atoms: 1201/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 227804 Tprops: 0 Decides: 185 RSplits: 0
INFO - Times: Expl: 15.483 Prop: 46.265 PropClause: 38.484 Set: 31.992 Check: 0.007 Back: 5.191
INFO - Atoms: 1197/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 229093 Tprops: 0 Decides: 186 RSplits: 0
INFO - Times: Expl: 15.518 Prop: 46.514 PropClause: 38.699 Set: 32.154 Check: 0.007 Back: 5.221
INFO - Atoms: 1196/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 230378 Tprops: 0 Decides: 187 RSplits: 0
INFO - Times: Expl: 15.55 Prop: 46.756 PropClause: 38.908 Set: 32.328 Check: 0.007 Back: 5.25
INFO - Atoms: 1193/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 231659 Tprops: 0 Decides: 188 RSplits: 0
INFO - Times: Expl: 15.585 Prop: 46.996 PropClause: 39.115 Set: 32.494 Check: 0.007 Back: 5.279
INFO - Atoms: 1190/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 232942 Tprops: 0 Decides: 189 RSplits: 0
INFO - Times: Expl: 15.617 Prop: 47.241 PropClause: 39.326 Set: 32.653 Check: 0.007 Back: 5.309
INFO - Atoms: 1191/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 234221 Tprops: 0 Decides: 190 RSplits: 0
INFO - Times: Expl: 15.652 Prop: 47.491 PropClause: 39.543 Set: 32.819 Check: 0.007 Back: 5.338
INFO - Atoms: 1188/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 235498 Tprops: 0 Decides: 191 RSplits: 0
INFO - Times: Expl: 15.686 Prop: 47.728 PropClause: 39.747 Set: 32.987 Check: 0.007 Back: 5.367
INFO - Atoms: 1186/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 236769 Tprops: 0 Decides: 192 RSplits: 0
INFO - Times: Expl: 15.72 Prop: 47.962 PropClause: 39.948 Set: 33.149 Check: 0.007 Back: 5.396
INFO - Atoms: 1182/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 238042 Tprops: 0 Decides: 193 RSplits: 0
INFO - Times: Expl: 15.753 Prop: 48.208 PropClause: 40.162 Set: 33.307 Check: 0.007 Back: 5.424
INFO - Atoms: 1182/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 239307 Tprops: 0 Decides: 194 RSplits: 0
INFO - Times: Expl: 15.795 Prop: 48.485 PropClause: 40.399 Set: 33.502 Check: 0.008 Back: 5.453
INFO - Atoms: 1177/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 240576 Tprops: 0 Decides: 195 RSplits: 0
INFO - Times: Expl: 15.895 Prop: 48.743 PropClause: 40.625 Set: 33.669 Check: 0.008 Back: 5.484
INFO - Atoms: 1179/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 241837 Tprops: 0 Decides: 196 RSplits: 0
INFO - Times: Expl: 16.08 Prop: 49.003 PropClause: 40.851 Set: 33.831 Check: 0.008 Back: 5.513
INFO - Atoms: 1174/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 243100 Tprops: 0 Decides: 197 RSplits: 0
INFO - Times: Expl: 16.226 Prop: 49.242 PropClause: 41.057 Set: 33.993 Check: 0.008 Back: 5.542
INFO - Atoms: 1174/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 244359 Tprops: 0 Decides: 198 RSplits: 0
INFO - Times: Expl: 16.264 Prop: 49.476 PropClause: 41.259 Set: 34.154 Check: 0.008 Back: 5.57
INFO - Atoms: 1172/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 245618 Tprops: 0 Decides: 199 RSplits: 0
INFO - Times: Expl: 16.304 Prop: 49.71 PropClause: 41.461 Set: 34.318 Check: 0.008 Back: 5.599
INFO - Atoms: 1171/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 246873 Tprops: 0 Decides: 200 RSplits: 0
INFO - Times: Expl: 16.339 Prop: 49.955 PropClause: 41.675 Set: 34.475 Check: 0.008 Back: 5.627
INFO - Atoms: 1168/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 248130 Tprops: 0 Decides: 201 RSplits: 0
INFO - Times: Expl: 16.385 Prop: 50.201 PropClause: 41.888 Set: 34.638 Check: 0.008 Back: 5.656
INFO - Atoms: 1170/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 249383 Tprops: 0 Decides: 202 RSplits: 0
INFO - Times: Expl: 16.432 Prop: 50.449 PropClause: 42.103 Set: 34.797 Check: 0.008 Back: 5.686
INFO - Atoms: 1167/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 250638 Tprops: 0 Decides: 203 RSplits: 0
INFO - Times: Expl: 16.468 Prop: 50.685 PropClause: 42.307 Set: 34.956 Check: 0.008 Back: 5.714
INFO - Atoms: 1168/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 251889 Tprops: 0 Decides: 204 RSplits: 0
INFO - Times: Expl: 16.504 Prop: 50.923 PropClause: 42.512 Set: 35.119 Check: 0.008 Back: 5.742
INFO - Atoms: 1165/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 253140 Tprops: 0 Decides: 205 RSplits: 0
INFO - Times: Expl: 16.55 Prop: 51.162 PropClause: 42.719 Set: 35.277 Check: 0.008 Back: 5.771
INFO - Atoms: 1165/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 254387 Tprops: 0 Decides: 206 RSplits: 0
INFO - Times: Expl: 16.586 Prop: 51.405 PropClause: 42.93 Set: 35.435 Check: 0.008 Back: 5.799
INFO - Atoms: 1162/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 255634 Tprops: 0 Decides: 207 RSplits: 0
INFO - Times: Expl: 16.621 Prop: 51.64 PropClause: 43.134 Set: 35.591 Check: 0.008 Back: 5.827
INFO - Atoms: 1161/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 256873 Tprops: 0 Decides: 208 RSplits: 0
INFO - Times: Expl: 16.655 Prop: 51.883 PropClause: 43.344 Set: 35.745 Check: 0.008 Back: 5.854
INFO - Atoms: 1156/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 258118 Tprops: 0 Decides: 209 RSplits: 0
INFO - Times: Expl: 16.694 Prop: 52.125 PropClause: 43.555 Set: 35.895 Check: 0.008 Back: 5.882
INFO - Atoms: 1159/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 259355 Tprops: 0 Decides: 210 RSplits: 0
INFO - Times: Expl: 16.729 Prop: 52.367 PropClause: 43.765 Set: 36.043 Check: 0.008 Back: 5.91
INFO - Atoms: 1154/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 260596 Tprops: 0 Decides: 211 RSplits: 0
INFO - Times: Expl: 16.764 Prop: 52.606 PropClause: 43.972 Set: 36.205 Check: 0.008 Back: 5.939
INFO - Atoms: 1156/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 261841 Tprops: 0 Decides: 212 RSplits: 0
INFO - Times: Expl: 16.813 Prop: 52.868 PropClause: 44.201 Set: 36.368 Check: 0.008 Back: 5.967
INFO - Atoms: 1162/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 263086 Tprops: 0 Decides: 213 RSplits: 0
INFO - Times: Expl: 16.862 Prop: 53.129 PropClause: 44.428 Set: 36.522 Check: 0.008 Back: 5.995
INFO - Atoms: 1161/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 264327 Tprops: 0 Decides: 214 RSplits: 0
INFO - Times: Expl: 16.896 Prop: 53.375 PropClause: 44.638 Set: 36.677 Check: 0.008 Back: 6.024
INFO - Atoms: 1158/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 265566 Tprops: 0 Decides: 215 RSplits: 0
INFO - Times: Expl: 16.932 Prop: 53.613 PropClause: 44.843 Set: 36.837 Check: 0.008 Back: 6.052
INFO - Atoms: 1156/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 266799 Tprops: 0 Decides: 216 RSplits: 0
INFO - Times: Expl: 16.974 Prop: 53.848 PropClause: 45.046 Set: 36.995 Check: 0.008 Back: 6.08
INFO - Atoms: 1152/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 268042 Tprops: 0 Decides: 217 RSplits: 0
INFO - Times: Expl: 17.029 Prop: 54.104 PropClause: 45.269 Set: 37.158 Check: 0.008 Back: 6.109
INFO - Atoms: 1160/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 269277 Tprops: 0 Decides: 218 RSplits: 0
INFO - Times: Expl: 17.078 Prop: 54.353 PropClause: 45.486 Set: 37.315 Check: 0.008 Back: 6.137
INFO - Atoms: 1155/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 270516 Tprops: 0 Decides: 219 RSplits: 0
INFO - Times: Expl: 17.112 Prop: 54.589 PropClause: 45.69 Set: 37.476 Check: 0.008 Back: 6.166
INFO - Atoms: 1156/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 271961 Tprops: 0 Decides: 220 RSplits: 0
INFO - Times: Expl: 17.197 Prop: 54.978 PropClause: 46.035 Set: 38.035 Check: 0.008 Back: 6.194
INFO - Atoms: 1352/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 273402 Tprops: 0 Decides: 221 RSplits: 0
INFO - Times: Expl: 17.285 Prop: 55.29 PropClause: 46.307 Set: 38.506 Check: 0.008 Back: 6.228
INFO - Atoms: 1349/2140 Clauses: 586 Axioms: 5024
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 267 Props: 6123 Tprops: 0 Decides: 43931 RSplits: 0
INFO - Times: Expl: 40.701 Prop: 715.055 PropClause: 4.505 Set: 2936.175 Check: 226.123 Back: 64.819
INFO - Atoms: 67/633 Clauses: 267 Axioms: 818
INFO - CCTimes: iE 0 eq 8842789 cc 1257071 setRep 13585060
INFO - Merges: 35434, cc:0
INFO - BVTimes: BB 48822496 BB_DPLL 298863875 Graph 222546499
INFO - BitBlastingClauses: 120656 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat