okgen-c2000-v400-s2046210760-2046210760.cnf

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


zChaff minisat SatELite
6875.64 118.231 719.873

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

zChaff minisat SatELite
6875.64 118.231 719.873

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

zChaff minisat SatELite
6875.64 118.231 719.873

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

zChaff minisat SatELite
6875.64 118.231 719.873

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

zChaff minisat SatELite
6875.64 118.231 719.873

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

zChaff minisat SatELite
6875.64 118.231 719.873

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

zChaff minisat SatELite
6875.64 118.231 719.873

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

zChaff minisat SatELite
6875.64 118.231 719.873

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

zChaff minisat SatELite
6875.64 118.231 719.873