Tool CPAchecker 1.6.1-svn 26773
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-01 09:11:51 CET 2017-12-01 10:37:09 CET
Run set cpa-seq.sv-comp18 cpa-seq-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness
Options -svcomp18 -heap 10000M -benchmark -timelimit 900s -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-seq.2017-12-01_0911.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy
pthread/bigshot_p_false-unreach-call.i 0 4.3 400 34 0 .67 42
pthread/fib_bench_false-unreach-call.i 1 32   1600 280 1 4.4  260
pthread/fib_bench_longer_false-unreach-call.i 1 150   4000 1400 1 5.2  260
pthread/fib_bench_longest_false-unreach-call.i 0 900   4100 8300 0 .41 44
pthread/lazy01_false-unreach-call.i 1 4.3 280 32 1 2.8  260
pthread/queue_false-unreach-call.i 1 6.7 450 53 1 5.5  260
pthread/queue_longer_false-unreach-call.i 1 6.7 450 57 1 5.8  260
pthread/queue_longest_false-unreach-call.i 1 6.9 450 54 1 5.4  250
pthread/reorder_2_false-unreach-call.i 0 5.3 430 47 0 .53 43
pthread/reorder_5_false-unreach-call.i 0 5.2 440 42 0 .43 42
pthread/sigma_false-unreach-call.i 0 5.0 420 44 0 .55 41
pthread/singleton_false-unreach-call.i 0 4.6 400 38 0 .65 43
pthread/stack_false-unreach-call.i 0 6.0 430 49 0 .52 43
pthread/stack_longer_false-unreach-call.i 0 110   3700 770 0 .65 42
pthread/stack_longest_false-unreach-call.i 0 330   3800 2000 0 .62 43
pthread/stateful01_false-unreach-call.i 1 4.5 280 35 1 4.0  260
pthread/twostage_3_false-unreach-call.i 0 5.8 440 45 0 .64 43
pthread/bigshot_s2_true-unreach-call.i 0 4.5 400 32 -
pthread/bigshot_s_true-unreach-call.i 0 4.5 400 39 -
pthread/fib_bench_longer_true-unreach-call.i 2 430   4000 4300 -
pthread/fib_bench_longest_true-unreach-call.i 0 900   4100 8400 -
pthread/fib_bench_true-unreach-call.i 2 65   2800 510 -
pthread/indexer_true-unreach-call.i 0 7.0 460 53 -
pthread/queue_ok_longer_true-unreach-call.i 0 37   3700 400 -
pthread/queue_ok_longest_true-unreach-call.i 0 100   3800 1300 -
pthread/queue_ok_true-unreach-call.i 0 7.6 520 55 -
pthread/singleton_with-uninit-problems_true-unreach-call.i 0 4.9 410 41 -
pthread/stack_longer_true-unreach-call.i 0 120   3700 620 -
pthread/stack_longest_true-unreach-call.i 0 340   3800 1700 -
pthread/stack_true-unreach-call.i 0 6.0 450 45 -
pthread/stateful01_true-unreach-call.i 2 4.5 300 38 -
pthread/sync01_true-unreach-call.i 2 5.1 430 38 -
pthread-atomic/qrcu_false-unreach-call.i 1 10   550 75 1 5.4  260
pthread-atomic/read_write_lock_false-unreach-call.i 1 18   780 120 1 5.6  270
pthread-atomic/dekker_true-unreach-call.i 2 5.1 340 37 -
pthread-atomic/gcd_true-unreach-call_true-termination.i 0 910   3700 5300 -
pthread-atomic/lamport_true-unreach-call.i 2 6.1 380 49 -
pthread-atomic/peterson_true-unreach-call.i 2 4.9 340 43 -
pthread-atomic/qrcu_true-unreach-call.i 0 910   3900 6600 -
pthread-atomic/read_write_lock_true-unreach-call.i 2 9.4 540 72 -
pthread-atomic/scull_true-unreach-call.i 0 910   3600 5400 -
pthread-atomic/szymanski_true-unreach-call.i 2 5.4 350 47 -
pthread-atomic/time_var_mutex_true-unreach-call.i 2 4.6 300 41 -
pthread-ext/25_stack_longer_false-unreach-call.i 0 5.0 400 38 0 .67 43
pthread-ext/25_stack_longest_false-unreach-call.i 0 4.9 400 37 0 .61 43
pthread-ext/26_stack_cas_longer_false-unreach-call.i 0 5.3 450 48 0 .55 42
pthread-ext/26_stack_cas_longest_false-unreach-call.i 0 5.2 430 39 0 .67 44
pthread-ext/27_Boop_simple_vf_false-unreach-call.i 0 4.3 300 33 0 .42 41
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i 0 4.2 280 32 0 .57 44
pthread-ext/32_pthread5_vs_false-unreach-call.i 0 4.1 310 33 0 .69 42
pthread-ext/40_barrier_vf_false-unreach-call.i 0 4.2 290 32 0 .58 42
pthread-ext/01_inc_true-unreach-call.i 0 4.1 290 36 -
pthread-ext/02_inc_cas_true-unreach-call.i 0 4.0 280 36 -
pthread-ext/03_incdec_true-unreach-call.i 0 4.5 330 36 -
pthread-ext/04_incdec_cas_true-unreach-call.i 0 4.8 350 44 -
pthread-ext/05_tas_true-unreach-call.i 0 4.5 310 33 -
pthread-ext/06_ticket_true-unreach-call.i 0 4.3 300 38 -
pthread-ext/07_rand_true-unreach-call.i 0 4.6 330 35 -
pthread-ext/08_rand_cas_true-unreach-call.i 0 4.8 350 41 -
pthread-ext/09_fmaxsym_true-unreach-call.i 0 4.7 300 40 -
pthread-ext/10_fmaxsym_cas_true-unreach-call.i 0 4.7 320 37 -
pthread-ext/11_fmaxsymopt_true-unreach-call.i 0 4.6 310 39 -
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i 0 4.5 310 41 -
pthread-ext/13_unverif_true-unreach-call.i 0 3.9 270 34 -
pthread-ext/14_spin2003_true-unreach-call.i 0 4.0 280 35 -
pthread-ext/15_dekker_true-unreach-call.i 2 5.0 320 41 -
pthread-ext/16_peterson_true-unreach-call.i 2 4.9 310 38 -
pthread-ext/17_szymanski_true-unreach-call.i 2 5.4 370 47 -
pthread-ext/18_read_write_lock_true-unreach-call.i 2 4.3 280 35 -
pthread-ext/19_time_var_mutex_true-unreach-call.i 2 5.1 330 42 -
pthread-ext/20_lamport_true-unreach-call.i 2 5.4 380 41 -
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i 2 5.1 330 40 -
pthread-ext/25_stack_longer_true-unreach-call.i 0 4.9 400 37 -
pthread-ext/25_stack_longest_true-unreach-call.i 0 5.1 410 45 -
pthread-ext/25_stack_true-unreach-call.i 0 5.0 410 41 -
pthread-ext/26_stack_cas_longer_true-unreach-call.i 0 5.2 430 40 -
pthread-ext/26_stack_cas_longest_true-unreach-call.i 0 5.4 430 39 -
pthread-ext/26_stack_cas_true-unreach-call.i 0 5.4 440 44 -
pthread-ext/29_conditionals_vs_true-unreach-call.i 0 4.2 280 35 -
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i 0 4.2 290 37 -
pthread-ext/31_simple_loop5_vs_true-unreach-call.i 0 4.2 280 32 -
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i 0 4.5 320 35 -
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i 0 4.5 320 41 -
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i 0 4.3 310 37 -
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i 0 4.4 320 34 -
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i 0 4.5 320 35 -
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i 0 4.2 320 32 -
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i 0 4.5 290 39 -
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i 0 5.0 380 36 -
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i 0 5.0 440 46 -
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i 0 7.0 450 54 -
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i 0 6.6 450 44 -
pthread-ext/45_monabsex1_vs_true-unreach-call.i 0 3.8 270 31 -
pthread-ext/46_monabsex2_vs_true-unreach-call.i 0 3.8 270 32 -
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i 0 920   6600 4100 -
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i 0 910   7400 6300 -
pthread-wmm/mix000_power.oepc_false-unreach-call.i 1 12   670 94 1 5.9  270
pthread-wmm/mix000_power.opt_false-unreach-call.i 1 11   580 88 1 6.6  270
pthread-wmm/mix000_pso.oepc_false-unreach-call.i 1 13   690 120 1 6.3  270
pthread-wmm/mix000_pso.opt_false-unreach-call.i 1 11   590 86 1 7.0  280
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i 1 13   650 97 1 7.8  280
pthread-wmm/mix000_rmo.opt_false-unreach-call.i 1 13   610 92 1 6.5  270
pthread-wmm/mix000_tso.oepc_false-unreach-call.i 1 13   680 90 1 6.6  270
pthread-wmm/mix000_tso.opt_false-unreach-call.i 1 12   610 97 1 5.6  270
pthread-wmm/mix001_power.oepc_false-unreach-call.i 1 17   920 120 1 22    1000
pthread-wmm/mix001_power.opt_false-unreach-call.i 1 33   1600 240 1 7.4  280
pthread-wmm/mix001_pso.oepc_false-unreach-call.i 1 17   840 130 1 28    1100
pthread-wmm/mix001_pso.opt_false-unreach-call.i 1 35   1800 230 1 4.5  290
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i 1 17   850 130 1 27    1000
pthread-wmm/mix001_rmo.opt_false-unreach-call.i 1 34   1600 260 1 7.3  290
pthread-wmm/mix001_tso.oepc_false-unreach-call.i 1 17   850 150 1 28    1100
pthread-wmm/mix001_tso.opt_false-unreach-call.i 1 34   1600 250 1 7.2  290
pthread-wmm/mix002_power.oepc_false-unreach-call.i 1 14   700 110 1 28    1400
pthread-wmm/mix002_power.opt_false-unreach-call.i 1 35   1700 240 1 4.5  300
pthread-wmm/mix002_pso.oepc_false-unreach-call.i 1 15   780 110 1 29    1400
pthread-wmm/mix002_pso.opt_false-unreach-call.i 1 34   1700 220 1 7.9  290
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i 1 15   720 110 1 29    1400
pthread-wmm/mix002_rmo.opt_false-unreach-call.i 1 36   1700 270 1 4.6  290
pthread-wmm/mix002_tso.oepc_false-unreach-call.i 1 15   700 98 1 29    1300
pthread-wmm/mix002_tso.opt_false-unreach-call.i 1 36   1900 280 1 7.9  300
pthread-wmm/mix003_power.oepc_false-unreach-call.i 1 14   660 110 1 15    970
pthread-wmm/mix003_power.opt_false-unreach-call.i 1 33   1700 270 1 7.2  290
pthread-wmm/mix003_pso.oepc_false-unreach-call.i 1 15   660 110 1 23    940
pthread-wmm/mix003_pso.opt_false-unreach-call.i 1 33   1700 220 1 4.4  280
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i 1 13   670 110 1 22    930
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i 1 32   1500 250 1 7.9  280
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i 1 32   1500 230 1 6.5  280
pthread-wmm/mix003_rmo.opt_false-unreach-call.i 1 30   1500 200 1 7.4  280
pthread-wmm/mix003_tso.oepc_false-unreach-call.i 1 15   690 110 1 20    790
pthread-wmm/mix003_tso.opt_false-unreach-call.i 1 34   1700 250 1 4.4  280
pthread-wmm/mix004_power.oepc_false-unreach-call.i 0 21   1300 160 0 92    2300
pthread-wmm/mix004_power.opt_false-unreach-call.i 1 320   5400 2100 1 15    620
pthread-wmm/mix004_pso.oepc_false-unreach-call.i 0 23   1400 160 0 92    2400
pthread-wmm/mix004_pso.opt_false-unreach-call.i 1 310   5400 2100 1 10    620
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i 0 21   1200 170 0 92    2400
pthread-wmm/mix004_rmo.opt_false-unreach-call.i 1 310   5500 1800 1 17    630
pthread-wmm/mix004_tso.oepc_false-unreach-call.i 0 29   1500 210 0 91    2600
pthread-wmm/mix004_tso.opt_false-unreach-call.i 1 290   5400 2400 1 9.8  620
pthread-wmm/mix005_power.oepc_false-unreach-call.i 0 22   1300 170 0 92    2400
pthread-wmm/mix005_power.opt_false-unreach-call.i 1 300   5500 1800 1 9.9  640
pthread-wmm/mix005_pso.oepc_false-unreach-call.i 0 20   1300 160 0 92    2300
pthread-wmm/mix005_pso.opt_false-unreach-call.i 1 310   5300 2100 1 15    610
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i 0 26   1400 170 0 92    2600
pthread-wmm/mix005_rmo.opt_false-unreach-call.i 1 300   5700 1800 1 14    600
pthread-wmm/mix005_tso.oepc_false-unreach-call.i 1 100   4200 740 1 42    1500
pthread-wmm/mix005_tso.opt_false-unreach-call.i 1 300   5400 1900 1 16    620
pthread-wmm/mix006_power.oepc_false-unreach-call.i 1 15   900 120 1 21    820
pthread-wmm/mix006_power.opt_false-unreach-call.i 1 38   1800 260 1 6.7  280
pthread-wmm/mix006_pso.oepc_false-unreach-call.i 1 15   930 130 1 22    810
pthread-wmm/mix006_pso.opt_false-unreach-call.i 1 35   2000 300 1 7.5  280
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i 1 15   870 120 1 21    750
pthread-wmm/mix006_rmo.opt_false-unreach-call.i 1 38   1900 330 1 5.3  300
pthread-wmm/mix006_tso.oepc_false-unreach-call.i 1 130   3900 1000 1 11    610
pthread-wmm/mix006_tso.opt_false-unreach-call.i 1 35   1800 260 1 6.8  280
pthread-wmm/mix007_power.oepc_false-unreach-call.i 0 31   1600 230 0 92    2500
pthread-wmm/mix007_power.opt_false-unreach-call.i 1 450   6100 3400 1 16    620
pthread-wmm/mix007_pso.oepc_false-unreach-call.i 0 25   1500 190 0 92    2500
pthread-wmm/mix007_pso.opt_false-unreach-call.i 1 450   6100 3000 1 17    620
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i 0 32   1500 220 0 92    2400
pthread-wmm/mix007_rmo.opt_false-unreach-call.i 1 470   6200 3000 1 9.4  620
pthread-wmm/mix007_tso.oepc_false-unreach-call.i 0 33   1600 220 0 98    2400
pthread-wmm/mix007_tso.opt_false-unreach-call.i 1 470   6300 3100 1 10    620
pthread-wmm/mix008_power.oepc_false-unreach-call.i 0 34   1600 250 0 92    2300
pthread-wmm/mix008_power.opt_false-unreach-call.i 1 480   6100 3000 1 17    610
pthread-wmm/mix008_pso.oepc_false-unreach-call.i 0 30   1700 210 0 92    2400
pthread-wmm/mix008_pso.opt_false-unreach-call.i 1 470   6100 3300 1 16    620
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i 0 31   1700 260 0 92    2400
pthread-wmm/mix008_rmo.opt_false-unreach-call.i 1 450   6100 3000 1 9.7  630
pthread-wmm/mix008_tso.oepc_false-unreach-call.i 0 910   5400 4900 0 .44 43
pthread-wmm/mix008_tso.opt_false-unreach-call.i 1 470   6200 3700 1 16    620
pthread-wmm/mix009_power.oepc_false-unreach-call.i 1 10   570 87 1 4.3  270
pthread-wmm/mix009_power.opt_false-unreach-call.i 1 13   590 91 1 6.0  270
pthread-wmm/mix009_pso.oepc_false-unreach-call.i 1 10   600 87 1 6.6  270
pthread-wmm/mix009_pso.opt_false-unreach-call.i 1 12   580 93 1 4.2  270
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i 1 9.6 590 72 1 4.2  280
pthread-wmm/mix009_rmo.opt_false-unreach-call.i 1 12   620 91 1 5.8  270
pthread-wmm/mix009_tso.oepc_false-unreach-call.i 1 11   600 86 1 6.6  270
pthread-wmm/mix009_tso.opt_false-unreach-call.i 1 12   600 97 1 4.5  290
pthread-wmm/mix010_power.oepc_false-unreach-call.i 1 16   750 130 1 21    750
pthread-wmm/mix010_power.opt_false-unreach-call.i 1 35   1700 230 1 7.6  290
pthread-wmm/mix010_pso.oepc_false-unreach-call.i 1 15   710 120 1 15    820
pthread-wmm/mix010_pso.opt_false-unreach-call.i 1 34   1600 260 1 6.8  290
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i 1 14   720 120 1 21    940
pthread-wmm/mix010_rmo.opt_false-unreach-call.i 1 39   1700 250 1 7.1  290
pthread-wmm/mix010_tso.oepc_false-unreach-call.i 1 15   710 110 1 23    830
pthread-wmm/mix010_tso.opt_false-unreach-call.i 1 34   1700 240 1 4.3  280
pthread-wmm/mix011_power.oepc_false-unreach-call.i 1 14   670 110 1 22    830
pthread-wmm/mix011_power.opt_false-unreach-call.i 1 28   1500 220 1 7.2  290
pthread-wmm/mix011_pso.oepc_false-unreach-call.i 1 15   710 110 1 14    940
pthread-wmm/mix011_pso.opt_false-unreach-call.i 1 34   1600 250 1 4.5  290
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i 1 14   720 120 1 24    940
pthread-wmm/mix011_rmo.opt_false-unreach-call.i 1 33   1800 230 1 7.0  280
pthread-wmm/mix011_tso.oepc_false-unreach-call.i 1 19   1000 140 1 17    560
pthread-wmm/mix011_tso.opt_false-unreach-call.i 1 34   1600 210 1 4.3  280
pthread-wmm/mix012_power.oepc_false-unreach-call.i 1 9.9 580 69 1 6.4  270
pthread-wmm/mix012_power.opt_false-unreach-call.i 1 9.7 580 74 1 4.4  270
pthread-wmm/mix012_pso.oepc_false-unreach-call.i 1 9.8 610 75 1 6.9  270
pthread-wmm/mix012_pso.opt_false-unreach-call.i 1 12   630 100 1 6.2  290
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i 1 9.6 600 74 1 7.3  270
pthread-wmm/mix012_rmo.opt_false-unreach-call.i 1 9.5 600 77 1 4.5  270
pthread-wmm/mix012_tso.oepc_false-unreach-call.i 1 9.5 590 72 1 5.7  270
pthread-wmm/mix012_tso.opt_false-unreach-call.i 1 11   600 86 1 5.4  270
pthread-wmm/mix013_power.oepc_false-unreach-call.i 0 20   1200 160 0 92    2400
pthread-wmm/mix013_power.opt_false-unreach-call.i 1 310   5500 2000 1 16    630
pthread-wmm/mix013_pso.oepc_false-unreach-call.i 0 22   1200 140 0 93    2400
pthread-wmm/mix013_pso.opt_false-unreach-call.i 1 330   5700 2100 1 16    550
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i 0 28   1400 200 0 92    2500
pthread-wmm/mix013_rmo.opt_false-unreach-call.i 1 310   5600 2200 1 16    620
pthread-wmm/mix013_tso.oepc_false-unreach-call.i 0 21   1300 150 0 92    2400
pthread-wmm/mix013_tso.opt_false-unreach-call.i 1 330   5500 2000 1 17    610
pthread-wmm/mix014_power.oepc_false-unreach-call.i 0 30   1500 210 0 92    2400
pthread-wmm/mix014_power.opt_false-unreach-call.i 1 450   6100 3100 1 11    630
pthread-wmm/mix014_pso.oepc_false-unreach-call.i 1 31   1400 200 1 90    2400
pthread-wmm/mix014_pso.opt_false-unreach-call.i 1 430   6200 3000 1 18    630
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i 0 33   1600 240 0 91    2300
pthread-wmm/mix014_rmo.opt_false-unreach-call.i 1 450   6100 2900 1 9.4  620
pthread-wmm/mix014_tso.oepc_false-unreach-call.i 0 910   5600 5100 0 .64 42
pthread-wmm/mix014_tso.opt_false-unreach-call.i 1 450   6100 2600 1 16    620
pthread-wmm/mix015_power.oepc_false-unreach-call.i 1 16   660 110 1 32    1500
pthread-wmm/mix015_power.opt_false-unreach-call.i 1 40   1700 270 1 7.1  290
pthread-wmm/mix015_pso.oepc_false-unreach-call.i 1 16   660 120 1 26    1400
pthread-wmm/mix015_pso.opt_false-unreach-call.i 1 34   1700 240 1 6.5  290
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i 1 15   660 110 1 19    1400
pthread-wmm/mix015_rmo.opt_false-unreach-call.i 1 34   1600 230 1 6.6  280
pthread-wmm/mix015_tso.oepc_false-unreach-call.i 1 15   650 110 1 31    1400
pthread-wmm/mix015_tso.opt_false-unreach-call.i 1 34   1700 230 1 7.3  290
pthread-wmm/mix016_power.oepc_false-unreach-call.i 1 15   660 110 1 15    820
pthread-wmm/mix016_power.opt_false-unreach-call.i 1 21   1400 170 1 11    430
pthread-wmm/mix016_pso.oepc_false-unreach-call.i 1 14   640 120 1 25    920
pthread-wmm/mix016_pso.opt_false-unreach-call.i 1 25   1500 180 1 6.6  270
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i 1 14   670 120 1 22    940
pthread-wmm/mix016_rmo.opt_false-unreach-call.i 1 27   1500 200 1 9.9  430
pthread-wmm/mix016_tso.oepc_false-unreach-call.i 1 14   670 120 1 21    820
pthread-wmm/mix016_tso.opt_false-unreach-call.i 1 33   1700 230 1 6.8  270
pthread-wmm/mix017_power.oepc_false-unreach-call.i 0 20   1300 180 0 93    2500
pthread-wmm/mix017_power.opt_false-unreach-call.i 1 220   5200 1600 1 17    1100
pthread-wmm/mix017_pso.oepc_false-unreach-call.i 0 20   1300 160 0 92    2400
pthread-wmm/mix017_pso.opt_false-unreach-call.i 1 290   5300 1800 1 16    430
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i 0 22   1300 160 0 92    2400
pthread-wmm/mix017_rmo.opt_false-unreach-call.i 1 220   5000 1400 1 24    1100
pthread-wmm/mix017_tso.oepc_false-unreach-call.i 1 21   1300 170 1 88    2400
pthread-wmm/mix017_tso.opt_false-unreach-call.i 1 300   5400 1800 1 15    620
pthread-wmm/mix018_power.oepc_false-unreach-call.i 1 25   1300 190 1 88    2500
pthread-wmm/mix018_power.opt_false-unreach-call.i 1 290   5400 1800 1 10    630
pthread-wmm/mix018_pso.oepc_false-unreach-call.i 0 20   1200 170 0 91    2400
pthread-wmm/mix018_pso.opt_false-unreach-call.i 1 290   5400 1800 1 16    610
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i 0 20   1300 160 0 92    2400
pthread-wmm/mix018_rmo.opt_false-unreach-call.i 1 290   5400 1700 1 16    450
pthread-wmm/mix018_tso.oepc_false-unreach-call.i 1 110   4200 650 1 37    1600
pthread-wmm/mix018_tso.opt_false-unreach-call.i 1 280   5600 1700 1 15    570
pthread-wmm/mix019_power.oepc_false-unreach-call.i 1 14   660 110 1 15    830
pthread-wmm/mix019_power.opt_false-unreach-call.i 1 34   1600 220 1 7.9  270
pthread-wmm/mix019_pso.oepc_false-unreach-call.i 1 14   680 110 1 23    790
pthread-wmm/mix019_pso.opt_false-unreach-call.i 1 31   1600 250 1 4.4  280
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i 1 14   660 110 1 20    820
pthread-wmm/mix019_rmo.opt_false-unreach-call.i 1 33   1600 220 1 6.1  270
pthread-wmm/mix019_tso.oepc_false-unreach-call.i 1 17   1100 150 1 6.7  430
pthread-wmm/mix019_tso.opt_false-unreach-call.i 1 31   1600 230 1 6.7  290
pthread-wmm/mix020_power.oepc_false-unreach-call.i 1 20   1200 170 1 85    2500
pthread-wmm/mix020_power.opt_false-unreach-call.i 1 290   5400 1700 1 9.2  630
pthread-wmm/mix020_pso.oepc_false-unreach-call.i 0 21   1200 170 0 92    2400
pthread-wmm/mix020_pso.opt_false-unreach-call.i 1 280   5200 2000 1 16    620
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i 0 22   1200 150 0 92    2400
pthread-wmm/mix020_rmo.opt_false-unreach-call.i 1 290   5400 1900 1 15    630
pthread-wmm/mix020_tso.oepc_false-unreach-call.i 0 21   1300 170 0 92    2400
pthread-wmm/mix020_tso.opt_false-unreach-call.i 1 280   5400 2200 1 9.0  620
pthread-wmm/mix021_power.oepc_false-unreach-call.i 0 25   1400 200 0 92    2400
pthread-wmm/mix021_power.opt_false-unreach-call.i 1 290   5300 1800 1 14    550
pthread-wmm/mix021_pso.oepc_false-unreach-call.i 0 20   1200 160 0 92    2400
pthread-wmm/mix021_pso.opt_false-unreach-call.i 1 290   5300 1700 1 14    630
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i 0 20   1200 160 0 91    2400
pthread-wmm/mix021_rmo.opt_false-unreach-call.i 1 290   5400 1800 1 15    620
pthread-wmm/mix021_tso.oepc_false-unreach-call.i 1 180   4700 1500 1 33    1100
pthread-wmm/mix021_tso.opt_false-unreach-call.i 1 290   5200 1700 1 13    610
pthread-wmm/mix022_power.oepc_false-unreach-call.i 1 10   600 76 1 3.9  270
pthread-wmm/mix022_power.opt_false-unreach-call.i 1 11   590 77 1 7.2  270
pthread-wmm/mix022_pso.oepc_false-unreach-call.i 1 10   620 82 1 6.4  270
pthread-wmm/mix022_pso.opt_false-unreach-call.i 1 10   580 82 1 6.2  270
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i 1 11   610 83 1 4.5  260
pthread-wmm/mix022_rmo.opt_false-unreach-call.i 1 11   600 84 1 6.6  260
pthread-wmm/mix022_tso.oepc_false-unreach-call.i 1 11   600 97 1 7.3  310
pthread-wmm/mix022_tso.opt_false-unreach-call.i 1 12   600 97 1 4.9  330
pthread-wmm/mix023_power.oepc_false-unreach-call.i 0 38   1800 260 0 92    2400
pthread-wmm/mix023_power.opt_false-unreach-call.i 1 460   6200 3000 1 35    1600
pthread-wmm/mix023_pso.oepc_false-unreach-call.i 0 36   1700 240 0 98    2400
pthread-wmm/mix023_pso.opt_false-unreach-call.i 1 440   6100 3500 1 26    1700
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i 0 35   1800 240 0 91    2500
pthread-wmm/mix023_rmo.opt_false-unreach-call.i 1 450   6100 3600 1 36    1700
pthread-wmm/mix023_tso.oepc_false-unreach-call.i 0 900   5100 5900 0 .40 43
pthread-wmm/mix023_tso.opt_false-unreach-call.i 0 900   5100 4900 0 .43 44
pthread-wmm/mix024_power.oepc_false-unreach-call.i 1 17   870 120 1 37    1600
pthread-wmm/mix024_power.opt_false-unreach-call.i 1 31   1600 260 1 6.5  430
pthread-wmm/mix024_pso.oepc_false-unreach-call.i 1 17   820 120 1 36    1600
pthread-wmm/mix024_pso.opt_false-unreach-call.i 1 30   1600 230 1 11    380
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i 1 16   890 110 1 28    1700
pthread-wmm/mix024_rmo.opt_false-unreach-call.i 1 31   1600 200 1 11    420
pthread-wmm/mix024_tso.oepc_false-unreach-call.i 1 15   940 100 1 36    1600
pthread-wmm/mix024_tso.opt_false-unreach-call.i 1 15   870 100 1 27    1700
pthread-wmm/mix025_power.oepc_false-unreach-call.i 1 15   880 110 1 14    800
pthread-wmm/mix025_power.opt_false-unreach-call.i 1 16   880 100 1 22    830
pthread-wmm/mix025_pso.oepc_false-unreach-call.i 1 16   880 110 1 21    800
pthread-wmm/mix025_pso.opt_false-unreach-call.i 1 31   1600 220 1 9.1  430
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i 1 15   910 120 1 22    930
pthread-wmm/mix025_rmo.opt_false-unreach-call.i 1 30   1600 230 1 11    430
pthread-wmm/mix025_tso.oepc_false-unreach-call.i 1 15   920 120 1 15    850
pthread-wmm/mix025_tso.opt_false-unreach-call.i 1 15   830 110 1 23    790
pthread-wmm/mix026_power.oepc_false-unreach-call.i 0 25   1500 190 0 92    2300
pthread-wmm/mix026_power.opt_false-unreach-call.i 1 160   4700 1100 1 46    2000
pthread-wmm/mix026_pso.oepc_false-unreach-call.i 0 28   1500 220 0 92    2300
pthread-wmm/mix026_pso.opt_false-unreach-call.i 1 280   5400 2300 1 26    1100
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i 0 27   1500 190 0 92    2400
pthread-wmm/mix026_rmo.opt_false-unreach-call.i 1 310   5500 2200 1 30    1200
pthread-wmm/mix026_tso.oepc_false-unreach-call.i 0 31   1600 210 0 91    2400
pthread-wmm/mix026_tso.opt_false-unreach-call.i 1 170   4800 1200 1 44    2100
pthread-wmm/mix027_power.oepc_false-unreach-call.i 0 23   1400 180 0 93    2300
pthread-wmm/mix027_power.opt_false-unreach-call.i 1 290   5500 2300 1 18    1100
pthread-wmm/mix027_pso.oepc_false-unreach-call.i 0 25   1500 200 0 97    2400
pthread-wmm/mix027_pso.opt_false-unreach-call.i 1 280   5300 2200 1 20    1200
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i 0 24   1400 180 0 92    2400
pthread-wmm/mix027_rmo.opt_false-unreach-call.i 1 290   5400 2000 1 26    1400
pthread-wmm/mix027_tso.oepc_false-unreach-call.i 1 130   4400 850 1 36    1700
pthread-wmm/mix027_tso.opt_false-unreach-call.i 1 140   4400 860 1 37    1600
pthread-wmm/mix028_power.oepc_false-unreach-call.i 1 15   870 120 1 14    850
pthread-wmm/mix028_power.opt_false-unreach-call.i 1 22   1400 160 1 6.4  440
pthread-wmm/mix028_pso.oepc_false-unreach-call.i 1 16   910 130 1 23    840
pthread-wmm/mix028_pso.opt_false-unreach-call.i 1 21   1400 160 1 11    430
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i 1 15   900 130 1 15    940
pthread-wmm/mix028_rmo.opt_false-unreach-call.i 1 22   1300 170 1 11    380
pthread-wmm/mix028_tso.oepc_false-unreach-call.i 1 38   1700 250 1 9.1  420
pthread-wmm/mix028_tso.opt_false-unreach-call.i 1 30   1600 260 1 8.6  420
pthread-wmm/mix029_power.oepc_false-unreach-call.i 0 22   1400 170 0 93    2300
pthread-wmm/mix029_power.opt_false-unreach-call.i 1 270   4900 1600 1 28    1100
pthread-wmm/mix029_pso.oepc_false-unreach-call.i 0 29   1500 230 0 91    2600
pthread-wmm/mix029_pso.opt_false-unreach-call.i 1 250   4800 2200 1 30    1400
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i 0 23   1400 170 0 92    2400
pthread-wmm/mix029_rmo.opt_false-unreach-call.i 1 250   4800 1700 1 28    1400
pthread-wmm/mix029_tso.oepc_false-unreach-call.i 0 25   1400 190 0 92    2300
pthread-wmm/mix029_tso.opt_false-unreach-call.i 0 23   1400 170 0 91    2400
pthread-wmm/mix030_power.oepc_false-unreach-call.i 0 23   1400 180 0 91    2400
pthread-wmm/mix030_power.opt_false-unreach-call.i 1 240   5000 2000 1 31    1300
pthread-wmm/mix030_pso.oepc_false-unreach-call.i 0 24   1400 200 0 92    2400
pthread-wmm/mix030_pso.opt_false-unreach-call.i 1 250   4900 1600 1 22    1400
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i 0 24   1400 180 0 91    2300
pthread-wmm/mix030_rmo.opt_false-unreach-call.i 1 260   5000 1800 1 19    1300
pthread-wmm/mix030_tso.oepc_false-unreach-call.i 1 310   5600 2200 1 16    610
pthread-wmm/mix030_tso.opt_false-unreach-call.i 1 310   5300 1900 1 11    610
pthread-wmm/mix031_power.oepc_false-unreach-call.i 1 9.7 590 78 1 6.5  270
pthread-wmm/mix031_power.opt_false-unreach-call.i 1 9.6 530 78 1 4.3  280
pthread-wmm/mix031_pso.oepc_false-unreach-call.i 1 11   590 83 1 7.3  280
pthread-wmm/mix031_pso.opt_false-unreach-call.i 1 9.1 550 68 1 6.7  270
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i 1 11   600 84 1 7.1  270
pthread-wmm/mix031_rmo.opt_false-unreach-call.i 1 10   530 80 1 6.3  270
pthread-wmm/mix031_tso.oepc_false-unreach-call.i 1 11   600 73 1 6.1  280
pthread-wmm/mix031_tso.opt_false-unreach-call.i 1 9.4 510 72 1 4.6  270
pthread-wmm/mix032_power.oepc_false-unreach-call.i 1 17   860 110 1 20    910
pthread-wmm/mix032_power.opt_false-unreach-call.i 1 17   1000 120 1 7.3  370
pthread-wmm/mix032_pso.oepc_false-unreach-call.i 1 15   880 110 1 21    870
pthread-wmm/mix032_pso.opt_false-unreach-call.i 1 17   1000 140 1 7.4  370
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i 1 15   740 110 1 18    840
pthread-wmm/mix032_rmo.opt_false-unreach-call.i 1 18   1000 130 1 8.6  290
pthread-wmm/mix032_tso.oepc_false-unreach-call.i 1 15   850 120 1 22    920
pthread-wmm/mix032_tso.opt_false-unreach-call.i 1 18   1000 140 1 9.1  360
pthread-wmm/mix033_power.oepc_false-unreach-call.i 1 15   850 140 1 13    950
pthread-wmm/mix033_power.opt_false-unreach-call.i 1 16   980 120 1 4.7  360
pthread-wmm/mix033_pso.oepc_false-unreach-call.i 1 14   740 110 1 21    960
pthread-wmm/mix033_pso.opt_false-unreach-call.i 1 18   1000 130 1 7.9  360
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i 1 14   740 110 1 14    990
pthread-wmm/mix033_rmo.opt_false-unreach-call.i 1 17   980 140 1 8.4  360
pthread-wmm/mix033_tso.oepc_false-unreach-call.i 1 20   1400 150 1 19    640
pthread-wmm/mix033_tso.opt_false-unreach-call.i 1 16   950 120 1 6.8  360
pthread-wmm/mix034_power.oepc_false-unreach-call.i 1 11   600 78 1 5.8  270
pthread-wmm/mix034_power.opt_false-unreach-call.i 1 10   580 84 1 5.9  270
pthread-wmm/mix034_pso.oepc_false-unreach-call.i 1 10   600 85 1 5.5  270
pthread-wmm/mix034_pso.opt_false-unreach-call.i 1 8.7 500 69 1 5.8  260
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i 1 9.5 580 74 1 7.2  260
pthread-wmm/mix034_rmo.opt_false-unreach-call.i 1 9.8 600 88 1 6.9  260
pthread-wmm/mix034_tso.oepc_false-unreach-call.i 1 11   600 86 1 6.0  270
pthread-wmm/mix034_tso.opt_false-unreach-call.i 1 9.7 500 75 1 6.0  270
pthread-wmm/mix035_power.oepc_false-unreach-call.i 1 15   670 110 1 22    920
pthread-wmm/mix035_power.opt_false-unreach-call.i 1 21   1300 150 1 11    420
pthread-wmm/mix035_pso.oepc_false-unreach-call.i 1 14   650 110 1 23    900
pthread-wmm/mix035_pso.opt_false-unreach-call.i 1 16   940 140 1 4.5  340
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i 1 14   670 100 1 13    950
pthread-wmm/mix035_rmo.opt_false-unreach-call.i 1 30   1600 200 1 10    430
pthread-wmm/mix035_tso.oepc_false-unreach-call.i 1 14   650 120 1 21    920
pthread-wmm/mix035_tso.opt_false-unreach-call.i 1 16   900 120 1 4.5  340
pthread-wmm/mix036_power.oepc_false-unreach-call.i 0 22   1300 160 0 91    2400
pthread-wmm/mix036_power.opt_false-unreach-call.i 1 230   5200 1700 1 20    1300
pthread-wmm/mix036_pso.oepc_false-unreach-call.i 0 22   1300 150 0 92    2400
pthread-wmm/mix036_pso.opt_false-unreach-call.i 1 150   4800 1100 1 20    700
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i 0 21   1200 180 0 92    2500
pthread-wmm/mix036_rmo.opt_false-unreach-call.i 1 230   5200 1500 1 19    1400
pthread-wmm/mix036_tso.oepc_false-unreach-call.i 0 21   1300 150 0 92    2400
pthread-wmm/mix036_tso.opt_false-unreach-call.i 1 150   4700 970 1 12    740
pthread-wmm/mix037_power.oepc_false-unreach-call.i 0 20   1300 170 0 92    2500
pthread-wmm/mix037_power.opt_false-unreach-call.i 1 150   4700 930 1 12    690
pthread-wmm/mix037_pso.oepc_false-unreach-call.i 0 26   1400 180 0 91    2400
pthread-wmm/mix037_pso.opt_false-unreach-call.i 1 150   4800 990 1 19    710
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i 0 20   1200 170 0 92    2400
pthread-wmm/mix037_rmo.opt_false-unreach-call.i 1 130   4700 1100 1 21    720
pthread-wmm/mix037_tso.oepc_false-unreach-call.i 1 100   4300 670 1 34    1800
pthread-wmm/mix037_tso.opt_false-unreach-call.i 1 140   4700 790 1 20    720
pthread-wmm/mix038_power.oepc_false-unreach-call.i 1 14   660 120 1 14    840
pthread-wmm/mix038_power.opt_false-unreach-call.i 1 16   900 150 1 7.1  340
pthread-wmm/mix038_pso.oepc_false-unreach-call.i 1 14   650 100 1 20    950
pthread-wmm/mix038_pso.opt_false-unreach-call.i 1 16   1100 150 1 4.5  340
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i 1 14   670 120 1 23    940
pthread-wmm/mix038_rmo.opt_false-unreach-call.i 1 16   980 140 1 7.2  340
pthread-wmm/mix038_tso.oepc_false-unreach-call.i 1 18   1000 150 1 7.4  420
pthread-wmm/mix038_tso.opt_false-unreach-call.i 1 16   950 130 1 7.8  320
pthread-wmm/mix039_power.oepc_false-unreach-call.i 0 21   1300 150 0 92    2400
pthread-wmm/mix039_power.opt_false-unreach-call.i 1 150   4600 920 1 20    710
pthread-wmm/mix039_pso.oepc_false-unreach-call.i 0 22   1200 160 0 92    2400
pthread-wmm/mix039_pso.opt_false-unreach-call.i 1 140   4700 1200 1 18    640
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i 0 22   1200 160 0 92    2400
pthread-wmm/mix039_rmo.opt_false-unreach-call.i 1 150   4700 1100 1 11    700
pthread-wmm/mix039_tso.oepc_false-unreach-call.i 0 21   1200 160 0 91    2500
pthread-wmm/mix039_tso.opt_false-unreach-call.i 1 140   4700 970 1 19    710
pthread-wmm/mix040_power.oepc_false-unreach-call.i 0 20   1200 170 0 93    2400
pthread-wmm/mix040_power.opt_false-unreach-call.i 1 150   4700 1300 1 19    690
pthread-wmm/mix040_pso.oepc_false-unreach-call.i 0 22   1400 160 0 92    2400
pthread-wmm/mix040_pso.opt_false-unreach-call.i 1 150   4800 1200 1 11    680
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i 0 21   1200 150 0 92    2300
pthread-wmm/mix040_rmo.opt_false-unreach-call.i 1 150   4800 1000 1 19    690
pthread-wmm/mix040_tso.oepc_false-unreach-call.i 1 190   4800 1200 1 26    1400
pthread-wmm/mix040_tso.opt_false-unreach-call.i 1 140   4800 920 1 19    680
pthread-wmm/mix041_power.oepc_false-unreach-call.i 1 10   640 84 1 6.0  280
pthread-wmm/mix041_power.opt_false-unreach-call.i 1 8.3 460 74 1 7.8  290
pthread-wmm/mix041_pso.oepc_false-unreach-call.i 1 9.5 600 66 1 6.2  270
pthread-wmm/mix041_pso.opt_false-unreach-call.i 1 8.3 460 69 1 6.8  290
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i 1 9.7 620 83 1 3.9  270
pthread-wmm/mix041_rmo.opt_false-unreach-call.i 1 8.1 460 63 1 6.7  300
pthread-wmm/mix041_tso.oepc_false-unreach-call.i 1 8.8 460 69 1 7.0  280
pthread-wmm/mix041_tso.opt_false-unreach-call.i 1 8.4 450 71 1 6.7  290
pthread-wmm/mix042_power.oepc_false-unreach-call.i 1 13   660 110 1 22    850
pthread-wmm/mix042_power.opt_false-unreach-call.i 1 15   710 120 1 6.4  420
pthread-wmm/mix042_pso.oepc_false-unreach-call.i 1 14   710 120 1 21    910
pthread-wmm/mix042_pso.opt_false-unreach-call.i 1 16   700 120 1 7.0  420
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i 1 13   670 100 1 23    950
pthread-wmm/mix042_rmo.opt_false-unreach-call.i 1 14   700 110 1 10    420
pthread-wmm/mix042_tso.oepc_false-unreach-call.i 1 15   680 110 1 21    940
pthread-wmm/mix042_tso.opt_false-unreach-call.i 1 14   690 120 1 11    410
pthread-wmm/mix043_power.oepc_false-unreach-call.i 1 21   1300 150 1 89    2500
pthread-wmm/mix043_power.opt_false-unreach-call.i 1 100   4200 730 1 12    700
pthread-wmm/mix043_pso.oepc_false-unreach-call.i 0 21   1200 150 0 92    2400
pthread-wmm/mix043_pso.opt_false-unreach-call.i 1 87   4200 660 1 19    700
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i 0 22   1300 160 0 93    2400
pthread-wmm/mix043_rmo.opt_false-unreach-call.i 1 85   4100 600 1 22    660
pthread-wmm/mix043_tso.oepc_false-unreach-call.i 0 20   1200 150 0 91    2500
pthread-wmm/mix043_tso.opt_false-unreach-call.i 1 92   4300 720 1 22    720
pthread-wmm/mix044_power.oepc_false-unreach-call.i 1 21   1200 170 1 89    2500
pthread-wmm/mix044_power.opt_false-unreach-call.i 1 90   4200 630 1 24    690
pthread-wmm/mix044_pso.oepc_false-unreach-call.i 0 20   1200 170 0 92    2400
pthread-wmm/mix044_pso.opt_false-unreach-call.i 1 84   4000 540 1 22    720
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i 0 22   1300 170 0 92    2500
pthread-wmm/mix044_rmo.opt_false-unreach-call.i 1 99   4300 650 1 21    620
pthread-wmm/mix044_tso.oepc_false-unreach-call.i 1 110   4300 700 1 27    1800
pthread-wmm/mix044_tso.opt_false-unreach-call.i 1 89   4200 700 1 22    640
pthread-wmm/mix045_power.oepc_false-unreach-call.i 1 14   670 100 1 20    910
pthread-wmm/mix045_power.opt_false-unreach-call.i 1 15   700 110 1 11    410
pthread-wmm/mix045_pso.oepc_false-unreach-call.i 1 14   650 110 1 19    940
pthread-wmm/mix045_pso.opt_false-unreach-call.i 1 16   680 120 1 11    410
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i 1 14   690 110 1 14    840
pthread-wmm/mix045_rmo.opt_false-unreach-call.i 1 14   710 100 1 11    420
pthread-wmm/mix045_tso.oepc_false-unreach-call.i 1 15   690 120 1 11    320
pthread-wmm/mix045_tso.opt_false-unreach-call.i 1 15   690 110 1 10    420
pthread-wmm/mix046_power.oepc_false-unreach-call.i 0 20   1200 170 0 91    2500
pthread-wmm/mix046_power.opt_false-unreach-call.i 1 92   4200 700 1 15    740
pthread-wmm/mix046_pso.oepc_false-unreach-call.i 0 21   1200 160 0 92    2400
pthread-wmm/mix046_pso.opt_false-unreach-call.i 1 94   4300 680 1 22    710
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i 0 22   1300 180 0 92    2500
pthread-wmm/mix046_rmo.opt_false-unreach-call.i 1 90   4300 600 1 18    700
pthread-wmm/mix046_tso.oepc_false-unreach-call.i 0 21   1200 150 0 92    2300
pthread-wmm/mix046_tso.opt_false-unreach-call.i 1 100   4200 810 1 22    700
pthread-wmm/mix047_power.oepc_false-unreach-call.i 0 21   1300 150 0 92    2400
pthread-wmm/mix047_power.opt_false-unreach-call.i 1 94   4200 660 1 22    710
pthread-wmm/mix047_pso.oepc_false-unreach-call.i 0 22   1300 170 0 92    2400
pthread-wmm/mix047_pso.opt_false-unreach-call.i 1 91   4200 640 1 23    700
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i 0 27   1400 190 0 92    2400
pthread-wmm/mix047_rmo.opt_false-unreach-call.i 1 86   4300 740 1 20    700
pthread-wmm/mix047_tso.oepc_false-unreach-call.i 1 90   4300 620 1 21    710
pthread-wmm/mix047_tso.opt_false-unreach-call.i 1 91   4200 580 1 21    690
pthread-wmm/mix048_power.oepc_false-unreach-call.i 1 9.6 600 77 1 6.1  260
pthread-wmm/mix048_power.opt_false-unreach-call.i 1 9.8 620 77 1 6.9  280
pthread-wmm/mix048_pso.oepc_false-unreach-call.i 1 9.8 600 77 1 5.9  270
pthread-wmm/mix048_pso.opt_false-unreach-call.i 1 9.9 590 85 1 5.5  270
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i 1 9.5 580 72 1 5.6  270
pthread-wmm/mix048_rmo.opt_false-unreach-call.i 1 9.8 600 78 1 7.1  270
pthread-wmm/mix048_tso.oepc_false-unreach-call.i 1 10   590 78 1 4.0  270
pthread-wmm/mix048_tso.opt_false-unreach-call.i 1 9.6 580 84 1 6.7  270
pthread-wmm/mix049_power.oepc_false-unreach-call.i 1 15   680 100 1 14    740
pthread-wmm/mix049_power.opt_false-unreach-call.i 1 14   670 120 1 20    750
pthread-wmm/mix049_pso.oepc_false-unreach-call.i 1 15   660 110 1 22    800
pthread-wmm/mix049_pso.opt_false-unreach-call.i 1 13   660 110 1 13    720
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i 1 13   670 110 1 23    780
pthread-wmm/mix049_rmo.opt_false-unreach-call.i 1 14   690 100 1 24    890
pthread-wmm/mix049_tso.oepc_false-unreach-call.i 1 13   660 110 1 22    750
pthread-wmm/mix049_tso.opt_false-unreach-call.i 1 15   650 120 1 21    690
pthread-wmm/mix050_power.oepc_false-unreach-call.i 0 20   1400 170 0 91    2400
pthread-wmm/mix050_power.opt_false-unreach-call.i 0 20   1200 170 0 92    2400
pthread-wmm/mix050_pso.oepc_false-unreach-call.i 1 20   1200 150 1 88    2500
pthread-wmm/mix050_pso.opt_false-unreach-call.i 0 21   1400 150 0 92    2400
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i 0 21   1200 150 0 92    2400
pthread-wmm/mix050_rmo.opt_false-unreach-call.i 1 20   1200 140 1 85    2400
pthread-wmm/mix050_tso.oepc_false-unreach-call.i 0 21   1400 150 0 92    2400
pthread-wmm/mix050_tso.opt_false-unreach-call.i 0 20   1200 170 0 92    2400
pthread-wmm/mix051_power.oepc_false-unreach-call.i 0 20   1300 140 0 92    2500
pthread-wmm/mix051_power.opt_false-unreach-call.i 0 20   1300 160 0 92    2400
pthread-wmm/mix051_pso.oepc_false-unreach-call.i 0 21   1300 170 0 93    2400
pthread-wmm/mix051_pso.opt_false-unreach-call.i 1 130   4600 790 1 15    470
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i 0 19   1200 140 0 92    2400
pthread-wmm/mix051_rmo.opt_false-unreach-call.i 1 120   4600 870 1 12    500
pthread-wmm/mix051_tso.oepc_false-unreach-call.i 1 93   4000 680 1 36    1500
pthread-wmm/mix051_tso.opt_false-unreach-call.i 1 120   4700 840 1 12    470
pthread-wmm/mix052_power.oepc_false-unreach-call.i 1 14   670 100 1 20    750
pthread-wmm/mix052_power.opt_false-unreach-call.i 1 13   660 110 1 22    780
pthread-wmm/mix052_pso.oepc_false-unreach-call.i 1 14   670 120 1 20    730
pthread-wmm/mix052_pso.opt_false-unreach-call.i 1 16   980 140 1 5.8  270
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i 1 13   660 110 1 20    750
pthread-wmm/mix052_rmo.opt_false-unreach-call.i 1 17   920 110 1 4.3  270
pthread-wmm/mix052_tso.oepc_false-unreach-call.i 1 18   1000 140 1 10    420
pthread-wmm/mix052_tso.opt_false-unreach-call.i 1 16   940 130 1 6.0  260
pthread-wmm/mix053_power.oepc_false-unreach-call.i 0 20   1200 150 0 92    2400
pthread-wmm/mix053_power.opt_false-unreach-call.i 1 130   4600 780 1 13    470
pthread-wmm/mix053_pso.oepc_false-unreach-call.i 0 20   1100 150 0 92    2400
pthread-wmm/mix053_pso.opt_false-unreach-call.i 1 120   4700 900 1 12    470
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i 0 26   1300 190 0 91    2400
pthread-wmm/mix053_rmo.opt_false-unreach-call.i 1 120   4600 1000 1 12    430
pthread-wmm/mix053_tso.oepc_false-unreach-call.i 1 170   4600 1200 1 28    1100
pthread-wmm/mix053_tso.opt_false-unreach-call.i 1 120   4600 920 1 13    470
pthread-wmm/mix054_power.oepc_false-unreach-call.i 1 10   620 74 1 5.8  260
pthread-wmm/mix054_power.opt_false-unreach-call.i 1 9.9 620 79 1 5.3  270
pthread-wmm/mix054_pso.oepc_false-unreach-call.i 1 9.8 590 75 1 6.7  280
pthread-wmm/mix054_pso.opt_false-unreach-call.i 1 8.1 460 61 1 7.0  290
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i 1 9.5 590 76 1 7.3  270
pthread-wmm/mix054_rmo.opt_false-unreach-call.i 1 7.8 460 62 1 7.4  290
pthread-wmm/mix054_tso.oepc_false-unreach-call.i 1 8.9 450 74 1 7.5  290
pthread-wmm/mix054_tso.opt_false-unreach-call.i 1 7.9 460 69 1 6.7  290
pthread-wmm/mix055_power.oepc_false-unreach-call.i 0 20   1300 170 0 92    2400
pthread-wmm/mix055_power.opt_false-unreach-call.i 1 84   4200 640 1 10    470
pthread-wmm/mix055_pso.oepc_false-unreach-call.i 1 25   1300 180 1 88    2400
pthread-wmm/mix055_pso.opt_false-unreach-call.i 1 87   4200 640 1 14    490
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i 0 21   1200 160 0 93    2400
pthread-wmm/mix055_rmo.opt_false-unreach-call.i 1 90   4100 640 1 16    480
pthread-wmm/mix055_tso.oepc_false-unreach-call.i 1 91   3900 700 1 35    1700
pthread-wmm/mix055_tso.opt_false-unreach-call.i 1 93   4200 680 1 16    440
pthread-wmm/mix056_power.oepc_false-unreach-call.i 1 13   690 100 1 22    730
pthread-wmm/mix056_power.opt_false-unreach-call.i 1 13   690 110 1 9.5  420
pthread-wmm/mix056_pso.oepc_false-unreach-call.i 1 15   660 100 1 14    770
pthread-wmm/mix056_pso.opt_false-unreach-call.i 1 13   720 120 1 9.7  300
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i 1 15   650 110 1 21    770
pthread-wmm/mix056_rmo.opt_false-unreach-call.i 1 13   690 100 1 8.1  410
pthread-wmm/mix056_tso.oepc_false-unreach-call.i 1 15   720 110 1 5.2  430
pthread-wmm/mix056_tso.opt_false-unreach-call.i 1 15   690 130 1 8.7  420
pthread-wmm/mix057_power.oepc_false-unreach-call.i 1 26   1300 180 1 88    2400
pthread-wmm/mix057_power.opt_false-unreach-call.i 1 85   4200 540 1 15    520
pthread-wmm/mix057_pso.oepc_false-unreach-call.i 0 21   1300 160 0 92    2400
pthread-wmm/mix057_pso.opt_false-unreach-call.i 1 80   3600 540 1 15    510
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i 0 19   1100 140 0 92    2400
pthread-wmm/mix057_rmo.opt_false-unreach-call.i 1 86   3700 610 1 15    430
pthread-wmm/mix057_tso.oepc_false-unreach-call.i 1 86   4000 570 1 16    520
pthread-wmm/mix057_tso.opt_false-unreach-call.i 1 84   3800 600 1 14    530
pthread-wmm/podwr000_power.oepc_false-unreach-call.i 1 11   600 76 1 5.8  280
pthread-wmm/podwr000_power.opt_false-unreach-call.i 1 9.1 590 72 1 6.4  280
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i 1 9.9 600 69 1 4.3  280
pthread-wmm/podwr000_pso.opt_false-unreach-call.i 1 9.8 600 75 1 6.1  270
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i 1 10   600 86 1 3.9  270
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i 1 9.4 610 78 1 6.2  270
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i 1 9.6 580 75 1 6.4  270
pthread-wmm/podwr000_tso.opt_false-unreach-call.i 1 9.6 580 70 1 7.3  270
pthread-wmm/podwr001_power.oepc_false-unreach-call.i 1 14   670 120 1 20    780
pthread-wmm/podwr001_power.opt_false-unreach-call.i 1 14   660 100 1 19    730
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i 1 14   670 110 1 19    740
pthread-wmm/podwr001_pso.opt_false-unreach-call.i 1 14   670 110 1 20    920
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i 1 14   690 120 1 23    740
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i 1 14   680 120 1 19    720
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i 1 13   640 120 1 14    750
pthread-wmm/podwr001_tso.opt_false-unreach-call.i 1 15   690 110 1 20    770
pthread-wmm/rfi000_power.oepc_false-unreach-call.i 1 16   780 120 1 5.3  350
pthread-wmm/rfi000_power.opt_false-unreach-call.i 1 9.4 470 76 1 4.4  290
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i 1 15   810 110 1 7.0  340
pthread-wmm/rfi000_pso.opt_false-unreach-call.i 1 10   470 71 1 4.6  300
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i 1 15   780 120 1 5.0  340
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i 1 9.4 470 83 1 6.7  260
pthread-wmm/rfi001_power.oepc_false-unreach-call.i 1 10   590 79 1 4.0  270
pthread-wmm/rfi001_power.opt_false-unreach-call.i 1 8.2 450 62 1 6.1  290
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i 1 11   620 77 1 6.2  270
pthread-wmm/rfi001_pso.opt_false-unreach-call.i 1 8.3 460 69 1 4.4  300
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i 1 11   580 85 1 4.0  270
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i 1 8.4 480 71 1 4.7  290
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i 1 7.8 450 64 1 4.8  290
pthread-wmm/rfi001_tso.opt_false-unreach-call.i 1 8.2 460 70 1 4.1  290
pthread-wmm/rfi003_power.oepc_false-unreach-call.i 1 10   630 84 1 7.3  300
pthread-wmm/rfi003_power.opt_false-unreach-call.i 1 10   620 79 1 4.5  310
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i 1 11   620 81 1 6.8  300
pthread-wmm/rfi003_pso.opt_false-unreach-call.i 1 11   610 74 1 6.9  290
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i 1 9.8 610 84 1 4.5  310
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i 1 11   640 86 1 7.6  270
pthread-wmm/rfi004_power.oepc_false-unreach-call.i 1 9.2 510 79 1 6.1  270
pthread-wmm/rfi004_power.opt_false-unreach-call.i 1 8.9 510 67 1 3.7  270
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i 1 9.4 500 72 1 4.0  260
pthread-wmm/rfi004_pso.opt_false-unreach-call.i 1 9.0 520 70 1 5.7  260
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i 1 9.3 490 68 1 4.2  270
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i 1 9.6 500 84 1 5.7  270
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i 1 10   510 82 1 3.9  270
pthread-wmm/rfi004_tso.opt_false-unreach-call.i 1 9.0 490 68 1 6.1  270
pthread-wmm/rfi005_power.oepc_false-unreach-call.i 1 8.7 590 74 1 6.4  280
pthread-wmm/rfi005_power.opt_false-unreach-call.i 1 9.1 610 79 1 5.3  280
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i 1 8.2 570 68 1 5.6  270
pthread-wmm/rfi005_pso.opt_false-unreach-call.i 1 9.1 600 66 1 5.6  270
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i 1 9.5 580 75 1 5.4  270
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i 1 8.5 570 63 1 3.8  280
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i 1 9.1 590 79 1 5.3  270
pthread-wmm/rfi005_tso.opt_false-unreach-call.i 1 8.9 590 75 1 6.2  270
pthread-wmm/rfi006_power.oepc_false-unreach-call.i 1 9.1 570 72 1 6.6  270
pthread-wmm/rfi006_power.opt_false-unreach-call.i 1 9.2 580 80 1 4.2  270
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i 1 41   2000 310 1 8.0  470
pthread-wmm/rfi006_pso.opt_false-unreach-call.i 1 40   1900 310 1 7.8  470
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i 1 8.7 590 70 1 5.7  270
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i 1 8.4 560 65 1 3.8  270
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i 1 42   2100 280 1 11    480
pthread-wmm/rfi006_tso.opt_false-unreach-call.i 1 47   2100 300 1 13    480
pthread-wmm/rfi007_power.oepc_false-unreach-call.i 1 9.5 580 82 1 4.1  280
pthread-wmm/rfi007_power.opt_false-unreach-call.i 1 9.5 600 77 1 6.3  280
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i 1 10   580 87 1 6.3  270
pthread-wmm/rfi007_pso.opt_false-unreach-call.i 1 10   570 82 1 6.9  270
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i 1 11   600 78 1 6.4  270
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i 1 11   620 76 1 4.2  280
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i 1 12   590 94 1 4.9  310
pthread-wmm/rfi007_tso.opt_false-unreach-call.i 1 11   600 89 1 8.2  310
pthread-wmm/rfi008_power.oepc_false-unreach-call.i 1 12   690 110 1 6.8  280
pthread-wmm/rfi008_power.opt_false-unreach-call.i 1 13   590 100 1 5.8  270
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i 1 13   670 100 1 7.0  280
pthread-wmm/rfi008_pso.opt_false-unreach-call.i 1 12   580 92 1 6.2  270
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i 1 13   760 100 1 4.2  280
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i 1 12   610 88 1 4.1  270
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i 1 13   620 110 1 7.0  270
pthread-wmm/rfi008_tso.opt_false-unreach-call.i 1 11   570 91 1 6.3  270
pthread-wmm/rfi009_power.oepc_false-unreach-call.i 1 10   580 86 1 4.1  270
pthread-wmm/rfi009_power.opt_false-unreach-call.i 1 38   1800 240 1 12    490
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i 1 36   1900 250 1 12    480
pthread-wmm/rfi009_pso.opt_false-unreach-call.i 1 37   1900 270 1 12    380
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i 1 9.0 550 74 1 5.8  280
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i 1 38   1800 300 1 11    490
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i 1 34   1900 230 1 11    490
pthread-wmm/rfi009_tso.opt_false-unreach-call.i 1 38   1900 280 1 7.8  480
pthread-wmm/rfi010_power.oepc_false-unreach-call.i 1 12   630 91 1 6.7  270
pthread-wmm/rfi010_power.opt_false-unreach-call.i 1 13   610 99 1 7.0  270
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i 1 12   600 91 1 7.1  280
pthread-wmm/rfi010_pso.opt_false-unreach-call.i 1 11   590 84 1 6.0  280
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i 1 12   600 93 1 6.7  280
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i 1 12   610 100 1 7.2  270
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i 1 12   600 89 1 4.1  280
pthread-wmm/rfi010_tso.opt_false-unreach-call.i 1 11   590 92 1 7.2  280
pthread-wmm/safe000_power.oepc_false-unreach-call.i 1 9.2 740 80 1 6.4  290
pthread-wmm/safe000_power.opt_false-unreach-call.i 1 24   1200 150 1 5.8  270
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i 1 9.4 610 72 1 6.8  270
pthread-wmm/safe000_rmo.opt_false-unreach-call.i 1 9.4 570 69 1 7.6  270
pthread-wmm/safe001_power.oepc_false-unreach-call.i 1 11   730 87 1 6.7  270
pthread-wmm/safe001_power.opt_false-unreach-call.i 1 25   1500 190 1 12    460
pthread-wmm/safe001_pso.oepc_false-unreach-call.i 1 28   1600 190 1 12    480
pthread-wmm/safe001_pso.opt_false-unreach-call.i 1 28   1700 180 1 6.9  470
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i 1 10   580 81 1 5.8  270
pthread-wmm/safe001_rmo.opt_false-unreach-call.i 1 29   1500 240 1 12    470
pthread-wmm/safe002_power.oepc_false-unreach-call.i 1 10   780 82 1 6.3  270
pthread-wmm/safe002_power.opt_false-unreach-call.i 1 32   1800 230 1 11    470
pthread-wmm/safe002_pso.oepc_false-unreach-call.i 1 40   1700 370 1 6.9  470
pthread-wmm/safe002_pso.opt_false-unreach-call.i 1 34   1800 240 1 11    480
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i 1 9.8 610 79 1 6.5  270
pthread-wmm/safe002_rmo.opt_false-unreach-call.i 1 34   1700 270 1 12    480
pthread-wmm/safe003_power.oepc_false-unreach-call.i 1 20   1200 150 1 40    1500
pthread-wmm/safe003_power.opt_false-unreach-call.i 1 25   1300 170 1 6.1  270
pthread-wmm/safe003_pso.oepc_false-unreach-call.i 1 22   1100 150 1 39    1400
pthread-wmm/safe003_pso.opt_false-unreach-call.i 1 21   1200 170 1 34    1300
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i 1 20   1200 150 1 36    1400
pthread-wmm/safe003_rmo.opt_false-unreach-call.i 1 21   1100 150 1 28    1500
pthread-wmm/safe004_power.oepc_false-unreach-call.i 1 21   1200 160 1 35    1400
pthread-wmm/safe004_power.opt_false-unreach-call.i 1 32   1900 250 1 12    470
pthread-wmm/safe004_pso.oepc_false-unreach-call.i 1 21   1200 170 1 37    1500
pthread-wmm/safe004_pso.opt_false-unreach-call.i 1 35   1800 290 1 12    470
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i 1 26   1300 170 1 35    1300
pthread-wmm/safe004_rmo.opt_false-unreach-call.i 1 32   1800 220 1 8.5  470
pthread-wmm/safe005_power.oepc_false-unreach-call.i 1 34   1800 300 1 12    490
pthread-wmm/safe005_power.opt_false-unreach-call.i 1 33   1900 230 1 13    480
pthread-wmm/safe005_pso.oepc_false-unreach-call.i 1 35   2000 250 1 11    480
pthread-wmm/safe005_pso.opt_false-unreach-call.i 1 33   1800 230 1 11    470
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i 1 35   1900 260 1 11    470
pthread-wmm/safe005_rmo.opt_false-unreach-call.i 1 34   1800 240 1 12    480
pthread-wmm/safe006_power.oepc_false-unreach-call.i 1 9.2 560 70 1 3.7  270
pthread-wmm/safe006_power.opt_false-unreach-call.i 1 12   560 89 1 5.9  270
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i 1 7.3 470 54 1 5.3  260
pthread-wmm/safe006_rmo.opt_false-unreach-call.i 1 7.6 470 62 1 5.5  260
pthread-wmm/safe007_power.oepc_false-unreach-call.i 1 8.9 560 71 1 5.6  270
pthread-wmm/safe007_power.opt_false-unreach-call.i 1 63   2500 420 1 5.7  380
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i 1 7.5 470 57 1 6.8  260
pthread-wmm/safe007_rmo.opt_false-unreach-call.i 1 7.4 460 59 1 5.7  260
pthread-wmm/safe008_power.oepc_false-unreach-call.i 1 11   620 90 1 17    670
pthread-wmm/safe008_power.opt_false-unreach-call.i 1 19   1100 160 1 6.0  270
pthread-wmm/safe008_pso.oepc_false-unreach-call.i 1 12   640 95 1 17    630
pthread-wmm/safe008_pso.opt_false-unreach-call.i 1 12   610 95 1 10    640
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i 1 12   640 100 1 10    630
pthread-wmm/safe008_rmo.opt_false-unreach-call.i 1 12   640 92 1 14    620
pthread-wmm/safe009_power.oepc_false-unreach-call.i 1 10   580 77 1 3.9  270
pthread-wmm/safe009_power.opt_false-unreach-call.i 1 19   1200 160 1 5.6  270
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i 1 7.9 540 60 1 6.1  260
pthread-wmm/safe009_rmo.opt_false-unreach-call.i 1 17   830 120 1 5.9  280
pthread-wmm/safe010_power.oepc_false-unreach-call.i 1 8.2 470 62 1 6.8  290
pthread-wmm/safe010_power.opt_false-unreach-call.i 1 8.0 470 63 1 6.6  290
pthread-wmm/safe010_pso.oepc_false-unreach-call.i 1 7.3 460 61 1 6.8  270
pthread-wmm/safe010_pso.opt_false-unreach-call.i 1 7.7 440 66 1 4.3  290
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i 1 8.3 460 72 1 7.1  280
pthread-wmm/safe010_rmo.opt_false-unreach-call.i 1 8.0 450 69 1 7.1  270
pthread-wmm/safe011_power.oepc_false-unreach-call.i 1 12   640 90 1 16    530
pthread-wmm/safe011_power.opt_false-unreach-call.i 1 18   1100 130 1 10    430
pthread-wmm/safe011_pso.oepc_false-unreach-call.i 1 12   630 92 1 14    640
pthread-wmm/safe011_pso.opt_false-unreach-call.i 1 20   1100 140 1 6.7  420
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i 1 12   610 110 1 16    540
pthread-wmm/safe011_rmo.opt_false-unreach-call.i 1 14   610 95 1 14    490
pthread-wmm/safe012_power.oepc_false-unreach-call.i 1 8.2 580 66 1 6.7  270
pthread-wmm/safe012_power.opt_false-unreach-call.i 1 65   2600 350 1 8.8  380
pthread-wmm/safe012_pso.oepc_false-unreach-call.i 1 20   1400 180 1 11    430
pthread-wmm/safe012_pso.opt_false-unreach-call.i 1 26   1500 170 1 10    430
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i 1 7.7 470 59 1 5.5  260
pthread-wmm/safe012_rmo.opt_false-unreach-call.i 1 20   1400 190 1 10    430
pthread-wmm/safe013_power.oepc_false-unreach-call.i 1 21   1400 160 1 6.8  430
pthread-wmm/safe013_power.opt_false-unreach-call.i 1 21   1400 150 1 8.9  430
pthread-wmm/safe013_pso.oepc_false-unreach-call.i 1 19   1300 150 1 11    430
pthread-wmm/safe013_pso.opt_false-unreach-call.i 1 21   1400 170 1 11    440
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i 1 27   1500 180 1 12    390
pthread-wmm/safe013_rmo.opt_false-unreach-call.i 1 31   1500 240 1 8.7  430
pthread-wmm/safe014_power.oepc_false-unreach-call.i 1 9.2 550 65 1 5.8  270
pthread-wmm/safe014_power.opt_false-unreach-call.i 1 9.0 550 69 1 3.8  270
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i 1 7.6 450 62 1 3.8  270
pthread-wmm/safe014_rmo.opt_false-unreach-call.i 1 51   2100 330 1 6.7  270
pthread-wmm/safe015_power.oepc_false-unreach-call.i 1 9.3 720 79 1 6.2  280
pthread-wmm/safe015_power.opt_false-unreach-call.i 1 47   2100 380 1 7.2  270
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i 1 50   2100 310 1 3.7  270
pthread-wmm/safe015_rmo.opt_false-unreach-call.i 1 48   2100 350 1 5.8  270
pthread-wmm/safe016_power.oepc_false-unreach-call.i 1 9.3 580 73 1 4.6  280
pthread-wmm/safe016_power.opt_false-unreach-call.i 1 430   4600 2400 1 6.6  270
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i 1 8.6 560 66 1 4.8  270
pthread-wmm/safe016_rmo.opt_false-unreach-call.i 1 390   4600 3000 1 7.2  280
pthread-wmm/safe017_power.oepc_false-unreach-call.i 1 11   620 82 1 14    560
pthread-wmm/safe017_power.opt_false-unreach-call.i 1 12   620 100 1 17    640
pthread-wmm/safe017_pso.oepc_false-unreach-call.i 1 13   620 97 1 16    630
pthread-wmm/safe017_pso.opt_false-unreach-call.i 1 12   630 94 1 16    630
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i 1 12   650 97 1 10    620
pthread-wmm/safe017_rmo.opt_false-unreach-call.i 1 12   620 90 1 10    610
pthread-wmm/safe018_power.oepc_false-unreach-call.i 1 8.8 560 82 1 3.7  260
pthread-wmm/safe018_power.opt_false-unreach-call.i 1 66   2500 370 1 5.9  270
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i 1 7.7 460 62 1 6.2  260
pthread-wmm/safe018_rmo.opt_false-unreach-call.i 1 31   1600 200 1 6.4  270
pthread-wmm/safe019_power.oepc_false-unreach-call.i 1 9.5 570 79 1 6.7  280
pthread-wmm/safe019_power.opt_false-unreach-call.i 1 660   4500 3600 1 6.2  270
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i 1 8.1 600 63 1 6.7  270
pthread-wmm/safe019_rmo.opt_false-unreach-call.i 1 200   4300 1600 1 5.8  270
pthread-wmm/safe020_power.oepc_false-unreach-call.i 1 65   2500 370 1 4.1  260
pthread-wmm/safe020_power.opt_false-unreach-call.i 1 61   2300 370 1 4.0  270
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i 1 37   1600 250 1 3.8  270
pthread-wmm/safe020_rmo.opt_false-unreach-call.i 1 37   1600 290 1 5.6  270
pthread-wmm/safe021_power.oepc_false-unreach-call.i 1 13   660 99 1 20    740
pthread-wmm/safe021_power.opt_false-unreach-call.i 1 19   1000 140 1 11    470
pthread-wmm/safe021_pso.oepc_false-unreach-call.i 1 14   680 100 1 22    750
pthread-wmm/safe021_pso.opt_false-unreach-call.i 1 18   1100 150 1 7.6  430
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i 1 14   690 120 1 25    810
pthread-wmm/safe021_rmo.opt_false-unreach-call.i 1 14   680 120 1 20    790
pthread-wmm/safe022_power.oepc_false-unreach-call.i 1 10   600 77 1 3.9  270
pthread-wmm/safe022_power.opt_false-unreach-call.i 1 9.9 610 77 1 6.9  270
pthread-wmm/safe022_pso.oepc_false-unreach-call.i 1 9.8 600 78 1 6.2  270
pthread-wmm/safe022_pso.opt_false-unreach-call.i 1 9.9 600 91 1 5.9  270
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i 1 10   580 80 1 5.5  260
pthread-wmm/safe022_rmo.opt_false-unreach-call.i 1 9.9 590 77 1 4.2  270
pthread-wmm/safe023_power.oepc_false-unreach-call.i 1 98   3800 590 1 24    800
pthread-wmm/safe023_power.opt_false-unreach-call.i 1 91   3900 610 1 27    1000
pthread-wmm/safe023_pso.oepc_false-unreach-call.i 1 96   3900 640 1 19    1000
pthread-wmm/safe023_pso.opt_false-unreach-call.i 1 97   3800 750 1 20    1100
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i 1 91   3700 590 1 19    1100
pthread-wmm/safe023_rmo.opt_false-unreach-call.i 1 95   3800 580 1 28    1000
pthread-wmm/safe024_power.oepc_false-unreach-call.i 1 28   1600 200 1 6.7  440
pthread-wmm/safe024_power.opt_false-unreach-call.i 1 27   1500 180 1 6.6  430
pthread-wmm/safe024_pso.oepc_false-unreach-call.i 1 27   1500 190 1 6.8  430
pthread-wmm/safe024_pso.opt_false-unreach-call.i 1 21   1400 170 1 6.3  430
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i 1 19   1400 170 1 10    440
pthread-wmm/safe024_rmo.opt_false-unreach-call.i 1 26   1200 170 1 11    430
pthread-wmm/safe025_power.oepc_false-unreach-call.i 1 9.2 680 72 1 4.2  270
pthread-wmm/safe025_power.opt_false-unreach-call.i 1 9.0 740 77 1 6.4  270
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i 1 48   2100 340 1 4.2  270
pthread-wmm/safe025_rmo.opt_false-unreach-call.i 1 51   2100 320 1 6.2  270
pthread-wmm/safe026_power.oepc_false-unreach-call.i 1 13   680 110 1 24    960
pthread-wmm/safe026_power.opt_false-unreach-call.i 1 13   670 110 1 22    940
pthread-wmm/safe026_pso.oepc_false-unreach-call.i 1 14   670 120 1 21    800
pthread-wmm/safe026_pso.opt_false-unreach-call.i 1 15   670 120 1 14    940
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i 1 14   660 100 1 22    810
pthread-wmm/safe026_rmo.opt_false-unreach-call.i 1 14   690 100 1 15    780
pthread-wmm/safe027_power.oepc_false-unreach-call.i 1 9.6 590 79 1 6.9  270
pthread-wmm/safe027_power.opt_false-unreach-call.i 1 540   4400 3200 1 4.2  280
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i 1 8.3 560 66 1 6.3  270
pthread-wmm/safe027_rmo.opt_false-unreach-call.i 1 8.5 560 67 1 7.1  290
pthread-wmm/safe028_power.oepc_false-unreach-call.i 1 54   2300 320 1 6.9  270
pthread-wmm/safe028_power.opt_false-unreach-call.i 1 60   2500 440 1 7.6  270
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i 1 30   1600 220 1 4.0  270
pthread-wmm/safe028_rmo.opt_false-unreach-call.i 1 32   1400 220 1 5.2  270
pthread-wmm/safe029_power.oepc_false-unreach-call.i 1 8.2 470 63 1 6.9  290
pthread-wmm/safe029_power.opt_false-unreach-call.i 1 7.8 460 59 1 4.3  290
pthread-wmm/safe029_pso.oepc_false-unreach-call.i 1 7.4 460 63 1 7.0  290
pthread-wmm/safe029_pso.opt_false-unreach-call.i 1 8.0 460 64 1 7.0  290
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i 1 8.2 450 67 1 4.4  290
pthread-wmm/safe029_rmo.opt_false-unreach-call.i 1 8.6 460 68 1 6.9  290
pthread-wmm/safe030_power.oepc_false-unreach-call.i 1 12   620 93 1 15    480
pthread-wmm/safe030_power.opt_false-unreach-call.i 1 15   680 110 1 7.2  300
pthread-wmm/safe030_pso.oepc_false-unreach-call.i 1 12   610 95 1 15    620
pthread-wmm/safe030_pso.opt_false-unreach-call.i 1 13   700 110 1 8.4  420
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i 1 12   620 100 1 16    620
pthread-wmm/safe030_rmo.opt_false-unreach-call.i 1 13   700 110 1 9.4  310
pthread-wmm/safe031_power.oepc_false-unreach-call.i 1 20   1300 150 1 10    420
pthread-wmm/safe031_power.opt_false-unreach-call.i 1 14   690 110 1 9.3  310
pthread-wmm/safe031_pso.oepc_false-unreach-call.i 1 25   1500 200 1 9.4  420
pthread-wmm/safe031_pso.opt_false-unreach-call.i 1 15   700 120 1 9.0  420
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i 1 26   1500 180 1 11    430
pthread-wmm/safe031_rmo.opt_false-unreach-call.i 1 15   690 120 1 5.9  420
pthread-wmm/safe032_power.oepc_false-unreach-call.i 1 57   2600 360 1 22    700
pthread-wmm/safe032_power.opt_false-unreach-call.i 1 57   2700 350 1 21    680
pthread-wmm/safe032_pso.oepc_false-unreach-call.i 1 56   2500 350 1 22    680
pthread-wmm/safe032_pso.opt_false-unreach-call.i 1 57   2600 350 1 15    700
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i 1 55   2900 460 1 21    690
pthread-wmm/safe032_rmo.opt_false-unreach-call.i 1 57   2600 350 1 14    710
pthread-wmm/safe033_power.oepc_false-unreach-call.i 1 8.5 460 76 1 6.5  270
pthread-wmm/safe033_power.opt_false-unreach-call.i 1 8.7 470 74 1 5.5  270
pthread-wmm/safe033_pso.oepc_false-unreach-call.i 1 9.4 470 79 1 6.5  260
pthread-wmm/safe033_pso.opt_false-unreach-call.i 1 9.1 470 64 1 6.7  260
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i 1 9.3 470 68 1 5.9  260
pthread-wmm/safe033_rmo.opt_false-unreach-call.i 1 8.6 490 63 1 6.4  260
pthread-wmm/safe034_power.oepc_false-unreach-call.i 1 17   900 130 1 3.9  260
pthread-wmm/safe034_power.opt_false-unreach-call.i 1 15   960 130 1 5.9  280
pthread-wmm/safe034_pso.oepc_false-unreach-call.i 1 16   930 130 1 6.7  270
pthread-wmm/safe034_pso.opt_false-unreach-call.i 1 18   900 130 1 7.4  270
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i 1 16   950 130 1 5.9  270
pthread-wmm/safe034_rmo.opt_false-unreach-call.i 1 16   950 130 1 7.1  260
pthread-wmm/thin000_power.oepc_false-unreach-call.i 1 8.6 550 75 1 6.5  260
pthread-wmm/thin000_power.opt_false-unreach-call.i 1 12   570 91 1 6.5  260
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i 1 7.7 470 63 1 3.5  260
pthread-wmm/thin000_rmo.opt_false-unreach-call.i 1 7.1 470 60 1 5.7  280
pthread-wmm/thin001_power.oepc_false-unreach-call.i 1 8.8 570 71 1 6.1  260
pthread-wmm/thin001_power.opt_false-unreach-call.i 1 57   2400 460 1 5.4  380
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i 1 7.3 470 64 1 3.7  260
pthread-wmm/thin001_rmo.opt_false-unreach-call.i 1 7.1 470 52 1 5.1  260
pthread-wmm/thin002_power.oepc_false-unreach-call.i 1 9.8 570 64 1 6.7  280
pthread-wmm/thin002_power.opt_false-unreach-call.i 0 900   6400 5700 1 16    630
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i 1 7.8 470 64 1 7.6  270
pthread-wmm/thin002_rmo.opt_false-unreach-call.i 1 7.5 460 54 1 7.2  270
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i 2 26   1600 190 -
pthread-wmm/rfi000_tso.opt_true-unreach-call.i 2 25   1300 220 -
pthread-wmm/rfi002_power.oepc_true-unreach-call.i 2 26   1300 220 -
pthread-wmm/rfi002_power.opt_true-unreach-call.i 2 25   1400 180 -
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i 2 30   1600 240 -
pthread-wmm/rfi002_pso.opt_true-unreach-call.i 2 24   1400 210 -
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i 2 27   1400 180 -
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i 2 28   1400 180 -
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i 2 55   2400 350 -
pthread-wmm/rfi002_tso.opt_true-unreach-call.i 2 63   2700 390 -
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i 2 38   1800 250 -
pthread-wmm/rfi003_tso.opt_true-unreach-call.i 2 35   1700 240 -
pthread-wmm/safe000_pso.oepc_true-unreach-call.i 2 12   710 110 -
pthread-wmm/safe000_pso.opt_true-unreach-call.i 2 16   750 120 -
pthread-wmm/safe000_tso.oepc_true-unreach-call.i 2 12   720 86 -
pthread-wmm/safe000_tso.opt_true-unreach-call.i 2 12   710 100 -
pthread-wmm/safe001_tso.oepc_true-unreach-call.i 2 11   720 97 -
pthread-wmm/safe001_tso.opt_true-unreach-call.i 2 13   730 97 -
pthread-wmm/safe002_tso.oepc_true-unreach-call.i 2 13   740 110 -
pthread-wmm/safe002_tso.opt_true-unreach-call.i 2 13   730 100 -
pthread-wmm/safe003_tso.oepc_true-unreach-call.i 2 15   780 120 -
pthread-wmm/safe003_tso.opt_true-unreach-call.i 2 14   760 110 -
pthread-wmm/safe004_tso.oepc_true-unreach-call.i 2 15   760 110 -
pthread-wmm/safe004_tso.opt_true-unreach-call.i 2 14   770 120 -
pthread-wmm/safe005_tso.oepc_true-unreach-call.i 2 18   820 140 -
pthread-wmm/safe005_tso.opt_true-unreach-call.i 2 14   860 110 -
pthread-wmm/safe006_pso.oepc_true-unreach-call.i 2 5.8 370 49 -
pthread-wmm/safe006_pso.opt_true-unreach-call.i 2 5.5 370 45 -
pthread-wmm/safe006_tso.oepc_true-unreach-call.i 2 5.9 360 43 -
pthread-wmm/safe006_tso.opt_true-unreach-call.i 2 5.7 370 46 -
pthread-wmm/safe007_pso.oepc_true-unreach-call.i 2 11   530 86 -
pthread-wmm/safe007_pso.opt_true-unreach-call.i 2 10   530 74 -
pthread-wmm/safe007_tso.oepc_true-unreach-call.i 2 10   530 80 -
pthread-wmm/safe007_tso.opt_true-unreach-call.i 2 10   530 80 -
pthread-wmm/safe008_tso.oepc_true-unreach-call.i 2 10   530 80 -
pthread-wmm/safe008_tso.opt_true-unreach-call.i 2 11   540 80 -
pthread-wmm/safe009_pso.oepc_true-unreach-call.i 2 11   610 84 -
pthread-wmm/safe009_pso.opt_true-unreach-call.i 2 10   630 93 -
pthread-wmm/safe009_tso.oepc_true-unreach-call.i 2 11   600 88 -
pthread-wmm/safe009_tso.opt_true-unreach-call.i 2 12   610 89 -
pthread-wmm/safe010_tso.oepc_true-unreach-call.i 2 5.9 370 46 -
pthread-wmm/safe010_tso.opt_true-unreach-call.i 2 5.5 380 42 -
pthread-wmm/safe011_tso.oepc_true-unreach-call.i 2 11   540 87 -
pthread-wmm/safe011_tso.opt_true-unreach-call.i 2 11   530 90 -
pthread-wmm/safe012_tso.oepc_true-unreach-call.i 2 10   530 76 -
pthread-wmm/safe012_tso.opt_true-unreach-call.i 2 10   520 76 -
pthread-wmm/safe013_tso.oepc_true-unreach-call.i 2 12   550 79 -
pthread-wmm/safe013_tso.opt_true-unreach-call.i 2 11   560 87 -
pthread-wmm/safe014_pso.oepc_true-unreach-call.i 2 14   780 94 -
pthread-wmm/safe014_pso.opt_true-unreach-call.i 2 14   780 94 -
pthread-wmm/safe014_tso.oepc_true-unreach-call.i 2 16   790 120 -
pthread-wmm/safe014_tso.opt_true-unreach-call.i 2 13   780 97 -
pthread-wmm/safe015_pso.oepc_true-unreach-call.i 2 17   780 110 -
pthread-wmm/safe015_pso.opt_true-unreach-call.i 2 14   780 120 -
pthread-wmm/safe015_tso.oepc_true-unreach-call.i 2 14   760 110 -
pthread-wmm/safe015_tso.opt_true-unreach-call.i 2 14   780 100 -
pthread-wmm/safe016_pso.oepc_true-unreach-call.i 2 77   3300 510 -
pthread-wmm/safe016_pso.opt_true-unreach-call.i 2 77   3400 530 -
pthread-wmm/safe016_tso.oepc_true-unreach-call.i 2 78   3500 520 -
pthread-wmm/safe016_tso.opt_true-unreach-call.i 2 67   3300 520 -
pthread-wmm/safe017_tso.oepc_true-unreach-call.i 2 11   570 77 -
pthread-wmm/safe017_tso.opt_true-unreach-call.i 2 11   600 91 -
pthread-wmm/safe018_pso.oepc_true-unreach-call.i 2 10   530 77 -
pthread-wmm/safe018_pso.opt_true-unreach-call.i 2 10   530 80 -
pthread-wmm/safe018_tso.oepc_true-unreach-call.i 2 10   530 81 -
pthread-wmm/safe018_tso.opt_true-unreach-call.i 2 11   530 78 -
pthread-wmm/safe019_pso.oepc_true-unreach-call.i 2 99   2800 1000 -
pthread-wmm/safe019_pso.opt_true-unreach-call.i 2 110   2900 990 -
pthread-wmm/safe019_tso.oepc_true-unreach-call.i 2 63   2900 420 -
pthread-wmm/safe019_tso.opt_true-unreach-call.i 2 64   2900 460 -
pthread-wmm/safe020_pso.oepc_true-unreach-call.i 2 12   540 93 -
pthread-wmm/safe020_pso.opt_true-unreach-call.i 2 11   530 87 -
pthread-wmm/safe020_tso.oepc_true-unreach-call.i 2 10   530 78 -
pthread-wmm/safe020_tso.opt_true-unreach-call.i 2 10   530 86 -
pthread-wmm/safe021_tso.oepc_true-unreach-call.i 2 12   550 83 -
pthread-wmm/safe021_tso.opt_true-unreach-call.i 2 11   540 83 -
pthread-wmm/safe022_tso.oepc_true-unreach-call.i 2 5.4 350 45 -
pthread-wmm/safe022_tso.opt_true-unreach-call.i 2 5.9 370 44 -
pthread-wmm/safe023_tso.oepc_true-unreach-call.i 2 13   770 110 -
pthread-wmm/safe023_tso.opt_true-unreach-call.i 2 14   770 100 -
pthread-wmm/safe024_tso.oepc_true-unreach-call.i 2 11   580 84 -
pthread-wmm/safe024_tso.opt_true-unreach-call.i 2 11   550 83 -
pthread-wmm/safe025_pso.oepc_true-unreach-call.i 2 13   770 110 -
pthread-wmm/safe025_pso.opt_true-unreach-call.i 2 14   770 120 -
pthread-wmm/safe025_tso.oepc_true-unreach-call.i 2 14   780 120 -
pthread-wmm/safe025_tso.opt_true-unreach-call.i 2 14   790 130 -
pthread-wmm/safe026_tso.oepc_true-unreach-call.i 2 10   590 90 -
pthread-wmm/safe026_tso.opt_true-unreach-call.i 2 11   600 81 -
pthread-wmm/safe027_pso.oepc_true-unreach-call.i 2 47   2200 290 -
pthread-wmm/safe027_pso.opt_true-unreach-call.i 2 45   2200 350 -
pthread-wmm/safe027_tso.oepc_true-unreach-call.i 2 73   2400 670 -
pthread-wmm/safe027_tso.opt_true-unreach-call.i 2 62   2300 600 -
pthread-wmm/safe028_pso.oepc_true-unreach-call.i 2 11   530 90 -
pthread-wmm/safe028_pso.opt_true-unreach-call.i 2 11   530 91 -
pthread-wmm/safe028_tso.oepc_true-unreach-call.i 2 10   530 84 -
pthread-wmm/safe028_tso.opt_true-unreach-call.i 2 10   530 77 -
pthread-wmm/safe029_tso.oepc_true-unreach-call.i 2 5.7 360 44 -
pthread-wmm/safe029_tso.opt_true-unreach-call.i 2 5.5 350 43 -
pthread-wmm/safe030_tso.oepc_true-unreach-call.i 2 10   530 78 -
pthread-wmm/safe030_tso.opt_true-unreach-call.i 2 10   530 83 -
pthread-wmm/safe031_tso.oepc_true-unreach-call.i 2 11   530 76 -
pthread-wmm/safe031_tso.opt_true-unreach-call.i 2 11   530 94 -
pthread-wmm/safe032_tso.oepc_true-unreach-call.i 2 14   780 110 -
pthread-wmm/safe032_tso.opt_true-unreach-call.i 2 14   780 110 -
pthread-wmm/safe033_tso.oepc_true-unreach-call.i 2 5.9 380 51 -
pthread-wmm/safe033_tso.opt_true-unreach-call.i 2 5.4 360 42 -
pthread-wmm/safe034_tso.oepc_true-unreach-call.i 2 13   610 95 -
pthread-wmm/safe034_tso.opt_true-unreach-call.i 2 10   600 83 -
pthread-wmm/safe035_power.oepc_true-unreach-call.i 0 900   4700 7200 -
pthread-wmm/safe035_power.opt_true-unreach-call.i 0 900   5100 6100 -
pthread-wmm/safe035_pso.oepc_true-unreach-call.i 2 14   790 110 -
pthread-wmm/safe035_pso.opt_true-unreach-call.i 2 17   790 130 -
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i 2 15   770 110 -
pthread-wmm/safe035_rmo.opt_true-unreach-call.i 2 14   780 110 -
pthread-wmm/safe035_tso.oepc_true-unreach-call.i 2 15   780 120 -
pthread-wmm/safe035_tso.opt_true-unreach-call.i 2 14   800 120 -
pthread-wmm/safe036_power.oepc_true-unreach-call.i 2 5.9 370 43 -
pthread-wmm/safe036_power.opt_true-unreach-call.i 2 5.7 370 50 -
pthread-wmm/safe036_pso.oepc_true-unreach-call.i 2 5.7 370 47 -
pthread-wmm/safe036_pso.opt_true-unreach-call.i 2 5.5 370 42 -
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i 2 5.7 360 47 -
pthread-wmm/safe036_rmo.opt_true-unreach-call.i 2 5.7 370 51 -
pthread-wmm/safe036_tso.oepc_true-unreach-call.i 2 5.6 380 48 -
pthread-wmm/safe036_tso.opt_true-unreach-call.i 2 5.8 370 44 -
pthread-wmm/safe037_power.oepc_true-unreach-call.i 2 11   720 100 -
pthread-wmm/safe037_power.opt_true-unreach-call.i 2 11   730 87 -
pthread-wmm/safe037_pso.oepc_true-unreach-call.i 2 13   710 100 -
pthread-wmm/safe037_pso.opt_true-unreach-call.i 2 11   720 83 -
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i 2 11   720 88 -
pthread-wmm/safe037_rmo.opt_true-unreach-call.i 2 12   730 92 -
pthread-wmm/safe037_tso.oepc_true-unreach-call.i 2 11   740 100 -
pthread-wmm/safe037_tso.opt_true-unreach-call.i 2 12   710 93 -
pthread-wmm/thin000_pso.oepc_true-unreach-call.i 2 5.7 370 46 -
pthread-wmm/thin000_pso.opt_true-unreach-call.i 2 5.7 360 46 -
pthread-wmm/thin000_tso.oepc_true-unreach-call.i 2 5.6 370 43 -
pthread-wmm/thin000_tso.opt_true-unreach-call.i 2 5.5 370 42 -
pthread-wmm/thin001_pso.oepc_true-unreach-call.i 2 10   550 91 -
pthread-wmm/thin001_pso.opt_true-unreach-call.i 2 11   530 81 -
pthread-wmm/thin001_tso.oepc_true-unreach-call.i 2 10   530 83 -
pthread-wmm/thin001_tso.opt_true-unreach-call.i 2 11   520 83 -
pthread-wmm/thin002_pso.oepc_true-unreach-call.i 2 61   2800 390 -
pthread-wmm/thin002_pso.opt_true-unreach-call.i 2 62   2700 410 -
pthread-wmm/thin002_tso.oepc_true-unreach-call.i 2 55   2600 400 -
pthread-wmm/thin002_tso.opt_true-unreach-call.i 2 53   2600 390 -
pthread-lit/fkp2013_false-unreach-call.i 0 3.9 280 30 0 .54 42
pthread-lit/fkp2013_variant_false-unreach-call.i 0 4.4 290 34 0 .55 44
pthread-lit/qw2004_false-unreach-call.i 1 5.6 370 47 1 4.6  260
pthread-lit/fk2012_true-unreach-call.i 0 5.1 430 43 -
pthread-lit/fkp2013_true-unreach-call.i 0 3.9 280 32 -
pthread-lit/fkp2013_variant_true-unreach-call.i 0 4.2 280 36 -
pthread-lit/fkp2014_true-unreach-call.i 0 4.5 320 33 -
pthread-lit/qw2004_true-unreach-call.i 2 5.6 370 46 -
pthread-lit/qw2004_variant_true-unreach-call.i 0 4.3 310 37 -
pthread-lit/sssc12_true-unreach-call.i 0 4.6 320 41 -
pthread-lit/sssc12_variant_true-unreach-call.i 0 4.5 320 37 -
ldv-races/race-1_1-join_true-unreach-call.i 2 6.3 510 50 -
ldv-races/race-2_1-container_of_true-unreach-call.i -16 7.8 560 64 -
ldv-races/race-3_1-container_of-global_true-unreach-call.i -16 8.2 570 65 -
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i 2 8.8 570 64 -
ldv-races/race-1_2-join_false-unreach-call.i 1 6.7 510 49 1 3.5  260
ldv-races/race-1_3-join_false-unreach-call.i 1 6.2 510 48 1 5.4  260
ldv-races/race-2_2-container_of_false-unreach-call.i 1 6.8 570 58 1 6.0  260
ldv-races/race-2_3-container_of_false-unreach-call.i 1 6.9 600 51 1 3.4  260
ldv-races/race-2_4-container_of_false-unreach-call.i 1 7.3 540 50 1 4.8  260
ldv-races/race-2_5-container_of_false-unreach-call.i 1 7.0 570 60 1 6.2  260
ldv-races/race-3_2-container_of-global_false-unreach-call.i 1 8.6 580 69 1 6.3  260
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i 1 8.0 580 57 1 5.1  260
pthread-complex/bounded_buffer_false-unreach-call.i 0 8.1 550 57 0 .63 43
pthread-complex/elimination_backoff_stack_false-unreach-call.i 0 9.6 580 77 0 .61 43
pthread-complex/safestack_relacy_false-unreach-call.i 0 920   6400 5300 0 .61 43
pthread-complex/workstealqueue_mutex_false-unreach-call.i 0 910   6400 4900 0 .48 41
pthread-complex/workstealqueue_mutex_true-unreach-call.i 0 910   6800 4300 -
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i 0 31   1500 200 -
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i 0 25   1700 190 -
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i 0 28   1500 190 -
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i 0 28   1500 190 -
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i 0 24   1900 160 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i 0 28   1900 220 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i 0 34   1700 250 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i 0 35   1700 220 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i 0 35   1600 240 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i 0 33   1700 210 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i 0 31   2200 230 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i 0 34   1600 270 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i 0 33   2500 230 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i 0 36   1600 230 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i 0 34   1900 210 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i 0 36   1800 270 -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i 0 31   2100 230 -
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i 0 27   1600 200 0 .63 41
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i 0 30   2500 190 0 .59 42
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i 0 34   2300 240 0 .53 45
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i 0 30   1600 230 0 .56 42
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i 2 340   3800 4100 -
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i 0 140   1600 1500 -
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i 0 5.6 470 48 -
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i 0 900   3900 9800 0 .45 44
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy
total 1047 969 63000 1600000 440000 801 676 17000 600000
    correct results 838 1001 42000 1300000 300000 676 676 8900 380000
        correct true 163 326 3700 150000 31000 0
        correct false 675 675 39000 1100000 270000 676 676 8900 380000
    correct-unconfimed results 92 0 2200 120000 16000 0
        correct-unconfirmed true 0 0
        correct-unconfirmed false 92 0 2200 120000 16000 0
    incorrect results 2 -32 16 1100 130 0
        incorrect true 0 0
        incorrect false 2 -32 16 1100 130 0
score (1047 tasks, max score: 1293) 969 676
Run set cpa-seq.sv-comp18 cpa-seq-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness