problem.path
|
|
problem.expected_res
|
unknown
|
res
|
unsat
|
rtime
|
2.4s
|
stime
|
0.000s
|
utime
|
0.000s
|
errcode
|
20
|
c ============================[ Problem Statistics ]============================= c | | c | Number of variables: 37452 | c | Number of clauses: 110919 | c | Parse time: 0.07 s | c | | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | c =============================================================================== c | 100 | 37449 110919 258811 | 40670 100 16 | 0.008 % | c | 250 | 37449 110919 258811 | 44737 250 16 | 0.008 % | c | 475 | 37449 110919 258811 | 49211 475 18 | 0.008 % | c | 812 | 36842 110919 258811 | 54132 811 19 | 1.629 % | c | 1318 | 36842 110919 258811 | 59545 1317 17 | 1.629 % | c | 2077 | 33745 110919 258811 | 65499 1850 17 | 9.898 % | c | 3216 | 33693 110919 258811 | 72049 2982 19 | 10.037 % | c | 4924 | 33693 110919 258811 | 79254 4690 18 | 10.037 % | c | 7486 | 33681 110919 258811 | 87180 7244 22 | 10.069 % | c | 11330 | 33670 110919 258811 | 95898 11073 22 | 10.098 % | c =============================================================================== c restarts : 62 c conflicts : 15347 c decisions : 41838 (0.00 % random) c propagations : 11573452 c conflict literals : 336514 (36.65 % deleted) c CPU time : 2.101s s UNSATISFIABLE
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>
|