summaryrefslogtreecommitdiff
path: root/qa/055.out
diff options
context:
space:
mode:
Diffstat (limited to 'qa/055.out')
-rw-r--r--qa/055.out675
1 files changed, 675 insertions, 0 deletions
diff --git a/qa/055.out b/qa/055.out
new file mode 100644
index 0000000..b5395e3
--- /dev/null
+++ b/qa/055.out
@@ -0,0 +1,675 @@
+QA output created by 055
+pmie: note - evaluator exiting
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+act1: true
+act1: true
+act1: true
+act2: false
+act2: false
+act2: false
+act3: true
+act3: true
+act3: true
+act4: true
+act4: true
+act4: true
+bool1: false false false false true true true true true
+bool1: false false false false true true true true true
+bool1: false false false false true true true true true
+bool1: false false false false true true true true true
+bool2: true true true true true false false false false
+bool2: true true true true true false false false false
+bool2: true true true true true false false false false
+bool2: true true true true true false false false false
+bool_all1: true
+bool_all1: true
+bool_all1: true
+bool_all1: true
+bool_all2: false
+bool_all2: false
+bool_all2: false
+bool_all2: false
+bool_and: false false false false true false false false false
+bool_and: false false false false true false false false false
+bool_and: false false false false true false false false false
+bool_and: false false false false true false false false false
+bool_not: true true true true false false false false false
+bool_not: true true true true false false false false false
+bool_not: true true true true false false false false false
+bool_not: true true true true false false false false false
+bool_or: true true true true true true true true true
+bool_or: true true true true true true true true true
+bool_or: true true true true true true true true true
+bool_or: true true true true true true true true true
+bool_pcnt1: true
+bool_pcnt1: true
+bool_pcnt1: true
+bool_pcnt1: true
+bool_pcnt2: false
+bool_pcnt2: false
+bool_pcnt2: false
+bool_pcnt2: false
+bool_pcnt3: true
+bool_pcnt3: true
+bool_pcnt3: true
+bool_pcnt3: true
+bool_pcnt4: true
+bool_pcnt4: true
+bool_pcnt4: true
+bool_pcnt4: true
+bool_some1: true
+bool_some1: true
+bool_some1: true
+bool_some1: true
+bool_some2: false
+bool_some2: false
+bool_some2: false
+bool_some2: false
+expr_1: 43
+expr_1: 43
+expr_1: 43
+expr_1: 43
+expr_1: 43
+expr_1: 43
+expr_1: 43
+expr_1: 43
+expr_1: 43
+expr_1: 43
+expr_1: 43
+inst_add1: 200 400 600 800 1000 1200 1400 1600 1800
+inst_add1: 200 400 600 800 1000 1200 1400 1600 1800
+inst_add1: 200 400 600 800 1000 1200 1400 1600 1800
+inst_add1: 200 400 600 800 1000 1200 1400 1600 1800
+inst_add1: 200 400 600 800 1000 1200 1400 1600 1800
+inst_add1: 200 400 600 800 1000 1200 1400 1600 1800
+inst_add1: 200 400 600 800 1000 1200 1400 1600 1800
+inst_add1: 200 400 600 800 1000 1200 1400 1600 1800
+inst_add1: 200 400 600 800 1000 1200 1400 1600 1800
+inst_add1: 200 400 600 800 1000 1200 1400 1600 1800
+inst_add1: 200 400 600 800 1000 1200 1400 1600 1800
+inst_add2: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add2: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add2: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add2: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add2: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add2: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add2: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add2: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add2: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add2: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add2: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add3: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add3: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add3: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add3: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add3: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add3: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add3: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add3: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add3: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add3: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_add3: 1000100 1000200 1000300 1000400 1000500 1000600 1000700 1000800 1000900
+inst_avg: 500
+inst_avg: 500
+inst_avg: 500
+inst_avg: 500
+inst_avg: 500
+inst_avg: 500
+inst_avg: 500
+inst_avg: 500
+inst_avg: 500
+inst_avg: 500
+inst_avg: 500
+inst_count: 5
+inst_count: 5
+inst_count: 5
+inst_count: 5
+inst_count: 5
+inst_count: 5
+inst_count: 5
+inst_count: 5
+inst_count: 5
+inst_count: 5
+inst_count: 5
+inst_div: 1 1 1 1 1 1 1 1 1
+inst_div: 1 1 1 1 1 1 1 1 1
+inst_div: 1 1 1 1 1 1 1 1 1
+inst_div: 1 1 1 1 1 1 1 1 1
+inst_div: 1 1 1 1 1 1 1 1 1
+inst_div: 1 1 1 1 1 1 1 1 1
+inst_div: 1 1 1 1 1 1 1 1 1
+inst_div: 1 1 1 1 1 1 1 1 1
+inst_div: 1 1 1 1 1 1 1 1 1
+inst_div: 1 1 1 1 1 1 1 1 1
+inst_div: 1 1 1 1 1 1 1 1 1
+inst_eq1: true true true true true true true true true
+inst_eq1: true true true true true true true true true
+inst_eq1: true true true true true true true true true
+inst_eq1: true true true true true true true true true
+inst_eq1: true true true true true true true true true
+inst_eq1: true true true true true true true true true
+inst_eq1: true true true true true true true true true
+inst_eq1: true true true true true true true true true
+inst_eq1: true true true true true true true true true
+inst_eq1: true true true true true true true true true
+inst_eq1: true true true true true true true true true
+inst_eq2: false false false false false false false false false
+inst_eq2: false false false false false false false false false
+inst_eq2: false false false false false false false false false
+inst_eq2: false false false false false false false false false
+inst_eq2: false false false false false false false false false
+inst_eq2: false false false false false false false false false
+inst_eq2: false false false false false false false false false
+inst_eq2: false false false false false false false false false
+inst_eq2: false false false false false false false false false
+inst_eq2: false false false false false false false false false
+inst_eq2: false false false false false false false false false
+inst_eq3: false false false false true false false false false
+inst_eq3: false false false false true false false false false
+inst_eq3: false false false false true false false false false
+inst_eq3: false false false false true false false false false
+inst_eq3: false false false false true false false false false
+inst_eq3: false false false false true false false false false
+inst_eq3: false false false false true false false false false
+inst_eq3: false false false false true false false false false
+inst_eq3: false false false false true false false false false
+inst_eq3: false false false false true false false false false
+inst_eq3: false false false false true false false false false
+inst_fetch1: 100 200 300 400 500 600 700 800 900
+inst_fetch1: 100 200 300 400 500 600 700 800 900
+inst_fetch1: 100 200 300 400 500 600 700 800 900
+inst_fetch1: 100 200 300 400 500 600 700 800 900
+inst_fetch1: 100 200 300 400 500 600 700 800 900
+inst_fetch1: 100 200 300 400 500 600 700 800 900
+inst_fetch1: 100 200 300 400 500 600 700 800 900
+inst_fetch1: 100 200 300 400 500 600 700 800 900
+inst_fetch1: 100 200 300 400 500 600 700 800 900
+inst_fetch1: 100 200 300 400 500 600 700 800 900
+inst_fetch1: 100 200 300 400 500 600 700 800 900
+inst_fetch2: 200 400 600 800
+inst_fetch2: 200 400 600 800
+inst_fetch2: 200 400 600 800
+inst_fetch2: 200 400 600 800
+inst_fetch2: 200 400 600 800
+inst_fetch2: 200 400 600 800
+inst_fetch2: 200 400 600 800
+inst_fetch2: 200 400 600 800
+inst_fetch2: 200 400 600 800
+inst_fetch2: 200 400 600 800
+inst_fetch2: 200 400 600 800
+inst_geq1: true true true true true true true true true
+inst_geq1: true true true true true true true true true
+inst_geq1: true true true true true true true true true
+inst_geq1: true true true true true true true true true
+inst_geq1: true true true true true true true true true
+inst_geq1: true true true true true true true true true
+inst_geq1: true true true true true true true true true
+inst_geq1: true true true true true true true true true
+inst_geq1: true true true true true true true true true
+inst_geq1: true true true true true true true true true
+inst_geq1: true true true true true true true true true
+inst_geq2: false false false false false false false false false
+inst_geq2: false false false false false false false false false
+inst_geq2: false false false false false false false false false
+inst_geq2: false false false false false false false false false
+inst_geq2: false false false false false false false false false
+inst_geq2: false false false false false false false false false
+inst_geq2: false false false false false false false false false
+inst_geq2: false false false false false false false false false
+inst_geq2: false false false false false false false false false
+inst_geq2: false false false false false false false false false
+inst_geq2: false false false false false false false false false
+inst_gt1: true true true true true true true true true
+inst_gt1: true true true true true true true true true
+inst_gt1: true true true true true true true true true
+inst_gt1: true true true true true true true true true
+inst_gt1: true true true true true true true true true
+inst_gt1: true true true true true true true true true
+inst_gt1: true true true true true true true true true
+inst_gt1: true true true true true true true true true
+inst_gt1: true true true true true true true true true
+inst_gt1: true true true true true true true true true
+inst_gt1: true true true true true true true true true
+inst_gt2: false false false false false false false false false
+inst_gt2: false false false false false false false false false
+inst_gt2: false false false false false false false false false
+inst_gt2: false false false false false false false false false
+inst_gt2: false false false false false false false false false
+inst_gt2: false false false false false false false false false
+inst_gt2: false false false false false false false false false
+inst_gt2: false false false false false false false false false
+inst_gt2: false false false false false false false false false
+inst_gt2: false false false false false false false false false
+inst_gt2: false false false false false false false false false
+inst_gt3: false false false false false true true true true
+inst_gt3: false false false false false true true true true
+inst_gt3: false false false false false true true true true
+inst_gt3: false false false false false true true true true
+inst_gt3: false false false false false true true true true
+inst_gt3: false false false false false true true true true
+inst_gt3: false false false false false true true true true
+inst_gt3: false false false false false true true true true
+inst_gt3: false false false false false true true true true
+inst_gt3: false false false false false true true true true
+inst_gt3: false false false false false true true true true
+inst_leq1: true true true true true true true true true
+inst_leq1: true true true true true true true true true
+inst_leq1: true true true true true true true true true
+inst_leq1: true true true true true true true true true
+inst_leq1: true true true true true true true true true
+inst_leq1: true true true true true true true true true
+inst_leq1: true true true true true true true true true
+inst_leq1: true true true true true true true true true
+inst_leq1: true true true true true true true true true
+inst_leq1: true true true true true true true true true
+inst_leq1: true true true true true true true true true
+inst_leq2: false false false false false false false false false
+inst_leq2: false false false false false false false false false
+inst_leq2: false false false false false false false false false
+inst_leq2: false false false false false false false false false
+inst_leq2: false false false false false false false false false
+inst_leq2: false false false false false false false false false
+inst_leq2: false false false false false false false false false
+inst_leq2: false false false false false false false false false
+inst_leq2: false false false false false false false false false
+inst_leq2: false false false false false false false false false
+inst_leq2: false false false false false false false false false
+inst_lt1: true true true true true true true true true
+inst_lt1: true true true true true true true true true
+inst_lt1: true true true true true true true true true
+inst_lt1: true true true true true true true true true
+inst_lt1: true true true true true true true true true
+inst_lt1: true true true true true true true true true
+inst_lt1: true true true true true true true true true
+inst_lt1: true true true true true true true true true
+inst_lt1: true true true true true true true true true
+inst_lt1: true true true true true true true true true
+inst_lt1: true true true true true true true true true
+inst_lt2: false false false false false false false false false
+inst_lt2: false false false false false false false false false
+inst_lt2: false false false false false false false false false
+inst_lt2: false false false false false false false false false
+inst_lt2: false false false false false false false false false
+inst_lt2: false false false false false false false false false
+inst_lt2: false false false false false false false false false
+inst_lt2: false false false false false false false false false
+inst_lt2: false false false false false false false false false
+inst_lt2: false false false false false false false false false
+inst_lt2: false false false false false false false false false
+inst_lt3: true true true true false false false false false
+inst_lt3: true true true true false false false false false
+inst_lt3: true true true true false false false false false
+inst_lt3: true true true true false false false false false
+inst_lt3: true true true true false false false false false
+inst_lt3: true true true true false false false false false
+inst_lt3: true true true true false false false false false
+inst_lt3: true true true true false false false false false
+inst_lt3: true true true true false false false false false
+inst_lt3: true true true true false false false false false
+inst_lt3: true true true true false false false false false
+inst_max: 900
+inst_max: 900
+inst_max: 900
+inst_max: 900
+inst_max: 900
+inst_max: 900
+inst_max: 900
+inst_max: 900
+inst_max: 900
+inst_max: 900
+inst_max: 900
+inst_min: 100
+inst_min: 100
+inst_min: 100
+inst_min: 100
+inst_min: 100
+inst_min: 100
+inst_min: 100
+inst_min: 100
+inst_min: 100
+inst_min: 100
+inst_min: 100
+inst_mul: 10000 40000 90000 160000 250000 360000 490000 640000 810000
+inst_mul: 10000 40000 90000 160000 250000 360000 490000 640000 810000
+inst_mul: 10000 40000 90000 160000 250000 360000 490000 640000 810000
+inst_mul: 10000 40000 90000 160000 250000 360000 490000 640000 810000
+inst_mul: 10000 40000 90000 160000 250000 360000 490000 640000 810000
+inst_mul: 10000 40000 90000 160000 250000 360000 490000 640000 810000
+inst_mul: 10000 40000 90000 160000 250000 360000 490000 640000 810000
+inst_mul: 10000 40000 90000 160000 250000 360000 490000 640000 810000
+inst_mul: 10000 40000 90000 160000 250000 360000 490000 640000 810000
+inst_mul: 10000 40000 90000 160000 250000 360000 490000 640000 810000
+inst_mul: 10000 40000 90000 160000 250000 360000 490000 640000 810000
+inst_neg: -100 -200 -300 -400 -500 -600 -700 -800 -900
+inst_neg: -100 -200 -300 -400 -500 -600 -700 -800 -900
+inst_neg: -100 -200 -300 -400 -500 -600 -700 -800 -900
+inst_neg: -100 -200 -300 -400 -500 -600 -700 -800 -900
+inst_neg: -100 -200 -300 -400 -500 -600 -700 -800 -900
+inst_neg: -100 -200 -300 -400 -500 -600 -700 -800 -900
+inst_neg: -100 -200 -300 -400 -500 -600 -700 -800 -900
+inst_neg: -100 -200 -300 -400 -500 -600 -700 -800 -900
+inst_neg: -100 -200 -300 -400 -500 -600 -700 -800 -900
+inst_neg: -100 -200 -300 -400 -500 -600 -700 -800 -900
+inst_neg: -100 -200 -300 -400 -500 -600 -700 -800 -900
+inst_neq1: true true true true true true true true true
+inst_neq1: true true true true true true true true true
+inst_neq1: true true true true true true true true true
+inst_neq1: true true true true true true true true true
+inst_neq1: true true true true true true true true true
+inst_neq1: true true true true true true true true true
+inst_neq1: true true true true true true true true true
+inst_neq1: true true true true true true true true true
+inst_neq1: true true true true true true true true true
+inst_neq1: true true true true true true true true true
+inst_neq1: true true true true true true true true true
+inst_neq2: false false false false false false false false false
+inst_neq2: false false false false false false false false false
+inst_neq2: false false false false false false false false false
+inst_neq2: false false false false false false false false false
+inst_neq2: false false false false false false false false false
+inst_neq2: false false false false false false false false false
+inst_neq2: false false false false false false false false false
+inst_neq2: false false false false false false false false false
+inst_neq2: false false false false false false false false false
+inst_neq2: false false false false false false false false false
+inst_neq2: false false false false false false false false false
+inst_neq3: true true true true false true true true true
+inst_neq3: true true true true false true true true true
+inst_neq3: true true true true false true true true true
+inst_neq3: true true true true false true true true true
+inst_neq3: true true true true false true true true true
+inst_neq3: true true true true false true true true true
+inst_neq3: true true true true false true true true true
+inst_neq3: true true true true false true true true true
+inst_neq3: true true true true false true true true true
+inst_neq3: true true true true false true true true true
+inst_neq3: true true true true false true true true true
+inst_rate: 0 0 0 0 0 0 0 0 0
+inst_rate: 0 0 0 0 0 0 0 0 0
+inst_rate: 0 0 0 0 0 0 0 0 0
+inst_rate: 0 0 0 0 0 0 0 0 0
+inst_rate: 0 0 0 0 0 0 0 0 0
+inst_rate: 0 0 0 0 0 0 0 0 0
+inst_rate: 0 0 0 0 0 0 0 0 0
+inst_rate: 0 0 0 0 0 0 0 0 0
+inst_rate: 0 0 0 0 0 0 0 0 0
+inst_rate: 0 0 0 0 0 0 0 0 0
+inst_rate: ? ? ? ? ? ? ? ? ?
+inst_sub: 0 0 0 0 0 0 0 0 0
+inst_sub: 0 0 0 0 0 0 0 0 0
+inst_sub: 0 0 0 0 0 0 0 0 0
+inst_sub: 0 0 0 0 0 0 0 0 0
+inst_sub: 0 0 0 0 0 0 0 0 0
+inst_sub: 0 0 0 0 0 0 0 0 0
+inst_sub: 0 0 0 0 0 0 0 0 0
+inst_sub: 0 0 0 0 0 0 0 0 0
+inst_sub: 0 0 0 0 0 0 0 0 0
+inst_sub: 0 0 0 0 0 0 0 0 0
+inst_sub: 0 0 0 0 0 0 0 0 0
+inst_sum: 4500
+inst_sum: 4500
+inst_sum: 4500
+inst_sum: 4500
+inst_sum: 4500
+inst_sum: 4500
+inst_sum: 4500
+inst_sum: 4500
+inst_sum: 4500
+inst_sum: 4500
+inst_sum: 4500
+multi1: 1500
+multi1: 1500
+multi1: 1500
+multi1: 1500
+multi1: ?
+multi1: ?
+multi2: 1500
+multi2: 1500
+multi2: 1500
+multi2: 1500
+multi2: ?
+multi2: ?
+time_add1: 30
+time_add1: 30
+time_add1: 30
+time_add1: 30
+time_add1: 30
+time_add1: 30
+time_add1: 30
+time_add1: 30
+time_add1: 30
+time_add1: ?
+time_add1: ?
+time_add2: 20 20
+time_add2: 20 20
+time_add2: 20 20
+time_add2: 20 20
+time_add2: 20 20
+time_add2: 20 20
+time_add2: 20 20
+time_add2: 20 20
+time_add2: 20 20
+time_add2: 20 ?
+time_add2: ? ?
+time_add3: 11 11 11
+time_add3: 11 11 11
+time_add3: 11 11 11
+time_add3: 11 11 11
+time_add3: 11 11 11
+time_add3: 11 11 11
+time_add3: 11 11 11
+time_add3: 11 11 11
+time_add3: 11 11 11
+time_add3: 11 11 ?
+time_add3: 11 ? ?
+time_add4: 11 11 11
+time_add4: 11 11 11
+time_add4: 11 11 11
+time_add4: 11 11 11
+time_add4: 11 11 11
+time_add4: 11 11 11
+time_add4: 11 11 11
+time_add4: 11 11 11
+time_add4: 11 11 11
+time_add4: 11 11 ?
+time_add4: 11 ? ?
+time_avg: 10
+time_avg: 10
+time_avg: 10
+time_avg: 10
+time_avg: 10
+time_avg: 10
+time_avg: 10
+time_avg: 10
+time_avg: 10
+time_avg: ?
+time_avg: ?
+time_count: 3
+time_count: 3
+time_count: 3
+time_count: 3
+time_count: 3
+time_count: 3
+time_count: 3
+time_count: 3
+time_count: 3
+time_count: ?
+time_count: ?
+time_fetch01: 10 10
+time_fetch01: 10 10
+time_fetch01: 10 10
+time_fetch01: 10 10
+time_fetch01: 10 10
+time_fetch01: 10 10
+time_fetch01: 10 10
+time_fetch01: 10 10
+time_fetch01: 10 10
+time_fetch01: 10 10
+time_fetch01: 10 ?
+time_fetch02: 10 10 10
+time_fetch02: 10 10 10
+time_fetch02: 10 10 10
+time_fetch02: 10 10 10
+time_fetch02: 10 10 10
+time_fetch02: 10 10 10
+time_fetch02: 10 10 10
+time_fetch02: 10 10 10
+time_fetch02: 10 10 10
+time_fetch02: 10 10 ?
+time_fetch02: 10 ? ?
+time_fetch0: 10
+time_fetch0: 10
+time_fetch0: 10
+time_fetch0: 10
+time_fetch0: 10
+time_fetch0: 10
+time_fetch0: 10
+time_fetch0: 10
+time_fetch0: 10
+time_fetch0: 10
+time_fetch0: 10
+time_fetch12: 10 10
+time_fetch12: 10 10
+time_fetch12: 10 10
+time_fetch12: 10 10
+time_fetch12: 10 10
+time_fetch12: 10 10
+time_fetch12: 10 10
+time_fetch12: 10 10
+time_fetch12: 10 10
+time_fetch12: 10 ?
+time_fetch12: ? ?
+time_fetch1: 10
+time_fetch1: 10
+time_fetch1: 10
+time_fetch1: 10
+time_fetch1: 10
+time_fetch1: 10
+time_fetch1: 10
+time_fetch1: 10
+time_fetch1: 10
+time_fetch1: 10
+time_fetch1: ?
+time_fetch2: 10
+time_fetch2: 10
+time_fetch2: 10
+time_fetch2: 10
+time_fetch2: 10
+time_fetch2: 10
+time_fetch2: 10
+time_fetch2: 10
+time_fetch2: 10
+time_fetch2: ?
+time_fetch2: ?
+time_gt1: true true
+time_gt1: true true
+time_gt1: true true
+time_gt1: true true
+time_gt1: true true
+time_gt1: true true
+time_gt1: true true
+time_gt1: true true
+time_gt1: true true
+time_gt1: true true
+time_gt1: true unknown
+time_gt2: false false
+time_gt2: false false
+time_gt2: false false
+time_gt2: false false
+time_gt2: false false
+time_gt2: false false
+time_gt2: false false
+time_gt2: false false
+time_gt2: false false
+time_gt2: false false
+time_gt2: false unknown
+time_gt3: true true true
+time_gt3: true true true
+time_gt3: true true true
+time_gt3: true true true
+time_gt3: true true true
+time_gt3: true true true
+time_gt3: true true true
+time_gt3: true true true
+time_gt3: true true true
+time_gt3: true true unknown
+time_gt3: true unknown unknown
+time_gt4: false false false
+time_gt4: false false false
+time_gt4: false false false
+time_gt4: false false false
+time_gt4: false false false
+time_gt4: false false false
+time_gt4: false false false
+time_gt4: false false false
+time_gt4: false false false
+time_gt4: false false unknown
+time_gt4: false unknown unknown
+time_max: 10
+time_max: 10
+time_max: 10
+time_max: 10
+time_max: 10
+time_max: 10
+time_max: 10
+time_max: 10
+time_max: 10
+time_max: ?
+time_max: ?
+time_min: 10
+time_min: 10
+time_min: 10
+time_min: 10
+time_min: 10
+time_min: 10
+time_min: 10
+time_min: 10
+time_min: 10
+time_min: ?
+time_min: ?
+time_sum: 30
+time_sum: 30
+time_sum: 30
+time_sum: 30
+time_sum: 30
+time_sum: 30
+time_sum: 30
+time_sum: 30
+time_sum: 30
+time_sum: ?
+time_sum: ?
+act 4 fired
+act 4 fired
+act 4 fired
+act1 fired
+act1 fired
+act1 fired
+act3...
+act3...
+act3...
+fired
+fired
+fired