hgen6-4-20-n520-01-S1615528121.shuffled-as.sat03-815.cnf

variables clauses Horn % ReverseHorn % Binaire % Pos % Neg %
520218449.4550.550.0012.3212.91


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc49.4550.550.0012.3212.9100 00 065520.007998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn49.4550.550.0012.3212.9100 00 032400.004999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb49.4550.550.0012.3212.9100 00 065520.007998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb49.4550.550.0012.3212.9100 00 032400.003999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw49.4550.550.0012.3212.9100 00 000.002999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn49.4550.550.0012.3212.9100 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb49.4550.550.0012.3212.9100 00 000.002999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb49.4550.550.0012.3212.9100 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut