Test Name	Output	Duet Output	No. of Rounds	Result	Run Time	Duet Result
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/c4b
gcd.c	below	duet	1	FAIL	0.345	FAIL
	above		EXCEPTION		0.353
kmp.c	below	duet	1	PASS	1.193	PASS
	above		EXCEPTION		1.141
qsort.c	below	duet	4	PASS	2.014	FAIL
	above		EXCEPTION		0.375
speed_pldi09_fig1.c	below	duet	1	PASS	0.356	PASS
	above		EXCEPTION		0.384
speed_pldi09_fig4_2.c	below	duet	1	FAIL	0.387	FAIL
	above		EXCEPTION		0.361
speed_pldi09_fig4_4.c	below	duet	1	PASS	0.456	PASS
	above		EXCEPTION		0.402
speed_pldi09_fig4_5.c	below	duet	1	PASS	0.366	PASS
	above		EXCEPTION		0.368
speed_pldi10_ex1.c	below	duet	1	PASS	0.776	PASS
	above		EXCEPTION		0.772
speed_pldi10_ex3.c	below	duet	1	PASS	0.425	PASS
	above		EXCEPTION		0.435
speed_pldi10_ex4.c	below	duet	1	PASS	0.376	PASS
	above		EXCEPTION		0.4
speed_popl10_fig2_1.c	below	duet	1	PASS	0.385	PASS
	above		EXCEPTION		0.372
speed_popl10_fig2_2.c	below	duet	1	FAIL	0.374	FAIL
	above		EXCEPTION		0.35
speed_popl10_nested_multiple.c	below	duet	1	PASS	0.42	PASS
	above		EXCEPTION		0.402
speed_popl10_nested_single.c	below	duet	1	PASS	0.384	PASS
	above		EXCEPTION		0.387
speed_popl10_sequential_single.c	below	duet	1	PASS	0.351	PASS
	above		EXCEPTION		0.353
speed_popl10_simple_multiple.c	below	duet	1	PASS	0.381	PASS
	above		EXCEPTION		0.358
speed_popl10_simple_single_2.c	below	duet	1	PASS	0.401	PASS
	above		EXCEPTION		0.374
speed_popl10_simple_single.c	below	duet	1	PASS	0.339	PASS
	above		EXCEPTION		0.345
t07.c	below	duet	1	PASS	0.354	PASS
	above		EXCEPTION		0.358
t08.c	below	duet	1	PASS	0.349	PASS
	above		EXCEPTION		0.369
t09.c	below	duet	1	PASS	0.356	PASS
	above		EXCEPTION		0.346
t10.c	below	duet	1	PASS	0.345	PASS
	above		EXCEPTION		0.355
t11.c	below	duet	1	PASS	0.379	PASS
	above		EXCEPTION		0.368
t13.c	below	duet	1	FAIL	0.398	FAIL
	above		EXCEPTION		0.382
t15.c	below	duet	1	PASS	0.368	PASS
	above		EXCEPTION		0.37
t16.c	below	duet	1	PASS	0.363	PASS
	above		EXCEPTION		0.356
t19.c	below	duet	1	PASS	0.34	PASS
	above		EXCEPTION		0.353
t20.c	below	duet	1	PASS	0.346	PASS
	above		EXCEPTION		0.36
t27.c	below	duet	1	PASS	0.394	PASS
	above		EXCEPTION		0.384
t28.c	below	duet	1	PASS	0.38	PASS
	above		EXCEPTION		0.391
t30.c	below	duet	1	FAIL	0.347	FAIL
	above		EXCEPTION		0.341
t37.c	below	duet	2	PASS	0.474	FAIL
	above		EXCEPTION		0.34
t39.c	below	duet	2	PASS	0.506	FAIL
	above		EXCEPTION		0.331
t46.c	below	duet	1	PASS	0.355	PASS
	above		EXCEPTION		0.356
t47.c	below	duet	1	PASS	0.352	PASS
	above		EXCEPTION		0.367
Total	Below Assertions (True) = 30/35 Above Assertions (True) = 0/35		Below Assertions (False) = 0/0 Above Assertions (False) = 0/0		Below Time = 16.135 Above Time = 14.059
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/misc-recursive
mult-rec.c	below	duet	2	PASS PASS	0.384	PASS PASS
	above		EXCEPTION		0.337
qsort_full.c	below	duet	4	PASS PASS PASS PASS PASS PASS	43.142	PASS PASS PASS PASS PASS PASS
	above		EXCEPTION		5.281
rec1-param_safe.c	below	duet	2	PASS PASS PASS	0.356	PASS FAIL FAIL
	above		EXCEPTION		0.321
rec1-param_unsafe.c	below	duet	2	OKAY	0.359	OKAY
	above		EXCEPTION		0.319
rec1_safe.c	below	duet	2	PASS PASS PASS	0.335	PASS FAIL FAIL
	above		EXCEPTION		0.317
rec1_unsafe.c	below	duet	2	OKAY	0.343	OKAY
	above		EXCEPTION		0.324
rec2-param_safe.c	below	duet	2	PASS PASS PASS	0.355	PASS PASS PASS
	above		EXCEPTION		0.326
rec2-param_unsafe.c	below	duet	2	OKAY	0.348	OKAY
	above		EXCEPTION		0.329
rec2_safe.c	below	duet	2	PASS PASS PASS	0.324	PASS PASS PASS
	above		EXCEPTION		0.306
rec2_unsafe.c	below	duet	2	OKAY	0.333	OKAY
	above		EXCEPTION		0.323
rec-test.c	below	duet	2	PASS	0.328	FAIL
	above		EXCEPTION		0.319
sas03_bothbranches.c	below	duet	7	PASS	1.281	PASS
	above		EXCEPTION		0.336
sas03.c	below	duet	2	PASS	0.647	PASS
	above		EXCEPTION		0.312
simulated_lese_recursive.c	below	duet	2	PASS	0.381	PASS
	above		EXCEPTION		0.318
Total	Below Assertions (True) = 10/10 Above Assertions (True) = 0/10		Below Assertions (False) = 4/4 Above Assertions (False) = 0/4		Below Time = 48.916 Above Time = 9.468
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/duet
count_up_down_safe.c	below	duet	1	PASS	0.314	PASS
	above		EXCEPTION		0.319
count_up_down_unsafe.c	below	duet	1	OKAY	0.332	OKAY
	above		EXCEPTION		0.329
divide.c	below	duet	1	PASS	0.317	PASS
	above		EXCEPTION		0.334
factor_unsafe.c	below	duet	1	OKAY	0.327	OKAY
	above		EXCEPTION		0.334
for_infinite_loop_1_safe.c	below	duet	1	PASS	0.316	PASS
	above		0	PASS	0.317
