qg4-08.cnf

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


zChaff minisat SatELite
0.120982 0.031995 0.32695

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

zChaff minisat SatELite
0.097985 0.029995 0.223965

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn98.052.8356.402.0355.7403 03 017040.005999UNKNOWN

zChaff minisat SatELite
0.120981 0.029995 0.32395

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

zChaff minisat SatELite
0.105985 0.027995 0.188971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb98.052.8356.402.0355.7403 03 017040.003999UNKNOWN

zChaff minisat SatELite
0.119982 0.029995 0.320951

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

zChaff minisat SatELite
0.115982 0.029995 0.184971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn98.052.8356.402.0355.7403 03 017040.004999UNKNOWN

zChaff minisat SatELite
0.120981 0.028995 0.321951

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

zChaff minisat SatELite
0.106983 0.027995 0.187971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb98.052.8356.402.0355.7403 03 017040.006998UNKNOWN

zChaff minisat SatELite
0.127981 0.030995 0.32295