Skip to content

Commit

Permalink
Strange things
Browse files Browse the repository at this point in the history 
Pseudo identical to base version, with skeleton of the improvements.
Results differ from base, but may be the correct ones.
  • Loading branch information
@Denaun
Denaun committed Jul 8, 2013
1 parent cd2dae8 commit 7db5e45
Show file tree
Hide file tree
Showing 20 changed files with 61,815 additions and 74 deletions.
Binary file modified Debug/OSX/SemOpt-0.1.3
View file
Binary file not shown.
Binary file modified Debug/OSX/SemOpt-Opt
View file
Binary file not shown.
8,490 changes: 8,490 additions & 0 deletions ...g/results/2013-07-08_14-47-59/opt_result_random_test_06-07-2013_15-54-15-006580009.dl.txt
View file

Large diffs are not rendered by default.

3,787 changes: 3,787 additions & 0 deletions ...g/results/2013-07-08_14-47-59/opt_result_random_test_06-07-2013_16-17-12-587521348.dl.txt
View file

Large diffs are not rendered by default.

8,633 changes: 8,633 additions & 0 deletions ...esults/2013-07-08_14-47-59/preopt_result_random_test_06-07-2013_15-54-15-006580009.dl.txt
View file

Large diffs are not rendered by default.

3,809 changes: 3,809 additions & 0 deletions ...esults/2013-07-08_14-47-59/preopt_result_random_test_06-07-2013_16-17-12-587521348.dl.txt
View file

Large diffs are not rendered by default.

3,787 changes: 3,787 additions & 0 deletions ...g/results/2013-07-08_15-09-19/opt_result_random_test_06-07-2013_16-17-12-587521348.dl.txt
View file

Large diffs are not rendered by default.

3,790 changes: 3,790 additions & 0 deletions ...esults/2013-07-08_15-09-19/preopt_result_random_test_06-07-2013_16-17-12-587521348.dl.txt
View file

Large diffs are not rendered by default.

8,490 changes: 8,490 additions & 0 deletions ...g/results/2013-07-08_15-10-08/opt_result_random_test_06-07-2013_15-54-15-006580009.dl.txt
View file

Large diffs are not rendered by default.

3,787 changes: 3,787 additions & 0 deletions ...g/results/2013-07-08_15-10-08/opt_result_random_test_06-07-2013_16-17-12-587521348.dl.txt
View file

Large diffs are not rendered by default.

8,518 changes: 8,518 additions & 0 deletions ...esults/2013-07-08_15-10-08/preopt_result_random_test_06-07-2013_15-54-15-006580009.dl.txt
View file

Large diffs are not rendered by default.

3,790 changes: 3,790 additions & 0 deletions ...esults/2013-07-08_15-10-08/preopt_result_random_test_06-07-2013_16-17-12-587521348.dl.txt
View file

Large diffs are not rendered by default.

1,678 changes: 1,678 additions & 0 deletions Debug/synthesis/synthesis_result_2013-07-08_14-47-59.txt
View file

Large diffs are not rendered by default.

338 changes: 338 additions & 0 deletions Debug/synthesis/synthesis_result_2013-07-08_15-09-19.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,338 @@
.::Instance random_test_06-07-2013_16-17-12-587521348.dl::.
Time difference: -1 ds
Differing lines:
1000d999
< Father: {a1 a10 a13 a17 a18 a19 a2 a21 a22 a23 a25 a26 a27 a3 a30 a31 a32 a33 a34 a35 a36 a38 a39 a4 a42 a43 a44 a46 a7 a9}
1002d1000
< Father: {a1 a10 a13 a17 a18 a19 a2 a21 a22 a23 a25 a26 a27 a3 a30 a31 a32 a33 a34 a35 a36 a38 a39 a4 a42 a43 a44 a46 a7 a9}
1004d1001
< Father: {a1 a10 a13 a17 a18 a19 a2 a21 a22 a23 a25 a26 a27 a3 a30 a31 a32 a33 a34 a35 a36 a38 a39 a4 a42 a43 a44 a46 a7 a9}
1006d1002
< Father: {a1 a10 a13 a17 a18 a19 a2 a21 a22 a23 a25 a26 a27 a3 a30 a31 a32 a33 a34 a35 a36 a38 a39 a4 a42 a43 a44 a46 a7 a9}
1008d1003
< Father: {a1 a10 a13 a17 a18 a19 a2 a21 a22 a23 a25 a26 a27 a3 a30 a31 a32 a33 a34 a35 a36 a38 a39 a4 a42 a43 a44 a46 a7 a9}
1010d1004
< Father: {a1 a10 a13 a17 a18 a19 a2 a21 a22 a23 a25 a26 a27 a3 a30 a31 a32 a33 a34 a35 a36 a38 a39 a4 a42 a43 a44 a46 a7 a9}
1012d1005
< Father: {a1 a10 a13 a17 a18 a19 a2 a21 a22 a23 a25 a26 a27 a3 a30 a31 a32 a33 a34 a35 a36 a38 a39 a4 a42 a43 a44 a46 a7 a9}
1014,1015d1006
< Father: {a1 a10 a13 a17 a18 a19 a2 a21 a22 a23 a25 a26 a27 a3 a30 a31 a32 a33 a34 a35 a36 a38 a39 a4 a42 a43 a44 a46 a7 a9}
< Father: {a8}
1017d1007
< Father: {a1 a10 a13 a17 a18 a19 a2 a21 a22 a23 a25 a26 a27 a3 a30 a31 a32 a33 a34 a35 a36 a38 a39 a4 a42 a43 a44 a46 a7 a9}
1024,1027c1014,1016
< O: {}
< I: {a1 a10 a13 a17 a18 a19 a2 a22 a23 a25 a26 a27 a3 a30 a31 a32 a33 a34 a35 a36 a38 a39 a4 a42 a43 a44 a46 a7 a9}
< Going to call prefSAT.
< Calling prefSAT.
---
> O: {}
> I: {a1 a10 a13 a17 a18 a19 a2 a22 a23 a25 a26 a27 a3 a30 a31 a32 a33 a34 a35 a36 a38 a39 a4 a42 a43 a44 a46 a7 a9}
> Calling prefSAT.
3279,3282c3268,3270
< O: {}
< I: {}
< Going to call prefSAT.
< Calling prefSAT.
---
> O: {}
> I: {}
> Calling prefSAT.
3301,3304c3289,3291
< O: {}
< I: {a6}
< Going to call prefSAT.
< Calling prefSAT.
---
> O: {}
> I: {a6}
> Calling prefSAT.
3311,3313c3298,3299
< 1 2 3 0
< -1 -2 0
< -1 -3 0
---
> -1 0
> 2 3 0
3315,3321d3300
< 1 0
<
<
< 1 010a6
< in 1
< out 0
< undec 0
3323,3324d3301
< {a6 }
< Preparing the satsolver
3332,3335c3309,3311
< 1 0
< 20
< Found {a6}
< Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a6 a7}
---
> 1 020
> Found {}
> Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a7}
3341,3344c3317,3319
< O: {a29}
< I: {}
< Going to call pref.
< Calling pref.
---
> O: {a29}
> I: {}
> Calling pref.
3348c3323,3326
< No need to call Grounded.
---
> Entering Grounded
> New cycle
> No grounded extension found.
> Final I: {}
3361,3364c3339,3341
< O: {a29}
< I: {}
< Going to call pref.
< Calling pref.
---
> O: {a29}
> I: {}
> Calling pref.
3368c3345,3348
< No need to call Grounded.
---
> Entering Grounded
> New cycle
> No grounded extension found.
> Final I: {}
3375c3355
< Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a6 a7}
---
> Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a7}
3381,3384c3361,3363
< O: {a40}
< I: {}
< Going to call pref.
< Calling pref.
---
> O: {a40}
> I: {}
> Calling pref.
3388c3367,3370
< No need to call Grounded.
---
> Entering Grounded
> New cycle
> No grounded extension found.
> Final I: {}
3401,3404c3383,3385
< O: {a40}
< I: {}
< Going to call pref.
< Calling pref.
---
> O: {a40}
> I: {}
> Calling pref.
3408c3389,3392
< No need to call Grounded.
---
> Entering Grounded
> New cycle
> No grounded extension found.
> Final I: {}
3415c3399
< Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a6 a7}
---
> Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a7}
3422,3425c3406,3408
< O: {}
< I: {a37}
< Going to call prefSAT.
< Calling prefSAT.
---
> O: {}
> I: {a37}
> Calling prefSAT.
3462,3465c3445,3447
< O: {a37}
< I: {}
< Going to call pref.
< Calling pref.
---
> O: {a37}
> I: {}
> Calling pref.
3469c3451,3454
< No need to call Grounded.
---
> Entering Grounded
> New cycle
> No grounded extension found.
> Final I: {}
3476c3461
< Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a6 a7}
---
> Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a7}
3482,3485c3467,3469
< O: {a8}
< I: {}
< Going to call pref.
< Calling pref.
---
> O: {a8}
> I: {}
> Calling pref.
3489c3473,3476
< No need to call Grounded.
---
> Entering Grounded
> New cycle
> No grounded extension found.
> Final I: {}
3503,3506c3490,3492
< O: {}
< I: {a8}
< Going to call prefSAT.
< Calling prefSAT.
---
> O: {}
> I: {a8}
> Calling prefSAT.
3537c3523
< Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a6 a7 a8}
---
> Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a7 a8}
3543,3546c3529,3531
< O: {a45}
< I: {}
< Going to call pref.
< Calling pref.
---
> O: {a45}
> I: {}
> Calling pref.
3550c3535,3538
< No need to call Grounded.
---
> Entering Grounded
> New cycle
> No grounded extension found.
> Final I: {}
3564,3567c3552,3554
< O: {}
< I: {a45}
< Going to call prefSAT.
< Calling prefSAT.
---
> O: {}
> I: {a45}
> Calling prefSAT.
3598c3585
< Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a45 a6 a7 a8}
---
> Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a45 a7 a8}
3605,3608c3592,3594
< O: {}
< I: {a12}
< Going to call prefSAT.
< Calling prefSAT.
---
> O: {}
> I: {a12}
> Calling prefSAT.
3645,3648c3631,3633
< O: {a12}
< I: {}
< Going to call pref.
< Calling pref.
---
> O: {a12}
> I: {}
> Calling pref.
3652c3637,3640
< No need to call Grounded.
---
> Entering Grounded
> New cycle
> No grounded extension found.
> Final I: {}
3659c3647
< Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a45 a6 a7 a8}
---
> Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a45 a7 a8}
3666,3669c3654,3656
< O: {}
< I: {}
< Going to call prefSAT.
< Calling prefSAT.
---
> O: {}
> I: {}
> Calling prefSAT.
3687,3690c3674,3676
< O: {a11}
< I: {}
< Going to call pref.
< Calling pref.
---
> O: {a11}
> I: {}
> Calling pref.
3694c3680,3683
< No need to call Grounded.
---
> Entering Grounded
> New cycle
> No grounded extension found.
> Final I: {}
3701c3690
< Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a45 a6 a7 a8}
---
> Created: {a10 a15 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a45 a7 a8}
3708,3711c3697,3699
< O: {}
< I: {a16}
< Going to call prefSAT.
< Calling prefSAT.
---
> O: {}
> I: {a16}
> Calling prefSAT.
3749,3752c3737,3739
< O: {}
< I: {a16}
< Going to call prefSAT.
< Calling prefSAT.
---
> O: {}
> I: {a16}
> Calling prefSAT.
3765a3753,3760
> 1 0
> 1 2 3 0
> -1 -2 0
> -1 -3 0
> -2 -3 0
> 1 0
>
>
3780a3776,3783
> 1 2 3 0
> -1 -2 0
> -1 -3 0
> -2 -3 0
> 1 0
>
>
> 1 0
3783c3786
< Created: {a10 a15 a16 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a45 a6 a7 a8}
---
> Created: {a10 a15 a16 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a45 a7 a8}
3787c3790
< {a10 a15 a16 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a45 a6 a7 a8}
---
> {a10 a15 a16 a17 a2 a20 a22 a23 a25 a30 a32 a33 a34 a38 a45 a7 a8}

Loading

0 comments on commit 7db5e45

Please sign in to comment.