noah/Synchronous_Firing
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Reverting simplicity sol, only using 5 illicit sw for C

Browse Source
This commit is contained in:
Noah L. Schrick 2023-03-24 15:50:09 -05:00
parent 95f0e7fbc2
commit d7e42b0cc6
18 changed files with 106 additions and 122 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
CG_Files/Employee_ABC/dmca.nm
View File

@ -16,9 +16,7 @@ network model =
illicit_sw_C_2; illicit_sw_C_2;
illicit_sw_C_3; illicit_sw_C_3;
illicit_sw_C_4; illicit_sw_C_4;
illicit_sw_C_5; illicit_sw_C_5;
illicit_sw_C_6;
illicit_sw_C_7;
facts: facts:
quality:torrent_prog_B,prog_B_is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;
@ -41,8 +39,6 @@ network model =
quality:illicit_sw_C_3,sw_C_3_is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,sw_C_4_is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,sw_C_5_is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,sw_C_7_is_installed=true;
topology:illicit_sw_B_3->illicit_sw_B_4,org; topology:illicit_sw_B_3->illicit_sw_B_4,org;
. .

14
CG_Files/Employee_ABC/dmca.xp
View File

@ -102,17 +102,3 @@ exploit remove_illicit_sw_C_5(illicit_sw_C_5)=
postconditions: postconditions:
update quality:illicit_sw_C_5,sw_C_5_is_installed=false; update quality:illicit_sw_C_5,sw_C_5_is_installed=false;
. .
exploit remove_illicit_sw_C_6(illicit_sw_C_6)=
preconditions:
quality:illicit_sw_C_6,sw_C_6_is_installed=true;
postconditions:
update quality:illicit_sw_C_6,sw_C_6_is_installed=false;
.
exploit remove_illicit_sw_C_7(illicit_sw_C_7)=
preconditions:
quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions:
update quality:illicit_sw_C_7,sw_C_7_is_installed=false;
.

5
CG_Files/Employee_ABC/sync_dmca.nm
View File

@ -17,8 +17,7 @@ network model =
illicit_sw_C_3; illicit_sw_C_3;
illicit_sw_C_4; illicit_sw_C_4;
illicit_sw_C_5; illicit_sw_C_5;
illicit_sw_C_6;
illicit_sw_C_7;
facts: facts:
quality:torrent_prog_B,B_is_installed=true; quality:torrent_prog_B,B_is_installed=true;
@ -41,8 +40,6 @@ network model =
quality:illicit_sw_C_3,C_is_installed=true; quality:illicit_sw_C_3,C_is_installed=true;
quality:illicit_sw_C_4,C_is_installed=true; quality:illicit_sw_C_4,C_is_installed=true;
quality:illicit_sw_C_5,C_is_installed=true; quality:illicit_sw_C_5,C_is_installed=true;
quality:illicit_sw_C_6,C_is_installed=true;
quality:illicit_sw_C_7,C_is_installed=true;
topology:illicit_sw_B_3->illicit_sw_B_4,org; topology:illicit_sw_B_3->illicit_sw_B_4,org;
. .

44
CG_Files/Employee_ABC/sync_dmca.xp
View File

@ -1,20 +1,46 @@
uninstallB group exploit remove_all_B(b)= uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)=
preconditions: preconditions:
quality:b,B_is_installed=true; quality:torrent_prog_B,B_is_installed=true;
quality:illicit_sw_B_1,B_is_installed=true;
quality:illicit_sw_B_2,B_is_installed=true;
quality:illicit_sw_B_3,B_is_installed=true;
quality:illicit_sw_B_4,B_is_installed=true;
postconditions: postconditions:
update quality:b,B_is_installed=false; update quality:torrent_prog_B,B_is_installed=false;
update quality:illicit_sw_B_1,B_is_installed=false;
update quality:illicit_sw_B_2,B_is_installed=false;
update quality:illicit_sw_B_3,B_is_installed=false;
update quality:illicit_sw_B_4,B_is_installed=false;
. .
uninstallA group exploit remove_all_A(a)=
uninstall group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)=
preconditions: preconditions:
quality:a,A_is_installed=true; quality:torrent_prog_A,A_is_installed=true;
quality:illicit_sw_A_1,A_is_installed=true;
quality:illicit_sw_A_2,A_is_installed=true;
quality:illicit_sw_A_3,A_is_installed=true;
postconditions: postconditions:
update quality:a,A_is_installed=false; update quality:torrent_prog_A,A_is_installed=false;
update quality:illicit_sw_A_1,A_is_installed=false;
update quality:illicit_sw_A_2,A_is_installed=false;
update quality:illicit_sw_A_3,A_is_installed=false;
. .
uninstallC group exploit remove_all_C(c)= uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5)=
preconditions: preconditions:
quality:c,C_is_installed=true; quality:torrent_prog_C,C_is_installed=true;
quality:illicit_sw_C_1,C_is_installed=true;
quality:illicit_sw_C_2,C_is_installed=true;
quality:illicit_sw_C_3,C_is_installed=true;
quality:illicit_sw_C_4,C_is_installed=true;
quality:illicit_sw_C_5,C_is_installed=true;
postconditions: postconditions:
update quality:c,C_is_installed=false; update quality:torrent_prog_C,C_is_installed=false;
update quality:illicit_sw_C_1,C_is_installed=false;
update quality:illicit_sw_C_2,C_is_installed=false;
update quality:illicit_sw_C_3,C_is_installed=false;
update quality:illicit_sw_C_4,C_is_installed=false;
update quality:illicit_sw_C_5,C_is_installed=false;
. .

6
CG_Files/Employee_AC/dmca.nm
View File

@ -6,8 +6,6 @@ network model =
illicit_sw_C_3; illicit_sw_C_3;
illicit_sw_C_4; illicit_sw_C_4;
illicit_sw_C_5; illicit_sw_C_5;
illicit_sw_C_6;
illicit_sw_C_7;
torrent_prog_A; torrent_prog_A;
illicit_sw_A_1; illicit_sw_A_1;
@ -22,8 +20,6 @@ network model =
quality:illicit_sw_C_3,sw_C_3_is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,sw_C_4_is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,sw_C_5_is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,sw_C_7_is_installed=true;
quality:torrent_prog_A,prog_A_is_installed=true; quality:torrent_prog_A,prog_A_is_installed=true;
@ -31,5 +27,5 @@ network model =
quality:illicit_sw_A_2,sw_A_2_is_installed=true; quality:illicit_sw_A_2,sw_A_2_is_installed=true;
quality:illicit_sw_A_3,sw_A_3_is_installed=true; quality:illicit_sw_A_3,sw_A_3_is_installed=true;
topology:illicit_sw_C_6->illicit_sw_C_7,org; topology:illicit_sw_C_4->illicit_sw_C_5,org;
. .

14
CG_Files/Employee_AC/dmca.xp
View File

@ -40,20 +40,6 @@ exploit remove_illicit_sw_C_5(illicit_sw_C_5)=
update quality:illicit_sw_C_5,sw_C_5_is_installed=false; update quality:illicit_sw_C_5,sw_C_5_is_installed=false;
. .
exploit remove_illicit_sw_C_6(illicit_sw_C_6)=
preconditions:
quality:illicit_sw_C_6,sw_C_6_is_installed=true;
postconditions:
update quality:illicit_sw_C_6,sw_C_6_is_installed=false;
.
exploit remove_illicit_sw_C_7(illicit_sw_C_7)=
preconditions:
quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions:
update quality:illicit_sw_C_7,sw_C_7_is_installed=false;
.
exploit remove_torrent_prog_A(torrent_prog_A)= exploit remove_torrent_prog_A(torrent_prog_A)=
preconditions: preconditions:
quality:torrent_prog_A,prog_A_is_installed=true; quality:torrent_prog_A,prog_A_is_installed=true;

6
CG_Files/Employee_AC/sync_dmca.nm
View File

