Changeset ede2ad8 in git for Tst/New/sat_cleardenom.stat


Ignore:
Timestamp:
Aug 31, 2015, 3:57:59 PM (9 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '98550b669234b32be762076c32b3be2c35188ac4')
Children:
fd07781d309b3cc6a9930e69e9c6b97aa93d73a4
Parents:
ef573fff51417c61e82c8176e0679f71fb732c40
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2015-08-31 15:57:59+02:00
git-committer:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2015-08-31 16:01:57+02:00
Message:
fix tr. #712: std(SB,I) does not allow crit3 because of the (wrong) order of reductions

if size(I)*4 > 3*size(SB), use std(SB+I), otherwise disable crit3
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Tst/New/sat_cleardenom.stat

    ref573f rede2ad8  
    1 1 >> tst_memory_0 :: 1361269753:3160:3-1-6:ix86-Linux:lubuntu:253828
    2 1 >> tst_memory_1 :: 1361269753:3160:3-1-6:ix86-Linux:lubuntu:2215704
    3 1 >> tst_memory_2 :: 1361269753:3160:3-1-6:ix86-Linux:lubuntu:2256676
    4 1 >> tst_timer_1 :: 1361269753:3160:3-1-6:ix86-Linux:lubuntu:21
     11 >> tst_memory_0 :: 1441024945:4020, 64 bit:4.0.2:x86_64-Linux:nepomuck:240904
     21 >> tst_memory_1 :: 1441024945:4020, 64 bit:4.0.2:x86_64-Linux:nepomuck:2232320
     31 >> tst_memory_2 :: 1441024945:4020, 64 bit:4.0.2:x86_64-Linux:nepomuck:2232320
     41 >> tst_timer_1 :: 1441024945:4020, 64 bit:4.0.2:x86_64-Linux:nepomuck:55
Note: See TracChangeset for help on using the changeset viewer.