k2fix_gr_rcs_w9.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 1068.71 1559.95

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

zChaff minisat SatELite
TimeOut 1068.71 1559.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn74.0975.2399.5925.5024.3700 00 01211795710.2734UNKNOWN

zChaff minisat SatELite
TimeOut 1068.71 1559.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb74.0975.2399.5925.5024.3700 00 0113130.186971UNKNOWN

zChaff minisat SatELite
TimeOut 1068.71 1559.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb74.0975.2399.5925.5024.3700 00 0110970.121981UNKNOWN

zChaff minisat SatELite
TimeOut 1068.71 1559.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw74.0975.2399.5925.5024.3700 00 0113040.220966UNKNOWN

zChaff minisat SatELite
TimeOut 1068.71 1559.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn74.0975.2399.5925.5024.3700 00 0110970.141978UNKNOWN

zChaff minisat SatELite
TimeOut 1068.71 1559.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb74.0975.2399.5925.5024.3700 00 0113040.19697UNKNOWN

zChaff minisat SatELite
TimeOut 1068.71 1559.95

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb74.0975.2399.5925.5024.3700 00 0110970.138978UNKNOWN

zChaff minisat SatELite
TimeOut 1068.71 1559.95