lksat-n900-m6174-k4-l4-s144092672.used-as.sat04-928.cnf

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


zChaff minisat SatELite
174.504 25.9131 247.175

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc31.8031.760.006.416.022190 190 1270900.041993UNKNOWN

zChaff minisat SatELite
44.1033 6.07808 25.9561

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn32.0531.640.006.395.992168 168 1184990.027995UNKNOWN

zChaff minisat SatELite
406.847 2.91256 12.1931

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb31.8031.760.006.416.022190 190 1270900.042993UNKNOWN

zChaff minisat SatELite
43.9543 5.65614 25.8701

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb32.0531.640.006.395.992168 168 1184990.028995UNKNOWN

zChaff minisat SatELite
393.681 2.67059 12.2081

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw31.7031.600.006.325.93210 00 000.005999UNKNOWN

zChaff minisat SatELite
174.504 25.9131 247.175

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn31.7031.600.006.325.93210 00 000.003999UNKNOWN

zChaff minisat SatELite
174.504 25.9131 247.175

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb31.7031.600.006.325.93210 00 000.006998UNKNOWN

zChaff minisat SatELite
174.504 25.9131 247.175

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb31.7031.600.006.325.93210 00 000.005999UNKNOWN

zChaff minisat SatELite
174.504 25.9131 247.175