phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut