Index of /SATURATE/examples/tests
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
tptpSET/ 2012-09-24 12:09 -
temp/ 2012-09-24 12:09 -
auto/ 2012-09-24 12:09 -
ChurchRosser/ 2012-09-24 12:09 -
![[ ]](/icons/compressed.gif)
ls-lR.gz 2007-03-29 09:53 2.5K
![[ ]](/icons/unknown.gif)
ls-lR 2007-03-29 09:53 15K
if 2004-02-21 14:08 128
uic 2004-01-09 12:25 1.2K
prop140-3 2004-01-08 17:00 13K
prop 2003-12-16 17:19 26
qkleiner 2003-10-22 15:12 295
bruno 2003-10-07 16:32 2.4K
exp 2003-09-30 13:45 44
bruno.dfg 2003-09-30 13:40 3.9K
ms 2003-08-03 00:15 260
rtsubtreeunique 2003-06-13 15:09 106
reflecttrees 2003-06-13 15:07 434
rtmirror 2003-06-13 15:05 264
extunioncnf 2003-04-29 15:40 391
extunion 2003-04-29 15:38 201
exteq 2003-04-16 13:46 1.7K
extcnf 2003-04-16 10:50 237
taut 2003-04-11 15:04 64
dto 2003-04-11 15:03 244
listsnc 2003-04-10 17:11 200
ext 2003-04-10 14:00 4.2K
setrel.ord 2003-02-05 15:58 37K
setrel 2003-01-27 18:42 1.7K
![[ ]](/icons/dvi.gif)
setinj.dvi 2003-01-27 11:22 14K
![[TXT]](/icons/text.gif)
setinj.tex 2003-01-27 11:22 15K
setinj 2003-01-22 18:41 26K
setinjjunk 2003-01-22 18:33 13K
setrel.dfg 2003-01-22 17:23 3.2K
bp 2002-12-16 10:54 89
Sheffer1Basis 2002-11-27 14:31 2.2K
setz 2002-11-20 09:18 1.9K
cons_inj 2002-11-12 10:08 78
list_problem 2002-11-11 14:30 120
lists 2002-11-11 14:25 60
dana 2002-11-06 16:21 6.1K
needhamc 2002-10-18 09:41 4.3K
needham 2002-10-18 07:44 5.6K
cat015 2002-09-23 07:52 4.1K
equiv1 2002-09-19 08:12 97
equiv 2002-09-19 08:08 83
test 2002-08-22 19:36 843
bug 2002-08-21 16:10 634
defaults 2002-08-16 12:32 297
simp 2002-08-13 16:29 26
po 2002-08-08 10:14 39
mgt.dfg 2002-08-05 20:15 6.6K
mgt 2002-08-02 16:38 1.9K
dorin 2002-08-02 10:11 93
pell73_4 2002-07-29 21:48 1.0K
tarski 2002-06-18 13:03 739
tarksi 2002-06-18 10:13 178
app3 2002-05-15 10:25 113
ag 2002-04-15 08:32 71
ag2 2002-04-15 08:32 31
agprime 2002-04-15 08:31 81
func 2002-03-26 07:46 350
log 2002-03-19 11:52 68
logalg 2002-02-22 12:53 61
bip 2002-01-03 12:06 158
split 2001-12-06 14:00 111
disconnection 2001-09-13 15:19 56
pell34 2001-09-04 17:11 41K
mir 2001-09-04 15:07 171
pell34.dfg 2001-09-04 14:26 641
dmap 2001-09-04 13:10 2.9K
eq 2001-09-04 10:28 26
pi 2001-08-16 13:57 158
natp 2001-07-02 16:48 457
ord 2001-04-30 15:52 930
lk 2001-04-27 12:15 115
zero 2001-03-19 07:53 1.5K
ag-waldmeister 2001-03-12 16:02 7.3K
ineq 2001-03-01 10:13 52
logic 2001-02-27 13:18 592
maxflow 2001-02-12 15:38 519
SET748.ord 2000-12-22 13:18 412
match 2000-11-28 13:16 824
qs 2000-11-15 14:10 233
sp 2000-11-15 12:01 207
hs 2000-03-03 15:27 126
pp 2000-02-22 13:58 92
nat1 1999-11-15 14:04 87
mv 1999-10-21 13:40 177
SET 1999-07-24 04:14 86K
casc16 1999-07-22 14:44 4.2K
COL 1999-07-21 17:32 95
LAT 1999-07-21 17:01 0
NUM 1999-07-21 12:06 562
spassResults 1999-07-21 11:45 266K
sel 1999-07-19 16:56 99
less 1999-04-26 11:27 347
cat.dfg 1999-03-25 15:51 2.6K
cat 1999-03-25 15:51 1.7K
tt 1998-10-02 16:19 135
nat 1998-08-20 14:26 167
natt 1998-08-19 16:46 93
dnfma.dfg 1998-07-02 10:34 48K
dnfma.pl 1998-07-02 10:29 48K
dnf.pl 1998-07-02 09:06 1.7K
trm 1998-06-05 12:20 3.7K
trm.pl 1998-06-05 11:59 1.6K
s4 1998-05-11 09:45 938
s4.ord 1998-05-11 09:42 115
tamet 1998-05-05 08:09 379
kiv2 1998-03-09 09:40 9.0K
kivt 1998-03-09 08:58 2.1K
kiv 1998-03-09 07:32 8.7K
t2 1998-02-06 20:24 111
res 1998-01-22 16:01 47
fld 1998-01-16 19:45 269
we 1998-01-13 16:25 42
tr.abs 1998-01-13 14:54 3.2K
tr.pl 1997-12-19 16:27 3.1K
tr.dfg.model 1997-12-19 16:20 16K
tr.dfg 1997-12-19 16:19 3.2K
t1 1997-11-05 07:23 178
t3 1997-10-24 16:58 252
deforest 1997-10-23 11:55 735
brand_var 1997-10-15 10:34 2.9K
t4 1997-10-14 16:15 464
brand_noconstraints 1997-10-10 14:50 1.5K
brand_constraints 1997-10-10 14:50 3.3K
eqg 1997-10-02 16:51 35
t 1997-09-19 12:29 629
brand_constraints_nicetry 1997-09-17 06:51 2.2K
brand_comm 1997-09-16 14:31 1.7K
brand 1997-07-05 13:00 1.5K
brand1 1997-06-25 08:31 362
brandeq 1997-06-24 20:43 494
LDA013-1 1995-05-17 06:58 2.5K
Apache/2.4.62 (Debian) Server at resources.mpi-inf.mpg.de Port 443