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