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

problem.path
problem.expected_res
unknown
res
sat
rtime
0.149s
stime
0.000s
utime
0.000s
errcode
10
full stdout
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:          8431                                         |
|  Number of clauses:           31310                                         |
|  Parse time:                   0.02 s                                       |
|  Eliminated vars:              4091                                           |
|  Vars set       :                 0                                           |
|  Eliminated clauses:           0.03 Mb                                      |
|  Simplification time:          0.01 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |    4340    31310    86676 |    11480      100    140 |  0.000 % |
|       250 |    4340    31310    86676 |    12628      250    127 |  0.000 % |
|       475 |    4340    31310    86676 |    13891      475    130 |  0.000 % |
|       812 |    4340    31310    86676 |    15280      812    148 |  0.000 % |
|      1318 |    4340    31310    86676 |    16808     1318    145 |  0.000 % |
===============================================================================
restarts              : 10
conflicts             : 1520           (12893 /sec)
decisions             : 13181          (0.00 % random) (111800 /sec)
propagations          : 283407         (2403832 /sec)
conflict literals     : 214328         (0.77 % deleted)
Memory used           : 13.22 MB
CPU time              : 0.117898 s

SATISFIABLE
full stderr

prover config
prover.name
minisat
prover.cmd
<unknown>
prover.version
<unknown>
prover.sat
^SATISFIABLE
prover.unsat
^UNSATISFIABLE
prover.unknown
INDETERMINATE
prover.timeout
<none>
prover.memory
<none>