rovers1_v01a.renamed-as.sat05-3975.cnf

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


zChaff minisat SatELite
0 0.002999 0.086986

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc91.2813.3791.280.1286.6301957451957453233530.219966UNKNOWN

zChaff minisat SatELite
0 0.000999 0.085986

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn93.259.5293.250.0790.480156 4156 4327700.031995UNKNOWN

zChaff minisat SatELite
0.001 0.003999 0.136979

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb94.927.9194.920.0792.090230 5230 5362450.032994UNKNOWN

zChaff minisat SatELite
0.001 0.002999 0.160975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb93.259.5293.250.0790.480156 4156 4327700.031995UNKNOWN

zChaff minisat SatELite
0.001 0.002999 0.139978

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw94.768.0494.760.0791.960360 8360 8646550.049992UNKNOWN

zChaff minisat SatELite
0.001 0.002999 0.161975

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn93.259.5293.250.0790.480156 4156 4327700.030995UNKNOWN

zChaff minisat SatELite
0 0.004999 0.137979

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb94.927.9194.920.0792.090230 5230 5362450.030995UNKNOWN

zChaff minisat SatELite
0.001 0.005999 0.172973

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb93.259.5293.250.0790.480156 4156 4327700.029995UNKNOWN

zChaff minisat SatELite
0.001 0.003999 0.143978