okgen-c1400-v700-s875595256-875595256.cnf

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


zChaff minisat SatELite
0.001 0.000999 0.068989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc50.2949.710.0012.1412.5710 00 042100.004999UNKNOWN

zChaff minisat SatELite
0.001 0.000999 0.068989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn50.2949.710.0012.1412.5710 00 020920.001999UNKNOWN

zChaff minisat SatELite
0.001 0.000999 0.068989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb50.2949.710.0012.1412.5710 00 042100.003999UNKNOWN

zChaff minisat SatELite
0.001 0.000999 0.068989

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb50.2949.710.0012.1412.5710 00 020920.001999UNKNOWN

zChaff minisat SatELite
0.001 0.000999 0.068989

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

zChaff minisat SatELite
0.001 0.000999 0.068989

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

zChaff minisat SatELite
0.001 0.000999 0.068989

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

zChaff minisat SatELite
0.001 0.000999 0.068989

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

zChaff minisat SatELite
0.001 0.000999 0.068989