results for batsat on /home/simon/w/batsat/benchs/basic/3bitadd_31.cnf.gz

problem.path
problem.expected_res
unknown
res
sat
rtime
1.2s
stime
0.000s
utime
0.000s
errcode
10
full stdout
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Number of variables:          8431                                         |
c |  Number of clauses:           31310                                         |
c |  Parse time:                   0.03 s                                       |
c |                                                                             |
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |       100 |    8431    31310    86676 |    11480      100    142 |  0.000 % |
c |       250 |    8431    31310    86676 |    12628      250    130 |  0.000 % |
c |       475 |    8431    31310    86676 |    13891      475    148 |  0.000 % |
c |       812 |    8431    31310    86676 |    15280      812    149 |  0.000 % |
c |      1318 |    8431    31310    86676 |    16808     1318    153 |  0.000 % |
c |      2077 |    8431    31310    86676 |    18489     2077    149 |  0.000 % |
c |      3216 |    8431    31310    86676 |    20338     3216    152 |  0.000 % |
c |      4924 |    8431    31310    86676 |    22371     4924    153 |  0.000 % |
c |      7486 |    8431    31310    86676 |    24609     7486    162 |  0.000 % |
c ===============================================================================
c restarts              : 40
c conflicts             : 9349        
c decisions             : 50537          (0.00 % random)
c propagations          : 1658278     
c conflict literals     : 1546160        (1.80 % deleted)
c CPU time              : 0.985s
s SATISFIABLE
full stderr

prover config
prover.name
batsat
prover.cmd
<unknown>
prover.version
(git branch=master commit=ed108125e3516de30bf37dbb636510b2052cf50e)
prover.sat
s SATISFIABLE
prover.unsat
s UNSATISFIABLE
prover.unknown
INDETERMINATE
prover.timeout
<none>
prover.memory
<none>