Benchmarksunconstrained

Benchmarks without constraints

Here it is a list with the examples without constraints we use and the paper where they are taken from.

File
Dimension
from
Algorithm
Size
Others

yan_backtracking_2008_ecommerce.citl (sourceforge.net)
(3^4)

yan_backtracking_2008

AETG
9

yan_backtracking_2008_ecommerce.citl (sourceforge.net)
(3^4)

yan_backtracking_2008

AETG
9

yan_backtracking_2008_1.citl
(3^4)

yan_backtracking_2008

AETG
9
(SA,9)

yan_backtracking_2008_2.citl
(3^13)

yan_backtracking_2008

AETG
17
(SA,16)

yan_backtracking_2008_3.citl
(4^6)

yan_backtracking_2008

AETG
77
(SA,64)

yan_backtracking_2008_4.citl
(5^1) x (3^8) x (2^2)

yan_backtracking_2008

AETG
20
(SA,15)

yan_backtracking_2008_5.citl
(7^1) x (6^1) x (5^1) x (4^5) x (3^8) x (2^3)

yan_backtracking_2008

AETG
42
(SA,42)

yan_backtracking_2008_6.citl
(5^1) x (4^3) x (3^11) x (2^5)

yan_backtracking_2008

AETG
28
(SA,21)

yan_backtracking_2008_7.citl
(5^1) x (6^1) x (4^6) x (3^8)

yan_backtracking_2008

AETG
35
(SA,30)

yan_backtracking_2008_8.citl
(4^1) x (3^39) x (2^35)

yan_backtracking_2008

AETG
27
(SA,21)

barrett_combinatorial_2009_1.citl
(3^4)

barrett_combinatorial_2009

TESTGEN
9
(IPO,9) (AETG,11) (PICT,9)

barrett_combinatorial_2009_2.citl
(3^13)

barrett_combinatorial_2009

TESTGEN
19
(IPO,17) (AETG,17) (PICT,18)

barrett_combinatorial_2009_3.citl
(4^15) x (3^17) x (2^29)

barrett_combinatorial_2009

TESTGEN
35
(IPO,34) (AETG,35) (PICT,37)

barrett_combinatorial_2009_4.citl
(4^1) x (3^39) x (2^35)

barrett_combinatorial_2009

TESTGEN
29
(IPO,26) (AETG,25) (PICT,27)

barrett_combinatorial_2009_5.citl
(2^100)

barrett_combinatorial_2009

TESTGEN
15
(IPO,15) (AETG,12) (PICT,15)

barrett_combinatorial_2009_6.citl
(10^20)

barrett_combinatorial_2009

TESTGEN
212
(IPO,212) (AETG,193) (PICT,210)

colbourn_deterministic_2004_1.citl
(5^1) x (2^8) x (3^2)

colbourn_deterministic_2004

DDA
21
(AETG,19) (TCG,20)

colbourn_deterministic_2004_2.citl
(7^1) x (6^1) x (5^1) x (4^5) x (3^8) x (2^3)

colbourn_deterministic_2004

DDA
43
(AETG,45) (TCG,45)

colbourn_deterministic_2004_3.citl
(5^1) x (4^4) x (3^11) x (2^5)

colbourn_deterministic_2004

DDA
27
(AETG,30) (TCG,30)

colbourn_deterministic_2004_4.citl
(5^1) x (6^1) x (4^6) x (3^8) x (2^3)

colbourn_deterministic_2004

DDA
34
(AETG,34) (TCG,33)

colbourn_deterministic_2004_5.citl
(4^15) x (3^17) x (2^29)

colbourn_deterministic_2004

DDA
35
(AETG,41) (IPO,36) (TCONFIG,40)

colbourn_deterministic_2004_6.citl
(4^1) x (3^39) x (2^35)

colbourn_deterministic_2004

DDA
27
(AETG,28) (IPO,29) (TCONFIG,30)

colbourn_deterministic_2004_7.citl
(3^13)

colbourn_deterministic_2004

DDA
18
(AETG,15) (IPO,19)

colbourn_deterministic_2004_8.citl
(2^100)

colbourn_deterministic_2004

DDA
15
(AETG,10) (TCG,15) (TCONFIG,14)

colbourn_deterministic_2004_9.citl
(4^40)

colbourn_deterministic_2004

DDA
43
(IPO,49) (TCONFIG,40)

colbourn_deterministic_2004_10.citl (sourceforge.net)
(4^100)

colbourn_deterministic_2004

DDA
51
(IPO,52) (TCONFIG,43)

colbourn_deterministic_2004_11.citl (sourceforge.net)
(10^20)

colbourn_deterministic_2004

DDA
201
(AETG,180) (IPO,212) (TCONFIG,231)

tai_test_2002_1.citl
(3^4)

tai_test_2002

PairTest
9
(AETG,11)

tai_test_2002_2.citl
(3^13)

tai_test_2002

PairTest
17
(AETG,17)

tai_test_2002_3.citl
(4^15) x (3^17) x (2^29)

tai_test_2002

PairTest
34
(AETG,35)

tai_test_2002_4.citl
(4^1) x (3^39) x (2^35)

tai_test_2002

PairTest
26
(AETG,24)

tai_test_2002_5.citl
(2^100)

tai_test_2002

PairTest
15
(AETG,12)

tai_test_2002_6.citl
(10^20)

tai_test_2002

PairTest
212
(AETG,193)

tai_test_2002_7.citl
(4^10)

tai_test_2002

PairTest
31
-

tai_test_2002_8.citl
(4^20)

tai_test_2002

PairTest
34
-

tai_test_2002_9.citl
(4^30)

tai_test_2002

PairTest
41
-

tai_test_2002_10.citl (sourceforge.net)
(4^40)

tai_test_2002

PairTest
42
-

tai_test_2002_11.citl (sourceforge.net)
(4^50)

tai_test_2002

PairTest
48
-

tai_test_2002_12.citl (sourceforge.net)
(4^60)

tai_test_2002

PairTest
48
-

tai_test_2002_13.citl (sourceforge.net)
(4^70)

tai_test_2002

PairTest
51
-

tai_test_2002_14.citl (sourceforge.net)
(4^80)

tai_test_2002

PairTest
51
-

tai_test_2002_15.citl (sourceforge.net)
(4^90)

tai_test_2002

PairTest
51
-

tai_test_2002_16.citl (sourceforge.net)
(4^100)

tai_test_2002

PairTest
53
-

tai_test_2002_17.citl (sourceforge.net)
(5^10)

tai_test_2002

PairTest
47
-

tai_test_2002_18.citl (sourceforge.net)
(10^10)

tai_test_2002

PairTest
169
-

tai_test_2002_19.citl (sourceforge.net)
(15^10)

tai_test_2002

PairTest
361
-

tai_test_2002_20.citl (sourceforge.net)
(20^10)

tai_test_2002

PairTest
618
-

tai_test_2002_21.citl (sourceforge.net)
(25^10)

tai_test_2002

PairTest
956
-

tai_test_2002_22.citl (sourceforge.net)
(30^10)

tai_test_2002

PairTest
1355
-

garvin_improved_2009_spin-s.citl (sourceforge.net)
(2^13) x (4^5)

garvin_improved_2009

CASA
24
-

garvin_improved_2009_spin-v.citl (sourceforge.net)
(2^43) x (3^2) x (4^11)

garvin_improved_2009

CASA
36
-

garvin_improved_2009_gcc.citl (sourceforge.net)
(2^189) x (3^10)

garvin_improved_2009

CASA
21
-

garvin_improved_2009_apache.citl (sourceforge.net)
(2^158) x (4^4) x (6^1) x (5^1) x (3^8)

garvin_improved_2009

CASA
33
-

garvin_improved_2009_bugzilla.citl (sourceforge.net)
(2^49) x (4^2) x (3^1)

garvin_improved_2009

CASA
17
-

yan_backtracking_2006_1.citl
(2^13)

yan_backtracking_2006

EXACT
16
(Walksat,16)

yan_backtracking_2006_2.citl
(2^14)

yan_backtracking_2006

EXACT
16
(Walksat,17)

yan_backtracking_2006_3.citl
(2^15)

yan_backtracking_2006

EXACT
18
(Walksat,18)

yan_backtracking_2006_4.citl
(2^16)

yan_backtracking_2006

EXACT
18
(Walksat,18)

yan_backtracking_2006_5.citl
(2^9)

yan_backtracking_2006

EXACT
24
(Walksat,24)

yan_backtracking_2006_6.citl
(2^10)

yan_backtracking_2006

EXACT
24
(Walksat,24)

yan_backtracking_2006_7.citl
(3^13)