for_infinite_loop_2_safe.c	below	duet	1	PASS	0.312	PASS
	above		0	PASS	0.312
interproc.c	below	duet	1	PASS	0.314	PASS
	above		EXCEPTION		0.329
mult.c	below	duet	1	PASS PASS	0.324	PASS PASS
	above		EXCEPTION		0.334
pointer_arith.c	below	duet	1	PASS PASS PASS PASS	0.321	PASS PASS PASS PASS
	above		EXCEPTION		0.31
quotient.c	below	duet	3	PASS	0.398	PASS
	above		EXCEPTION		0.341
subtract.c	below	duet	1	PASS	0.324	PASS
	above		EXCEPTION		0.328
sum01_bug02_sum01_bug02_base.case_unsafe.c	below	duet	1	OKAY	0.323	OKAY
	above		EXCEPTION		0.353
sum01_bug02_unsafe.c	below	duet	1	OKAY	0.372	OKAY
	above		EXCEPTION		0.357
sum01_real_safe.c	below	duet	1	PASS	0.325	PASS
	above		EXCEPTION		0.345
sum01_safe.c	below	duet	1	PASS	0.324	PASS
	above		EXCEPTION		0.332
sum01_unsafe.c	below	duet	1	OKAY	0.361	OKAY
	above		EXCEPTION		0.349
sum02_safe.c	below	duet	1	PASS	0.335	PASS
	above		EXCEPTION		0.33
sum03_safe.c	below	duet	1	PASS	0.341	PASS
	above		0	PASS	0.338
sum03_unsafe.c	below	duet	1	OKAY	0.394	OKAY
	above		0	OKAY	0.376
sum04_safe.c	below	duet	1	PASS	0.323	PASS
	above		EXCEPTION		0.357
sum04_unsafe.c	below	duet	1	OKAY	0.362	OKAY
	above		EXCEPTION		0.347
terminator_02_safe.c	below	duet	1	PASS	0.346	PASS
	above		EXCEPTION		0.347
terminator_02_unsafe.c	below	duet	1	OKAY	0.337	OKAY
	above		EXCEPTION		0.35
terminator_03_safe.c	below	duet	1	PASS	0.328	PASS
	above		EXCEPTION		0.336
terminator_03_unsafe.c	below	duet	1	OKAY	0.348	OKAY
	above		EXCEPTION		0.326
token_ring01_safe.c	below	duet	TIMEOUT		300.006	TIMEOUT
	above		EXCEPTION		0.412
token_ring01_unsafe.c	below	duet	TIMEOUT		300.005	TIMEOUT
	above		EXCEPTION		0.454
toy_safe.c	below	duet	EXCEPTION		145.338	TIMEOUT
	above		EXCEPTION		3.642
trex01_safe.c	below	duet	1	PASS	0.357	PASS
	above		EXCEPTION		0.367
trex01_unsafe.c	below	duet	1	OKAY	0.379	OKAY
	above		EXCEPTION		0.361
trex02_safe2.c	below	duet	3	PASS	0.396	PASS
	above		EXCEPTION		0.355
trex02_safe.c	below	duet	3	PASS	0.382	PASS
	above		EXCEPTION		0.323
trex02_unsafe.c	below	duet	3	OKAY	0.388	OKAY
	above		EXCEPTION		0.33
trex03_safe.c	below	duet	1	PASS	0.431	PASS
	above		EXCEPTION		0.402
trex03_unsafe.c	below	duet	1	OKAY	0.423	OKAY
	above		EXCEPTION		0.403
trex04_safe.c	below	duet	1	PASS	0.356	PASS
	above		EXCEPTION		0.341
while_infinite_loop_1_safe.c	below	duet	1	PASS	0.311	PASS
	above		0	PASS	0.312
while_infinite_loop_2_safe.c	below	duet	1	PASS	0.308	PASS
	above		0	PASS	0.307
while_infinite_loop_3_safe.c	below	duet	1	PASS	0.33	PASS
	above		EXCEPTION		0.315
Total	Below Assertions (True) = 24/26 Above Assertions (True) = 5/26		Below Assertions (False) = 12/13 Above Assertions (False) = 1/13		Below Time = 757.828 Above Time = 16.754
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests
above_litmus.c	below	duet	3	PASS	0.435	PASS
	above		EXCEPTION		0.325
blogger_simplified1.c	below	duet	3	PASS	0.929	PASS
	above		EXCEPTION		0.359
divided_difference2.c	below	duet	TIMEOUT		300.004	TIMEOUT
	above		TIMEOUT		300.005
mult-proc.c	below	duet	3	PASS PASS	0.361	PASS PASS
	above		EXCEPTION		0.324
mult-proc-params.c	below	duet	3	PASS PASS	0.4	PASS PASS
	above		EXCEPTION		0.32
popall.c	below	duet	1	PASS PASS PASS PASS PASS	0.385	PASS PASS PASS PASS PASS
	above		EXCEPTION		0.398
simulated_scc.c	below	duet	1	PASS PASS	0.491	PASS PASS
	above		EXCEPTION		0.507
Total	Below Assertions (True) = 6/7 Above Assertions (True) = 0/7		Below Assertions (False) = 0/0 Above Assertions (False) = 0/0		Below Time = 303.005 Above Time = 302.238
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/STAC/polynomial/assert
degree1_monomial.c	below	duet	1	PASS	0.337	PASS
	above		EXCEPTION		0.349
degree2_binomial.c	below	duet	1	PASS	0.497	PASS
	above		EXCEPTION		0.393
degree2_monomial.c	below	duet	1	PASS	0.38	PASS
	above		EXCEPTION		0.36
degree3_binomial.c	below	duet	1	PASS	0.752	PASS
	above		EXCEPTION		0.725
degree3_monomial.c	below	duet	1	PASS	0.432	PASS
	above		EXCEPTION		0.399
degree4_binomial.c	below	duet	1	PASS	1.017	PASS
	above		EXCEPTION		0.925
degree4_monomial.c	below	duet	1	PASS	0.46	PASS
	above		EXCEPTION		0.422
degree5_binomial.c	below	duet	1	PASS	1.696	PASS
	above		EXCEPTION		1.459
degree5_monomial.c	below	duet	1	PASS	0.522	PASS
	above		EXCEPTION		0.491
Total	Below Assertions (True) = 9/9 Above Assertions (True) = 0/9		Below Assertions (False) = 0/0 Above Assertions (False) = 0/0		Below Time = 6.093 Above Time = 5.523
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/snlee/snlee_tests
cubic_with_square.c	below	duet	1	PASS	0.337	PASS
	above		EXCEPTION		0.335
cubic_with_square_interproc.c	below	duet	2	PASS	0.393	FAIL
	above		EXCEPTION		0.339
cubic_with_square_nonlinear.c	below	duet	1	PASS	0.35	PASS
	above		EXCEPTION		0.338
cubic_with_square_nonlinear_interproc.c	below	duet	2	PASS	0.376	FAIL
	above		EXCEPTION		0.324
cubic_with_square_nonlinear_unsafe.c	below	duet	1	OKAY	0.344	OKAY
	above		EXCEPTION		0.333
cubic_with_square_unsafe.c	below	duet	1	OKAY	0.347	OKAY
	above		EXCEPTION		0.346
multi-input.c	below	duet	1	PASS	0.413	TIMEOUT
	above		EXCEPTION		0.345
multi-input_unsafe.c	below	duet	1	OKAY	0.49	TIMEOUT
	above		EXCEPTION		0.337
nondet_loop_bound.c	below	duet	1	PASS	0.354	PASS
	above		EXCEPTION		0.333
nondet_loop_bound_quartic.c	below	duet	1	PASS	0.388	PASS
	above		EXCEPTION		0.342
nondet_loop_bound_quartic_unsafe.c	below	duet	1	OKAY	0.348	OKAY
	above		EXCEPTION		0.344
nondet_loop_bound_unsafe.c	below	duet	1	OKAY	0.345	OKAY
	above		EXCEPTION		0.335
nonlinear_stratified.c	below	duet	1	FAIL	0.351	FAIL
	above		EXCEPTION		0.34
nonlinear_stratified_unsafe.c	below	duet	1	OKAY	0.354	OKAY
	above		EXCEPTION		0.344
quartic_with_cube.c	below	duet	1	PASS	0.362	PASS
	above		EXCEPTION		0.339
quartic_with_cube_nonlinear.c	below	duet	1	PASS	0.353	PASS
	above		EXCEPTION		0.34
quartic_with_cube_nonlinear_unsafe.c	below	duet	1	OKAY	0.352	OKAY
	above		EXCEPTION		0.344
quartic_with_cube_unsafe.c	below	duet	1	OKAY	0.367	OKAY
	above		EXCEPTION		0.336
quintic_with_quartic.c	below	duet	1	PASS	0.378	PASS
	above		EXCEPTION		0.343
quintic_with_quartic_nonlinear.c	below	duet	1	PASS	0.413	TIMEOUT
	above		EXCEPTION		0.34
quintic_with_quartic_nonlinear_unsafe.c	below	duet	1	OKAY	0.444	TIMEOUT
	above		EXCEPTION		0.336
quintic_with_quartic_unsafe.c	below	duet	1	OKAY	0.362	OKAY
	above		EXCEPTION		0.347
Total	Below Assertions (True) = 11/12 Above Assertions (True) = 0/12		Below Assertions (False) = 10/10 Above Assertions (False) = 0/10		Below Time = 8.221 Above Time = 7.46
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/STAC/FiniteDifferencing
degree2.c	below	duet	1	PASS	0.469	PASS
	above		EXCEPTION		0.462
degree2_FD_AllAux_AllAssm.c	below	duet	1	PASS	2.932	PASS
	above		EXCEPTION		2.817
degree2_FD_AllAux_FewAssm.c	below	duet	1	PASS	2.959	PASS
	above		EXCEPTION		2.823
degree2_FD_FewAux_FewAssm.c	below	duet	1	PASS	0.722	PASS
	above		EXCEPTION		0.695
degree2_FD_FewAux_FewAssm_NonLinAsrt.c	below	duet	1	PASS	0.654	PASS
	above		EXCEPTION		0.656
degree3.c	below	duet	1	PASS	0.545	PASS
	above		EXCEPTION		0.511
degree3_FD.c	below	duet	1	PASS	0.659	PASS
	above		EXCEPTION		0.688
degree4.c	below	duet	1	PASS	0.375	PASS
	above		EXCEPTION		0.398
Total	Below Assertions (True) = 8/8 Above Assertions (True) = 0/8		Below Assertions (False) = 0/0 Above Assertions (False) = 0/0		Below Time = 9.315 Above Time = 9.05
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/STAC/LESE
loop.c	below	duet	1	PASS	0.381	PASS
	above		EXCEPTION		0.379
loop_unsafe.c	below	duet	1	OKAY	0.411	OKAY
	above		EXCEPTION		0.394
simulated_lese_parser.c	below	duet	1	PASS	0.32	PASS
	above		EXCEPTION		0.33
simulated_lese_sentinel.c	below	duet	1	PASS	0.343	PASS
	above		EXCEPTION		0.345
Total	Below Assertions (True) = 3/3 Above Assertions (True) = 0/3		Below Assertions (False) = 1/1 Above Assertions (False) = 0/1		Below Time = 1.455 Above Time = 1.448
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/STAC/LowerBound
lower_bound.c	below	duet	1	PASS PASS PASS	0.333	PASS PASS PASS
	above		EXCEPTION		0.336
Total	Below Assertions (True) = 1/1 Above Assertions (True) = 0/1		Below Assertions (False) = 0/0 Above Assertions (False) = 0/0		Below Time = 0.333 Above Time = 0.336
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/STAC/LZ
lz77.c	below	duet	TIMEOUT		300.005	TIMEOUT
	above		EXCEPTION		0.425
Total	Below Assertions (True) = 0/1 Above Assertions (True) = 0/1		Below Assertions (False) = 0/0 Above Assertions (False) = 0/0		Below Time = 300.005 Above Time = 0.425
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/sv-benchmarks/loop-acceleration
array_false-unreach-call1.c	below	duet	1	OKAY	0.338	OKAY
	above		EXCEPTION		0.347
array_false-unreach-call2.c	below	duet	1	OKAY	0.363	OKAY
	above		EXCEPTION		0.368
array_false-unreach-call3.c	below	duet	1	OKAY	0.346	OKAY
	above		EXCEPTION		0.348
array_true-unreach-call1.c	below	duet	1	FAIL	0.351	FAIL
	above		EXCEPTION		0.348
array_true-unreach-call2.c	below	duet	1	FAIL	0.369	FAIL
	above		EXCEPTION		0.361
array_true-unreach-call3.c	below	duet	1	PASS	0.339	PASS
	above		EXCEPTION		0.345
array_true-unreach-call4.c	below	duet	1	FAIL	0.34	FAIL
	above		EXCEPTION		0.344
const_false-unreach-call1.c	below	duet	1	OKAY	0.315	OKAY
	above		EXCEPTION		0.327
const_true-unreach-call1.c	below	duet	1	PASS	0.316	PASS
	above		EXCEPTION		0.335
diamond_false-unreach-call1.c	below	duet	1	OKAY	0.328	OKAY
	above		EXCEPTION		0.352
diamond_true-unreach-call1.c	below	duet	1	PASS	0.317	PASS
	above		EXCEPTION		0.33
diamond_true-unreach-call2.c	below	duet	1	PASS	0.365	PASS
	above		EXCEPTION		0.371
functions_false-unreach-call1.c	below	duet	3	OKAY	0.346	OKAY
	above		EXCEPTION		0.319
functions_true-unreach-call1.c	below	duet	3	PASS	0.359	PASS
	above		EXCEPTION		0.319
multivar_false-unreach-call1.c	below	duet	1	OKAY	0.311	OKAY
	above		EXCEPTION		0.327
multivar_true-unreach-call1.c	below	duet	1	PASS	0.331	PASS
	above		EXCEPTION		0.337
nested_false-unreach-call1.c	below	duet	1	OKAY	0.327	OKAY
	above		EXCEPTION		0.339
nested_true-unreach-call1.c	below	duet	1	PASS	0.331	PASS
	above		EXCEPTION		0.338
overflow_true-unreach-call1.c	below	duet	1	PASS	0.316	PASS
	above		EXCEPTION		0.321
phases_false-unreach-call1.c	below	duet	1	OKAY	0.331	OKAY
	above		EXCEPTION		0.347
phases_false-unreach-call2.c	below	duet	1	OKAY	0.334	OKAY
	above		EXCEPTION		0.339
phases_true-unreach-call1.c	below	duet	1	PASS	0.33	PASS
	above		EXCEPTION		0.346
phases_true-unreach-call2.c	below	duet	1	PASS	0.328	PASS
	above		EXCEPTION		0.345
simple_false-unreach-call1.c	below	duet	1	OKAY	0.315	OKAY
	above		EXCEPTION		0.324
simple_false-unreach-call2.c	below	duet	1	OKAY	0.313	OKAY
	above		EXCEPTION		0.323
simple_false-unreach-call3.c	below	duet	1	OKAY	0.315	OKAY
	above		EXCEPTION		0.327
simple_false-unreach-call4.c	below	duet	1	OKAY	0.304	OKAY
	above		EXCEPTION		0.331
simple_true-unreach-call1.c	below	duet	1	PASS	0.328	PASS
	above		EXCEPTION		0.327
simple_true-unreach-call2.c	below	duet	1	PASS	0.31	PASS
	above		EXCEPTION		0.317
simple_true-unreach-call3.c	below	duet	1	PASS	0.316	PASS
	above		EXCEPTION		0.32
simple_true-unreach-call4.c	below	duet	1	PASS	0.319	PASS
	above		EXCEPTION		0.308
underapprox_false-unreach-call1.c	below	duet	1	OKAY	0.315	OKAY
	above		EXCEPTION		0.333
underapprox_false-unreach-call2.c	below	duet	1	OKAY	0.349	OKAY
	above		EXCEPTION		0.334
underapprox_true-unreach-call1.c	below	duet	1	FAIL	0.34	FAIL
	above		EXCEPTION		0.331
underapprox_true-unreach-call2.c	below	duet	1	PASS	0.304	PASS
	above		EXCEPTION		0.325
Total	Below Assertions (True) = 15/19 Above Assertions (True) = 0/19		Below Assertions (False) = 16/16 Above Assertions (False) = 0/16		Below Time = 11.559 Above Time = 11.753
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/sv-benchmarks/loop-invgen
apache-escape-absolute_true-unreach-call.c	below	duet	1	PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS	0.794	PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS
	above		EXCEPTION		0.57
apache-get-tag_true-unreach-call.c	below	duet	1	PASS PASS PASS FAIL PASS FAIL PASS PASS PASS FAIL PASS PASS PASS FAIL PASS FAIL	0.435	PASS PASS PASS FAIL PASS FAIL PASS PASS PASS FAIL PASS PASS PASS FAIL PASS FAIL
	above		EXCEPTION		0.369
down_true-unreach-call.c	below	duet	1	PASS	0.325	PASS
	above		EXCEPTION		0.345
fragtest_simple_true-unreach-call.c	below	duet	1	PASS	0.362	PASS
	above		EXCEPTION		0.384
half_2_true-unreach-call.c	below	duet	1	PASS	0.335	PASS
	above		EXCEPTION		0.336
heapsort_true-unreach-call.c	below	duet	1	FAIL PASS FAIL PASS FAIL PASS FAIL PASS FAIL PASS PASS PASS PASS PASS	2.161	FAIL PASS FAIL PASS FAIL PASS FAIL PASS FAIL PASS PASS PASS PASS PASS
	above		EXCEPTION		1.362
id_build_true-unreach-call.c	below	duet	1	PASS PASS	0.327	PASS PASS
	above		EXCEPTION		0.345
id_trans_false-unreach-call.c	below	duet	1	UNSOUND UNSOUND UNSOUND OKAY	0.358	UNSOUND UNSOUND UNSOUND OKAY
	above		EXCEPTION		0.316
large_const_true-unreach-call.c	below	duet	1	PASS	0.395	PASS
	above		EXCEPTION		0.407
MADWiFi-encode_ie_ok_true-unreach-call.c	below	duet	1	PASS PASS	0.363	PASS PASS
	above		EXCEPTION		0.372
nested6_true-unreach-call.c	below	duet	1	FAIL FAIL PASS	0.426	FAIL FAIL PASS
	above		EXCEPTION		0.397
nested9_true-unreach-call.c	below	duet	1	PASS	0.437	PASS
	above		EXCEPTION		0.419
nest-if3_true-unreach-call.c	below	duet	1	PASS	0.382	PASS
	above		EXCEPTION		0.405
NetBSD_loop_true-unreach-call.c	below	duet	1	PASS PASS	0.336	PASS PASS
	above		EXCEPTION		0.352
sendmail-close-angle_true-unreach-call.c	below	duet	1	PASS FAIL PASS FAIL PASS FAIL PASS FAIL	0.364	PASS FAIL PASS FAIL PASS FAIL PASS FAIL
	above		EXCEPTION		0.359
seq_true-unreach-call.c	below	duet	1	PASS	0.373	PASS
	above		EXCEPTION		0.375
SpamAssassin-loop_true-unreach-call.c	below	duet	1	PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS	1.194	PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS PASS
	above		EXCEPTION		0.968
string_concat-noarr_true-unreach-call.c	below	duet	1	PASS	0.334	PASS
	above		EXCEPTION		0.346
up_true-unreach-call.c	below	duet	1	PASS	0.334	PASS
	above		EXCEPTION		0.337
