Skip to content
GitLab
Commit 3cc46d66 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Rename project; remove old benchmarks

parent e905ed18
Expand all Hide whitespace changes
Inline Side-by-side
.gitignore
View file @ 3cc46d66
......@@ -15,13 +15,7 @@ cabal.sandbox.config
cabal.config
# Benchmark directory
benchmarks/**/*.pnet
benchmarks/**/*.out
benchmarks/**/*.log
benchmarks/**/*.list
benchmarks/**/*.list.sorted
benchmarks/**/*.pdf
benchmarks/
# Binaries
slapnet
src/Main
verpol
README.md
View file @ 3cc46d66
slapnet
verpol
=======
Safety and Liveness Analysis of Petri Nets with SMT solvers
Verification of Population Protocols
benchmarks/README.md deleted 100644 → 0
View file @ e905ed18
=====
Description of directories
=====
* ./benchmarks/given-by-daniel-kroening/
* Set corresponding to CProver. CProver uses BFC.
* Taken from: http://www.mpi-sws.org/~jkloos/iic-experiments/cprover.zip
* ./benchmarks/ic3-soter/
* Set corresponding to Soter. Soter uses BFC.
* The examples correspond to Erlang code
* See: http://mjolnir.cs.ox.ac.uk/soter/, http://mjolnir.cs.ox.ac.uk/soter/doc/papers.html
\ No newline at end of file
benchmarks/benchmarks-contingency.sh deleted 100755 → 0
View file @ e905ed18
#!/bin/bash
function sort_file {
cat $1 | \
sed -e 's/^[[:digit:]]* //' \
-e 's/\.pl$//' \
-e 's/\.pnet$//' \
-e 's/\.spec$//' \
-e 's/\.tts$//' \
-e 's/\.lola$//' \
-e 's/\.tpn$//' | \
sort \
>$1.sorted
}
results_our_tool=( positive dontknow error timeout )
results_other_tool=( positive negative error timeout )
our_tool=slapnet
#benchmark_dirs=( 'service-tech/ibm-soundness' 'service-tech/sap-reference' )
benchmark_dirs=( 'cav-benchmarks/mist' 'cav-benchmarks/wahl-kroening' 'cav-benchmarks/soter' )
benchmark_tools=( 'sara' 'sara' 'sara' ) # TODO: use positive/negative lists
for (( benchmark=0;benchmark<${#benchmark_dirs[@]};benchmark++)); do
benchmark_dir=${benchmark_dirs[$benchmark]}
other_tool=${benchmark_tools[$benchmark]}
echo "$our_tool on $benchmark_dir compared with $other_tool"
for result in "${results_our_tool[@]}"; do
sort_file $benchmark_dir/$result-$our_tool.list
done
for result in "${results_other_tool[@]}"; do
sort_file $benchmark_dir/$result-$other_tool.list
done
echo -n "other\\our| "
for ((rour=0;rour<${#results_our_tool[@]};rour++)); do
printf "%8s | " ${results_our_tool[$rour]}
sums_our_tool[$rour]=0
done
echo
echo -n "---------+-"
for rour in "${results_our_tool[@]}"; do
echo -n "---------+-"
done
echo "---------"
for rother in "${results_other_tool[@]}"; do
printf "%8s | " $rother
sum_other_tool=0
for ((rour=0;rour<${#results_our_tool[@]};rour++)); do
n=`comm -12 $benchmark_dir/${results_our_tool[$rour]}-$our_tool.list.sorted $benchmark_dir/$rother-$other_tool.list.sorted | wc -l`
printf "%8d | " $n
sum_other_tool=$((sum_other_tool + n))
sums_our_tool[$rour]=$((${sums_our_tool[$rour]} + n))
done
printf "%8d\n" $sum_other_tool
done
echo -n "---------+-"
for rour in "${results_our_tool[@]}"; do
echo -n "---------+-"
done
echo "---------"
total_sum=0
echo -n " our sum | "
for ((rour=0;rour<${#results_our_tool[@]};rour++)); do
printf "%8d | " ${sums_our_tool[$rour]}
total_sum=$((total_sum + ${sums_our_tool[$rour]}))
done
printf "%8d\n" $total_sum
echo -n "---------+-"
for rour in "${results_our_tool[@]}"; do
echo -n "---------+-"
done
echo "---------"
total_time=0
echo -n "our time | "
for ((rour=0;rour<${#results_our_tool[@]};rour++)); do
result=${results_our_tool[$rour]}
result_time=0
while read T file; do
result_time=$((result_time + T))
done <$benchmark_dir/$result-$our_tool.list
printf "%1.2e | " $result_time
total_time=$((total_time + $result_time))
done
printf "%1.2e\n" $total_time
echo
done
benchmarks/cav-benchmarks/bug_tracking/mister_lextab.py deleted 100644 → 0
View file @ e905ed18
# mister_lextab.py. This file automatically created by PLY (version 3.4). Don't edit!
_tabversion = '3.2'
_lextokens = {'PRIME': 1, 'TARGET': 1, 'VARS': 1, 'RULES': 1, 'INVARIANTS': 1, 'NUMBER': 1, 'INIT': 1, 'ARROW': 1, 'IN': 1, 'TRUE': 1, 'ID': 1, 'GTE': 1}
_lexreflags = 0
_lexliterals = '=,;[]+-'
_lexstateinfo = {'INITIAL': 'inclusive'}
_lexstatere = {'INITIAL': [("(?P<t_ID>[a-zA-Z_][a-zA-Z0-9_]*)|(?P<t_NUMBER>\\d+)|(?P<t_newline>\\n+)|(?P<t_ignore_COMMENT>\\#.*)|(?P<t_ARROW>\\->)|(?P<t_PRIME>\\')|(?P<t_GTE>>=)", [None, ('t_ID', 'ID'), ('t_NUMBER', 'NUMBER'), ('t_newline', 'newline'), (None, None), (None, 'ARROW'), (None, 'PRIME'), (None, 'GTE')])]}
_lexstateignore = {'INITIAL': ' \t'}
_lexstateerrorf = {'INITIAL': 't_error'}
benchmarks/cav-benchmarks/bug_tracking/mister_yacctab.py deleted 100644 → 0
View file @ e905ed18
# mister_yacctab.py
# This file is automatically generated. Do not edit.
_tabversion = '3.2'
_lr_method = 'LALR'
_lr_signature = '^@\xb8c\xe0d\xda\xc3Jt\n\x07\x90YY\xd0'
_lr_action_items = {'PRIME':([41,],[57,]),'TARGET':([10,21,22,43,45,46,72,],[24,-9,-6,-13,-12,-8,-14,]),'VARS':([0,],[3,]),'INVARIANTS':([21,23,24,35,36,37,43,45,46,52,72,],[-9,33,-3,-7,-3,-11,-13,-12,-8,-10,-14,]),'RULES':([1,3,6,7,8,20,],[5,-3,-2,-5,-3,-4,]),'=':([17,49,57,],[30,60,63,]),'+':([68,],[70,]),'GTE':([17,],[28,]),'-':([68,],[71,]),',':([12,13,15,18,21,40,43,45,48,58,62,66,72,73,74,],[-21,25,-23,-22,31,55,-13,-12,59,64,55,-36,-14,-28,-29,]),'NUMBER':([28,30,44,60,64,70,71,],[43,45,58,66,69,73,74,]),'INIT':([4,5,11,14,19,26,53,],[9,-3,-15,-3,-17,-16,-18,]),']':([69,],[72,]),'ARROW':([12,13,15,16,18,38,43,45,72,],[-21,-20,-23,27,-22,-19,-13,-12,-14,]),'IN':([17,],[29,]),'[':([29,],[44,]),';':([27,39,40,42,54,56,62,67,73,74,],[-3,53,-3,-25,-27,-24,-3,-26,-28,-29,]),'TRUE':([5,14,25,53,],[15,15,15,-18,]),'ID':([3,5,8,9,14,21,24,25,27,31,33,36,43,45,46,48,51,53,55,59,63,65,66,72,],[8,17,8,17,17,-9,17,17,41,17,49,17,-13,-12,-8,-35,49,-18,41,49,68,-34,-36,-14,]),'$end':([2,21,23,24,32,33,34,35,36,37,43,45,46,47,48,50,51,52,61,65,66,72,],[0,-9,-3,-3,-1,-3,-31,-7,-3,-11,-13,-12,-8,-30,-35,-33,-3,-10,-32,-34,-36,-14,]),}
_lr_action = { }
for _k, _v in _lr_action_items.items():
for _x,_y in zip(_v[0],_v[1]):
if not _x in _lr_action: _lr_action[_x] = { }
_lr_action[_x][_k] = _y
del _lr_action_items
_lr_goto_items = {'vars':([0,],[1,]),'statementlist':([27,],[39,]),'guard':([5,14,25,],[13,13,13,]),'statementfollow':([40,62,],[56,67,]),'varlist':([3,8,],[6,20,]),'constrlistor':([24,36,],[35,52,]),'init':([4,],[10,]),'program':([0,],[2,]),'statement':([27,55,],[40,62,]),'unconstrained':([5,14,25,],[18,18,18,]),'empty':([3,5,8,14,23,24,27,33,36,40,51,62,],[7,19,7,19,34,37,42,50,37,54,50,54,]),'rulelist':([5,14,],[11,26,]),'rules':([1,],[4,]),'equallistor':([33,51,],[47,61,]),'target':([10,],[23,]),'constraint':([5,9,14,24,25,31,36,],[12,21,12,21,12,21,21,]),'invariants':([23,],[32,]),'equal':([33,51,59,],[48,48,48,]),'rule':([5,14,],[14,14,]),'guardlist':([5,14,25,],[16,16,38,]),'constrlistand':([9,24,31,36,],[22,36,46,36,]),'equallistand':([33,51,59,],[51,51,65,]),}
_lr_goto = { }
for _k, _v in _lr_goto_items.items():
for _x,_y in zip(_v[0],_v[1]):
if not _x in _lr_goto: _lr_goto[_x] = { }
_lr_goto[_x][_k] = _y
del _lr_goto_items
_lr_productions = [
("S' -> program","S'",1,None,None,None),
('program -> vars rules init target invariants','program',5,'p_program','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',15),
('vars -> VARS varlist','vars',2,'p_vars','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',19),
('empty -> <empty>','empty',0,'p_empty','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',23),
('varlist -> ID varlist','varlist',2,'p_varlist','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',27),
('varlist -> empty','varlist',1,'p_varlist','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',28),
('init -> INIT constrlistand','init',2,'p_init','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',32),
('target -> TARGET constrlistor','target',2,'p_target','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',36),
('constrlistand -> constraint , constrlistand','constrlistand',3,'p_constrlistand','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',40),
('constrlistand -> constraint','constrlistand',1,'p_constrlistand','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',41),
('constrlistor -> constrlistand constrlistor','constrlistor',2,'p_constrlistor','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',45),
('constrlistor -> empty','constrlistor',1,'p_constrlistor','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',46),
('constraint -> ID = NUMBER','constraint',3,'p_constraint','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',50),
('constraint -> ID GTE NUMBER','constraint',3,'p_constraint','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',51),
('constraint -> ID IN [ NUMBER , NUMBER ]','constraint',7,'p_constraint','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',52),
('rules -> RULES rulelist','rules',2,'p_rules','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',59),
('rulelist -> rule rulelist','rulelist',2,'p_rulelist','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',63),
('rulelist -> empty','rulelist',1,'p_rulelist','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',64),
('rule -> guardlist ARROW statementlist ;','rule',4,'p_rule','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',68),
('guardlist -> guard , guardlist','guardlist',3,'p_guardlist','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',72),
('guardlist -> guard','guardlist',1,'p_guardlist','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',73),
('guard -> constraint','guard',1,'p_guard','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',77),
('guard -> unconstrained','guard',1,'p_guard','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',78),
('unconstrained -> TRUE','unconstrained',1,'p_unconstrained','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',82),
('statementlist -> statement statementfollow','statementlist',2,'p_statementlist','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',86),
('statementlist -> empty','statementlist',1,'p_statementlist','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',87),
('statementfollow -> , statement statementfollow','statementfollow',3,'p_statementfollow','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',91),
('statementfollow -> empty','statementfollow',1,'p_statementfollow','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',92),
('statement -> ID PRIME = ID + NUMBER','statement',6,'p_statement','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',97),
('statement -> ID PRIME = ID - NUMBER','statement',6,'p_statement','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',98),
('invariants -> INVARIANTS equallistor','invariants',2,'p_invariants','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',102),
('invariants -> empty','invariants',1,'p_invariants','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',103),
('equallistor -> equallistand equallistor','equallistor',2,'p_equallistor','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',107),
('equallistor -> empty','equallistor',1,'p_equallistor','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',108),
('equallistand -> equal , equallistand','equallistand',3,'p_equallistand','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',112),
('equallistand -> equal','equallistand',1,'p_equallistand','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',113),
('equal -> ID = NUMBER','equal',3,'p_equal','/home/fniksic/IC3forWSTS/code/trunk/mister/src/mister/parser.py',117),
]
benchmarks/cav-benchmarks/bug_tracking/safety.negative deleted 100644 → 0
View file @ e905ed18
cav-benchmarks/bug_tracking/x0_PENDING_q3_buggy
benchmarks/cav-benchmarks/bug_tracking/safety.positive deleted 100644 → 0
View file @ e905ed18
cav-benchmarks/bug_tracking/x0_BUG_REPORT_q1
cav-benchmarks/bug_tracking/x0_BUG_REPORT_q3
cav-benchmarks/bug_tracking/x0_BUG_REPORT_q5
cav-benchmarks/bug_tracking/x0_BUG_REPORT_q6
cav-benchmarks/bug_tracking/x0_BUG_REPORT_q8
cav-benchmarks/bug_tracking/x0_CLOSED_q1
cav-benchmarks/bug_tracking/x0_CLOSED_q3
cav-benchmarks/bug_tracking/x0_CLOSED_q5
cav-benchmarks/bug_tracking/x0_CLOSED_q6
cav-benchmarks/bug_tracking/x0_CLOSED_q8
cav-benchmarks/bug_tracking/x0_FIXED_q1
cav-benchmarks/bug_tracking/x0_FIXED_q3
cav-benchmarks/bug_tracking/x0_FIXED_q5
cav-benchmarks/bug_tracking/x0_FIXED_q6
cav-benchmarks/bug_tracking/x0_FIXED_q8
cav-benchmarks/bug_tracking/x0_FIX_AGAIN_q1
cav-benchmarks/bug_tracking/x0_FIX_AGAIN_q3
cav-benchmarks/bug_tracking/x0_FIX_AGAIN_q5
cav-benchmarks/bug_tracking/x0_FIX_AGAIN_q6
cav-benchmarks/bug_tracking/x0_FIX_AGAIN_q8
cav-benchmarks/bug_tracking/x0_MORE_INFO_q1
cav-benchmarks/bug_tracking/x0_MORE_INFO_q3
cav-benchmarks/bug_tracking/x0_MORE_INFO_q5
cav-benchmarks/bug_tracking/x0_MORE_INFO_q6
cav-benchmarks/bug_tracking/x0_MORE_INFO_q8
cav-benchmarks/bug_tracking/x0_MUST_FIX_q1
cav-benchmarks/bug_tracking/x0_MUST_FIX_q3
cav-benchmarks/bug_tracking/x0_MUST_FIX_q5
cav-benchmarks/bug_tracking/x0_MUST_FIX_q6
cav-benchmarks/bug_tracking/x0_MUST_FIX_q8
cav-benchmarks/bug_tracking/x0_PENDING_q1
cav-benchmarks/bug_tracking/x0_PENDING_q3
cav-benchmarks/bug_tracking/x0_PENDING_q5
cav-benchmarks/bug_tracking/x0_PENDING_q6
cav-benchmarks/bug_tracking/x0_PENDING_q8
cav-benchmarks/bug_tracking/x0_VERIFIED_q1
cav-benchmarks/bug_tracking/x0_VERIFIED_q3
cav-benchmarks/bug_tracking/x0_VERIFIED_q5
cav-benchmarks/bug_tracking/x0_VERIFIED_q6
cav-benchmarks/bug_tracking/x0_VERIFIED_q8
benchmarks/cav-benchmarks/bug_tracking/x0_BUG_REPORT_q1.meta deleted 100644 → 0
View file @ e905ed18
Safe, Places, Transitions, TargetSize
+, 754, 27370, 1
benchmarks/cav-benchmarks/bug_tracking/x0_BUG_REPORT_q1.spec.safe.task1 deleted 100644 → 0
View file @ e905ed18
EF (FALSE OR l0 > 1 OR l1 > 1 OR l2 > 1 OR l3 > 1 OR l33 > 1 OR l4 > 1 OR l5 > 1 OR l6 > 1 OR l7 > 1 OR l8 > 1 OR l9 > 1 OR l10 > 1 OR l11 > 1 OR l12 > 1 OR l13 > 1 OR l14 > 1 OR l15 > 1 OR l16 > 1 OR l17 > 1 OR l18 > 1 OR l19 > 1 OR l20 > 1 OR l21 > 1 OR l22 > 1 OR l23 > 1 OR l24 > 1 OR l25 > 1 OR l26 > 1 OR l27 > 1 OR l28 > 1 OR l29 > 1 OR l30 > 1 OR l31 > 1 OR l32 > 1 OR x0_BUG_REPORT_q0 > 1 OR x0_BUG_REPORT_q1 > 1 OR x0_BUG_REPORT_q2 > 1 OR x0_BUG_REPORT_q3 > 1 OR x0_BUG_REPORT_q4 > 1 OR x0_BUG_REPORT_q5 > 1 OR x0_BUG_REPORT_q6 > 1 OR x0_BUG_REPORT_q7 > 1 OR x0_BUG_REPORT_q8 > 1 OR x0_CLOSED_q0 > 1 OR x0_CLOSED_q1 > 1 OR x0_CLOSED_q2 > 1 OR x0_CLOSED_q3 > 1 OR x0_CLOSED_q4 > 1 OR x0_CLOSED_q5 > 1 OR x0_CLOSED_q6 > 1 OR x0_CLOSED_q7 > 1 OR x0_CLOSED_q8 > 1 OR x0_FIXED_q0 > 1 OR x0_FIXED_q1 > 1 OR x0_FIXED_q2 > 1 OR x0_FIXED_q3 > 1 OR x0_FIXED_q4 > 1 OR x0_FIXED_q5 > 1 OR x0_FIXED_q6 > 1 OR x0_FIXED_q7 > 1 OR x0_FIXED_q8 > 1 OR x0_FIX_AGAIN_q0 > 1 OR x0_FIX_AGAIN_q1 > 1 OR x0_FIX_AGAIN_q2 > 1 OR x0_FIX_AGAIN_q3 > 1 OR x0_FIX_AGAIN_q4 > 1 OR x0_FIX_AGAIN_q5 > 1 OR x0_FIX_AGAIN_q6 > 1 OR x0_FIX_AGAIN_q7 > 1 OR x0_FIX_AGAIN_q8 > 1 OR x0_MORE_INFO_q0 > 1 OR x0_MORE_INFO_q1 > 1 OR x0_MORE_INFO_q2 > 1 OR x0_MORE_INFO_q3 > 1 OR x0_MORE_INFO_q4 > 1 OR x0_MORE_INFO_q5 > 1 OR x0_MORE_INFO_q6 > 1 OR x0_MORE_INFO_q7 > 1 OR x0_MORE_INFO_q8 > 1 OR x0_MUST_FIX_q0 > 1 OR x0_MUST_FIX_q1 > 1 OR x0_MUST_FIX_q2 > 1 OR x0_MUST_FIX_q3 > 1 OR x0_MUST_FIX_q4 > 1 OR x0_MUST_FIX_q5 > 1 OR x0_MUST_FIX_q6 > 1 OR x0_MUST_FIX_q7 > 1 OR x0_MUST_FIX_q8 > 1 OR x0_PENDING_q0 > 1 OR x0_PENDING_q1 > 1 OR x0_PENDING_q2 > 1 OR x0_PENDING_q3 > 1 OR x0_PENDING_q4 > 1 OR x0_PENDING_q5 > 1 OR x0_PENDING_q6 > 1 OR x0_PENDING_q7 > 1 OR x0_PENDING_q8 > 1 OR x0_VERIFIED_q0 > 1 OR x0_VERIFIED_q1 > 1 OR x0_VERIFIED_q2 > 1 OR x0_VERIFIED_q3 > 1 OR x0_VERIFIED_q4 > 1 OR x0_VERIFIED_q5 > 1 OR x0_VERIFIED_q6 > 1 OR x0_VERIFIED_q7 > 1 OR x0_VERIFIED_q8 > 1 OR x1_BUG_REPORT_q0 > 1 OR x1_BUG_REPORT_q1 > 1 OR x1_BUG_REPORT_q2 > 1 OR x1_BUG_REPORT_q3 > 1 OR x1_BUG_REPORT_q4 > 1 OR x1_BUG_REPORT_q5 > 1 OR x1_BUG_REPORT_q6 > 1 OR x1_BUG_REPORT_q7 > 1 OR x1_BUG_REPORT_q8 > 1 OR x1_CLOSED_q0 > 1 OR x1_CLOSED_q1 > 1 OR x1_CLOSED_q2 > 1 OR x1_CLOSED_q3 > 1 OR x1_CLOSED_q4 > 1 OR x1_CLOSED_q5 > 1 OR x1_CLOSED_q6 > 1 OR x1_CLOSED_q7 > 1 OR x1_CLOSED_q8 > 1 OR x1_FIXED_q0 > 1 OR x1_FIXED_q1 > 1 OR x1_FIXED_q2 > 1 OR x1_FIXED_q3 > 1 OR x1_FIXED_q4 > 1 OR x1_FIXED_q5 > 1 OR x1_FIXED_q6 > 1 OR x1_FIXED_q7 > 1 OR x1_FIXED_q8 > 1 OR x1_FIX_AGAIN_q0 > 1 OR x1_FIX_AGAIN_q1 > 1 OR x1_FIX_AGAIN_q2 > 1 OR x1_FIX_AGAIN_q3 > 1 OR x1_FIX_AGAIN_q4 > 1 OR x1_FIX_AGAIN_q5 > 1 OR x1_FIX_AGAIN_q6 > 1 OR x1_FIX_AGAIN_q7 > 1 OR x1_FIX_AGAIN_q8 > 1 OR x1_MORE_INFO_q0 > 1 OR x1_MORE_INFO_q1 > 1 OR x1_MORE_INFO_q2 > 1 OR x1_MORE_INFO_q3 > 1 OR x1_MORE_INFO_q4 > 1 OR x1_MORE_INFO_q5 > 1 OR x1_MORE_INFO_q6 > 1 OR x1_MORE_INFO_q7 > 1 OR x1_MORE_INFO_q8 > 1 OR x1_MUST_FIX_q0 > 1 OR x1_MUST_FIX_q1 > 1 OR x1_MUST_FIX_q2 > 1 OR x1_MUST_FIX_q3 > 1 OR x1_MUST_FIX_q4 > 1 OR x1_MUST_FIX_q5 > 1 OR x1_MUST_FIX_q6 > 1 OR x1_MUST_FIX_q7 > 1 OR x1_MUST_FIX_q8 > 1 OR x1_PENDING_q0 > 1 OR x1_PENDING_q1 > 1 OR x1_PENDING_q2 > 1 OR x1_PENDING_q3 > 1 OR x1_PENDING_q4 > 1 OR x1_PENDING_q5 > 1 OR x1_PENDING_q6 > 1 OR x1_PENDING_q7 > 1 OR x1_PENDING_q8 > 1 OR x1_VERIFIED_q0 > 1 OR x1_VERIFIED_q1 > 1 OR x1_VERIFIED_q2 > 1 OR x1_VERIFIED_q3 > 1 OR x1_VERIFIED_q4 > 1 OR x1_VERIFIED_q5 > 1 OR x1_VERIFIED_q6 > 1 OR x1_VERIFIED_q7 > 1 OR x1_VERIFIED_q8 > 1 OR x2_BUG_REPORT_q0 > 1 OR x2_BUG_REPORT_q1 > 1 OR x2_BUG_REPORT_q2 > 1 OR x2_BUG_REPORT_q3 > 1 OR x2_BUG_REPORT_q4 > 1 OR x2_BUG_REPORT_q5 > 1 OR x2_BUG_REPORT_q6 > 1 OR x2_BUG_REPORT_q7 > 1 OR x2_BUG_REPORT_q8 > 1 OR x2_CLOSED_q0 > 1 OR x2_CLOSED_q1 > 1 OR x2_CLOSED_q2 > 1 OR x2_CLOSED_q3 > 1 OR x2_CLOSED_q4 > 1 OR x2_CLOSED_q5 > 1 OR x2_CLOSED_q6 > 1 OR x2_CLOSED_q7 > 1 OR x2_CLOSED_q8 > 1 OR x2_FIXED_q0 > 1 OR x2_FIXED_q1 > 1 OR x2_FIXED_q2 > 1 OR x2_FIXED_q3 > 1 OR x2_FIXED_q4 > 1 OR x2_FIXED_q5 > 1 OR x2_FIXED_q6 > 1 OR x2_FIXED_q7 > 1 OR x2_FIXED_q8 > 1 OR x2_FIX_AGAIN_q0 > 1 OR x2_FIX_AGAIN_q1 > 1 OR x2_FIX_AGAIN_q2 > 1 OR x2_FIX_AGAIN_q3 > 1 OR x2_FIX_AGAIN_q4 > 1 OR x2_FIX_AGAIN_q5 > 1 OR x2_FIX_AGAIN_q6 > 1 OR x2_FIX_AGAIN_q7 > 1 OR x2_FIX_AGAIN_q8 > 1 OR x2_MORE_INFO_q0 > 1 OR x2_MORE_INFO_q1 > 1 OR x2_MORE_INFO_q2 > 1 OR x2_MORE_INFO_q3 > 1 OR x2_MORE_INFO_q4 > 1 OR x2_MORE_INFO_q5 > 1 OR x2_MORE_INFO_q6 > 1 OR x2_MORE_INFO_q7 > 1 OR x2_MORE_INFO_q8 > 1 OR x2_MUST_FIX_q0 > 1 OR x2_MUST_FIX_q1 > 1 OR x2_MUST_FIX_q2 > 1 OR x2_MUST_FIX_q3 > 1 OR x2_MUST_FIX_q4 > 1 OR x2_MUST_FIX_q5 > 1 OR x2_MUST_FIX_q6 > 1 OR x2_MUST_FIX_q7 > 1 OR x2_MUST_FIX_q8 > 1 OR x2_PENDING_q0 > 1 OR x2_PENDING_q1 > 1 OR x2_PENDING_q2 > 1 OR x2_PENDING_q3 > 1 OR x2_PENDING_q4 > 1 OR x2_PENDING_q5 > 1 OR x2_PENDING_q6 > 1 OR x2_PENDING_q7 > 1 OR x2_PENDING_q8 > 1 OR x2_VERIFIED_q0 > 1 OR x2_VERIFIED_q1 > 1 OR x2_VERIFIED_q2 > 1 OR x2_VERIFIED_q3 > 1 OR x2_VERIFIED_q4 > 1 OR x2_VERIFIED_q5 > 1 OR x2_VERIFIED_q6 > 1 OR x2_VERIFIED_q7 > 1 OR x2_VERIFIED_q8 > 1 OR x3_BUG_REPORT_q0 > 1 OR x3_BUG_REPORT_q1 > 1 OR x3_BUG_REPORT_q2 > 1 OR x3_BUG_REPORT_q3 > 1 OR x3_BUG_REPORT_q4 > 1 OR x3_BUG_REPORT_q5 > 1 OR x3_BUG_REPORT_q6 > 1 OR x3_BUG_REPORT_q7 > 1 OR x3_BUG_REPORT_q8 > 1 OR x3_CLOSED_q0 > 1 OR x3_CLOSED_q1 > 1 OR x3_CLOSED_q2 > 1 OR x3_CLOSED_q3 > 1 OR x3_CLOSED_q4 > 1 OR x3_CLOSED_q5 > 1 OR x3_CLOSED_q6 > 1 OR x3_CLOSED_q7 > 1 OR x3_CLOSED_q8 > 1 OR x3_FIXED_q0 > 1 OR x3_FIXED_q1 > 1 OR x3_FIXED_q2 > 1 OR x3_FIXED_q3 > 1 OR x3_FIXED_q4 > 1 OR x3_FIXED_q5 > 1 OR x3_FIXED_q6 > 1 OR x3_FIXED_q7 > 1 OR x3_FIXED_q8 > 1 OR x3_FIX_AGAIN_q0 > 1 OR x3_FIX_AGAIN_q1 > 1 OR x3_FIX_AGAIN_q2 > 1 OR x3_FIX_AGAIN_q3 > 1 OR x3_FIX_AGAIN_q4 > 1 OR x3_FIX_AGAIN_q5 > 1 OR x3_FIX_AGAIN_q6 > 1 OR x3_FIX_AGAIN_q7 > 1 OR x3_FIX_AGAIN_q8 > 1 OR x3_MORE_INFO_q0 > 1 OR x3_MORE_INFO_q1 > 1 OR x3_MORE_INFO_q2 > 1 OR x3_MORE_INFO_q3 > 1 OR x3_MORE_INFO_q4 > 1 OR x3_MORE_INFO_q5 > 1 OR x3_MORE_INFO_q6 > 1 OR x3_MORE_INFO_q7 > 1 OR x3_MORE_INFO_q8 > 1 OR x3_MUST_FIX_q0 > 1 OR x3_MUST_FIX_q1 > 1 OR x3_MUST_FIX_q2 > 1 OR x3_MUST_FIX_q3 > 1 OR x3_MUST_FIX_q4 > 1 OR x3_MUST_FIX_q5 > 1 OR x3_MUST_FIX_q6 > 1 OR x3_MUST_FIX_q7 > 1 OR x3_MUST_FIX_q8 > 1 OR x3_PENDING_q0 > 1 OR x3_PENDING_q1 > 1 OR x3_PENDING_q2 > 1 OR x3_PENDING_q3 > 1 OR x3_PENDING_q4 > 1 OR x3_PENDING_q5 > 1 OR x3_PENDING_q6 > 1 OR x3_PENDING_q7 > 1 OR x3_PENDING_q8 > 1 OR x3_VERIFIED_q0 > 1 OR x3_VERIFIED_q1 > 1 OR x3_VERIFIED_q2 > 1 OR x3_VERIFIED_q3 > 1 OR x3_VERIFIED_q4 > 1 OR x3_VERIFIED_q5 > 1 OR x3_VERIFIED_q6 > 1 OR x3_VERIFIED_q7 > 1 OR x3_VERIFIED_q8 > 1 OR x4_BUG_REPORT_q0 > 1 OR x4_BUG_REPORT_q1 > 1 OR x4_BUG_REPORT_q2 > 1 OR x4_BUG_REPORT_q3 > 1 OR x4_BUG_REPORT_q4 > 1 OR x4_BUG_REPORT_q5 > 1 OR x4_BUG_REPORT_q6 > 1 OR x4_BUG_REPORT_q7 > 1 OR x4_BUG_REPORT_q8 > 1 OR x4_CLOSED_q0 > 1 OR x4_CLOSED_q1 > 1 OR x4_CLOSED_q2 > 1 OR x4_CLOSED_q3 > 1 OR x4_CLOSED_q4 > 1 OR x4_CLOSED_q5 > 1 OR x4_CLOSED_q6 > 1 OR x4_CLOSED_q7 > 1 OR x4_CLOSED_q8 > 1 OR x4_FIXED_q0 > 1 OR x4_FIXED_q1 > 1 OR x4_FIXED_q2 > 1 OR x4_FIXED_q3 > 1 OR x4_FIXED_q4 > 1 OR x4_FIXED_q5 > 1 OR x4_FIXED_q6 > 1 OR x4_FIXED_q7 > 1 OR x4_FIXED_q8 > 1 OR x4_FIX_AGAIN_q0 > 1 OR x4_FIX_AGAIN_q1 > 1 OR x4_FIX_AGAIN_q2 > 1 OR x4_FIX_AGAIN_q3 > 1 OR x4_FIX_AGAIN_q4 > 1 OR x4_FIX_AGAIN_q5 > 1 OR x4_FIX_AGAIN_q6 > 1 OR x4_FIX_AGAIN_q7 > 1 OR x4_FIX_AGAIN_q8 > 1 OR x4_MORE_INFO_q0 > 1 OR x4_MORE_INFO_q1 > 1 OR x4_MORE_INFO_q2 > 1 OR x4_MORE_INFO_q3 > 1 OR x4_MORE_INFO_q4 > 1 OR x4_MORE_INFO_q5 > 1 OR x4_MORE_INFO_q6 > 1 OR x4_MORE_INFO_q7 > 1 OR x4_MORE_INFO_q8 > 1 OR x4_MUST_FIX_q0 > 1 OR x4_MUST_FIX_q1 > 1 OR x4_MUST_FIX_q2 > 1 OR x4_MUST_FIX_q3 > 1 OR x4_MUST_FIX_q4 > 1 OR x4_MUST_FIX_q5 > 1 OR x4_MUST_FIX_q6 > 1 OR x4_MUST_FIX_q7 > 1 OR x4_MUST_FIX_q8 > 1 OR x4_PENDING_q0 > 1 OR x4_PENDING_q1 > 1 OR x4_PENDING_q2 > 1 OR x4_PENDING_q3 > 1 OR x4_PENDING_q4 > 1 OR x4_PENDING_q5 > 1 OR x4_PENDING_q6 > 1 OR x4_PENDING_q7 > 1 OR x4_PENDING_q8 > 1 OR x4_VERIFIED_q0 > 1 OR x4_VERIFIED_q1 > 1 OR x4_VERIFIED_q2 > 1 OR x4_VERIFIED_q3 > 1 OR x4_VERIFIED_q4 > 1 OR x4_VERIFIED_q5 > 1 OR x4_VERIFIED_q6 > 1 OR x4_VERIFIED_q7 > 1 OR x4_VERIFIED_q8 > 1 OR ch0_BUG_REPORT_q0 > 1 OR ch0_BUG_REPORT_q1 > 1 OR ch0_BUG_REPORT_q2 > 1 OR ch0_BUG_REPORT_q3 > 1 OR ch0_BUG_REPORT_q4 > 1 OR ch0_BUG_REPORT_q5 > 1 OR ch0_BUG_REPORT_q6 > 1 OR ch0_BUG_REPORT_q7 > 1 OR ch0_BUG_REPORT_q8 > 1 OR ch0_CLOSED_q0 > 1 OR ch0_CLOSED_q1 > 1 OR ch0_CLOSED_q2 > 1 OR ch0_CLOSED_q3 > 1 OR ch0_CLOSED_q4 > 1 OR ch0_CLOSED_q5 > 1 OR ch0_CLOSED_q6 > 1 OR ch0_CLOSED_q7 > 1 OR ch0_CLOSED_q8 > 1 OR ch0_FIXED_q0 > 1 OR ch0_FIXED_q1 > 1 OR ch0_FIXED_q2 > 1 OR ch0_FIXED_q3 > 1 OR ch0_FIXED_q4 > 1 OR ch0_FIXED_q5 > 1 OR ch0_FIXED_q6 > 1 OR ch0_FIXED_q7 > 1 OR ch0_FIXED_q8 > 1 OR ch0_FIX_AGAIN_q0 > 1 OR ch0_FIX_AGAIN_q1 > 1 OR ch0_FIX_AGAIN_q2 > 1 OR ch0_FIX_AGAIN_q3 > 1 OR ch0_FIX_AGAIN_q4 > 1 OR ch0_FIX_AGAIN_q5 > 1 OR ch0_FIX_AGAIN_q6 > 1 OR ch0_FIX_AGAIN_q7 > 1 OR ch0_FIX_AGAIN_q8 > 1 OR ch0_MORE_INFO_q0 > 1 OR ch0_MORE_INFO_q1 > 1 OR ch0_MORE_INFO_q2 > 1 OR ch0_MORE_INFO_q3 > 1 OR ch0_MORE_INFO_q4 > 1 OR ch0_MORE_INFO_q5 > 1 OR ch0_MORE_INFO_q6 > 1 OR ch0_MORE_INFO_q7 > 1 OR ch0_MORE_INFO_q8 > 1 OR ch0_MUST_FIX_q0 > 1 OR ch0_MUST_FIX_q1 > 1 OR ch0_MUST_FIX_q2 > 1 OR ch0_MUST_FIX_q3 > 1 OR ch0_MUST_FIX_q4 > 1 OR ch0_MUST_FIX_q5 > 1 OR ch0_MUST_FIX_q6 > 1 OR ch0_MUST_FIX_q7 > 1 OR ch0_MUST_FIX_q8 > 1 OR ch0_PENDING_q0 > 1 OR ch0_PENDING_q1 > 1 OR ch0_PENDING_q2 > 1 OR ch0_PENDING_q3 > 1 OR ch0_PENDING_q4 > 1 OR ch0_PENDING_q5 > 1 OR ch0_PENDING_q6 > 1 OR ch0_PENDING_q7 > 1 OR ch0_PENDING_q8 > 1 OR ch0_VERIFIED_q0 > 1 OR ch0_VERIFIED_q1 > 1 OR ch0_VERIFIED_q2 > 1 OR ch0_VERIFIED_q3 > 1 OR ch0_VERIFIED_q4 > 1 OR ch0_VERIFIED_q5 > 1 OR ch0_VERIFIED_q6 > 1 OR ch0_VERIFIED_q7 > 1 OR ch0_VERIFIED_q8 > 1 OR ch1_BUG_REPORT_q0 > 1 OR ch1_BUG_REPORT_q1 > 1 OR ch1_BUG_REPORT_q2 > 1 OR ch1_BUG_REPORT_q3 > 1 OR ch1_BUG_REPORT_q4 > 1 OR ch1_BUG_REPORT_q5 > 1 OR ch1_BUG_REPORT_q6 > 1 OR ch1_BUG_REPORT_q7 > 1 OR ch1_BUG_REPORT_q8 > 1 OR ch1_CLOSED_q0 > 1 OR ch1_CLOSED_q1 > 1 OR ch1_CLOSED_q2 > 1 OR ch1_CLOSED_q3 > 1 OR ch1_CLOSED_q4 > 1 OR ch1_CLOSED_q5 > 1 OR ch1_CLOSED_q6 > 1 OR ch1_CLOSED_q7 > 1 OR ch1_CLOSED_q8 > 1 OR ch1_FIXED_q0 > 1 OR ch1_FIXED_q1 > 1 OR ch1_FIXED_q2 > 1 OR ch1_FIXED_q3 > 1 OR ch1_FIXED_q4 > 1 OR ch1_FIXED_q5 > 1 OR ch1_FIXED_q6 > 1 OR ch1_FIXED_q7 > 1 OR ch1_FIXED_q8 > 1 OR ch1_FIX_AGAIN_q0 > 1 OR ch1_FIX_AGAIN_q1 > 1 OR ch1_FIX_AGAIN_q2 > 1 OR ch1_FIX_AGAIN_q3 > 1 OR ch1_FIX_AGAIN_q4 > 1 OR ch1_FIX_AGAIN_q5 > 1 OR ch1_FIX_AGAIN_q6 > 1 OR ch1_FIX_AGAIN_q7 > 1 OR ch1_FIX_AGAIN_q8 > 1 OR ch1_MORE_INFO_q0 > 1 OR ch1_MORE_INFO_q1 > 1 OR ch1_MORE_INFO_q2 > 1 OR ch1_MORE_INFO_q3 > 1 OR ch1_MORE_INFO_q4 > 1 OR ch1_MORE_INFO_q5 > 1 OR ch1_MORE_INFO_q6 > 1 OR ch1_MORE_INFO_q7 > 1 OR ch1_MORE_INFO_q8 > 1 OR ch1_MUST_FIX_q0 > 1 OR ch1_MUST_FIX_q1 > 1 OR ch1_MUST_FIX_q2 > 1 OR ch1_MUST_FIX_q3 > 1 OR ch1_MUST_FIX_q4 > 1 OR ch1_MUST_FIX_q5 > 1 OR ch1_MUST_FIX_q6 > 1 OR ch1_MUST_FIX_q7 > 1 OR ch1_MUST_FIX_q8 > 1 OR ch1_PENDING_q0 > 1 OR ch1_PENDING_q1 > 1 OR ch1_PENDING_q2 > 1 OR ch1_PENDING_q3 > 1 OR ch1_PENDING_q4 > 1 OR ch1_PENDING_q5 > 1 OR ch1_PENDING_q6 > 1 OR ch1_PENDING_q7 > 1 OR ch1_PENDING_q8 > 1 OR ch1_VERIFIED_q0 > 1 OR ch1_VERIFIED_q1 > 1 OR ch1_VERIFIED_q2 > 1 OR ch1_VERIFIED_q3 > 1 OR ch1_VERIFIED_q4 > 1 OR ch1_VERIFIED_q5 > 1 OR ch1_VERIFIED_q6 > 1 OR ch1_VERIFIED_q7 > 1 OR ch1_VERIFIED_q8 > 1 OR ch2_BUG_REPORT_q0 > 1 OR ch2_BUG_REPORT_q1 > 1 OR ch2_BUG_REPORT_q2 > 1 OR ch2_BUG_REPORT_q3 > 1 OR ch2_BUG_REPORT_q4 > 1 OR ch2_BUG_REPORT_q5 > 1 OR ch2_BUG_REPORT_q6 > 1 OR ch2_BUG_REPORT_q7 > 1 OR ch2_BUG_REPORT_q8 > 1 OR ch2_CLOSED_q0 > 1 OR ch2_CLOSED_q1 > 1 OR ch2_CLOSED_q2 > 1 OR ch2_CLOSED_q3 > 1 OR ch2_CLOSED_q4 > 1 OR ch2_CLOSED_q5 > 1 OR ch2_CLOSED_q6 > 1 OR ch2_CLOSED_q7 > 1 OR ch2_CLOSED_q8 > 1 OR ch2_FIXED_q0 > 1 OR ch2_FIXED_q1 > 1 OR ch2_FIXED_q2 > 1 OR ch2_FIXED_q3 > 1 OR ch2_FIXED_q4 > 1 OR ch2_FIXED_q5 > 1 OR ch2_FIXED_q6 > 1 OR ch2_FIXED_q7 > 1 OR ch2_FIXED_q8 > 1 OR ch2_FIX_AGAIN_q0 > 1 OR ch2_FIX_AGAIN_q1 > 1 OR ch2_FIX_AGAIN_q2 > 1 OR ch2_FIX_AGAIN_q3 > 1 OR ch2_FIX_AGAIN_q4 > 1 OR ch2_FIX_AGAIN_q5 > 1 OR ch2_FIX_AGAIN_q6 > 1 OR ch2_FIX_AGAIN_q7 > 1 OR ch2_FIX_AGAIN_q8 > 1 OR ch2_MORE_INFO_q0 > 1 OR ch2_MORE_INFO_q1 > 1 OR ch2_MORE_INFO_q2 > 1 OR ch2_MORE_INFO_q3 > 1 OR ch2_MORE_INFO_q4 > 1 OR ch2_MORE_INFO_q5 > 1 OR ch2_MORE_INFO_q6 > 1 OR ch2_MORE_INFO_q7 > 1 OR ch2_MORE_INFO_q8 > 1 OR ch2_MUST_FIX_q0 > 1 OR ch2_MUST_FIX_q1 > 1 OR ch2_MUST_FIX_q2 > 1 OR ch2_MUST_FIX_q3 > 1 OR ch2_MUST_FIX_q4 > 1 OR ch2_MUST_FIX_q5 > 1 OR ch2_MUST_FIX_q6 > 1 OR ch2_MUST_FIX_q7 > 1 OR ch2_MUST_FIX_q8 > 1 OR ch2_PENDING_q0 > 1 OR ch2_PENDING_q1 > 1 OR ch2_PENDING_q2 > 1 OR ch2_PENDING_q3 > 1 OR ch2_PENDING_q4 > 1 OR ch2_PENDING_q5 > 1 OR ch2_PENDING_q6 > 1 OR ch2_PENDING_q7 > 1 OR ch2_PENDING_q8 > 1 OR ch2_VERIFIED_q0 > 1 OR ch2_VERIFIED_q1 > 1 OR ch2_VERIFIED_q2 > 1 OR ch2_VERIFIED_q3 > 1 OR ch2_VERIFIED_q4 > 1 OR ch2_VERIFIED_q5 > 1 OR ch2_VERIFIED_q6 > 1 OR ch2_VERIFIED_q7 > 1 OR ch2_VERIFIED_q8 > 1 OR ch3_BUG_REPORT_q0 > 1 OR ch3_BUG_REPORT_q1 > 1 OR ch3_BUG_REPORT_q2 > 1 OR ch3_BUG_REPORT_q3 > 1 OR ch3_BUG_REPORT_q4 > 1 OR ch3_BUG_REPORT_q5 > 1 OR ch3_BUG_REPORT_q6 > 1 OR ch3_BUG_REPORT_q7 > 1 OR ch3_BUG_REPORT_q8 > 1 OR ch3_CLOSED_q0 > 1 OR ch3_CLOSED_q1 > 1 OR ch3_CLOSED_q2 > 1 OR ch3_CLOSED_q3 > 1 OR ch3_CLOSED_q4 > 1 OR ch3_CLOSED_q5 > 1 OR ch3_CLOSED_q6 > 1 OR ch3_CLOSED_q7 > 1 OR ch3_CLOSED_q8 > 1 OR ch3_FIXED_q0 > 1 OR ch3_FIXED_q1 > 1 OR ch3_FIXED_q2 > 1 OR ch3_FIXED_q3 > 1 OR ch3_FIXED_q4 > 1 OR ch3_FIXED_q5 > 1 OR ch3_FIXED_q6 > 1 OR ch3_FIXED_q7 > 1 OR ch3_FIXED_q8 > 1 OR ch3_FIX_AGAIN_q0 > 1 OR ch3_FIX_AGAIN_q1 > 1 OR ch3_FIX_AGAIN_q2 > 1 OR ch3_FIX_AGAIN_q3 > 1 OR ch3_FIX_AGAIN_q4 > 1 OR ch3_FIX_AGAIN_q5 > 1 OR ch3_FIX_AGAIN_q6 > 1 OR ch3_FIX_AGAIN_q7 > 1 OR ch3_FIX_AGAIN_q8 > 1 OR ch3_MORE_INFO_q0 > 1 OR ch3_MORE_INFO_q1 > 1 OR ch3_MORE_INFO_q2 > 1 OR ch3_MORE_INFO_q3 > 1 OR ch3_MORE_INFO_q4 > 1 OR ch3_MORE_INFO_q5 > 1 OR ch3_MORE_INFO_q6 > 1 OR ch3_MORE_INFO_q7 > 1 OR ch3_MORE_INFO_q8 > 1 OR ch3_MUST_FIX_q0 > 1 OR ch3_MUST_FIX_q1 > 1 OR ch3_MUST_FIX_q2 > 1 OR ch3_MUST_FIX_q3 > 1 OR ch3_MUST_FIX_q4 > 1 OR ch3_MUST_FIX_q5 > 1 OR ch3_MUST_FIX_q6 > 1 OR ch3_MUST_FIX_q7 > 1 OR ch3_MUST_FIX_q8 > 1 OR ch3_PENDING_q0 > 1 OR ch3_PENDING_q1 > 1 OR ch3_PENDING_q2 > 1 OR ch3_PENDING_q3 > 1 OR ch3_PENDING_q4 > 1 OR ch3_PENDING_q5 > 1 OR ch3_PENDING_q6 > 1 OR ch3_PENDING_q7 > 1 OR ch3_PENDING_q8 > 1 OR ch3_VERIFIED_q0 > 1 OR ch3_VERIFIED_q1 > 1 OR ch3_VERIFIED_q2 > 1 OR ch3_VERIFIED_q3 > 1 OR ch3_VERIFIED_q4 > 1 OR ch3_VERIFIED_q5 > 1 OR ch3_VERIFIED_q6 > 1 OR ch3_VERIFIED_q7 > 1 OR ch3_VERIFIED_q8 > 1 OR ch4_BUG_REPORT_q0 > 1 OR ch4_BUG_REPORT_q1 > 1 OR ch4_BUG_REPORT_q2 > 1 OR ch4_BUG_REPORT_q3 > 1 OR ch4_BUG_REPORT_q4 > 1 OR ch4_BUG_REPORT_q5 > 1 OR ch4_BUG_REPORT_q6 > 1 OR ch4_BUG_REPORT_q7 > 1 OR ch4_BUG_REPORT_q8 > 1 OR ch4_CLOSED_q0 > 1 OR ch4_CLOSED_q1 > 1 OR ch4_CLOSED_q2 > 1 OR ch4_CLOSED_q3 > 1 OR ch4_CLOSED_q4 > 1 OR ch4_CLOSED_q5 > 1 OR ch4_CLOSED_q6 > 1 OR ch4_CLOSED_q7 > 1 OR ch4_CLOSED_q8 > 1 OR ch4_FIXED_q0 > 1 OR ch4_FIXED_q1 > 1 OR ch4_FIXED_q2 > 1 OR ch4_FIXED_q3 > 1 OR ch4_FIXED_q4 > 1 OR ch4_FIXED_q5 > 1 OR ch4_FIXED_q6 > 1 OR ch4_FIXED_q7 > 1 OR ch4_FIXED_q8 > 1 OR ch4_FIX_AGAIN_q0 > 1 OR ch4_FIX_AGAIN_q1 > 1 OR ch4_FIX_AGAIN_q2 > 1 OR ch4_FIX_AGAIN_q3 > 1 OR ch4_FIX_AGAIN_q4 > 1 OR ch4_FIX_AGAIN_q5 > 1 OR ch4_FIX_AGAIN_q6 > 1 OR ch4_FIX_AGAIN_q7 > 1 OR ch4_FIX_AGAIN_q8 > 1 OR ch4_MORE_INFO_q0 > 1 OR ch4_MORE_INFO_q1 > 1 OR ch4_MORE_INFO_q2 > 1 OR ch4_MORE_INFO_q3 > 1 OR ch4_MORE_INFO_q4 > 1 OR ch4_MORE_INFO_q5 > 1 OR ch4_MORE_INFO_q6 > 1 OR ch4_MORE_INFO_q7 > 1 OR ch4_MORE_INFO_q8 > 1 OR ch4_MUST_FIX_q0 > 1 OR ch4_MUST_FIX_q1 > 1 OR ch4_MUST_FIX_q2 > 1 OR ch4_MUST_FIX_q3 > 1 OR ch4_MUST_FIX_q4 > 1 OR ch4_MUST_FIX_q5 > 1 OR ch4_MUST_FIX_q6 > 1 OR ch4_MUST_FIX_q7 > 1 OR ch4_MUST_FIX_q8 > 1 OR ch4_PENDING_q0 > 1 OR ch4_PENDING_q1 > 1 OR ch4_PENDING_q2 > 1 OR ch4_PENDING_q3 > 1 OR ch4_PENDING_q4 > 1 OR ch4_PENDING_q5 > 1 OR ch4_PENDING_q6 > 1 OR ch4_PENDING_q7 > 1 OR ch4_PENDING_q8 > 1 OR ch4_VERIFIED_q0 > 1 OR ch4_VERIFIED_q1 > 1 OR ch4_VERIFIED_q2 > 1 OR ch4_VERIFIED_q3 > 1 OR ch4_VERIFIED_q4 > 1 OR ch4_VERIFIED_q5 > 1 OR ch4_VERIFIED_q6 > 1 OR ch4_VERIFIED_q7 > 1 OR ch4_VERIFIED_q8 > 1)
benchmarks/cav-benchmarks/bug_tracking/x0_BUG_REPORT_q3.meta deleted 100644 → 0
View file @ e905ed18
Safe, Places, Transitions, TargetSize
+, 754, 27370, 1
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum