source: git/Tst/New/sat_cleardenom.stat @ 1ebec3

spielwiese
Last change on this file since 1ebec3 was 6d5e3ce, checked in by Janko Boehm <boehm@…>, 11 years ago
Added test for sat
  • Property mode set to 100644
File size: 273 bytes
Line 
11 >> tst_memory_0 :: 1361269753:3160:3-1-6:ix86-Linux:lubuntu:253828
21 >> tst_memory_1 :: 1361269753:3160:3-1-6:ix86-Linux:lubuntu:2215704
31 >> tst_memory_2 :: 1361269753:3160:3-1-6:ix86-Linux:lubuntu:2256676
41 >> tst_timer_1 :: 1361269753:3160:3-1-6:ix86-Linux:lubuntu:21
Note: See TracBrowser for help on using the repository browser.