Total	Below Assertions (True) = 14/18 Above Assertions (True) = 0/18		Below Assertions (False) = 1/1 Above Assertions (False) = 0/1		Below Time = 10.035 Above Time = 8.764
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/sv-benchmarks/loop-lit
afnp2014_true-unreach-call.c	below	duet	1	PASS	0.317	PASS
	above		EXCEPTION		0.334
bhmr2007_true-unreach-call.c	below	duet	1	PASS	0.352	PASS
	above		EXCEPTION		0.358
cggmp2005b_true-unreach-call.c	below	duet	1	PASS	0.366	PASS
	above		EXCEPTION		0.392
cggmp2005_true-unreach-call.c	below	duet	1	PASS	0.33	PASS
	above		EXCEPTION		0.324
cggmp2005_variant_true-unreach-call.c	below	duet	1	PASS	0.327	PASS
	above		EXCEPTION		0.329
css2003_true-unreach-call.c	below	duet	1	PASS	0.445	PASS
	above		EXCEPTION		0.453
ddlm2013_true-unreach-call.c	below	duet	1	PASS	0.382	PASS
	above		EXCEPTION		0.371
gcnr2008_false-unreach-call.c	below	duet	1	OKAY	0.828	OKAY
	above		EXCEPTION		0.812
gj2007b_true-unreach-call.c	below	duet	1	PASS FAIL	0.338	PASS FAIL
	above		EXCEPTION		0.349
gj2007_true-unreach-call.c	below	duet	1	PASS	0.34	PASS
	above		EXCEPTION		0.36
gr2006_true-unreach-call.c	below	duet	1	PASS	0.342	PASS
	above		EXCEPTION		0.356
gsv2008_true-unreach-call.c	below	duet	1	PASS	0.318	PASS
	above		EXCEPTION		0.321
hhk2008_true-unreach-call.c	below	duet	1	PASS	0.324	PASS
	above		EXCEPTION		0.325
jm2006_true-unreach-call.c	below	duet	1	PASS	0.328	PASS
	above		EXCEPTION		0.353
jm2006_variant_true-unreach-call.c	below	duet	1	PASS	0.353	PASS
	above		EXCEPTION		0.359
mcmillan2006_true-unreach-call.c	below	duet	1	FAIL	0.38	FAIL
	above		EXCEPTION		0.375
Total	Below Assertions (True) = 13/15 Above Assertions (True) = 0/15		Below Assertions (False) = 1/1 Above Assertions (False) = 0/1		Below Time = 6.07 Above Time = 6.171
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/sv-benchmarks/loop-new
count_by_1_true-unreach-call.c	below	duet	1	PASS	0.31	PASS
	above		EXCEPTION		0.323
count_by_1_variant_true-unreach-call.c	below	duet	1	PASS	0.311	PASS
	above		EXCEPTION		0.33
count_by_2_true-unreach-call.c	below	duet	1	PASS	0.331	PASS
	above		EXCEPTION		0.333
count_by_k_true-unreach-call.c	below	duet	1	PASS	0.325	PASS
	above		EXCEPTION		0.342
count_by_nondet_true-unreach-call.c	below	duet	1	FAIL	0.355	FAIL
	above		EXCEPTION		0.336
gauss_sum_true-unreach-call.c	below	duet	1	PASS	0.328	PASS
	above		EXCEPTION		0.327
half_true-unreach-call.c	below	duet	1	FAIL	0.342	FAIL
	above		EXCEPTION		0.346
nested_true-unreach-call.c	below	duet	1	PASS	0.376	PASS
	above		EXCEPTION		0.381
Total	Below Assertions (True) = 6/8 Above Assertions (True) = 0/8		Below Assertions (False) = 0/0 Above Assertions (False) = 0/0		Below Time = 2.678 Above Time = 2.718
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/sv-benchmarks/loops
array_false-unreach-call.c	below	duet	1	OKAY	0.432	OKAY
	above		EXCEPTION		0.402
array_true-unreach-call.c	below	duet	1	FAIL	0.414	FAIL
	above		EXCEPTION		0.41
bubble_sort_false-unreach-call.c	below	duet	4	OKAY OKAY	265.137	TIMEOUT
	above		EXCEPTION		216.243
bubble_sort_true-unreach-call.c	below	duet	1		3.819
	above		EXCEPTION		3.809
compact_false-unreach-call.c	below	duet	1	OKAY	0.378	OKAY
	above		EXCEPTION		0.365
count_up_down_false-unreach-call_true-termination.c	below	duet	1	OKAY	0.318	OKAY
	above		EXCEPTION		0.326
count_up_down_true-unreach-call_true-termination.c	below	duet	1	PASS	0.307	PASS
	above		EXCEPTION		0.338
eureka_01_false-unreach-call.c	below	duet	1	OKAY	2.138	OKAY
	above		EXCEPTION		1.67
eureka_01_true-unreach-call.c	below	duet	1	FAIL	2.028	FAIL
	above		EXCEPTION		1.638
eureka_05_true-unreach-call.c	below	duet	1	FAIL	0.756	FAIL
	above		EXCEPTION		0.656
for_bounded_loop1_false-unreach-call_true-termination.c	below	duet	1	UNSOUND UNSOUND OKAY	0.331	UNSOUND UNSOUND OKAY
	above		EXCEPTION		0.338
for_infinite_loop_1_true-unreach-call_false-termination.c	below	duet	1	PASS	0.309	PASS
	above		0	PASS	0.315
for_infinite_loop_2_true-unreach-call_false-termination.c	below	duet	1	PASS	0.315	PASS
	above		0	PASS	0.321
heavy_false-unreach-call.c	below	duet	1	OKAY	0.551	OKAY
	above		EXCEPTION		0.529
heavy_true-unreach-call.c	below	duet	1	PASS	0.526	PASS
	above		EXCEPTION		0.536
insertion_sort_false-unreach-call.c	below	duet	1	OKAY	2.211	OKAY
	above		EXCEPTION		2.049
insertion_sort_true-unreach-call.c	below	duet	1	FAIL	0.76	FAIL
	above		EXCEPTION		0.674
invert_string_false-unreach-call.c	below	duet	1	OKAY	0.499	OKAY
	above		EXCEPTION		0.452
invert_string_true-unreach-call.c	below	duet	1	FAIL	0.498	FAIL
	above		EXCEPTION		0.436
linear_sea.ch_true-unreach-call.c	below	duet	1	FAIL	0.375	FAIL
	above		EXCEPTION		0.349
linear_search_false-unreach-call.c	below	duet	1	OKAY	0.386	OKAY
	above		EXCEPTION		0.385
lu.cmp_true-unreach-call.c	below	duet	3	PASS	121.825	PASS
	above		EXCEPTION		1.857
