driverlog4_v01i.shuffled-as.sat05-4033.cnf

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


zChaff minisat SatELite
0.011998 0.015997 0.25896

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

zChaff minisat SatELite
0.013998 0.010998 0.336948

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn82.2867.1295.0614.4629.3301525 91525 95435230.486925UNKNOWN

zChaff minisat SatELite
0.005999 0.010998 0.306953

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb75.5070.0195.7021.5826.920249 2249 21005510.077988UNKNOWN

zChaff minisat SatELite
0.004999 0.014997 0.440932

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb75.6669.9695.6921.5526.970247 2247 2781790.069989UNKNOWN

zChaff minisat SatELite
0.011998 0.015997 0.360945

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw75.5369.8195.6021.4827.050610 4610 41948280.167974UNKNOWN

zChaff minisat SatELite
0.010998 0.015997 0.433934

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn76.1169.7895.6721.0927.130341 2341 21033590.090986UNKNOWN

zChaff minisat SatELite
0.011999 0.014997 0.387941

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb75.5070.0195.7021.5826.920249 2249 21005510.079987UNKNOWN

zChaff minisat SatELite
0.005999 0.015997 0.430934

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb75.6669.9695.6921.5526.970247 2247 2781790.066989UNKNOWN

zChaff minisat SatELite
0.011998 0.015997 0.362944