SAT_dat.k30.cnf

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


zChaff minisat SatELite
5.2742 128.874 34.7667

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc81.0377.7175.178.556.2009560 79560 71849724214.7898UNKNOWN

zChaff minisat SatELite
51.6801 183.574 33.2169

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn82.1678.6676.548.006.1301948 11948 128690712.15267UNKNOWN

zChaff minisat SatELite
53.1069 6.27205 56.2385

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb81.0278.9676.879.286.0500 00 018858251.53677UNKNOWN

zChaff minisat SatELite
5.2742 128.874 34.7667

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb81.0278.9676.879.286.0500 00 013791561.10483UNKNOWN

zChaff minisat SatELite
5.2742 128.874 34.7667

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw81.7778.5876.048.175.8904824 34824 378851536.18306UNKNOWN

zChaff minisat SatELite
7.8898 74.9846 73.9898

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn82.1578.6676.548.006.1301936 11936 128370862.14967UNKNOWN

zChaff minisat SatELite
24.7512 6.37903 55.1256

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb81.0278.9676.879.286.0500 00 018543981.50077UNKNOWN

zChaff minisat SatELite
5.2742 128.874 34.7667

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb81.0278.9676.879.286.0500 00 013664911.09783UNKNOWN

zChaff minisat SatELite
5.2742 128.874 34.7667