ludcmp_false-unreach-call.c	below	duet	3	OKAY	125.041	OKAY
	above		EXCEPTION		1.819
matrix_false-unreach-call_true-termination.c	below	duet	1	OKAY	0.81	OKAY
	above		EXCEPTION		0.734
matrix_true-unreach-call_true-termination.c	below	duet	1	FAIL	0.508	FAIL
	above		EXCEPTION		0.513
n.c11_true-unreach-call.c	below	duet	3	FAIL	0.457	FAIL
	above		EXCEPTION		0.347
n.c24_false-unreach-call.c	below	duet	3	OKAY	24.25	OKAY
	above		EXCEPTION		1.149
n.c40_true-unreach-call.c	below	duet	1	FAIL	0.375	FAIL
	above		EXCEPTION		0.355
nec11_false-unreach-call.c	below	duet	1	OKAY	0.363	OKAY
	above		EXCEPTION		0.37
nec20_false-unreach-call.c	below	duet	1	OKAY	0.36	OKAY
	above		EXCEPTION		0.353
nec40_true-unreach-call.c	below	duet	1	FAIL	0.377	FAIL
	above		EXCEPTION		0.362
string_false-unreach-call.c	below	duet	1	OKAY	0.623	OKAY
	above		EXCEPTION		0.487
string_true-unreach-call.c	below	duet	1	FAIL	0.611	FAIL
	above		EXCEPTION		0.474
sum01_bug02_false-unreach-call_true-termination.c	below	duet	1	OKAY	0.387	OKAY
	above		EXCEPTION		0.371
sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.c	below	duet	1	OKAY	0.343	OKAY
	above		EXCEPTION		0.349
sum01_false-unreach-call_true-termination.c	below	duet	1	OKAY	0.358	OKAY
	above		EXCEPTION		0.357
sum01_true-unreach-call_true-termination.c	below	duet	1	PASS	0.343	PASS
	above		EXCEPTION		0.334
sum03_false-unreach-call_true-termination.c	below	duet	1	OKAY	0.455	OKAY
	above		0	OKAY	0.42
sum03_true-unreach-call_false-termination.c	below	duet	1	PASS	0.343	PASS
	above		EXCEPTION		0.343
sum04_false-unreach-call_true-termination.c	below	duet	1	OKAY	0.343	OKAY
	above		EXCEPTION		0.339
sum04_true-unreach-call_true-termination.c	below	duet	1	PASS	0.326	PASS
	above		EXCEPTION		0.331
sum_array_false-unreach-call.c	below	duet	1	OKAY	0.641	OKAY
	above		EXCEPTION		0.492
sum_array_true-unreach-call.c	below	duet	1	FAIL	0.695	FAIL
	above		EXCEPTION		0.504
terminator_01_false-unreach-call_false-termination.c	below	duet	1	OKAY	0.326	OKAY
	above		EXCEPTION		0.349
terminator_02_false-unreach-call_true-termination.c	below	duet	3	OKAY	0.399	OKAY
	above		EXCEPTION		0.334
terminator_02_true-unreach-call_true-termination.c	below	duet	2	PASS	0.347	PASS
	above		EXCEPTION		0.336
terminator_03_false-unreach-call_true-termination.c	below	duet	1	OKAY	0.326	OKAY
	above		EXCEPTION		0.339
terminator_03_true-unreach-call_true-termination.c	below	duet	1	PASS	0.327	PASS
	above		EXCEPTION		0.326
trex01_false-unreach-call_true-termination.c	below	duet	3	OKAY	0.442	OKAY
	above		EXCEPTION		0.355
trex01_true-unreach-call.c	below	duet	3	PASS	0.675	PASS
	above		EXCEPTION		0.359
trex02_false-unreach-call_true-termination.c	below	duet	3	OKAY	0.406	OKAY
	above		EXCEPTION		0.327
trex02_true-unreach-call_true-termination.c	below	duet	3	PASS	0.391	PASS
	above		EXCEPTION		0.331
trex03_false-unreach-call_true-termination.c	below	duet	3	OKAY	0.805	OKAY
	above		EXCEPTION		0.356
trex03_true-unreach-call.c	below	duet	3	PASS	0.794	PASS
	above		EXCEPTION		0.345
trex04_true-unreach-call_false-termination.c	below	duet	1	PASS	0.371	PASS
	above		EXCEPTION		0.35
veris.c_NetBSD-libc__loop_true-unreach-call.c	below	duet	1	PASS	0.352	PASS
	above		EXCEPTION		0.35
veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call.c	below	duet	3		25.127
	above		EXCEPTION		0.998
veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call.c	below	duet	1	PASS	0.346	PASS
	above		EXCEPTION		0.375
verisec_NetBSD-libc__loop_false-unreach-call.c	below	duet	1	OKAY	0.342	OKAY
	above		EXCEPTION		0.346
verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.c	below	duet	3	OKAY	17.613	OKAY
	above		EXCEPTION		1.03
vogal_false-unreach-call.c	below	duet	1	OKAY	0.738	OKAY
	above		EXCEPTION		0.637
vogal_true-unreach-call.c	below	duet	1	FAIL	0.736	FAIL
	above		EXCEPTION		0.652
while_infinite_loop_1_true-unreach-call_false-termination.c	below	duet	1	PASS	0.307	PASS
	above		0	PASS	0.306
while_infinite_loop_2_true-unreach-call_false-termination.c	below	duet	1	PASS	0.295	PASS
	above		0	PASS	0.311
while_infinite_loop_3_true-unreach-call_false-termination.c	below	duet	1	PASS	0.31	PASS
	above		EXCEPTION		0.313
while_infinite_loop_4_false-unreach-call_true-termination.c	below	duet	1	OKAY	0.314	OKAY
	above		EXCEPTION		0.318
Total	Below Assertions (True) = 19/34 Above Assertions (True) = 4/34		Below Assertions (False) = 32/32 Above Assertions (False) = 1/32		Below Time = 614.411 Above Time = 254.644
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/sv-benchmarks/recursive
Ackermann01_true-unreach-call.c	below	duet	7	PASS	2.718	FAIL
	above		EXCEPTION		0.359
Ackermann02_false-unreach-call_false-termination.c	below	duet	7	OKAY	2.653	OKAY
	above		EXCEPTION		0.323
Ackermann03_true-unreach-call.c	below	duet	7	FAIL	2.713	FAIL
	above		EXCEPTION		0.334
Ackermann04_true-unreach-call.c	below	duet	7	FAIL	2.69	FAIL
	above		EXCEPTION		0.334
Addition01_true-unreach-call_true-termination.c	below	duet	2	PASS	0.581	PASS
	above		EXCEPTION		0.34
Addition02_false-unreach-call_false-termination.c	below	duet	2	OKAY	0.581	OKAY
	above		EXCEPTION		0.316
Addition03_false-no-overflow.c	below	duet	2	PASS	0.586	PASS
	above		EXCEPTION		0.341
Addition03_true-unreach-call.c	below	duet	2	PASS	0.58	PASS
	above		EXCEPTION		0.328
BallRajamani-SPIN2000-Fig1_false-unreach-call.c	below	duet	2	OKAY	0.448	OKAY
	above		EXCEPTION		0.316
EvenOdd01_true-unreach-call_true-termination.c	below	duet	2	PASS	0.434	FAIL
	above		EXCEPTION		0.314
EvenOdd03_false-unreach-call_false-termination.c	below	duet	2	OKAY	0.439	OKAY
	above		EXCEPTION		0.323
Fibonacci01_true-unreach-call.c	below	duet	TIMEOUT		300.01	FAIL
	above		EXCEPTION		0.326
Fibonacci02_true-unreach-call_true-termination.c	below	duet	TIMEOUT		300.006	FAIL
	above		EXCEPTION		0.321
Fibonacci03_true-unreach-call_true-termination.c	below	duet	TIMEOUT		300.008	FAIL
	above		EXCEPTION		0.315
Fibonacci04_false-unreach-call_true-termination.c	below	duet	TIMEOUT		300.009	OKAY
	above		EXCEPTION		0.316
Fibonacci05_false-unreach-call_true-termination.c	below	duet	TIMEOUT		300.008	OKAY
	above		EXCEPTION		0.33
gcd01_true-unreach-call_true-termination.c	below	duet	2	PASS	0.545	FAIL
	above		EXCEPTION		0.339
gcd02_true-unreach-call.c	below	duet	2	FAIL PASS	1.139	FAIL PASS
	above		EXCEPTION		0.347
McCarthy91_false-unreach-call_false-termination.c	below	duet	7	OKAY	1.154	OKAY
	above		EXCEPTION		0.319
McCarthy91_true-unreach-call.c	below	duet	7	FAIL	1.144	FAIL
	above		EXCEPTION		0.329
MultCommutative_true-unreach-call_true-termination.c	below	duet	2	FAIL	0.605	FAIL
	above		EXCEPTION		0.336
Primes_true-unreach-call.c	below	duet	3	FAIL	1.956	FAIL
	above		EXCEPTION		0.392
recHanoi01_true-unreach-call_true-termination.c	below	duet	9	FAIL	5.821	FAIL
	above		EXCEPTION		0.346
recHanoi02_true-unreach-call_true-termination.c	below	duet	2	FAIL	0.386	FAIL
	above		EXCEPTION		0.318
recHanoi03_true-unreach-call_true-termination.c	below	duet	2	FAIL	0.377	FAIL
	above		EXCEPTION		0.319
Total	Below Assertions (True) = 6/18 Above Assertions (True) = 0/18		Below Assertions (False) = 5/7 Above Assertions (False) = 0/7		Below Time = 1527.591 Above Time = 8.281
/bat0/stac/Code/Ark2-Sandbox/WALi-OpenNWA/Examples/cprover/tests/sv-benchmarks/recursive-simple
afterrec_2calls_false-unreach-call.c	below	duet	2	OKAY OKAY	0.42	OKAY OKAY
	above		EXCEPTION		0.324
afterrec_2calls_true-unreach-call.c	below	duet	2	PASS PASS	0.373	PASS PASS
	above		EXCEPTION		0.309
afterrec_false-unreach-call.c	below	duet	2	OKAY	0.367	OKAY
	above		EXCEPTION		0.326
afterrec_true-unreach-call.c	below	duet	2	PASS	0.35	PASS
	above		EXCEPTION		0.326
fibo_10_false-unreach-call.c	below	duet	TIMEOUT		300.009	OKAY
	above		EXCEPTION		0.323
fibo_10_true-unreach-call.c	below	duet	TIMEOUT		300.009	FAIL
	above		EXCEPTION		0.32
fibo_15_false-unreach-call.c	below	duet	TIMEOUT		300.008	OKAY
	above		EXCEPTION		0.325
fibo_15_true-unreach-call.c	below	duet	TIMEOUT		300.007	FAIL
	above		EXCEPTION		0.323
fibo_20_false-unreach-call.c	below	duet	TIMEOUT		300.011	OKAY
	above		EXCEPTION		0.314
fibo_20_true-unreach-call.c	below	duet	TIMEOUT		300.007	FAIL
	above		EXCEPTION		0.325
fibo_25_false-unreach-call.c	below	duet	TIMEOUT		300.006	OKAY
	above		EXCEPTION		0.336
fibo_25_true-unreach-call.c	below	duet	TIMEOUT		300.01	FAIL
	above		EXCEPTION		0.311
fibo_2calls_10_false-unreach-call.c	below	duet	8	OKAY	130.464	OKAY
	above		EXCEPTION		0.334
fibo_2calls_10_true-unreach-call.c	below	duet	8	FAIL	128.203	FAIL
	above		EXCEPTION		0.329
fibo_2calls_15_false-unreach-call.c	below	duet	8	OKAY	126.949	OKAY
	above		EXCEPTION		0.341
fibo_2calls_15_true-unreach-call.c	below	duet	8	FAIL	128.635	FAIL
	above		EXCEPTION		0.331
fibo_2calls_20_false-unreach-call.c	below	duet	8	OKAY	127.516	OKAY
	above		EXCEPTION		0.334
fibo_2calls_20_true-unreach-call.c	below	duet	8	FAIL	128.24	FAIL
	above		EXCEPTION		0.327
fibo_2calls_25_false-unreach-call.c	below	duet	8	OKAY	127.969	OKAY
	above		EXCEPTION		0.343
fibo_2calls_25_true-unreach-call.c	below	duet	8	FAIL	128.199	FAIL
	above		EXCEPTION		0.316
fibo_2calls_2_false-unreach-call.c	below	duet	8	OKAY	126.544	OKAY
	above		EXCEPTION		0.318
fibo_2calls_2_true-unreach-call.c	below	duet	8	FAIL	128.123	FAIL
	above		EXCEPTION		0.327
fibo_2calls_4_false-unreach-call.c	below	duet	8	OKAY	127.002	OKAY
	above		EXCEPTION		0.326
fibo_2calls_4_true-unreach-call.c	below	duet	8	FAIL	128.549	FAIL
	above		EXCEPTION		0.331
fibo_2calls_5_false-unreach-call.c	below	duet	8	OKAY	129.056	OKAY
	above		EXCEPTION		0.352
