Symbolic working

Maybe. Still unknown whose results are the right ones and a few differ
between the versions.

Debug/optdbg

@@ -513,10 +513,8 @@ Entering boundcond
 Entering boundcond
 	Determined O: {}
 	Determining I from: {a12 a14 a23 a29 a5}
-		Nodes not satisfying the first condition: {a14 a23 a29}
-		a14's attackers are attacked by e.
+		Nodes not satisfying the first condition: {a23}
 		a23's attackers are attacked by e.
-		a29's attackers are attacked by e.
 	Determined I: {a12 a14 a23 a29 a5}
 		O: {}
 		I: {a12 a14 a23 a29 a5}
@@ -1011,6 +1009,6 @@ Entering boundcond
 			Found {}
 				Created: {a1 a12 a14 a16 a17 a18 a19 a2 a3 a5 a6 a7 a8}
 Extension 1
-{a1 a16 a17 a18 a19 a2 a22 a23 a26 a29 a6 a7 a8}
+{a17 a19 a22 a23 a26 a29 a7}
 Extension 2
-{a1 a12 a14 a16 a17 a18 a19 a2 a3 a5 a6 a7 a8}
+{a12 a14 a17 a19 a3 a5 a7}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-188407180.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a1 a12 a14 a16 a18 a19 a2 a21 a23 a25 a26 a5 a6 a8}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-198924748.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a1 a3 a4 a6}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-202950515.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a13 a15 a16 a18 a2 a5 a6 a7 a9}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-207794359.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a22 a4 a9}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-212982546.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a12 a2 a5 a6}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-217048484.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a12 a13 a16 a18 a19 a22 a23 a3 a5}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-223041701.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a10 a13 a15 a16 a2 a3 a5 a7}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-227099649.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a12 a13 a14 a15 a7 a8}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-230951741.dl.txt

@@ -0,0 +1,4 @@
+Extension 1
+{a1 a10 a14 a2 a3 a4 a5 a7}
+Extension 2
+{a1 a2 a3 a4 a5 a9}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-234458825.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a3 a4 a5 a6 a7 a8}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-237418366.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a14 a16 a17 a19 a3}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-241886670.dl.txt

@@ -0,0 +1,4 @@
+Extension 1
+{a10 a11 a14 a18 a2 a20 a6 a7 a9}
+Extension 2
+{a10 a11 a17 a2 a20 a6 a7 a9}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-247616584.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a1 a13 a14 a15 a16 a17 a3 a4 a7}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-256820455.dl.txt

@@ -0,0 +1,4 @@
+Extension 1
+{a1 a14 a16 a19 a21 a23 a24 a25 a7 a8}
+Extension 2
+{a12 a15 a19 a2 a21 a25 a8 a9}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-268369125.dl.txt

@@ -0,0 +1,4 @@
+Extension 1
+{a1 a16 a17 a18 a19 a2 a22 a23 a26 a29 a6 a7 a8}
+Extension 2
+{a1 a12 a14 a16 a17 a18 a19 a2 a3 a5 a6 a7 a8}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-275044724.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a1 a10 a12 a13 a22 a25 a26 a3 a4 a6 a7}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-282441836.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a10 a12 a16 a18 a2 a20 a5 a6}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-290763963.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a1 a4 a6 a7 a9}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-297745580.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a3 a4}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-33-41-304674795.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a14 a15 a2 a3 a4 a5 a6 a9}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-14-452295036.dl.txt

