unif-c1125-v250-s1040402333.cnf

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


zChaff minisat SatELite
30.8563 2.06569 19.704

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

zChaff minisat SatELite
30.8563 2.06569 19.704

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

zChaff minisat SatELite
30.8563 2.06569 19.704

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

zChaff minisat SatELite
30.8563 2.06569 19.704

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

zChaff minisat SatELite
30.8563 2.06569 19.704

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

zChaff minisat SatELite
30.8563 2.06569 19.704

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

zChaff minisat SatELite
30.8563 2.06569 19.704

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

zChaff minisat SatELite
30.8563 2.06569 19.704

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

zChaff minisat SatELite
30.8563 2.06569 19.704