fibo_2calls_5_true-unreach-call.c	below	duet	8	FAIL	129.628	FAIL
	above		EXCEPTION		0.333
fibo_2calls_6_false-unreach-call.c	below	duet	8	OKAY	130.358	OKAY
	above		EXCEPTION		0.33
fibo_2calls_6_true-unreach-call.c	below	duet	8	FAIL	129.383	FAIL
	above		EXCEPTION		0.333
fibo_2calls_8_false-unreach-call.c	below	duet	8	OKAY	128.852	OKAY
	above		EXCEPTION		0.341
fibo_2calls_8_true-unreach-call.c	below	duet	8	FAIL	128.654	FAIL
	above		EXCEPTION		0.327
fibo_5_false-unreach-call.c	below	duet	TIMEOUT		300.011	OKAY
	above		EXCEPTION		0.338
fibo_5_true-unreach-call.c	below	duet	TIMEOUT		300.008	FAIL
	above		EXCEPTION		0.322
fibo_7_false-unreach-call.c	below	duet	TIMEOUT		300.007	OKAY
	above		EXCEPTION		0.318
fibo_7_true-unreach-call.c	below	duet	TIMEOUT		300.008	FAIL
	above		EXCEPTION		0.33
id2_b2_o3_true-unreach-call.c	below	duet	2	PASS	0.963	FAIL
	above		EXCEPTION		0.359
id2_b3_o2_false-unreach-call.c	below	duet	2	OKAY	0.994	OKAY
	above		EXCEPTION		0.336
id2_b3_o5_true-unreach-call.c	below	duet	2	PASS	0.978	FAIL
	above		EXCEPTION		0.331
id2_b5_o10_true-unreach-call.c	below	duet	2	PASS	0.922	FAIL
	above		EXCEPTION		0.337
id2_i5_o5_false-unreach-call.c	below	duet	2	OKAY	0.42	OKAY
	above		EXCEPTION		0.327
id2_i5_o5_true-unreach-call.c	below	duet	2	PASS	0.418	PASS
	above		EXCEPTION		0.309
id_b2_o3_true-unreach-call.c	below	duet	2	PASS	0.539	FAIL
	above		EXCEPTION		0.316
id_b3_o2_false-unreach-call.c	below	duet	2	OKAY	0.581	OKAY
	above		EXCEPTION		0.323
id_b3_o5_true-unreach-call.c	below	duet	2	PASS	0.564	FAIL
	above		EXCEPTION		0.329
id_b5_o10_true-unreach-call.c	below	duet	2	PASS	0.548	FAIL
	above		EXCEPTION		0.337
id_i10_o10_false-unreach-call.c	below	duet	2	OKAY	0.374	OKAY
	above		EXCEPTION		0.336
id_i10_o10_true-unreach-call.c	below	duet	2	PASS	0.369	PASS
	above		EXCEPTION		0.328
id_i15_o15_false-unreach-call.c	below	duet	2	OKAY	0.371	OKAY
	above		EXCEPTION		0.323
id_i15_o15_true-unreach-call.c	below	duet	2	PASS	0.359	PASS
	above		EXCEPTION		0.315
id_i20_o20_false-unreach-call.c	below	duet	2	OKAY	0.374	OKAY
	above		EXCEPTION		0.329
id_i20_o20_true-unreach-call.c	below	duet	2	PASS	0.375	PASS
	above		EXCEPTION		0.332
id_i25_o25_false-unreach-call.c	below	duet	2	OKAY	0.382	OKAY
	above		EXCEPTION		0.32
id_i25_o25_true-unreach-call.c	below	duet	2	PASS	0.364	PASS
	above		EXCEPTION		0.33
id_i5_o5_false-unreach-call.c	below	duet	2	OKAY	0.372	OKAY
	above		EXCEPTION		0.309
id_i5_o5_true-unreach-call.c	below	duet	2	PASS	0.363	PASS
	above		EXCEPTION		0.329
id_o1000_false-unreach-call.c	below	duet	2	OKAY	0.37	OKAY
	above		EXCEPTION		0.317
id_o100_false-unreach-call.c	below	duet	2	OKAY	0.368	OKAY
	above		EXCEPTION		0.335
id_o10_false-unreach-call.c	below	duet	2	OKAY	0.381	OKAY
	above		EXCEPTION		0.318
id_o200_false-unreach-call.c	below	duet	2	OKAY	0.38	OKAY
	above		EXCEPTION		0.322
id_o20_false-unreach-call.c	below	duet	2	OKAY	0.374	OKAY
	above		EXCEPTION		0.321
id_o3_false-unreach-call.c	below	duet	2	OKAY	0.378	OKAY
	above		EXCEPTION		0.331
sum_10x0_false-unreach-call.c	below	duet	2	OKAY	0.392	OKAY
	above		EXCEPTION		0.317
sum_10x0_true-unreach-call.c	below	duet	2	PASS	0.384	PASS
	above		EXCEPTION		0.312
sum_15x0_false-unreach-call.c	below	duet	2	OKAY	0.396	OKAY
	above		EXCEPTION		0.329
sum_15x0_true-unreach-call.c	below	duet	2	PASS	0.391	PASS
	above		EXCEPTION		0.322
sum_20x0_false-unreach-call.c	below	duet	2	OKAY	0.403	OKAY
	above		EXCEPTION		0.326
sum_20x0_true-unreach-call.c	below	duet	2	PASS	0.389	PASS
	above		EXCEPTION		0.329
sum_25x0_false-unreach-call.c	below	duet	2	OKAY	0.404	OKAY
	above		EXCEPTION		0.331
sum_25x0_true-unreach-call.c	below	duet	2	PASS	0.381	PASS
	above		EXCEPTION		0.321
sum_2x3_false-unreach-call.c	below	duet	2	OKAY	0.392	OKAY
	above		EXCEPTION		0.324
sum_2x3_true-unreach-call.c	below	duet	2	PASS	0.38	PASS
	above		EXCEPTION		0.318
sum_non_eq_false-unreach-call.c	below	duet	2	OKAY	0.42	OKAY
	above		EXCEPTION		0.323
sum_non_eq_true-unreach-call.c	below	duet	2	PASS	0.418	PASS
	above		EXCEPTION		0.319
sum_non_false-unreach-call.c	below	duet	2	OKAY	0.394	OKAY
	above		EXCEPTION		0.324
sum_non_true-unreach-call.c	below	duet	2	PASS	0.386	PASS
	above		EXCEPTION		0.325
Total	Below Assertions (True) = 21/36 Above Assertions (True) = 0/36		Below Assertions (False) = 32/38 Above Assertions (False) = 0/38		Below Time = 5932.346 Above Time = 24.162