@@ -0,0 +1,4 @@
+Extension 1
+{a100 a101 a102 a105 a11 a110 a112 a114 a115 a116 a117 a12 a120 a122 a125 a13 a130 a131 a132 a134 a135 a136 a138 a139 a141 a142 a146 a147 a149 a151 a152 a153 a155 a157 a158 a159 a161 a166 a170 a173 a174 a177 a178 a179 a18 a183 a187 a188 a189 a191 a194 a195 a198 a2 a200 a201 a202 a204 a205 a206 a207 a21 a210 a214 a217 a218 a219 a221 a222 a224 a227 a230 a235 a237 a238 a242 a244 a247 a248 a250 a252 a255 a257 a26 a261 a262 a265 a266 a267 a27 a279 a280 a281 a284 a285 a286 a287 a288 a290 a3 a30 a301 a302 a303 a306 a309 a312 a314 a316 a319 a320 a322 a326 a327 a329 a33 a330 a331 a333 a335 a336 a338 a34 a340 a348 a350 a353 a354 a357 a358 a36 a360 a362 a363 a364 a365 a366 a367 a368 a369 a37 a370 a372 a374 a376 a379 a384 a385 a386 a388 a391 a392 a394 a395 a397 a399 a4 a40 a402 a404 a405 a407 a42 a47 a48 a49 a50 a52 a53 a54 a55 a56 a59 a60 a62 a69 a7 a72 a76 a78 a80 a84 a88 a89 a9 a91 a92 a95 a98 a99}
+Extension 2
+{a100 a101 a102 a105 a11 a110 a112 a114 a115 a116 a117 a12 a122 a125 a13 a130 a131 a132 a134 a135 a136 a138 a139 a140 a142 a146 a147 a149 a151 a152 a153 a155 a157 a158 a159 a161 a166 a170 a173 a174 a177 a178 a179 a18 a183 a184 a185 a187 a188 a189 a191 a194 a195 a198 a2 a200 a202 a204 a205 a206 a207 a21 a210 a217 a218 a219 a221 a222 a224 a227 a23 a230 a237 a238 a242 a244 a247 a248 a250 a252 a255 a257 a26 a261 a262 a265 a266 a267 a27 a279 a280 a281 a284 a285 a286 a287 a288 a290 a3 a30 a301 a302 a303 a306 a309 a312 a314 a316 a319 a320 a322 a326 a327 a329 a33 a330 a331 a333 a335 a336 a338 a34 a340 a348 a350 a351 a353 a354 a357 a358 a36 a362 a363 a364 a365 a366 a367 a368 a369 a37 a370 a372 a374 a375 a376 a379 a384 a385 a386 a388 a391 a392 a394 a397 a398 a399 a4 a40 a402 a404 a405 a407 a42 a47 a48 a49 a50 a52 a54 a55 a56 a59 a60 a62 a69 a7 a72 a74 a76 a78 a80 a82 a84 a88 a89 a9 a91 a92 a95 a97 a98 a99}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-14-519603798.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a1 a105 a107 a109 a110 a111 a114 a115 a116 a119 a12 a121 a123 a124 a125 a127 a131 a134 a135 a136 a148 a149 a153 a154 a155 a158 a16 a161 a162 a163 a165 a166 a167 a173 a175 a180 a181 a182 a183 a185 a186 a19 a190 a191 a192 a199 a2 a20 a200 a202 a203 a206 a207 a208 a210 a216 a218 a224 a227 a228 a232 a235 a237 a238 a239 a240 a241 a242 a243 a244 a247 a25 a251 a253 a255 a258 a259 a260 a262 a265 a267 a268 a269 a27 a271 a276 a278 a279 a280 a282 a284 a290 a298 a301 a305 a306 a308 a31 a310 a35 a37 a39 a4 a48 a5 a51 a52 a55 a58 a6 a61 a64 a65 a66 a68 a71 a72 a74 a76 a78 a79 a80 a81 a83 a86 a87 a89 a90 a91 a95}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-14-573364767.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a100 a101 a103 a104 a106 a107 a112 a118 a119 a12 a124 a128 a130 a131 a132 a133 a135 a137 a138 a141 a142 a143 a145 a15 a151 a152 a153 a155 a160 a161 a162 a164 a168 a170 a172 a173 a175 a177 a18 a182 a188 a189 a19 a191 a194 a196 a200 a201 a202 a203 a207 a208 a21 a210 a214 a219 a222 a226 a227 a230 a233 a234 a239 a242 a243 a244 a246 a249 a250 a251 a256 a258 a26 a260 a261 a262 a263 a265 a266 a267 a268 a27 a270 a274 a277 a278 a28 a285 a286 a287 a293 a3 a30 a300 a301 a302 a306 a309 a31 a310 a312 a315 a319 a323 a325 a326 a327 a331 a333 a334 a335 a336 a338 a34 a340 a341 a350 a351 a352 a355 a357 a359 a360 a361 a364 a366 a37 a372 a373 a381 a384 a42 a43 a44 a49 a5 a50 a51 a55 a6 a60 a67 a80 a81 a82 a85 a9 a92 a94 a96 a99}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-14-653468633.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a10 a101 a103 a106 a109 a110 a112 a113 a114 a115 a119 a120 a122 a123 a124 a125 a126 a130 a132 a134 a135 a136 a140 a141 a149 a15 a153 a156 a16 a160 a161 a167 a168 a169 a170 a176 a179 a18 a182 a184 a185 a186 a187 a188 a189 a19 a192 a197 a198 a199 a20 a200 a202 a204 a21 a211 a212 a213 a22 a224 a225 a226 a227 a230 a231 a233 a236 a238 a24 a240 a241 a242 a243 a25 a251 a252 a253 a259 a26 a261 a265 a267 a269 a27 a270 a271 a272 a276 a277 a279 a28 a280 a285 a289 a29 a290 a291 a292 a293 a295 a297 a298 a299 a30 a302 a306 a307 a309 a31 a312 a313 a315 a316 a317 a318 a32 a320 a323 a324 a326 a331 a333 a335 a336 a338 a339 a34 a344 a346 a347 a348 a35 a350 a351 a352 a353 a355 a357 a358 a359 a362 a363 a364 a365 a367 a368 a369 a37 a370 a372 a38 a4 a46 a5 a50 a51 a53 a54 a55 a56 a64 a66 a69 a70 a73 a77 a78 a79 a8 a80 a86 a88 a90 a91 a92 a93 a94 a97 a99}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-14-709224010.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a10 a108 a11 a112 a113 a115 a119 a12 a120 a123 a125 a127 a128 a135 a137 a138 a139 a14 a140 a145 a146 a148 a15 a152 a153 a158 a159 a16 a161 a162 a163 a167 a168 a170 a173 a175 a176 a179 a18 a180 a181 a182 a183 a184 a186 a188 a189 a19 a199 a2 a201 a202 a203 a204 a205 a208 a21 a216 a217 a219 a223 a225 a227 a228 a229 a23 a230 a232 a233 a236 a240 a242 a243 a244 a245 a249 a251 a253 a259 a260 a271 a272 a274 a278 a279 a280 a282 a283 a284 a287 a29 a290 a292 a294 a297 a298 a299 a3 a301 a31 a34 a35 a38 a39 a42 a43 a44 a45 a49 a5 a50 a57 a58 a6 a60 a61 a63 a69 a70 a72 a73 a74 a79 a80 a84 a85 a86 a88 a89 a9 a93 a96 a97 a98}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-14-760365306.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a1 a104 a105 a107 a108 a109 a117 a120 a121 a123 a124 a127 a128 a129 a134 a136 a139 a141 a144 a145 a147 a148 a150 a152 a156 a157 a158 a159 a16 a162 a164 a165 a17 a172 a173 a175 a177 a178 a185 a192 a193 a2 a20 a202 a205 a206 a207 a209 a214 a216 a218 a220 a225 a228 a23 a230 a231 a233 a234 a237 a238 a239 a244 a247 a250 a251 a252 a255 a26 a261 a263 a265 a27 a270 a271 a272 a273 a274 a32 a36 a40 a46 a47 a51 a54 a55 a60 a63 a65 a66 a7 a71 a72 a76 a77 a78 a79 a80 a84 a87 a89 a9 a90 a99}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-14-814196915.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a1 a104 a106 a110 a112 a116 a117 a121 a122 a123 a129 a131 a132 a133 a134 a136 a139 a14 a143 a146 a147 a149 a151 a152 a154 a155 a156 a157 a160 a164 a165 a17 a171 a172 a175 a176 a177 a181 a183 a184 a185 a186 a188 a189 a191 a192 a199 a2 a20 a203 a209 a21 a212 a214 a216 a218 a221 a223 a225 a231 a232 a233 a234 a24 a240 a244 a245 a247 a250 a253 a255 a256 a257 a259 a260 a265 a266 a268 a270 a272 a273 a281 a284 a285 a287 a289 a29 a290 a291 a292 a294 a295 a296 a298 a299 a3 a301 a303 a308 a31 a312 a313 a315 a317 a318 a319 a32 a320 a321 a322 a323 a324 a327 a329 a332 a333 a340 a342 a346 a351 a353 a355 a357 a365 a366 a37 a371 a374 a375 a379 a384 a386 a388 a39 a390 a391 a392 a393 a43 a47 a48 a49 a55 a56 a63 a65 a66 a68 a70 a72 a75 a79 a81 a83 a84 a87 a88 a9 a97 a98}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-14-890488826.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a1 a100 a103 a104 a105 a106 a11 a110 a113 a117 a119 a12 a120 a121 a122 a124 a125 a127 a129 a13 a132 a134 a139 a14 a142 a144 a146 a148 a151 a152 a153 a156 a157 a159 a16 a160 a161 a163 a164 a166 a168 a169 a17 a171 a175 a176 a177 a179 a181 a185 a189 a191 a195 a197 a198 a199 a2 a201 a203 a206 a212 a213 a214 a215 a216 a223 a226 a227 a228 a230 a233 a234 a239 a24 a240 a241 a247 a248 a249 a253 a254 a255 a256 a258 a260 a262 a264 a266 a271 a274 a276 a278 a279 a280 a282 a283 a289 a290 a294 a297 a298 a3 a30 a301 a302 a304 a307 a309 a31 a310 a317 a318 a32 a321 a325 a326 a327 a331 a332 a333 a334 a336 a337 a338 a340 a341 a342 a343 a346 a347 a349 a350 a351 a353 a354 a357 a358 a363 a365 a369 a371 a376 a377 a379 a380 a382 a384 a386 a387 a389 a392 a396 a397 a399 a4 a404 a407 a409 a41 a411 a412 a419 a420 a421 a422 a424 a426 a429 a43 a431 a433 a437 a439 a44 a441 a445 a452 a456 a458 a459 a462 a464 a465 a468 a469 a470 a471 a473 a474 a475 a477 a478 a479 a481 a482 a489 a491 a494 a496 a497 a498 a50 a500 a501 a502 a506 a508 a511 a514 a515 a522 a523 a525 a526 a531 a533 a541 a542 a545 a546 a547 a548 a55 a550 a552 a555 a558 a559 a561 a563 a564 a565 a57 a570 a571 a572 a574 a576 a579 a58 a581 a584 a587 a588 a59 a590 a591 a592 a593 a594 a595 a596 a597 a598 a6 a601 a603 a605 a607 a608 a61 a610 a613 a614 a615 a617 a620 a622 a623 a624 a625 a627 a631 a632 a633 a634 a637 a640 a642 a643 a644 a648 a653 a660 a661 a662 a667 a668 a670 a672 a68 a69 a70 a71 a73 a74 a78 a79 a8 a80 a82 a84 a86 a87 a9 a90 a92 a93 a94}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-15-006580009.dl.txt

@@ -0,0 +1,4 @@
+Extension 1
+{a1 a10 a100 a101 a104 a106 a107 a108 a112 a113 a114 a119 a122 a125 a127 a128 a129 a13 a130 a133 a135 a136 a137 a138 a14 a146 a147 a167 a168 a169 a173 a176 a180 a184 a185 a186 a188 a19 a190 a193 a195 a197 a2 a200 a202 a204 a210 a212 a213 a215 a220 a222 a223 a227 a229 a233 a234 a237 a238 a239 a240 a242 a245 a246 a247 a249 a251 a252 a253 a255 a260 a261 a271 a273 a274 a277 a278 a279 a280 a281 a283 a285 a287 a289 a291 a294 a295 a299 a3 a30 a300 a302 a311 a314 a316 a317 a318 a319 a321 a323 a326 a332 a335 a338 a34 a345 a346 a348 a349 a35 a350 a353 a355 a357 a361 a366 a368 a369 a370 a372 a373 a376 a42 a43 a47 a5 a52 a53 a54 a55 a58 a59 a6 a61 a62 a63 a64 a69 a7 a70 a71 a72 a74 a75 a78 a80 a81 a83 a84 a86 a89 a91 a92 a95 a97 a98}
+Extension 2
+{a1 a10 a100 a101 a104 a106 a108 a112 a113 a114 a119 a122 a124 a125 a127 a129 a13 a130 a133 a135 a136 a138 a14 a141 a146 a147 a157 a16 a167 a168 a169 a17 a172 a173 a176 a180 a184 a185 a186 a187 a188 a19 a190 a193 a197 a2 a200 a202 a204 a207 a210 a212 a213 a215 a217 a220 a222 a223 a227 a229 a231 a233 a234 a238 a239 a240 a242 a243 a245 a246 a247 a249 a251 a252 a253 a255 a260 a261 a271 a273 a274 a277 a278 a279 a280 a281 a283 a285 a287 a289 a291 a294 a295 a299 a3 a30 a300 a302 a311 a314 a316 a317 a318 a319 a321 a323 a326 a330 a332 a335 a338 a34 a345 a346 a348 a349 a35 a350 a353 a355 a357 a361 a368 a369 a372 a376 a378 a380 a381 a42 a43 a47 a5 a52 a53 a54 a55 a58 a59 a6 a61 a62 a63 a64 a69 a7 a70 a71 a72 a74 a75 a78 a80 a81 a83 a84 a86 a89 a91 a92 a98}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-15-083451631.dl.txt

@@ -0,0 +1,4 @@
+Extension 1
+{a1 a100 a101 a102 a104 a105 a107 a108 a11 a111 a116 a117 a12 a124 a128 a132 a133 a135 a136 a140 a143 a146 a147 a150 a155 a158 a159 a161 a164 a166 a170 a175 a176 a177 a178 a180 a182 a184 a185 a190 a195 a196 a197 a199 a201 a203 a205 a210 a213 a214 a215 a218 a219 a220 a221 a224 a225 a226 a229 a231 a234 a235 a24 a240 a245 a247 a248 a249 a252 a255 a256 a257 a258 a26 a261 a264 a266 a267 a268 a269 a271 a274 a276 a280 a281 a282 a283 a287 a288 a289 a292 a295 a298 a303 a304 a306 a307 a31 a315 a316 a317 a319 a32 a320 a321 a324 a326 a33 a331 a333 a335 a336 a338 a340 a346 a348 a35 a350 a352 a353 a354 a356 a357 a358 a360 a361 a362 a363 a364 a365 a366 a370 a372 a374 a377 a378 a379 a38 a381 a384 a385 a386 a388 a389 a390 a393 a394 a395 a400 a402 a403 a405 a406 a407 a409 a41 a415 a416 a418 a42 a421 a422 a423 a426 a428 a430 a431 a432 a436 a44 a443 a446 a447 a449 a450 a452 a454 a455 a456 a457 a46 a464 a466 a470 a473 a474 a476 a477 a478 a48 a486 a487 a489 a490 a492 a498 a5 a503 a506 a509 a51 a510 a511 a512 a513 a514 a516 a517 a519 a520 a522 a523 a527 a530 a536 a538 a539 a541 a542 a543 a545 a546 a547 a550 a555 a558 a559 a56 a560 a561 a563 a565 a57 a572 a573 a575 a576 a577 a58 a580 a581 a583 a584 a587 a594 a595 a596 a598 a599 a600 a601 a603 a604 a605 a61 a610 a613 a614 a616 a618 a62 a621 a622 a623 a624 a627 a630 a631 a635 a637 a638 a639 a643 a644 a645 a654 a68 a69 a70 a71 a73 a74 a75 a77 a81 a86 a87 a88 a89 a9 a91 a93 a94 a95 a97 a98}
+Extension 2
+{a1 a100 a101 a102 a104 a105 a107 a108 a11 a111 a116 a117 a12 a124 a128 a132 a133 a135 a136 a140 a143 a146 a147 a150 a155 a156 a158 a159 a161 a164 a166 a170 a175 a176 a177 a178 a180 a182 a184 a185 a190 a195 a196 a197 a199 a201 a203 a205 a210 a213 a214 a215 a218 a219 a220 a221 a224 a225 a226 a229 a231 a234 a235 a24 a240 a245 a247 a248 a249 a252 a255 a256 a257 a258 a26 a261 a264 a265 a266 a267 a268 a269 a271 a274 a276 a280 a281 a282 a283 a287 a288 a289 a292 a295 a298 a30 a303 a304 a306 a307 a31 a315 a316 a317 a319 a32 a320 a321 a326 a33 a331 a333 a335 a338 a340 a346 a348 a35 a350 a352 a353 a354 a356 a357 a358 a360 a361 a362 a363 a364 a365 a366 a370 a372 a374 a377 a378 a379 a38 a381 a384 a385 a386 a388 a389 a390 a393 a394 a395 a400 a402 a403 a405 a406 a407 a409 a41 a413 a415 a416 a418 a42 a421 a422 a423 a426 a428 a430 a431 a432 a436 a44 a443 a446 a447 a449 a450 a452 a454 a455 a456 a457 a46 a464 a466 a470 a473 a474 a476 a477 a478 a48 a486 a487 a489 a490 a498 a5 a503 a506 a509 a51 a510 a511 a512 a514 a516 a517 a519 a520 a522 a523 a527 a53 a530 a532 a536 a538 a539 a541 a542 a545 a546 a547 a550 a555 a558 a559 a56 a560 a561 a563 a565 a57 a572 a573 a575 a576 a577 a58 a580 a581 a583 a584 a587 a594 a595 a596 a598 a599 a600 a601 a603 a604 a605 a609 a61 a610 a613 a614 a616 a618 a62 a621 a622 a623 a624 a627 a630 a631 a635 a637 a638 a639 a644 a645 a654 a68 a69 a70 a71 a73 a74 a75 a77 a81 a86 a87 a88 a89 a9 a91 a93 a94 a95 a97 a98}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-15-184461545.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a1 a10 a104 a105 a106 a108 a11 a114 a117 a121 a122 a124 a125 a126 a132 a134 a136 a137 a138 a139 a143 a144 a146 a147 a148 a15 a150 a151 a152 a154 a156 a157 a158 a159 a161 a164 a167 a168 a169 a170 a171 a172 a174 a180 a184 a185 a187 a188 a189 a19 a194 a196 a2 a20 a202 a208 a209 a215 a218 a219 a22 a221 a224 a226 a227 a23 a230 a237 a244 a246 a247 a248 a25 a250 a257 a259 a263 a264 a265 a266 a267 a270 a271 a273 a275 a279 a28 a280 a282 a283 a287 a288 a29 a291 a292 a293 a294 a296 a297 a299 a3 a30 a300 a305 a33 a35 a38 a42 a43 a44 a45 a48 a49 a50 a51 a52 a53 a55 a57 a59 a6 a60 a63 a66 a69 a7 a70 a73 a76 a77 a78 a79 a89 a9 a96 a98}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-15-228939845.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a101 a104 a105 a106 a107 a109 a111 a112 a114 a115 a116 a117 a119 a120 a125 a127 a128 a130 a137 a139 a140 a141 a144 a145 a146 a149 a15 a152 a153 a156 a158 a16 a162 a163 a164 a165 a17 a170 a172 a173 a180 a181 a182 a184 a186 a19 a191 a192 a194 a195 a2 a200 a202 a203 a204 a21 a213 a215 a217 a222 a226 a227 a23 a233 a234 a235 a236 a237 a238 a239 a241 a242 a243 a244 a245 a246 a248 a249 a25 a250 a253 a254 a256 a26 a265 a267 a269 a27 a271 a272 a275 a276 a28 a282 a283 a286 a288 a289 a290 a292 a294 a297 a298 a299 a3 a300 a301 a302 a305 a306 a307 a308 a310 a314 a315 a316 a319 a32 a320 a321 a324 a325 a328 a33 a335 a344 a345 a346 a351 a352 a353 a356 a358 a362 a368 a372 a373 a374 a376 a378 a379 a38 a380 a383 a387 a39 a392 a394 a395 a396 a4 a40 a404 a407 a408 a41 a411 a412 a413 a414 a419 a42 a423 a426 a427 a428 a429 a431 a432 a433 a436 a437 a440 a441 a442 a445 a446 a448 a449 a452 a453 a455 a457 a458 a46 a460 a463 a464 a469 a470 a471 a473 a474 a476 a478 a482 a485 a486 a487 a488 a490 a492 a495 a498 a5 a50 a500 a54 a57 a59 a6 a64 a65 a66 a69 a7 a72 a78 a81 a82 a83 a85 a9 a92 a93 a94 a95 a97 a98}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-15-316096255.dl.txt

@@ -0,0 +1,4 @@
+Extension 1
+{a10 a100 a101 a102 a103 a104 a106 a110 a111 a113 a114 a115 a117 a119 a13 a131 a135 a14 a141 a143 a144 a146 a147 a152 a155 a160 a163 a166 a168 a169 a17 a170 a171 a172 a174 a175 a176 a183 a184 a186 a188 a189 a190 a192 a193 a197 a204 a205 a208 a21 a211 a213 a214 a217 a219 a220 a222 a228 a229 a231 a233 a235 a236 a238 a239 a242 a245 a246 a247 a248 a249 a251 a252 a254 a259 a26 a260 a263 a264 a27 a273 a277 a278 a282 a286 a29 a295 a30 a301 a302 a316 a317 a319 a324 a325 a33 a330 a331 a334 a335 a336 a341 a350 a351 a352 a354 a355 a356 a361 a364 a370 a371 a373 a375 a377 a379 a38 a381 a382 a383 a385 a390 a394 a395 a398 a40 a400 a401 a402 a405 a407 a409 a411 a412 a419 a42 a420 a421 a423 a424 a426 a429 a436 a437 a439 a44 a440 a443 a444 a446 a449 a45 a454 a46 a461 a463 a464 a465 a466 a467 a468 a469 a471 a475 a477 a478 a479 a482 a484 a485 a486 a487 a489 a49 a492 a493 a496 a497 a498 a50 a500 a501 a503 a504 a505 a515 a517 a518 a52 a521 a522 a524 a529 a531 a534 a535 a536 a539 a543 a544 a546 a548 a553 a554 a559 a56 a562 a566 a568 a569 a57 a573 a574 a575 a58 a582 a586 a591 a592 a596 a597 a599 a60 a63 a66 a69 a7 a74 a79 a81 a84 a86 a88 a89 a91 a92 a93 a95 a98}
+Extension 2
+{a10 a100 a101 a102 a103 a104 a106 a110 a111 a113 a114 a115 a119 a13 a131 a132 a135 a14 a141 a143 a144 a146 a147 a152 a155 a160 a163 a166 a168 a169 a17 a170 a171 a172 a174 a175 a176 a183 a184 a186 a188 a189 a190 a191 a192 a193 a197 a204 a205 a208 a209 a21 a211 a214 a217 a219 a220 a222 a228 a229 a231 a233 a235 a236 a238 a239 a242 a245 a246 a247 a248 a249 a251 a252 a254 a259 a26 a260 a263 a264 a27 a273 a277 a278 a282 a286 a29 a295 a3 a30 a301 a302 a316 a317 a319 a321 a324 a325 a33 a330 a331 a334 a335 a336 a341 a342 a350 a351 a352 a354 a355 a356 a361 a364 a37 a370 a371 a373 a375 a377 a379 a381 a382 a383 a385 a388 a390 a394 a395 a398 a40 a400 a401 a402 a405 a407 a409 a411 a412 a42 a421 a423 a424 a426 a429 a432 a437 a439 a44 a440 a443 a444 a446 a449 a45 a454 a46 a461 a463 a464 a465 a466 a467 a468 a469 a471 a473 a475 a477 a478 a479 a482 a484 a485 a486 a487 a49 a492 a493 a496 a498 a500 a501 a502 a503 a504 a505 a515 a517 a52 a521 a522 a524 a529 a531 a534 a536 a539 a543 a544 a546 a548 a550 a553 a554 a559 a56 a562 a566 a568 a569 a57 a574 a575 a58 a582 a586 a59 a592 a596 a597 a599 a60 a63 a69 a7 a74 a77 a79 a81 a84 a86 a88 a89 a91 a92 a93 a95 a98}

Debug/results/2013-07-09_11-57-44/opt_result_random_test_06-07-2013_15-54-15-438154370.dl.txt

@@ -0,0 +1,2 @@
+Extension 1
+{a1 a101 a103 a107 a108 a11 a110 a113 a115 a118 a119 a125 a128 a129 a13 a130 a132 a133 a140 a142 a143 a144 a145 a146 a147 a148 a149 a15 a150 a151 a153 a157 a158 a159 a160 a162 a163 a164 a165 a166 a168 a169 a171 a172 a173 a174 a175 a177 a180 a181 a185 a187 a188 a189 a190 a195 a196 a197 a200 a205 a206 a21 a213 a217 a223 a225 a23 a231 a233 a234 a235 a236 a237 a24 a240 a243 a244 a245 a251 a252 a255 a257 a263 a264 a265 a266 a268 a272 a275 a279 a28 a280 a284 a285 a288 a29 a290 a292 a293 a294 a299 a3 a30 a302 a304 a308 a309 a31 a310 a314 a316 a319 a32 a320 a321 a322 a324 a325 a326 a330 a331 a332 a334 a335 a336 a338 a340 a341 a342 a343 a345 a347 a349 a351 a354 a357 a358 a36 a360 a361 a363 a364 a370 a373 a374 a377 a379 a38 a380 a381 a384 a385 a386 a388 a389 a39 a390 a391 a395 a398 a400 a403 a405 a408 a41 a410 a412 a413 a414 a418 a424 a425 a427 a429 a431 a432 a433 a435 a438 a441 a446 a447 a449 a45 a450 a454 a457 a458 a46 a462 a464 a466 a469 a47 a471 a472 a475 a477 a479 a48 a480 a481 a485 a488 a49 a491 a494 a498 a500 a501 a505 a506 a508 a509 a510 a511 a513 a514 a515 a516 a517 a52 a522 a523 a526 a527 a529 a530 a532 a535 a537 a538 a54 a542 a544 a546 a547 a552 a553 a555 a560 a567 a568 a57 a571 a572 a574 a575 a576 a578 a58 a580 a581 a582 a583 a584 a586 a589 a591 a592 a594 a597 a599 a60 a604 a605 a607 a609 a61 a612 a613 a616 a617 a619 a62 a63 a67 a68 a7 a71 a73 a74 a77 a79 a82 a83 a85 a87 a88 a9 a90 a94 a97 a99}