6pipe_6_ooo.shuffled-as.sat03-413.cnf

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


zChaff minisat SatELite
343.61 2121.48 2517.39

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

zChaff minisat SatELite
280.626 1833.89 4827.06

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn67.6977.0686.7925.9116.74035996 735996 72540118262071.86UNKNOWN

zChaff minisat SatELite
328.664 3868.31 4581.11

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb69.7572.1587.6424.2622.0501427 01427 023525204148.724UNKNOWN

zChaff minisat SatELite
360.29 2421.91 2764.55

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb69.7472.1587.6324.2622.0501348 01348 018500239137.068UNKNOWN

zChaff minisat SatELite
354.986 2681.51 5240.12

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw69.7572.1287.5924.2522.0502422 02422 033726490217.664UNKNOWN

zChaff minisat SatELite
307.808 1382.05 2512.57

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn69.7472.1787.6124.2722.0101477 01477 020108893148.4UNKNOWN

zChaff minisat SatELite
366.258 1185.02 4301.13

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb69.7572.1487.6124.2622.0501246 01246 020781368140.624UNKNOWN

zChaff minisat SatELite
345.875 1586.36 2283.88

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb69.7572.1487.6124.2622.0501244 01244 017173595127.72UNKNOWN

zChaff minisat SatELite
342.314 2309.46 2329.04