yan_backtracking_2006

EXACT
15
(SA,16)

yan_backtracking_2006_8.citl
(2^100)

yan_backtracking_2006

EXACT
10
(SA,12)

yan_backtracking_2006_9.citl
(4^6)

yan_backtracking_2006

EXACT
64
(SA,64)

yan_backtracking_2006_10.citl (sourceforge.net)
(5^1) x (3^8) x (2^2)

yan_backtracking_2006

EXACT
15
(SA,15)

yan_backtracking_2006_11.citl (sourceforge.net)
(7^1) x (6^1) x (5^1) x (4^5) x (3^8) x (2^3)

yan_backtracking_2006

EXACT
42
(SA,42)

yan_backtracking_2006_12.citl (sourceforge.net)
(5^1) x (4^4) x (3^11) x (2^5)

yan_backtracking_2006

EXACT
21
(SA,21)

yan_backtracking_2006_13.citl (sourceforge.net)
(6^1) x (5^1) x (4^6) x (3^8) x (2^3)

yan_backtracking_2006

EXACT
30
(SA,30)

yan_backtracking_2006_14.citl (sourceforge.net)
(4^1) x (3^39) x (2^35)

yan_backtracking_2006

EXACT
21
(SA,21)

cohen_constructing_2003_1.citl
(5^1) x (3^8) x (2^2)

cohen_constructing_2003

Our-TCG
18
(TCG,20) (AETG,19) (Our-AETG,20) (HC,16) (SA,15)

cohen_constructing_2003_2.citl
(7^1) x (6^1) x (5^1) x (4^5) x (3^8) x (2^3)

cohen_constructing_2003

Our-TCG
42
(TCG,45) (AETG,45) (Our-AETG,44) (HC,42) (SA,42)

cohen_constructing_2003_3.citl
(5^1) x (4^4) x (3^11) x (2^5)

cohen_constructing_2003

Our-TCG
25
(TCG,30) (AETG,30) (Our-AETG,28) (HC,23) (SA,21)

cohen_constructing_2003_4.citl
(6^1) x (5^1) x (4^6) x (3^8) x (2^3)

cohen_constructing_2003

Our-TCG
32
(TCG,33) (AETG,34) (Our-AETG,35) (HC,30) (SA,30)

cohen_constructing_2003_5.citl
(3^4)

cohen_constructing_2003

Our-TCG
9
(IPO,9) (AETG,9) (Our-AETG,9) (HC,9) (SA,9)

cohen_constructing_2003_6.citl
(3^13)

cohen_constructing_2003

Our-TCG
17
(IPO,19) (AETG,15) (Our-AETG,17) (HC,16) (SA,16)

cohen_constructing_2003_7.citl
(4^15) x (3^17) x (2^29)

cohen_constructing_2003

Our-TCG
34
(IPO,36) (AETG,41) (Our-AETG,37) (HC,30) (SA,30)

cohen_constructing_2003_8.citl
(4^1) x (3^39) x (2^35)

cohen_constructing_2003

Our-TCG
26
(IPO,29) (AETG,28) (Our-AETG,27) (HC,21) (SA,21)

cohen_exploiting_2007_1.citl
(2^19) x (3^1) x (5^1)

cohen_exploiting_2007

Basic SAT
15
(Hist SAT,15)

cohen_exploiting_2007_2.citl
(2^86) x (3^3) x (4^1) x (5^5) x (6^2)

cohen_exploiting_2007

Basic SAT
56
(Hist SAT,56)

cohen_exploiting_2007_3.citl
(2^86) x (3^3) x (4^3) x (5^1) x (6^1)

cohen_exploiting_2007

Basic SAT
40
(Hist SAT,40)

cohen_exploiting_2007_4.citl
(2^27) x (4^2)

cohen_exploiting_2007

Basic SAT
21
(Hist SAT,20)

cohen_exploiting_2007_5.citl
(2^51) x (3^4) x (4^2) x (5^1)

cohen_exploiting_2007

Basic SAT
29
(Hist SAT,29)

cohen_exploiting_2007_6.citl
(2^155) x (3^7) x (4^3) x (5^5) x (6^4)

cohen_exploiting_2007

Basic SAT
65
(Hist SAT,65)

cohen_exploiting_2007_7.citl
(2^73) x (4^3) x (6^1)

cohen_exploiting_2007

Basic SAT
34
(Hist SAT,34)

cohen_exploiting_2007_8.citl
(2^29) x (3^1)

cohen_exploiting_2007

Basic SAT
12
(Hist SAT,12)

cohen_exploiting_2007_9.citl
(2^109) x (3^2) x (4^2) x (5^3) x (6^3)

cohen_exploiting_2007

Basic SAT
57
(Hist SAT,57)

cohen_exploiting_2007_10.citl (sourceforge.net)
(2^57) x (3^1) x (4^1) x (5^1) x (6^1)

cohen_exploiting_2007

Basic SAT
27
(Hist SAT,27)

cohen_exploiting_2007_11.citl (sourceforge.net)
(2^130) x (3^6) x (4^5) x (5^2) x (6^4)

cohen_exploiting_2007

Basic SAT
64
(Hist SAT,64)

cohen_exploiting_2007_12.citl (sourceforge.net)
(2^134) x (3^7) x (5^3)

cohen_exploiting_2007

Basic SAT
42
(Hist SAT,42)

cohen_exploiting_2007_13.citl (sourceforge.net)
(2^84) x (3^4) x (4^2) x (5^2) x (6^4)

cohen_exploiting_2007

Basic SAT
61
(Hist SAT,60)

cohen_exploiting_2007_14.citl (sourceforge.net)
(2^136) x (3^4) x (4^3) x (5^1) x (6^3)

cohen_exploiting_2007

Basic SAT
57
(Hist SAT,59)

cohen_exploiting_2007_15.citl (sourceforge.net)
(2^124) x (3^4) x (4^1) x (5^2) x (6^2)

cohen_exploiting_2007

Basic SAT
51
(Hist SAT,51)

cohen_exploiting_2007_16.citl (sourceforge.net)
(2^81) x (3^5) x (4^3) x (6^3)

cohen_exploiting_2007

Basic SAT
56
(Hist SAT,56)

cohen_exploiting_2007_17.citl (sourceforge.net)
(2^50) x (3^4) x (4^1) x (5^2) x (6^1)

cohen_exploiting_2007

Basic SAT
40
(Hist SAT,40)

cohen_exploiting_2007_18.citl (sourceforge.net)
(2^110) x (3^2) x (5^2) x (6^1)

cohen_exploiting_2007

Basic SAT
41
(Hist SAT,42)

cohen_exploiting_2007_19.citl (sourceforge.net)
(2^52) x (3^3) x (4^1) x (5^1)

cohen_exploiting_2007

Basic SAT
28
(Hist SAT,28)

cohen_exploiting_2007_20.citl (sourceforge.net)
(2^117) x (3^5) x (4^2) x (5^5) x (6^4)

cohen_exploiting_2007

Basic SAT
65
(Hist SAT,65)

cohen_exploiting_2007_21.citl (sourceforge.net)
(2^113) x (3^7) x (4^2) x (5^3) x (6^2)

cohen_exploiting_2007

Basic SAT
53
(Hist SAT,54)

cohen_exploiting_2007_22.citl (sourceforge.net)
(2^64) x (3^3) x (4^2) x (5^2) x (6^1)

cohen_exploiting_2007

Basic SAT
40
(Hist SAT,40)

cohen_exploiting_2007_23.citl (sourceforge.net)
(2^93) x (3^6) x (4^1) x (5^1) x (6^1)

cohen_exploiting_2007

Basic SAT
40
(Hist SAT,39)

cohen_exploiting_2007_24.citl (sourceforge.net)
(2^78) x (3^2) x (4^5) x (5^1) x (6^4)

cohen_exploiting_2007

Basic SAT
61
(Hist SAT,60)

cohen_exploiting_2007_25.citl (sourceforge.net)
(2^72) x (3^2) x (4^1) x (5^1) x (6^2)

cohen_exploiting_2007

Basic SAT
40
(Hist SAT,40)

cohen_exploiting_2007_26.citl (sourceforge.net)
(2^139) x (3^2) x (4^5) x (5^5) x (6^4)

cohen_exploiting_2007

Basic SAT
64
(Hist SAT,63)

cohen_exploiting_2007_27.citl (sourceforge.net)
(2^39) x (3^2) x (6^2)

cohen_exploiting_2007

Basic SAT
48
(Hist SAT,48)

cohen_exploiting_2007_28.citl (sourceforge.net)
(2^67) x (3^4) x (5^1) x (6^1)

cohen_exploiting_2007

Basic SAT
32
(Hist SAT,32)

cohen_exploiting_2007_29.citl (sourceforge.net)
(2^29) x (5^1) x (4^1)

cohen_exploiting_2007

Basic SAT
16
(Hist SAT,16)

cohen_exploiting_2007_30.citl (sourceforge.net)
(2^30) x (6^2) x (4^1)

cohen_exploiting_2007

Basic SAT
46
(Hist SAT,46)

grieskamp_interaction_2009.citl (sourceforge.net)
(6^3)

grieskamp_interaction_2009

Our
38
(SA_SAT,36) (PICT,39) (TestCover,36) (mAETG_SAT,37)

czerwonka_pairwise_2006_1.citl
(3^4)

czerwonka_pairwise_2006

AETG
9
(PairTest,9) (Tconfig,9) (CTS,9) (Jenny,11) (AllPairs,9) (PICT,9)

czerwonka_pairwise_2006_2.citl
(3^13)

czerwonka_pairwise_2006

AETG
15
(PairTest,15) (Tconfig,17) (CTS,15) (Jenny,18) (DDA,18) (AllPairs,17) (PICT,18)

czerwonka_pairwise_2006_3.citl
(4^15) x (3^17) x (2^29)

czerwonka_pairwise_2006

AETG
41
(PairTest,34) (Tconfig,40) (CTS,39) (Jenny,38) (DDA,35) (AllPairs,34) (PICT,37)

czerwonka_pairwise_2006_4.citl
(4^1) x (3^39) x (2^25)

czerwonka_pairwise_2006

AETG
28
(PairTest,26) (Tconfig,30) (CTS,29) (Jenny,28) (DDA,27) (AllPairs,26) (PICT,27)

czerwonka_pairwise_2006_5.citl
(2^100)

czerwonka_pairwise_2006

AETG
10
(PairTest,15) (Tconfig,14) (CTS,10) (Jenny,16) (DDA,15) (AllPairs,14) (PICT,15)

czerwonka_pairwise_2006_6.citl
(10^20)

czerwonka_pairwise_2006

AETG
180
(PairTest,212) (Tconfig,231) (CTS,210) (Jenny,193) (DDA,201) (AllPairs,197) (PICT,210)

kuhn_practical_2010_1.citl
(2^10)

kuhn_practical_2010

ACTS
10

kuhn_practical_2010_2.citl
(4^10)

kuhn_practical_2010

ACTS
30

kuhn_practical_2010_3.citl
(6^10)

kuhn_practical_2010

ACTS
66

kuhn_practical_2010_4.citl
(8^10)

kuhn_practical_2010

ACTS
117

kuhn_practical_2010_5.citl
(10^10)

kuhn_practical_2010

ACTS
172

kuhn_practical_2010_6.citl
(2^15)

kuhn_practical_2010

ACTS
10

kuhn_practical_2010_7.citl
(4^15)

kuhn_practical_2010

ACTS
33

kuhn_practical_2010_8.citl
(6^15)

kuhn_practical_2010

ACTS
77

kuhn_practical_2010_9.citl
(8^15)

kuhn_practical_2010

ACTS
125

kuhn_practical_2010_10.citl (sourceforge.net)
(10^15)

kuhn_practical_2010

ACTS
199

kuhn_practical_2010_11.citl (sourceforge.net)
(2^20)

kuhn_practical_2010

ACTS
12

kuhn_practical_2010_12.citl (sourceforge.net)
(4^20)

kuhn_practical_2010

ACTS
37

kuhn_practical_2010_13.citl (sourceforge.net)
(6^20)

kuhn_practical_2010

ACTS
86

kuhn_practical_2010_14.citl (sourceforge.net)
(8^20)

kuhn_practical_2010

ACTS
142

kuhn_practical_2010_15.citl (sourceforge.net)
(10^20)

kuhn_practical_2010

ACTS
215

kuhn_practical_2010_16.citl (sourceforge.net)
(2^25)

kuhn_practical_2010

ACTS
12

kuhn_practical_2010_17.citl (sourceforge.net)
(4^25)

kuhn_practical_2010

ACTS
39

kuhn_practical_2010_18.citl (sourceforge.net)
(6^25)

kuhn_practical_2010

ACTS
89

kuhn_practical_2010_19.citl (sourceforge.net)
(8^25)

kuhn_practical_2010

ACTS
148

kuhn_practical_2010_20.citl (sourceforge.net)
(10^25)

kuhn_practical_2010

ACTS
229

williams_measure_2001_calling.citl (sourceforge.net)
(3^4)

williams_measure_2001

lei_automated_2008_platform.citl (sourceforge.net)
(3^2) (2^3)

lei_automated_2008

bryce_combinatorial_2010_onlinestore.citl (sourceforge.net)
(3^4)

bryce_combinatorial_2010_onlinestore

krishnan_combinatorial_2007_sample.citl (sourceforge.net)
(3^2) (2^2)

krishnan_combinatorial_2007_sample

cohen_constructing_2008_mobile.citl (sourceforge.net)
(3^3) (2^2)

cohen_constructing_2008_mobile

cohen_exploiting_2007_spins.citl (sourceforge.net)
(2^13) x (4^5)

cohen_exploiting_2007

cohen_exploiting_2007_spinv.citl (sourceforge.net)
(2^42) x (3^2) x (4^11)

cohen_exploiting_2007

cohen_exploiting_2007_gcc.citl (sourceforge.net)
(2^189) x (3^10)

cohen_exploiting_2007

cohen_exploiting_2007_apache.citl (sourceforge.net)
(2^158) x (3^8) x (4^4) x (5^1) x (6^1)

cohen_exploiting_2007

cohen_exploiting_2007_bugzilla.citl (sourceforge.net)
(2^49) x (3^1) x (4^2)

cohen_exploiting_2007

ahmed_development_2011_1.citl
(3^3)

ahmed_development_2011

TVG
11
(PICT,10) (CTE-XL,10) (Tconfig,10) (IPOG,11) (Jenny,9) (G2Way,10) (PPSTG,9)

ahmed_development_2011_2.citl
(3^4)

ahmed_development_2011

TVG
12
(PICT,13) (AETG,9) (mAETG,9) (GA,9) (ACA,9) (CTE-XL,10) (Tconfig,10) (IPO,9) (IPOG,12) (Jenny,13) (G2Way,10) (PPSTG,9)

ahmed_development_2011_3.citl
(3^13)

ahmed_development_2011

TVG
20
(PICT,20) (AETG,20) (mAETG,15) (GA,17) (ACA,17) (CTE-XL,21) (Tconfig,20) (IPO,17) (IPOG,12) (Jenny,20) (G2Way,19) (PPSTG,17)

ahmed_development_2011_4.citl
(5^10)

ahmed_development_2011

TVG
50
(PICT,47) (CTE-XL,50) (Tconfig,48) (IPO,47) (IPOG,50) (Jenny,45) (G2Way,46) (PPSTG,45)

ahmed_development_2011_5.citl
(10^10)

ahmed_development_2011

TVG
189
(PICT,170) (GA,157) (ACA,159) (CTE-XL,192) (Tconfig,170) (IPO,169) (IPOG,176) (Jenny,157) (G2Way,160) (PPSTG,170)

ahmed_development_2011_6.citl
(5^1) x (3^8) x (2^2)

ahmed_development_2011

TVG
23
(PICT,21) (AETG,19) (mAETG,20) (GA,15) (ACA,16) (CTE-XL,21) (Tconfig,22) (IPOG,19) (Jenny,41) (G2Way,23) (PPSTG,21)

ahmed_development_2011_7.citl
(6^1) x (5^1) x (4^6) x (3^8) x (2^3)

ahmed_development_2011

TVG
41
(PICT,38) (AETG,34) (mAETG,35) (GA,33) (ACA,32) (CTE-XL,39) (Tconfig,33) (IPOG,36) (Jenny,31) (PPSTG,39)

ahmed_development_2011_8.citl
(7^1) x (6^1) x (5^1) x (4^6) x (3^8) x (2^3)

ahmed_development_2011

TVG
52
(PICT,46) (AETG,45) (mAETG,44) (GA,42) (ACA,42) (CTE-XL,53) (Tconfig,49) (IPOG,44) (Jenny,51) (PPSTG,49)

ahmed_development_2011_9.citl
(10^1) x (9^1) x (8^1) x (7^1) x (6^1) x (5^1) x (4^1) x (3^1) x (2^1)

ahmed_development_2011

TVG
100
(PICT,101) (CTE-XL,102) (Tconfig,92) (IPOG,91) (Jenny,98) (PPSTG,97)