okgen-c1300-v650-s1509540531-1509540531.cnf

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


zChaff minisat SatELite
0 0.002999 0.078987

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc52.3147.690.0012.6212.3110 00 039220.004999UNKNOWN

zChaff minisat SatELite
0 0.002999 0.078987

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn52.3147.690.0012.6212.3110 00 018750.003999UNKNOWN

zChaff minisat SatELite
0 0.002999 0.078987

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb52.3147.690.0012.6212.3110 00 039220.001999UNKNOWN

zChaff minisat SatELite
0 0.002999 0.078987

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb52.3147.690.0012.6212.3110 00 018750.004999UNKNOWN

zChaff minisat SatELite
0 0.002999 0.078987

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

zChaff minisat SatELite
0 0.002999 0.078987

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

zChaff minisat SatELite
0 0.002999 0.078987

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

zChaff minisat SatELite
0 0.002999 0.078987

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

zChaff minisat SatELite
0 0.002999 0.078987