Finding and Certifying Loops
Home Find SRS Cert SRS Cert TRS
Home Find SRS Cert SRS Cert TRS

Statistics

Tool[ttt2]# (% of total)time (avg.) sec
yes 277 ( 37)760.12 (2.74)
no 97 ( 13)1126.09 (11.61)
maybe 358 ( 48)21152.56 (59.09)
timeout 0 ( 0) -
error 0 ( 0) -
total 732 23038.77
Certifier[CeTA]# (% of total)time (avg.) secproof-size (avg.) KB
accepted 97 (100)2.42 (0.02)245.23 (2.53)
rejected 0 ( 0) - 0.00 (0.00)
timeout 0 ( 0) - 0.00 (0.00)
total 97 2.42245.23 (2.53)

Results

SRS/Bouchare/01.srs0.87
SRS/Bouchare/02.srs0.82
SRS/Bouchare/03.srs59.08
SRS/Bouchare/04.srs1.72
SRS/Bouchare/05.srs1.09
SRS/Bouchare/06.srs0.45
SRS/Bouchare/07.srs1.83
SRS/Bouchare/08.srs0.200.01
SRS/Bouchare/09.srs2.110.01
SRS/Bouchare/10.srs59.08
SRS/Bouchare/11.srs8.91
SRS/Bouchare/12.srs59.08
SRS/Bouchare/13.srs0.60
SRS/Bouchare/14.srs13.95
SRS/Bouchare/15.srs0.77
SRS/Bouchare/16.srs0.74
SRS/Bouchare/17.srs0.91
SRS/Bouchare/18.srs0.73
SRS/Endrullis/01.srs59.08
SRS/Endrullis/02.srs59.05
SRS/Endrullis/03.srs59.08
SRS/Endrullis/04.srs59.08
SRS/Endrullis/05.srs59.10
SRS/Endrullis/06.srs2.45
SRS/Endrullis/07.srs59.08
SRS/Endrullis/08.srs59.10
SRS/Endrullis/09.srs59.09
SRS/Gebhardt/01.srs59.07
SRS/Gebhardt/02.srs59.05
SRS/Gebhardt/03.srs3.530.02
SRS/Gebhardt/04.srs59.08
SRS/Gebhardt/05.srs37.860.03
SRS/Gebhardt/06.srs59.05
SRS/Gebhardt/07.srs59.04
SRS/Gebhardt/08.srs5.710.03
SRS/Gebhardt/09.srs59.04
SRS/Gebhardt/10.srs59.05
SRS/Gebhardt/11.srs59.04
SRS/Gebhardt/12.srs59.06
SRS/Gebhardt/13.srs59.04
SRS/Gebhardt/14.srs59.07
SRS/Gebhardt/15.srs2.690.03
SRS/Gebhardt/16.srs59.03
SRS/Gebhardt/17.srs59.07
SRS/Gebhardt/18.srs59.05
SRS/Gebhardt/19.srs59.06
SRS/Gebhardt/20.srs59.05
SRS/Hofbauer/touzet.srs0.41
SRS/HofWald/1.srs1.070.02
SRS/HofWald/2.srs59.04
SRS/HofWald/3.srs0.53
SRS/HofWald/4.srs59.03
SRS/Marche/s6.srs0.26
SRS/Marche/turing_add.srs1.47
SRS/Marche/turing_copy.srs0.020.02
SRS/Marche/turing_mult.srs5.380.02
SRS/oppelt08/01.srs59.09
SRS/oppelt08/02.srs59.06
SRS/oppelt08/03.srs59.07
SRS/oppelt08/04.srs59.06
SRS/oppelt08/05.srs59.09
SRS/oppelt08/06.srs59.08
SRS/oppelt08/07.srs59.06
SRS/oppelt08/08.srs59.11
SRS/secret05/aprove1.srs59.07
SRS/secret05/aprove2.srs4.52
SRS/secret05/aprove3.srs59.08
SRS/secret05/aprove4.srs59.12
SRS/secret05/aprove5.srs59.12
SRS/secret05/jambox1.srs59.11
SRS/secret05/jambox2.srs59.11
SRS/secret05/jambox3.srs59.11
SRS/secret05/jambox4.srs1.89
SRS/secret05/jambox5.srs59.07
SRS/secret05/matchbox1.srs0.69
SRS/secret05/matchbox2.srs9.97
SRS/secret05/torpa1.srs11.57
SRS/secret05/torpa2.srs59.03
SRS/secret05/torpa3.srs0.66
SRS/secret05/torpa4.srs59.12
SRS/secret06/aprove00.srs0.44
SRS/secret06/aprove01.srs2.48
SRS/secret06/aprove02.srs3.90
SRS/secret06/aprove03.srs8.29
SRS/secret06/aprove04.srs3.80
SRS/secret06/aprove05.srs0.48
SRS/secret06/aprove06.srs2.56
SRS/secret06/aprove07.srs7.07
SRS/secret06/aprove08.srs3.53
SRS/secret06/aprove09.srs0.62
SRS/secret06/jambox/10.srs0.44
SRS/secret06/jambox/1.srs59.11
SRS/secret06/jambox/2.srs59.09
SRS/secret06/jambox/3.srs59.09
SRS/secret06/jambox/4.srs59.10
SRS/secret06/jambox/5.srs59.10
SRS/secret06/jambox/6.srs4.27
SRS/secret06/jambox/7.srs2.45
SRS/secret06/jambox/8.srs12.12
SRS/secret06/jambox/9.srs0.71
SRS/secret06/matchbox/1.srs29.550.03
SRS/secret06/matchbox/2.srs59.06
SRS/secret06/matchbox/3.srs4.24
SRS/secret06/matchbox/5.srs3.90
SRS/secret06/multum1.srs59.08
SRS/secret06/multum2.srs8.35
SRS/secret06/multum3.srs59.07
SRS/secret06/multum4.srs5.32
SRS/secret06/multum5.srs2.89
SRS/secret06/multum6.srs6.49
SRS/secret06/torpa/secr10.srs9.30
SRS/secret06/torpa/secr1.srs0.73
SRS/secret06/torpa/secr2.srs0.78
SRS/secret06/torpa/secr3.srs59.09
SRS/secret06/torpa/secr4.srs59.11
SRS/secret06/torpa/secr5.srs59.11
SRS/secret06/torpa/secr6.srs59.12
SRS/secret06/torpa/secr7.srs0.43
SRS/secret06/torpa/secr8.srs1.98
SRS/secret06/torpa/secr9.srs2.63
SRS/secret07/matchbox/num-514.srs59.08
SRS/secret07/matchbox/num-515.srs12.520.03
SRS/secret07/matchbox/num-518.srs59.09
SRS/secret07/matchbox/num-519.srs59.07
SRS/secret07/matchbox/num-520.srs59.09
SRS/secret07/matchbox/num-521.srs35.140.03
SRS/secret07/matchbox/num-525.srs5.320.02
SRS/secret07/matchbox/num-527.srs20.540.05
SRS/secret07/matchbox/num-530.srs2.680.03
SRS/secret07/matchbox/num-539.srs6.540.02
SRS/secret07/others/dj.srs0.06
SRS/secret07/torpa/x01.srs59.08
SRS/secret07/torpa/x02.srs0.83
SRS/secret07/torpa/x03.srs59.10
SRS/secret07/torpa/x04.srs2.24
SRS/secret07/torpa/x05.srs59.09
SRS/secret07/torpa/x06.srs59.12
SRS/secret07/torpa/x07.srs59.13
SRS/secret07/torpa/x08.srs59.11
SRS/secret07/torpa/x09.srs59.10
SRS/secret07/torpa/x10.srs3.41
SRS/Trafo/dup01.srs3.28
SRS/Trafo/dup05.srs59.07
SRS/Trafo/dup06.srs2.10
SRS/Trafo/dup07.srs59.09
SRS/Trafo/dup08.srs9.56
SRS/Trafo/dup09.srs1.20
SRS/Trafo/dup10.srs59.03
SRS/Trafo/dup11.srs59.15
SRS/Trafo/dup12.srs59.08
SRS/Trafo/dup13.srs9.65
SRS/Trafo/dup14.srs59.07
SRS/Trafo/dup15.srs59.11
SRS/Trafo/dup16.srs59.07
SRS/Trafo/dup17.srs3.21
SRS/Trafo/hom01.srs59.10
SRS/Trafo/hom02.srs0.33
SRS/Trafo/hom03.srs4.41
SRS/Trafo/un02.srs59.04
SRS/Trafo/un04.srs34.280.03
SRS/Trafo/un05.srs59.04
SRS/Trafo/un06.srs5.65
SRS/Trafo/un07.srs18.23
SRS/Trafo/un08.srs59.08
SRS/Trafo/un09.srs23.28
SRS/Trafo/un10.srs59.03
SRS/Trafo/un11.srs59.03
SRS/Trafo/un12.srs59.03
SRS/Trafo/un13.srs59.03
SRS/Trafo/un14.srs59.08
SRS/Trafo/un15.srs59.06
SRS/Trafo/un16.srs59.06
SRS/Trafo/un17.srs59.05
SRS/Trafo/un18.srs59.09
SRS/Waldmann07a/size-11-alpha-2-num-1.srs59.08
SRS/Waldmann07a/size-11-alpha-2-num-2.srs59.08
SRS/Waldmann07a/size-11-alpha-2-num-3.srs59.10
SRS/Waldmann07a/size-11-alpha-2-num-4.srs59.09
SRS/Waldmann07a/size-11-alpha-3-num-10.srs59.10
SRS/Waldmann07a/size-11-alpha-3-num-11.srs59.10
SRS/Waldmann07a/size-11-alpha-3-num-12.srs0.50
SRS/Waldmann07a/size-11-alpha-3-num-13.srs0.56
SRS/Waldmann07a/size-11-alpha-3-num-14.srs59.10
SRS/Waldmann07a/size-11-alpha-3-num-15.srs19.090.02
SRS/Waldmann07a/size-11-alpha-3-num-16.srs1.09
SRS/Waldmann07a/size-11-alpha-3-num-17.srs59.09
SRS/Waldmann07a/size-11-alpha-3-num-18.srs11.630.02
SRS/Waldmann07a/size-11-alpha-3-num-19.srs59.10
SRS/Waldmann07a/size-11-alpha-3-num-1.srs59.10
SRS/Waldmann07a/size-11-alpha-3-num-20.srs59.10
SRS/Waldmann07a/size-11-alpha-3-num-21.srs59.10
SRS/Waldmann07a/size-11-alpha-3-num-2.srs59.08
SRS/Waldmann07a/size-11-alpha-3-num-3.srs0.39
SRS/Waldmann07a/size-11-alpha-3-num-4.srs59.10
SRS/Waldmann07a/size-11-alpha-3-num-5.srs59.10
SRS/Waldmann07a/size-11-alpha-3-num-6.srs59.10
SRS/Waldmann07a/size-11-alpha-3-num-7.srs59.09
SRS/Waldmann07a/size-11-alpha-3-num-8.srs59.10
SRS/Waldmann07a/size-11-alpha-3-num-9.srs59.09
SRS/Waldmann07a/size-12-alpha-2-num-10.srs59.06
SRS/Waldmann07a/size-12-alpha-2-num-11.srs59.05
SRS/Waldmann07a/size-12-alpha-2-num-12.srs59.05
SRS/Waldmann07a/size-12-alpha-2-num-13.srs59.08
SRS/Waldmann07a/size-12-alpha-2-num-14.srs59.09
SRS/Waldmann07a/size-12-alpha-2-num-15.srs59.10
SRS/Waldmann07a/size-12-alpha-2-num-16.srs0.95
SRS/Waldmann07a/size-12-alpha-2-num-17.srs27.080.05
SRS/Waldmann07a/size-12-alpha-2-num-18.srs59.09
SRS/Waldmann07a/size-12-alpha-2-num-19.srs59.07
SRS/Waldmann07a/size-12-alpha-2-num-1.srs0.67
SRS/Waldmann07a/size-12-alpha-2-num-20.srs59.09
SRS/Waldmann07a/size-12-alpha-2-num-21.srs2.22
SRS/Waldmann07a/size-12-alpha-2-num-22.srs0.36
SRS/Waldmann07a/size-12-alpha-2-num-2.srs59.08
SRS/Waldmann07a/size-12-alpha-2-num-3.srs0.51
SRS/Waldmann07a/size-12-alpha-2-num-4.srs59.06
SRS/Waldmann07a/size-12-alpha-2-num-5.srs59.06
SRS/Waldmann07a/size-12-alpha-2-num-6.srs59.06
SRS/Waldmann07a/size-12-alpha-2-num-7.srs59.06
SRS/Waldmann07a/size-12-alpha-2-num-8.srs59.08
SRS/Waldmann07a/size-12-alpha-2-num-9.srs59.05
SRS/Waldmann07b/size-12-alpha-3-num-100.srs9.720.02
SRS/Waldmann07b/size-12-alpha-3-num-101.srs2.160.02
SRS/Waldmann07b/size-12-alpha-3-num-104.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-105.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-106.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-107.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-108.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-109.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-10.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-110.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-111.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-112.srs6.21
SRS/Waldmann07b/size-12-alpha-3-num-113.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-114.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-11.srs59.05
SRS/Waldmann07b/size-12-alpha-3-num-120.srs45.420.04
SRS/Waldmann07b/size-12-alpha-3-num-121.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-122.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-123.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-124.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-125.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-126.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-127.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-128.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-129.srs10.650.02
SRS/Waldmann07b/size-12-alpha-3-num-131.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-132.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-133.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-134.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-135.srs26.900.02
SRS/Waldmann07b/size-12-alpha-3-num-13.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-140.srs3.200.01
SRS/Waldmann07b/size-12-alpha-3-num-146.srs1.100.01
SRS/Waldmann07b/size-12-alpha-3-num-149.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-14.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-152.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-158.srs0.500.01
SRS/Waldmann07b/size-12-alpha-3-num-159.srs8.160.01
SRS/Waldmann07b/size-12-alpha-3-num-15.srs0.61
SRS/Waldmann07b/size-12-alpha-3-num-160.srs3.590.01
SRS/Waldmann07b/size-12-alpha-3-num-163.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-164.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-165.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-168.srs0.92
SRS/Waldmann07b/size-12-alpha-3-num-16.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-170.srs21.160.02
SRS/Waldmann07b/size-12-alpha-3-num-174.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-176.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-177.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-178.srs8.170.02
SRS/Waldmann07b/size-12-alpha-3-num-179.srs6.590.02
SRS/Waldmann07b/size-12-alpha-3-num-17.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-180.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-181.srs4.380.02
SRS/Waldmann07b/size-12-alpha-3-num-186.srs0.65
SRS/Waldmann07b/size-12-alpha-3-num-190.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-191.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-194.srs2.14
SRS/Waldmann07b/size-12-alpha-3-num-195.srs1.900.02
SRS/Waldmann07b/size-12-alpha-3-num-198.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-199.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-19.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-1.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-200.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-201.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-202.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-203.srs2.59
SRS/Waldmann07b/size-12-alpha-3-num-204.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-206.srs9.850.02
SRS/Waldmann07b/size-12-alpha-3-num-207.srs2.780.02
SRS/Waldmann07b/size-12-alpha-3-num-209.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-20.srs3.690.02
SRS/Waldmann07b/size-12-alpha-3-num-210.srs59.08
SRS/Waldmann07b/size-12-alpha-3-num-211.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-213.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-215.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-217.srs22.510.02
SRS/Waldmann07b/size-12-alpha-3-num-219.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-21.srs14.720.05
SRS/Waldmann07b/size-12-alpha-3-num-220.srs59.08
SRS/Waldmann07b/size-12-alpha-3-num-221.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-222.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-223.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-224.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-225.srs0.68
SRS/Waldmann07b/size-12-alpha-3-num-226.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-227.srs10.330.02
SRS/Waldmann07b/size-12-alpha-3-num-22.srs5.200.02
SRS/Waldmann07b/size-12-alpha-3-num-231.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-232.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-233.srs13.490.02
SRS/Waldmann07b/size-12-alpha-3-num-236.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-237.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-238.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-239.srs12.610.02
SRS/Waldmann07b/size-12-alpha-3-num-23.srs3.910.02
SRS/Waldmann07b/size-12-alpha-3-num-241.srs28.950.02
SRS/Waldmann07b/size-12-alpha-3-num-243.srs45.220.02
SRS/Waldmann07b/size-12-alpha-3-num-247.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-248.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-249.srs7.850.02
SRS/Waldmann07b/size-12-alpha-3-num-255.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-257.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-260.srs8.410.02
SRS/Waldmann07b/size-12-alpha-3-num-263.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-265.srs0.60
SRS/Waldmann07b/size-12-alpha-3-num-267.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-270.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-271.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-272.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-273.srs0.25
SRS/Waldmann07b/size-12-alpha-3-num-274.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-275.srs0.24
SRS/Waldmann07b/size-12-alpha-3-num-279.srs0.56
SRS/Waldmann07b/size-12-alpha-3-num-281.srs0.23
SRS/Waldmann07b/size-12-alpha-3-num-282.srs0.44
SRS/Waldmann07b/size-12-alpha-3-num-283.srs0.26
SRS/Waldmann07b/size-12-alpha-3-num-284.srs0.25
SRS/Waldmann07b/size-12-alpha-3-num-285.srs0.24
SRS/Waldmann07b/size-12-alpha-3-num-286.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-287.srs0.24
SRS/Waldmann07b/size-12-alpha-3-num-288.srs0.83
SRS/Waldmann07b/size-12-alpha-3-num-289.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-291.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-292.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-293.srs4.80
SRS/Waldmann07b/size-12-alpha-3-num-294.srs0.73
SRS/Waldmann07b/size-12-alpha-3-num-296.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-297.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-298.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-299.srs5.44
SRS/Waldmann07b/size-12-alpha-3-num-300.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-301.srs5.17
SRS/Waldmann07b/size-12-alpha-3-num-303.srs0.66
SRS/Waldmann07b/size-12-alpha-3-num-304.srs0.51
SRS/Waldmann07b/size-12-alpha-3-num-309.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-30.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-31.srs1.05
SRS/Waldmann07b/size-12-alpha-3-num-327.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-328.srs2.290.02
SRS/Waldmann07b/size-12-alpha-3-num-32.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-330.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-335.srs0.84
SRS/Waldmann07b/size-12-alpha-3-num-337.srs1.25
SRS/Waldmann07b/size-12-alpha-3-num-338.srs10.750.03
SRS/Waldmann07b/size-12-alpha-3-num-339.srs3.180.03
SRS/Waldmann07b/size-12-alpha-3-num-340.srs13.410.04
SRS/Waldmann07b/size-12-alpha-3-num-341.srs0.90
SRS/Waldmann07b/size-12-alpha-3-num-343.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-345.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-346.srs0.76
SRS/Waldmann07b/size-12-alpha-3-num-347.srs0.46
SRS/Waldmann07b/size-12-alpha-3-num-348.srs0.42
SRS/Waldmann07b/size-12-alpha-3-num-350.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-351.srs0.35
SRS/Waldmann07b/size-12-alpha-3-num-352.srs0.23
SRS/Waldmann07b/size-12-alpha-3-num-353.srs14.310.02
SRS/Waldmann07b/size-12-alpha-3-num-354.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-355.srs8.720.04
SRS/Waldmann07b/size-12-alpha-3-num-356.srs19.320.03
SRS/Waldmann07b/size-12-alpha-3-num-359.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-35.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-360.srs0.97
SRS/Waldmann07b/size-12-alpha-3-num-361.srs56.380.04
SRS/Waldmann07b/size-12-alpha-3-num-362.srs15.410.03
SRS/Waldmann07b/size-12-alpha-3-num-363.srs59.08
SRS/Waldmann07b/size-12-alpha-3-num-366.srs0.74
SRS/Waldmann07b/size-12-alpha-3-num-367.srs0.78
SRS/Waldmann07b/size-12-alpha-3-num-368.srs5.950.03
SRS/Waldmann07b/size-12-alpha-3-num-369.srs2.110.02
SRS/Waldmann07b/size-12-alpha-3-num-373.srs4.000.02
SRS/Waldmann07b/size-12-alpha-3-num-374.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-375.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-376.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-377.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-378.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-382.srs3.880.03
SRS/Waldmann07b/size-12-alpha-3-num-383.srs6.050.04
SRS/Waldmann07b/size-12-alpha-3-num-384.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-385.srs21.800.04
SRS/Waldmann07b/size-12-alpha-3-num-386.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-389.srs0.76
SRS/Waldmann07b/size-12-alpha-3-num-391.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-392.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-395.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-396.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-399.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-3.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-400.srs20.360.04
SRS/Waldmann07b/size-12-alpha-3-num-401.srs9.360.04
SRS/Waldmann07b/size-12-alpha-3-num-402.srs52.480.04
SRS/Waldmann07b/size-12-alpha-3-num-403.srs13.700.04
SRS/Waldmann07b/size-12-alpha-3-num-406.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-408.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-409.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-40.srs1.97
SRS/Waldmann07b/size-12-alpha-3-num-410.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-412.srs0.39
SRS/Waldmann07b/size-12-alpha-3-num-413.srs0.43
SRS/Waldmann07b/size-12-alpha-3-num-414.srs0.54
SRS/Waldmann07b/size-12-alpha-3-num-415.srs0.51
SRS/Waldmann07b/size-12-alpha-3-num-416.srs1.18
SRS/Waldmann07b/size-12-alpha-3-num-417.srs0.75
SRS/Waldmann07b/size-12-alpha-3-num-418.srs0.65
SRS/Waldmann07b/size-12-alpha-3-num-41.srs1.00
SRS/Waldmann07b/size-12-alpha-3-num-427.srs0.57
SRS/Waldmann07b/size-12-alpha-3-num-429.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-430.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-431.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-434.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-435.srs1.49
SRS/Waldmann07b/size-12-alpha-3-num-436.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-437.srs59.08
SRS/Waldmann07b/size-12-alpha-3-num-438.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-439.srs0.23
SRS/Waldmann07b/size-12-alpha-3-num-441.srs0.59
SRS/Waldmann07b/size-12-alpha-3-num-443.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-446.srs0.84
SRS/Waldmann07b/size-12-alpha-3-num-448.srs0.70
SRS/Waldmann07b/size-12-alpha-3-num-44.srs0.57
SRS/Waldmann07b/size-12-alpha-3-num-450.srs2.810.02
SRS/Waldmann07b/size-12-alpha-3-num-451.srs0.62
SRS/Waldmann07b/size-12-alpha-3-num-452.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-453.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-454.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-455.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-456.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-45.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-460.srs1.05
SRS/Waldmann07b/size-12-alpha-3-num-461.srs0.47
SRS/Waldmann07b/size-12-alpha-3-num-462.srs0.43
SRS/Waldmann07b/size-12-alpha-3-num-465.srs0.52
SRS/Waldmann07b/size-12-alpha-3-num-467.srs0.65
SRS/Waldmann07b/size-12-alpha-3-num-468.srs1.33
SRS/Waldmann07b/size-12-alpha-3-num-469.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-470.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-472.srs59.08
SRS/Waldmann07b/size-12-alpha-3-num-473.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-474.srs6.230.03
SRS/Waldmann07b/size-12-alpha-3-num-475.srs59.11
SRS/Waldmann07b/size-12-alpha-3-num-476.srs0.54
SRS/Waldmann07b/size-12-alpha-3-num-477.srs0.67
SRS/Waldmann07b/size-12-alpha-3-num-478.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-479.srs5.47
SRS/Waldmann07b/size-12-alpha-3-num-47.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-480.srs0.65
SRS/Waldmann07b/size-12-alpha-3-num-482.srs0.63
SRS/Waldmann07b/size-12-alpha-3-num-484.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-485.srs0.73
SRS/Waldmann07b/size-12-alpha-3-num-487.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-488.srs4.650.02
SRS/Waldmann07b/size-12-alpha-3-num-489.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-48.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-491.srs15.130.03
SRS/Waldmann07b/size-12-alpha-3-num-492.srs11.180.03
SRS/Waldmann07b/size-12-alpha-3-num-493.srs48.500.03
SRS/Waldmann07b/size-12-alpha-3-num-494.srs0.64
SRS/Waldmann07b/size-12-alpha-3-num-495.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-497.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-498.srs1.88
SRS/Waldmann07b/size-12-alpha-3-num-499.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-49.srs0.44
SRS/Waldmann07b/size-12-alpha-3-num-4.srs0.73
SRS/Waldmann07b/size-12-alpha-3-num-502.srs59.08
SRS/Waldmann07b/size-12-alpha-3-num-503.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-506.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-507.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-508.srs59.08
SRS/Waldmann07b/size-12-alpha-3-num-511.srs4.640.03
SRS/Waldmann07b/size-12-alpha-3-num-514.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-515.srs14.510.03
SRS/Waldmann07b/size-12-alpha-3-num-518.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-519.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-51.srs0.42
SRS/Waldmann07b/size-12-alpha-3-num-520.srs59.08
SRS/Waldmann07b/size-12-alpha-3-num-521.srs35.270.04
SRS/Waldmann07b/size-12-alpha-3-num-522.srs8.680.03
SRS/Waldmann07b/size-12-alpha-3-num-525.srs5.390.02
SRS/Waldmann07b/size-12-alpha-3-num-526.srs2.08
SRS/Waldmann07b/size-12-alpha-3-num-527.srs18.410.05
SRS/Waldmann07b/size-12-alpha-3-num-52.srs0.33
SRS/Waldmann07b/size-12-alpha-3-num-530.srs2.430.03
SRS/Waldmann07b/size-12-alpha-3-num-532.srs5.00
SRS/Waldmann07b/size-12-alpha-3-num-535.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-536.srs2.37
SRS/Waldmann07b/size-12-alpha-3-num-539.srs6.510.02
SRS/Waldmann07b/size-12-alpha-3-num-540.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-541.srs4.79
SRS/Waldmann07b/size-12-alpha-3-num-543.srs59.08
SRS/Waldmann07b/size-12-alpha-3-num-545.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-546.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-547.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-548.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-549.srs0.98
SRS/Waldmann07b/size-12-alpha-3-num-550.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-551.srs6.33
SRS/Waldmann07b/size-12-alpha-3-num-552.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-553.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-556.srs59.08
SRS/Waldmann07b/size-12-alpha-3-num-558.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-559.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-560.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-561.srs0.25
SRS/Waldmann07b/size-12-alpha-3-num-563.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-564.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-565.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-566.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-568.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-57.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-59.srs0.86
SRS/Waldmann07b/size-12-alpha-3-num-61.srs1.23
SRS/Waldmann07b/size-12-alpha-3-num-64.srs59.07
SRS/Waldmann07b/size-12-alpha-3-num-65.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-66.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-67.srs0.34
SRS/Waldmann07b/size-12-alpha-3-num-70.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-71.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-72.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-74.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-76.srs0.39
SRS/Waldmann07b/size-12-alpha-3-num-7.srs17.800.02
SRS/Waldmann07b/size-12-alpha-3-num-82.srs0.40
SRS/Waldmann07b/size-12-alpha-3-num-83.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-84.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-85.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-86.srs59.10
SRS/Waldmann07b/size-12-alpha-3-num-88.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-90.srs22.570.03
SRS/Waldmann07b/size-12-alpha-3-num-91.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-92.srs0.22
SRS/Waldmann07b/size-12-alpha-3-num-94.srs0.82
SRS/Waldmann07b/size-12-alpha-3-num-95.srs59.09
SRS/Waldmann07b/size-12-alpha-3-num-98.srs59.06
SRS/Waldmann07b/size-12-alpha-3-num-99.srs1.720.02
SRS/Waldmann07b/size-12-alpha-3-num-9.srs59.09
SRS/Waldmann/e.srs6.46
SRS/Waldmann/jw1.srs59.06
SRS/Waldmann/jw3.srs59.12
SRS/Waldmann/jw4.srs59.09
SRS/Waldmann/jw5.srs59.09
SRS/Waldmann/pi.srs2.25
SRS/Waldmann/sym-1.srs3.51
SRS/Waldmann/sym-2.srs59.07
SRS/Waldmann/sym-4.srs0.99
SRS/Waldmann/sym-5.srs59.06
SRS/Waldmann/sym-6.srs59.07
SRS/Waldmann/uni-1.srs0.66
SRS/Waldmann/uni-2.srs0.620.02
SRS/Waldmann/uni-3.srs1.410.02
SRS/Waldmann/uni-4.srs0.720.01
SRS/Waldmann/uni-5.srs59.09
SRS/Waldmann/uni-6.srs4.560.02
SRS/Waldmann/uni-7.srs59.07
SRS/Waldmann/z086-variant.srs59.06
SRS/Zantema06/01.srs0.68
SRS/Zantema06/02.srs1.28
SRS/Zantema06/03.srs59.11
SRS/Zantema06/04.srs1.87
SRS/Zantema06/05.srs59.10
SRS/Zantema06/06.srs59.03
SRS/Zantema06/07.srs59.10
SRS/Zantema06/08.srs19.33
SRS/Zantema06/09.srs59.11
SRS/Zantema06/10.srs0.82
SRS/Zantema06/11.srs7.64
SRS/Zantema06/12.srs7.25
SRS/Zantema06/13.srs59.10
SRS/Zantema06/14.srs59.11
SRS/Zantema06/15.srs23.18
SRS/Zantema06/16.srs5.24
SRS/Zantema06/17.srs59.12
SRS/Zantema06/18.srs59.12
SRS/Zantema06/abc.srs0.50
SRS/Zantema06/beans1.srs1.00
SRS/Zantema06/beans2.srs8.00
SRS/Zantema06/beans3.srs9.44
SRS/Zantema06/beans4.srs3.09
SRS/Zantema06/beans5.srs5.65
SRS/Zantema06/beans6.srs7.73
SRS/Zantema06/beans7.srs7.08
SRS/Zantema06/loop1.srs0.400.01
SRS/Zantema06/loop2.srs0.510.01
SRS/Zantema06/while1.srs59.16
SRS/Zantema06/while2.srs5.16
SRS/Zantema/syracuse.srs59.11
SRS/Zantema/z001.srs8.57
SRS/Zantema/z002.srs0.78
SRS/Zantema/z003.srs2.51
SRS/Zantema/z004.srs2.14
SRS/Zantema/z005.srs1.10
SRS/Zantema/z006.srs0.09
SRS/Zantema/z007.srs0.13
SRS/Zantema/z008.srs10.73
SRS/Zantema/z009.srs0.29
SRS/Zantema/z010.srs0.49
SRS/Zantema/z011.srs1.19
SRS/Zantema/z012.srs0.51
SRS/Zantema/z013.srs0.86
SRS/Zantema/z014.srs0.11
SRS/Zantema/z015.srs1.12
SRS/Zantema/z017.srs0.14
SRS/Zantema/z018.srs1.25
SRS/Zantema/z019.srs0.47
SRS/Zantema/z020.srs0.96
SRS/Zantema/z021.srs1.26
SRS/Zantema/z022.srs1.89
SRS/Zantema/z023.srs0.78
SRS/Zantema/z024.srs1.16
SRS/Zantema/z025.srs0.27
SRS/Zantema/z026.srs0.15
SRS/Zantema/z027.srs59.03
SRS/Zantema/z028.srs3.97
SRS/Zantema/z029.srs59.03
SRS/Zantema/z030.srs59.03
SRS/Zantema/z031.srs59.03
SRS/Zantema/z032.srs59.03
SRS/Zantema/z033.srs1.12
SRS/Zantema/z034.srs59.03
SRS/Zantema/z035.srs59.03
SRS/Zantema/z036.srs59.03
SRS/Zantema/z037.srs59.03
SRS/Zantema/z038.srs7.65
SRS/Zantema/z039.srs7.32
SRS/Zantema/z040.srs59.03
SRS/Zantema/z041.srs59.03
SRS/Zantema/z042.srs0.480.02
SRS/Zantema/z043.srs3.26
SRS/Zantema/z044.srs0.110.01
SRS/Zantema/z045.srs3.28
SRS/Zantema/z046.srs0.090.01
SRS/Zantema/z047.srs2.89
SRS/Zantema/z048.srs59.03
SRS/Zantema/z049.srs1.24
SRS/Zantema/z050.srs0.77
SRS/Zantema/z051.srs3.31
SRS/Zantema/z052.srs3.59
SRS/Zantema/z053.srs3.04
SRS/Zantema/z054.srs4.56
SRS/Zantema/z055.srs0.74
SRS/Zantema/z056.srs4.55
SRS/Zantema/z057.srs3.09
SRS/Zantema/z058.srs1.31
SRS/Zantema/z059.srs4.24
SRS/Zantema/z060.srs0.62
SRS/Zantema/z061.srs0.06
SRS/Zantema/z062.srs0.58
SRS/Zantema/z063.srs0.44
SRS/Zantema/z064.srs3.57
SRS/Zantema/z065.srs0.67
SRS/Zantema/z066.srs2.14
SRS/Zantema/z067.srs1.97
SRS/Zantema/z068.srs3.70
SRS/Zantema/z069.srs0.69
SRS/Zantema/z070.srs1.19
SRS/Zantema/z071.srs0.21
SRS/Zantema/z072.srs0.26
SRS/Zantema/z073.srs59.05
SRS/Zantema/z074.srs59.13
SRS/Zantema/z075.srs59.11
SRS/Zantema/z076.srs0.17
SRS/Zantema/z077.srs0.09
SRS/Zantema/z078.srs0.17
SRS/Zantema/z079.srs59.09
SRS/Zantema/z080.srs1.17
SRS/Zantema/z081.srs0.28
SRS/Zantema/z082.srs3.11
SRS/Zantema/z083.srs11.89
SRS/Zantema/z084.srs1.69
SRS/Zantema/z085.srs0.53
SRS/Zantema/z086.srs1.73
SRS/Zantema/z087.srs3.33
SRS/Zantema/z088.srs3.68
SRS/Zantema/z089.srs0.82
SRS/Zantema/z090.srs59.12
SRS/Zantema/z091.srs1.46
SRS/Zantema/z092.srs3.54
SRS/Zantema/z093.srs0.19
SRS/Zantema/z094.srs1.18
SRS/Zantema/z095.srs15.97
SRS/Zantema/z096.srs0.300.01
SRS/Zantema/z097.srs59.03
SRS/Zantema/z098.srs12.48
SRS/Zantema/z100.srs2.11
SRS/Zantema/z101.srs0.25
SRS/Zantema/z102.srs7.25
SRS/Zantema/z103.srs1.39
SRS/Zantema/z104.srs59.11
SRS/Zantema/z105.srs59.07
SRS/Zantema/z106.srs0.90
SRS/Zantema/z107.srs59.07
SRS/Zantema/z108.srs0.73
SRS/Zantema/z109.srs59.08
SRS/Zantema/z110.srs0.27
SRS/Zantema/z111.srs9.39
SRS/Zantema/z112.srs11.27
SRS/Zantema/z113.srs59.12
SRS/Zantema/z114.srs0.65
SRS/Zantema/z115.srs0.96
SRS/Zantema/z116.srs0.33
SRS/Zantema/z117.srs59.13
SRS/Zantema/z118.srs0.57
SRS/Zantema/z119.srs59.11
SRS/Zantema/z120.srs59.12
SRS/Zantema/z121.srs59.12
SRS/Zantema/z122.srs10.74
SRS/Zantema/z123.srs38.76
SRS/Zantema/z124.srs1.18
SRS/Zantema/z125.srs1.87
SRS/Zantema/z126.srs0.17
SRS/Zantema/z127.srs0.430.01
SRS/Zantema/z128.srs0.480.01
Design © 2006 by Thomas Sternagel * Intermedia