driverlog4_ks99i.shuffled-as.sat05-4021.cnf

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


zChaff minisat SatELite
0.005 0.016997 0.311952

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

zChaff minisat SatELite
0.005 0.014997 0.293955

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn72.0579.4198.8527.2719.910651 4651 46912260.272958UNKNOWN

zChaff minisat SatELite
0.004999 0.015997 0.289955

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb73.1676.2698.9026.1923.0900 00 08580.007998UNKNOWN

zChaff minisat SatELite
0.005 0.016997 0.311952

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb73.1676.2698.9026.1923.0900 00 06650.006998UNKNOWN

zChaff minisat SatELite
0.005 0.016997 0.311952

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw73.0876.2898.8726.2523.060376 2376 21361760.056991UNKNOWN

zChaff minisat SatELite
0.008998 0.015997 0.293955

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn73.0176.6998.8926.3322.65092 192 1385000.019996UNKNOWN

zChaff minisat SatELite
0.003999 0.015997 0.289955

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb73.1676.2698.9026.1923.0900 00 08580.010998UNKNOWN

zChaff minisat SatELite
0.005 0.016997 0.311952

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb73.1676.2698.9026.1923.0900 00 06650.004999UNKNOWN

zChaff minisat SatELite
0.005 0.016997 0.311952