Skip to main content

Table 1 Drug selection for single stuck-at faults

From: Application of Max-SAT-based ATPG to optimal cancer therapy design

Net s-a Faulty PO Best PO Drug Vector Score
1 1 1111111 0000000 010000 85
2 1 1111111 0000000 100000 85
3 1 1111111 0000000 001000 85
4 1 1111111 0000000 010000 85
5 1 1111111 0000000 000110 84
6 1 0000111 0000000 000110 84
7 1 0000111 0000111 000000 56
8 1 1111111 0000000 000010 85
9 1 0000111 0000000 000010 85
10 1 0000111 0000111 000000 56
11 1 0000111 0000111 000000 56
12 1 0000111 0000111 000000 56
16 1 0111110 0000000 000100 85
17 1 0111110 0000000 000100 85
18 1 0111110 0111110 000000 36
19 0 0000001 0000001 000000 76
20 0 0000110 0000000 000001 85
21 1 0000110 0000000 000001 85
22 1 0000110 0000000 000001 85
23 1 0000110 0000110 000000 66
24 0 0000110 0000110 000000 66
  1. Each row in the table corresponds to a single fault, located by the net number and the type of fault (stuck-at-1 or stuck-at-0). The primary output [FOS - JUN,SP 1,SRF - ELK 1,SRF - ELK 4,BCL 2,BCL 2L 1,CCND 1] shown is the expression value where 1 means the gene is expressed, while 0 means the gene is not expressed. The drug vector [lapatinib,AG 825,AG 1024,U 0126,LY 249002,Temsirolimus] indicates the drug selection where 1 means the drug is selected, while 0 means the drug is not used.