@ -6,8 +6,6 @@ network model =
illicit_sw_C_3; illicit_sw_C_3;
illicit_sw_C_4; illicit_sw_C_4;
illicit_sw_C_5; illicit_sw_C_5;
illicit_sw_C_6;
illicit_sw_C_7;
torrent_prog_A; torrent_prog_A;
illicit_sw_A_1; illicit_sw_A_1;
@ -22,8 +20,6 @@ network model =
quality:illicit_sw_C_3,C_is_installed=true; quality:illicit_sw_C_3,C_is_installed=true;
quality:illicit_sw_C_4,C_is_installed=true; quality:illicit_sw_C_4,C_is_installed=true;
quality:illicit_sw_C_5,C_is_installed=true; quality:illicit_sw_C_5,C_is_installed=true;
quality:illicit_sw_C_6,C_is_installed=true;
quality:illicit_sw_C_7,C_is_installed=true;
quality:torrent_prog_A,A_is_installed=true; quality:torrent_prog_A,A_is_installed=true;
@ -31,5 +27,5 @@ network model =
quality:illicit_sw_A_2,A_is_installed=true; quality:illicit_sw_A_2,A_is_installed=true;
quality:illicit_sw_A_3,A_is_installed=true; quality:illicit_sw_A_3,A_is_installed=true;
topology:illicit_sw_C_6->illicit_sw_C_7,org; topology:illicit_sw_C_4->illicit_sw_C_5,org;
. .

30
CG_Files/Employee_AC/sync_dmca.xp
View File

@ -1,13 +1,31 @@
uninstallA group exploit remove_all_A(a)= uninstallA group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)=
preconditions: preconditions:
quality:a,A_is_installed=true; quality:torrent_prog_A,A_is_installed=true;
quality:illicit_sw_A_1,A_is_installed=true;
quality:illicit_sw_A_2,A_is_installed=true;
quality:illicit_sw_A_3,A_is_installed=true;
postconditions: postconditions:
update quality:a,A_is_installed=false; update quality:torrent_prog_A,A_is_installed=false;
update quality:illicit_sw_A_1,A_is_installed=false;
update quality:illicit_sw_A_2,A_is_installed=false;
update quality:illicit_sw_A_3,A_is_installed=false;
. .
uninstallC group exploit remove_all_C(c)=
uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5)=
preconditions: preconditions:
quality:c,C_is_installed=true; quality:torrent_prog_C,C_is_installed=true;
quality:illicit_sw_C_1,C_is_installed=true;
quality:illicit_sw_C_2,C_is_installed=true;
quality:illicit_sw_C_3,C_is_installed=true;
quality:illicit_sw_C_4,C_is_installed=true;
quality:illicit_sw_C_5,C_is_installed=true;
postconditions: postconditions:
update quality:c,C_is_installed=false; update quality:torrent_prog_C,C_is_installed=false;
update quality:illicit_sw_C_1,C_is_installed=false;
update quality:illicit_sw_C_2,C_is_installed=false;
update quality:illicit_sw_C_3,C_is_installed=false;
update quality:illicit_sw_C_4,C_is_installed=false;
update quality:illicit_sw_C_5,C_is_installed=false;
. .

6
CG_Files/Employee_BC/dmca.nm
View File

@ -6,8 +6,6 @@ network model =
illicit_sw_C_3; illicit_sw_C_3;
illicit_sw_C_4; illicit_sw_C_4;
illicit_sw_C_5; illicit_sw_C_5;
illicit_sw_C_6;
illicit_sw_C_7;
torrent_prog_B; torrent_prog_B;
illicit_sw_B_1; illicit_sw_B_1;
@ -23,8 +21,6 @@ network model =
quality:illicit_sw_C_3,sw_C_3_is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,sw_C_4_is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,sw_C_5_is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,sw_C_7_is_installed=true;
quality:torrent_prog_B,prog_B_is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;
@ -33,5 +29,5 @@ network model =
quality:illicit_sw_B_3,sw_B_3_is_installed=true; quality:illicit_sw_B_3,sw_B_3_is_installed=true;
quality:illicit_sw_B_4,sw_B_4_is_installed=true; quality:illicit_sw_B_4,sw_B_4_is_installed=true;
topology:illicit_sw_C_6->illicit_sw_C_7,org; topology:illicit_sw_C_4->illicit_sw_C_5,org;
. .

14
CG_Files/Employee_BC/dmca.xp
View File

@ -40,20 +40,6 @@ exploit remove_illicit_sw_C_5(illicit_sw_C_5)=
update quality:illicit_sw_C_5,sw_C_5_is_installed=false; update quality:illicit_sw_C_5,sw_C_5_is_installed=false;
. .
exploit remove_illicit_sw_C_6(illicit_sw_C_6)=
preconditions:
quality:illicit_sw_C_6,sw_C_6_is_installed=true;
postconditions:
update quality:illicit_sw_C_6,sw_C_6_is_installed=false;
.
exploit remove_illicit_sw_C_7(illicit_sw_C_7)=
preconditions:
quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions:
update quality:illicit_sw_C_7,sw_C_7_is_installed=false;
.
exploit remove_torrent_prog_B(torrent_prog_B)= exploit remove_torrent_prog_B(torrent_prog_B)=
preconditions: preconditions:
quality:torrent_prog_B,prog_B_is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;

6
CG_Files/Employee_BC/sync_dmca.nm
View File

@ -6,8 +6,6 @@ network model =
illicit_sw_C_3; illicit_sw_C_3;
illicit_sw_C_4; illicit_sw_C_4;
illicit_sw_C_5; illicit_sw_C_5;
illicit_sw_C_6;
illicit_sw_C_7;
torrent_prog_B; torrent_prog_B;
illicit_sw_B_1; illicit_sw_B_1;
@ -23,8 +21,6 @@ network model =
quality:illicit_sw_C_3,C_is_installed=true; quality:illicit_sw_C_3,C_is_installed=true;
quality:illicit_sw_C_4,C_is_installed=true; quality:illicit_sw_C_4,C_is_installed=true;
quality:illicit_sw_C_5,C_is_installed=true; quality:illicit_sw_C_5,C_is_installed=true;
quality:illicit_sw_C_6,C_is_installed=true;
quality:illicit_sw_C_7,C_is_installed=true;
quality:torrent_prog_B,B_is_installed=true; quality:torrent_prog_B,B_is_installed=true;
@ -33,5 +29,5 @@ network model =
quality:illicit_sw_B_3,B_is_installed=true; quality:illicit_sw_B_3,B_is_installed=true;
quality:illicit_sw_B_4,B_is_installed=true; quality:illicit_sw_B_4,B_is_installed=true;
topology:illicit_sw_C_6->illicit_sw_C_7,org; topology:illicit_sw_C_4->illicit_sw_C_5,org;
. .

30
CG_Files/Employee_BC/sync_dmca.xp
View File

@ -1,13 +1,31 @@
uninstallB group exploit remove_all_B(b)= uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)=
preconditions: preconditions:
quality:b,B_is_installed=true; quality:torrent_prog_B,B_is_installed=true;
quality:illicit_sw_B_1,B_is_installed=true;
quality:illicit_sw_B_2,B_is_installed=true;
quality:illicit_sw_B_3,B_is_installed=true;
quality:illicit_sw_B_4,B_is_installed=true;
postconditions: postconditions:
update quality:b,B_is_installed=false; update quality:torrent_prog_B,B_is_installed=false;
update quality:illicit_sw_B_1,B_is_installed=false;
update quality:illicit_sw_B_2,B_is_installed=false;
update quality:illicit_sw_B_3,B_is_installed=false;
update quality:illicit_sw_B_4,B_is_installed=false;
. .
uninstallC group exploit remove_all_C(c)= uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5)=
preconditions: preconditions:
quality:c,C_is_installed=true; quality:torrent_prog_C,C_is_installed=true;
quality:illicit_sw_C_1,C_is_installed=true;
quality:illicit_sw_C_2,C_is_installed=true;
quality:illicit_sw_C_3,C_is_installed=true;
quality:illicit_sw_C_4,C_is_installed=true;
quality:illicit_sw_C_5,C_is_installed=true;
postconditions: postconditions:
update quality:c,C_is_installed=false; update quality:torrent_prog_C,C_is_installed=false;
update quality:illicit_sw_C_1,C_is_installed=false;
update quality:illicit_sw_C_2,C_is_installed=false;
update quality:illicit_sw_C_3,C_is_installed=false;
update quality:illicit_sw_C_4,C_is_installed=false;
update quality:illicit_sw_C_5,C_is_installed=false;
. .

6
CG_Files/Employee_C/dmca.nm
View File

@ -6,8 +6,6 @@ network model =
illicit_sw_C_3; illicit_sw_C_3;
illicit_sw_C_4; illicit_sw_C_4;
illicit_sw_C_5; illicit_sw_C_5;
illicit_sw_C_6;
illicit_sw_C_7;
facts: facts:
quality:torrent_prog_C,prog_C_is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
@ -17,8 +15,6 @@ network model =
quality:illicit_sw_C_3,sw_C_3_is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,sw_C_4_is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,sw_C_5_is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,sw_C_7_is_installed=true;
topology:illicit_sw_C_6->illicit_sw_C_7,org; topology:illicit_sw_C_4->illicit_sw_C_5,org;
. .

14
CG_Files/Employee_C/dmca.xp
View File

@ -39,17 +39,3 @@ exploit remove_illicit_sw_C_5(illicit_sw_C_5)=
postconditions: postconditions:
update quality:illicit_sw_C_5,sw_C_5_is_installed=false; update quality:illicit_sw_C_5,sw_C_5_is_installed=false;
. .
exploit remove_illicit_sw_C_6(illicit_sw_C_6)=
preconditions:
quality:illicit_sw_C_6,sw_C_6_is_installed=true;
postconditions:
update quality:illicit_sw_C_6,sw_C_6_is_installed=false;
.
exploit remove_illicit_sw_C_7(illicit_sw_C_7)=
preconditions:
quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions:
update quality:illicit_sw_C_7,sw_C_7_is_installed=false;
.

6
CG_Files/Employee_C/sync_dmca.nm
View File

@ -6,8 +6,6 @@ network model =
illicit_sw_C_3; illicit_sw_C_3;
illicit_sw_C_4; illicit_sw_C_4;
illicit_sw_C_5; illicit_sw_C_5;
illicit_sw_C_6;
illicit_sw_C_7;
facts: facts:
quality:torrent_prog_C,C_is_installed=true; quality:torrent_prog_C,C_is_installed=true;
@ -17,8 +15,6 @@ network model =
quality:illicit_sw_C_3,C_is_installed=true; quality:illicit_sw_C_3,C_is_installed=true;
quality:illicit_sw_C_4,C_is_installed=true; quality:illicit_sw_C_4,C_is_installed=true;
quality:illicit_sw_C_5,C_is_installed=true; quality:illicit_sw_C_5,C_is_installed=true;
quality:illicit_sw_C_6,C_is_installed=true;
quality:illicit_sw_C_7,C_is_installed=true;
topology:illicit_sw_C_6->illicit_sw_C_7,org; topology:illicit_sw_C_4->illicit_sw_C_5,org;
. .

16
CG_Files/Employee_C/sync_dmca.xp
View File

@ -1,6 +1,16 @@
uninstall group exploit remove_all_C(c)= uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5)=
preconditions: preconditions:
quality:c,C_is_installed=true; quality:torrent_prog_C,C_is_installed=true;
quality:illicit_sw_C_1,C_is_installed=true;
quality:illicit_sw_C_2,C_is_installed=true;
quality:illicit_sw_C_3,C_is_installed=true;
quality:illicit_sw_C_4,C_is_installed=true;
quality:illicit_sw_C_5,C_is_installed=true;
postconditions: postconditions:
update quality:c,C_is_installed=false; update quality:torrent_prog_C,C_is_installed=false;
update quality:illicit_sw_C_1,C_is_installed=false;
update quality:illicit_sw_C_2,C_is_installed=false;
update quality:illicit_sw_C_3,C_is_installed=false;
update quality:illicit_sw_C_4,C_is_installed=false;
update quality:illicit_sw_C_5,C_is_installed=false;
. .

4
CG_Files/run.sh
View File

@ -58,8 +58,8 @@ fi
CMD=() CMD=()
CMD+=$MPI_HAMMER_PARAMS CMD+=$MPI_HAMMER_PARAMS
CMD+=" ./ag_gen -n " CMD+=" ./ag_gen -n "
CMD+=${CURR_DIR}"Employee_"${ESIZE}/"dmca.nm" CMD+=${CURR_DIR}"Employee_"${ESIZE}/"sync_dmca.nm"
CMD+=" -x " CMD+=" -x "
CMD+=${CURR_DIR}"Employee_"${ESIZE}/"dmca.xp" CMD+=${CURR_DIR}"Employee_"${ESIZE}/"sync_dmca.xp"
CMD+=${AG_TASK_PARAMS} CMD+=${AG_TASK_PARAMS}
${CMD} ${CMD}

1
data/.~lock.data.xlsx#
View File

@ -1 +0,0 @@
,noah,NovaArchSys,24.03.2023 13:37,file:///home/noah/.config/libreoffice/4;