lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf

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


zChaff minisat SatELite
2.46263 5.9401 9.60454

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc48.4451.560.0012.3011.93564 264 2118650.013997UNKNOWN

zChaff minisat SatELite
8.27174 2.77958 2.92056

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn47.8752.130.0012.3911.79525 125 157190.006998UNKNOWN

zChaff minisat SatELite
2.50962 23.3195 30.6813

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb48.4451.560.0012.3011.93564 264 2118650.014997UNKNOWN

zChaff minisat SatELite
8.78166 2.99154 2.92256

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb47.8752.130.0012.3911.79525 125 157190.008998UNKNOWN

zChaff minisat SatELite
2.49762 23.3524 30.7083

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

zChaff minisat SatELite
2.46263 5.9401 9.60454

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

zChaff minisat SatELite
2.46263 5.9401 9.60454

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

zChaff minisat SatELite
2.46263 5.9401 9.60454

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

zChaff minisat SatELite
2.46263 5.9401 9.60454