vmpc_32.renamed-as.sat05-1919.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
9721.38 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn99.960.1039.330.0439.2700 00 022460.088986UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
9118.83 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb99.960.1039.330.0439.2700 00 022460.091986UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn99.960.1039.330.0439.2700 00 022460.090986UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
9301.33 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb99.960.1039.330.0439.2700 00 022460.093985UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut