-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathblocksworld2-optimality-evaluation.txt
74 lines (74 loc) · 10.4 KB
/
blocksworld2-optimality-evaluation.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
2 -2.000000000 -2.000000000 -2.000000000 -2.000000000 -2.000000000 -2.000000000 19 0.000958300 0.000479150 0 -2.000000000 -2.000000000
3 -3.000000000 -3.000000000 -3.000000000 -3.000000000 -3.000000000 -3.000000000 19 0.001166500 0.000388833 0 -3.000000000 -3.000000000
5 -5.000000000 -5.000000000 -5.000000000 -5.000000000 -5.000000000 -5.000000000 19 0.002995400 0.000599080 0 -5.000000000 -5.000000000
7 -7.000000000 -7.000000000 -7.000000000 -7.000000000 -7.000000000 -7.000000000 19 0.005356700 0.000765243 0 -6.000000000 -6.000000000
7 -7.000000000 -7.000000000 -7.000000000 -7.000000000 -7.000000000 -7.000000000 19 0.004727900 0.000675414 0 -7.000000000 -7.000000000
6 -6.000000000 -6.000000000 -6.000000000 -6.000000000 -6.000000000 -6.000000000 19 0.006141100 0.001023517 0 -6.000000000 -6.000000000
11 -11.000000000 -11.000000000 -11.000000000 -11.000000000 -11.000000000 -11.000000000 19 0.010941200 0.000994655 0 -11.000000000 -11.000000000
10 -10.000000000 -10.000000000 -10.000000000 -10.000000000 -10.000000000 -10.000000000 19 0.010640000 0.001064000 0 -10.000000000 -10.000000000
11 -11.000000000 -11.000000000 -11.000000000 -11.000000000 -11.000000000 -11.000000000 19 0.012502000 0.001136545 0 -11.000000000 -11.000000000
15 -15.000000000 -15.000000000 -15.000000000 -15.000000000 -15.000000000 -15.000000000 19 0.017834600 0.001188973 0 -12.000000000 -12.000000000
14 -14.000000000 -14.000000000 -14.000000000 -14.000000000 -14.000000000 -14.000000000 19 0.019525700 0.001394693 0 -14.000000000 -14.000000000
14 -14.000000000 -14.000000000 -14.000000000 -14.000000000 -14.000000000 -14.000000000 19 0.023956400 0.001711171 0 -14.000000000 -14.000000000
18 -18.000000000 -18.000000000 -18.000000000 -18.000000000 -18.000000000 -18.000000000 19 0.034914400 0.001939689 0 -16.000000000 -16.000000000
18 -18.000000000 -18.000000000 -18.000000000 -18.000000000 -18.000000000 -18.000000000 19 0.037682400 0.002093467 0 -15.000000000 -15.000000000
24 -24.000000000 -24.000000000 -24.000000000 -24.000000000 -24.000000000 -24.000000000 19 0.044804800 0.001866867 0 -19.000000000 -19.000000000
21 -21.000000000 -21.000000000 -21.000000000 -21.000000000 -21.000000000 -21.000000000 19 0.039597300 0.001885586 0 -18.000000000 -18.000000000
20 -20.000000000 -20.000000000 -20.000000000 -20.000000000 -20.000000000 -20.000000000 19 0.043988500 0.002199425 0 -20.000000000 -20.000000000
28 -28.000000000 -28.000000000 -28.000000000 -28.000000000 -28.000000000 -28.000000000 19 0.049207100 0.001757396 0 -27.000000000 -27.000000000
25 -25.000000000 -25.000000000 -25.000000000 -25.000000000 -25.000000000 -25.000000000 19 0.051502000 0.002060080 0 -24.000000000 -24.000000000
29 -29.000000000 -29.000000000 -29.000000000 -29.000000000 -29.000000000 -29.000000000 19 0.068554100 0.002363934 0 -25.000000000 -25.000000000
29 -29.000000000 -29.000000000 -29.000000000 -29.000000000 -29.000000000 -29.000000000 19 0.069014700 0.002379817 0 -26.000000000 -26.000000000
32 -32.000000000 -32.000000000 -32.000000000 -32.000000000 -32.000000000 -32.000000000 19 0.082527900 0.002578997 0 -30.000000000 -30.000000000
35 -35.000000000 -35.000000000 -35.000000000 -35.000000000 -35.000000000 -35.000000000 19 0.096715100 0.002763289 0 -29.000000000 -29.000000000
30 -30.000000000 -30.000000000 -30.000000000 -30.000000000 -30.000000000 -30.000000000 19 0.077435600 0.002581187 0 -26.000000000 -26.000000000
38 -38.000000000 -38.000000000 -38.000000000 -38.000000000 -38.000000000 -38.000000000 19 0.125192100 0.003294529 0 -32.000000000 -32.000000000
35 -35.000000000 -35.000000000 -35.000000000 -35.000000000 -35.000000000 -35.000000000 19 0.115342600 0.003295503 0 -33.000000000 -33.000000000
43 -43.000000000 -43.000000000 -43.000000000 -43.000000000 -43.000000000 -43.000000000 19 0.187091200 0.004350958 0 -35.000000000 -35.000000000
32 -32.000000000 -32.000000000 -32.000000000 -32.000000000 -32.000000000 -32.000000000 19 0.083365200 0.002605163 0 -30.000000000 -30.000000000
39 -39.000000000 -39.000000000 -39.000000000 -39.000000000 -39.000000000 -39.000000000 19 0.144702700 0.003710326 0 -35.000000000 -35.000000000
39 -39.000000000 -39.000000000 -39.000000000 -39.000000000 -39.000000000 -39.000000000 19 0.107843500 0.002765218 0 -35.000000000 -35.000000000
48 -48.000000000 -48.000000000 -48.000000000 -48.000000000 -48.000000000 -48.000000000 19 0.354018300 0.007375381 0 -47.000000000 -47.000000000
42 -42.000000000 -42.000000000 -42.000000000 -42.000000000 -42.000000000 -42.000000000 19 0.159090500 0.003787869 0 -37.000000000 -37.000000000
42 -42.000000000 -42.000000000 -42.000000000 -42.000000000 -42.000000000 -42.000000000 19 0.128972300 0.003070769 0 -41.000000000 -41.000000000
45 -45.000000000 -45.000000000 -45.000000000 -45.000000000 -45.000000000 -45.000000000 19 0.192352700 0.004274504 0 -42.000000000 -42.000000000
56 -56.000000000 -56.000000000 -56.000000000 -56.000000000 -56.000000000 -56.000000000 19 0.373069000 0.006661946 0 -44.000000000 -44.000000000
49 -49.000000000 -49.000000000 -49.000000000 -49.000000000 -49.000000000 -49.000000000 19 0.292022300 0.005959639 0 -45.000000000 -45.000000000
54 -54.000000000 -54.000000000 -54.000000000 -54.000000000 -54.000000000 -54.000000000 19 1.633783900 0.030255257 0 -49.000000000 -49.000000000
50 -50.000000000 -50.000000000 -50.000000000 -50.000000000 -50.000000000 -50.000000000 19 0.264510800 0.005290216 0 -46.000000000 -46.000000000
51 -51.000000000 -51.000000000 -51.000000000 -51.000000000 -51.000000000 -51.000000000 19 0.446390000 0.008752745 0 -48.000000000 -48.000000000
57 -57.000000000 -57.000000000 -57.000000000 -57.000000000 -57.000000000 -57.000000000 19 1.449961700 0.025437925 0 -51.000000000 -51.000000000
56 -56.000000000 -56.000000000 -56.000000000 -56.000000000 -56.000000000 -56.000000000 19 0.321660800 0.005743943 0 -51.000000000 -51.000000000
68 -68.000000000 -68.000000000 -68.000000000 -68.000000000 -68.000000000 -68.000000000 19 0.763792800 0.011232247 0 -62.000000000 -62.000000000
65 -65.000000000 -65.000000000 -65.000000000 -65.000000000 -65.000000000 -65.000000000 19 0.592986100 0.009122863 0 -56.000000000 -56.000000000
64 -64.000000000 -64.000000000 -64.000000000 -64.000000000 -64.000000000 -64.000000000 19 22.476169300 0.351190145 0 -59.000000000 -59.000000000
69 -69.000000000 -69.000000000 -69.000000000 -69.000000000 -69.000000000 -69.000000000 19 0.814320800 0.011801751 0 -61.000000000 -61.000000000
68 -68.000000000 -68.000000000 -68.000000000 -68.000000000 -68.000000000 -68.000000000 19 7.212388500 0.106064537 0 -64.000000000 -64.000000000
57 -57.000000000 -57.000000000 -57.000000000 -57.000000000 -57.000000000 -57.000000000 19 2.182919700 0.038296837 0 -55.000000000 -55.000000000
71 -71.000000000 -71.000000000 -71.000000000 -71.000000000 -71.000000000 -71.000000000 19 2.592800600 0.036518318 0 -60.000000000 -60.000000000
67 -67.000000000 -67.000000000 -67.000000000 -67.000000000 -67.000000000 -67.000000000 19 1.291269300 0.019272676 0 -60.000000000 -60.000000000
79 -79.000000000 -79.000000000 -79.000000000 -79.000000000 -79.000000000 -79.000000000 19 2.828637400 0.035805537 0 -70.000000000 -70.000000000
82 -82.000000000 -82.000000000 -82.000000000 -82.000000000 -82.000000000 -82.000000000 19 4.329859300 0.052803162 0 -67.000000000 -67.000000000
69 -69.000000000 -69.000000000 -69.000000000 -69.000000000 -69.000000000 -69.000000000 19 18.200187700 0.263770836 0 -63.000000000 -63.000000000
78 -78.000000000 -78.000000000 -78.000000000 -78.000000000 -78.000000000 -78.000000000 19 0.789193400 0.010117864 0 -65.000000000 -65.000000000
69 -69.000000000 -69.000000000 -69.000000000 -69.000000000 -69.000000000 -69.000000000 19 1.933577500 0.028022862 0 -61.000000000 -61.000000000
78 -78.000000000 -78.000000000 -78.000000000 -78.000000000 -78.000000000 -78.000000000 19 2.662856700 0.034139188 0 -67.000000000 -67.000000000
80 -80.000000000 -80.000000000 -80.000000000 -80.000000000 -80.000000000 -80.000000000 19 21.246926200 0.265586578 0 -69.000000000 -69.000000000
81 -81.000000000 -81.000000000 -81.000000000 -81.000000000 -81.000000000 -81.000000000 19 8.153319600 0.100658267 0 -67.000000000 -67.000000000
90 -90.000000000 -90.000000000 -90.000000000 -90.000000000 -90.000000000 -90.000000000 19 2.102876600 0.023365296 0 -80.000000000 -80.000000000
92 -92.000000000 -92.000000000 -92.000000000 -92.000000000 -92.000000000 -92.000000000 19 22.200946600 0.241314637 0 -73.000000000 -73.000000000
90 -90.000000000 -90.000000000 -90.000000000 -90.000000000 -90.000000000 -90.000000000 19 10.213299700 0.113481108 0 -77.000000000 -77.000000000
100 -100.000000000 -100.000000000 -100.000000000 -100.000000000 -100.000000000 -100.000000000 19 22.868774500 0.228687745 0 -86.000000000 -86.000000000
86 -86.000000000 -86.000000000 -86.000000000 -86.000000000 -86.000000000 -86.000000000 19 1.073680600 0.012484658 0 -74.000000000 -74.000000000
96 -96.000000000 -96.000000000 -96.000000000 -96.000000000 -96.000000000 -96.000000000 19 150.513608000 1.567850083 0 -84.000000000 -84.000000000
99 -99.000000000 -99.000000000 -99.000000000 -99.000000000 -99.000000000 -99.000000000 19 164.263137500 1.659223611 0 -84.000000000 -84.000000000
89 -89.000000000 -89.000000000 -89.000000000 -89.000000000 -89.000000000 -89.000000000 19 90.784976300 1.020055913 0 -82.000000000 -82.000000000
97 -97.000000000 -97.000000000 -97.000000000 -97.000000000 -97.000000000 -97.000000000 19 330.141171700 3.403517234 0 -86.000000000 -86.000000000
96 -96.000000000 -96.000000000 -96.000000000 -96.000000000 -96.000000000 -96.000000000 19 74.999131300 0.781240951 0 -87.000000000 -87.000000000
101 -101.000000000 -101.000000000 -101.000000000 -101.000000000 -101.000000000 -101.000000000 19 116.041062700 1.148921413 0 -83.000000000 -83.000000000
109 -109.000000000 -109.000000000 -109.000000000 -109.000000000 -109.000000000 -109.000000000 19 91.882459500 0.842958344 0 -92.000000000 -92.000000000
102 -102.000000000 -102.000000000 -102.000000000 -102.000000000 -102.000000000 -102.000000000 19 45.848783700 0.449497879 0 -93.000000000 -93.000000000
107 -107.000000000 -107.000000000 -107.000000000 -107.000000000 -107.000000000 -107.000000000 19 712.628265200 6.660077245 0 -92.000000000 -92.000000000
105 -105.000000000 -105.000000000 -105.000000000 -105.000000000 -105.000000000 -105.000000000 19 312.734933200 2.978427935 0 -90.000000000 -90.000000000
111 -111.000000000 -111.000000000 -111.000000000 -111.000000000 -111.000000000 -111.000000000 19 1042.219263000 9.389362730 0 -98.000000000 -98.000000000
116 -116.000000000 -116.000000000 -116.000000000 -116.000000000 -116.000000000 -116.000000000 19 3434.896194500 29.611174091 0 -99.000000000 -99.000000000