Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
CE-NecessaryAndSufficient.01b_inc.yml.log 2024-12-17 17:35 4.0M
CE-NecessaryAndSufficient.02_inc_cas.yml.log 2024-12-17 17:36 1.2M
CE-NecessaryAndSufficient.03_incdec.yml.log 2024-12-17 17:24 141K
CE-NecessaryAndSufficient.04_incdec_cas.yml.log 2024-12-17 17:37 917K
CE-NecessaryAndSufficient.08_rand_cas.yml.log 2024-12-17 17:29 351K
CE-NecessaryAndSufficient.09_fmaxsym-zero.yml.log 2024-12-17 17:32 201K
CE-NecessaryAndSufficient.09_fmaxsym.yml.log 2024-12-17 17:35 447K
CE-NecessaryAndSufficient.11_fmaxsymopt-zero.yml.log 2024-12-17 17:36 542K
CE-NecessaryAndSufficient.11_fmaxsymopt.yml.log 2024-12-17 17:38 891K
CE-NecessaryAndSufficient.13-privatized_01-priv_nr_true.yml.log 2024-12-17 19:11 89K
CE-NecessaryAndSufficient.13-privatized_04-priv_multi_true.yml.log 2024-12-17 19:11 170K
CE-NecessaryAndSufficient.13-privatized_18-first-reads_true.yml.log 2024-12-17 19:11 52K
CE-NecessaryAndSufficient.13-privatized_18-first-reads_unknown_1_neg.yml.log 2024-12-17 19:11 45K
CE-NecessaryAndSufficient.13-privatized_18-first-reads_unknown_1_pos.yml.log 2024-12-17 19:11 45K
CE-NecessaryAndSufficient.13-privatized_18-first-reads_unknown_2_neg.yml.log 2024-12-17 19:11 45K
CE-NecessaryAndSufficient.13-privatized_18-first-reads_unknown_2_pos.yml.log 2024-12-17 19:11 45K
CE-NecessaryAndSufficient.13-privatized_19-publish-precision_true.yml.log 2024-12-17 19:11 69K
CE-NecessaryAndSufficient.13-privatized_19-publish-precision_unknown_1_neg.yml.log 2024-12-17 19:11 46K
CE-NecessaryAndSufficient.13-privatized_19-publish-precision_unknown_1_pos.yml.log 2024-12-17 19:11 55K
CE-NecessaryAndSufficient.13-privatized_19-publish-precision_unknown_2_neg.yml.log 2024-12-17 19:11 54K
CE-NecessaryAndSufficient.13-privatized_19-publish-precision_unknown_2_pos.yml.log 2024-12-17 19:11 46K
CE-NecessaryAndSufficient.13-privatized_20-publish-regression_true.yml.log 2024-12-17 19:11 84K
CE-NecessaryAndSufficient.13-privatized_24-multiple-protecting_true.yml.log 2024-12-17 19:12 68K
CE-NecessaryAndSufficient.13-privatized_25-struct_nr_true.yml.log 2024-12-17 19:12 89K
CE-NecessaryAndSufficient.13-privatized_27-multiple-protecting2_true.yml.log 2024-12-17 19:12 69K
CE-NecessaryAndSufficient.13-privatized_29-multiple-protecting2-vesal_true.yml.log 2024-12-17 19:12 68K
CE-NecessaryAndSufficient.13-privatized_30-traces-oplus-vs-meet_true.yml.log 2024-12-17 19:12 62K
CE-NecessaryAndSufficient.13-privatized_31-traces-mine-vs-mutex_true.yml.log 2024-12-17 19:12 56K
CE-NecessaryAndSufficient.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml.log 2024-12-17 19:12 68K
CE-NecessaryAndSufficient.13-privatized_33-traces-v-matters_true.yml.log 2024-12-17 19:12 67K
CE-NecessaryAndSufficient.13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml.log 2024-12-17 19:12 67K
CE-NecessaryAndSufficient.13-privatized_35-traces-ex-2_true.yml.log 2024-12-17 19:12 56K
CE-NecessaryAndSufficient.13-privatized_36-traces-ex-3_true.yml.log 2024-12-17 19:12 52K
CE-NecessaryAndSufficient.13-privatized_37-traces-ex-4_true.yml.log 2024-12-17 19:12 52K
CE-NecessaryAndSufficient.13-privatized_38-traces-ex-4-switch_true.yml.log 2024-12-17 19:12 56K
CE-NecessaryAndSufficient.13-privatized_40-traces-ex-6_true.yml.log 2024-12-17 19:12 56K
CE-NecessaryAndSufficient.13-privatized_41-traces-ex-7_unknown_1_neg.yml.log 2024-12-17 19:12 59K
CE-NecessaryAndSufficient.13-privatized_41-traces-ex-7_unknown_1_pos.yml.log 2024-12-17 19:12 45K
CE-NecessaryAndSufficient.13-privatized_42-traces-ex-mini_true.yml.log 2024-12-17 19:12 52K
CE-NecessaryAndSufficient.13-privatized_44-traces-mine2_true.yml.log 2024-12-17 19:12 52K
CE-NecessaryAndSufficient.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml.log 2024-12-17 19:12 62K
CE-NecessaryAndSufficient.13-privatized_46-refine-protected1_true.yml.log 2024-12-17 19:12 47K
CE-NecessaryAndSufficient.13-privatized_47-refine-protected2_true.yml.log 2024-12-17 19:12 52K
CE-NecessaryAndSufficient.13-privatized_52-refine-protected-loop2-small_true.yml.log 2024-12-17 19:12 59K
CE-NecessaryAndSufficient.13-privatized_57-singlethreaded-unlock_true.yml.log 2024-12-17 19:12 47K
CE-NecessaryAndSufficient.13-privatized_58-singlethreaded-lock_true.yml.log 2024-12-17 19:12 47K
CE-NecessaryAndSufficient.13-privatized_66-mine-W-init_true.yml.log 2024-12-17 19:12 47K
CE-NecessaryAndSufficient.13-privatized_67-pthread_cond_wait_true.yml.log 2024-12-17 19:12 67K
CE-NecessaryAndSufficient.13-privatized_67-pthread_cond_wait_unknown_1_neg.yml.log 2024-12-17 19:12 46K
CE-NecessaryAndSufficient.13-privatized_67-pthread_cond_wait_unknown_1_pos.yml.log 2024-12-17 19:12 54K
CE-NecessaryAndSufficient.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2024-12-17 19:13 156K
CE-NecessaryAndSufficient.13-privatized_69-refine-protected-loop-interval_true.yml.log 2024-12-17 19:13 80K
CE-NecessaryAndSufficient.14_spin2003.yml.log 2024-12-17 17:37 150K
CE-NecessaryAndSufficient.18_read_write_lock.yml.log 2024-12-17 17:36 52K
CE-NecessaryAndSufficient.25_stack.yml.log 2024-12-17 17:37 266K
CE-NecessaryAndSufficient.25_stack_longer-1.yml.log 2024-12-17 17:51 26K
CE-NecessaryAndSufficient.25_stack_longer-2.yml.log 2024-12-17 17:51 26K
CE-NecessaryAndSufficient.25_stack_longest-1.yml.log 2024-12-17 17:52 26K
CE-NecessaryAndSufficient.25_stack_longest-2.yml.log 2024-12-17 17:52 26K
CE-NecessaryAndSufficient.26_stack_cas.yml.log 2024-12-17 17:52 558K
CE-NecessaryAndSufficient.26_stack_cas_longer-1.yml.log 2024-12-17 17:54 26K
CE-NecessaryAndSufficient.26_stack_cas_longer-2.yml.log 2024-12-17 17:56 26K
CE-NecessaryAndSufficient.26_stack_cas_longest-1.yml.log 2024-12-17 18:05 26K
CE-NecessaryAndSufficient.26_stack_cas_longest-2.yml.log 2024-12-17 18:06 26K
CE-NecessaryAndSufficient.28-race_reach_01-simple_racing.yml.log 2024-12-17 19:25 606K
CE-NecessaryAndSufficient.28-race_reach_02-simple_racefree.yml.log 2024-12-17 19:25 641K
CE-NecessaryAndSufficient.28-race_reach_03-munge_racing.yml.log 2024-12-17 19:16 131K
CE-NecessaryAndSufficient.28-race_reach_04-munge_racefree.yml.log 2024-12-17 19:15 122K
CE-NecessaryAndSufficient.28-race_reach_05-lockfuns_racefree.yml.log 2024-12-17 19:30 3.9M
CE-NecessaryAndSufficient.28-race_reach_06-cond_racing1.yml.log 2024-12-17 19:30 659K
CE-NecessaryAndSufficient.28-race_reach_07-cond_racing2.yml.log 2024-12-17 19:31 604K
CE-NecessaryAndSufficient.28-race_reach_08-cond_racefree.yml.log 2024-12-17 19:34 650K
CE-NecessaryAndSufficient.28-race_reach_09-ptrmunge_racing.yml.log 2024-12-17 19:25 195K
CE-NecessaryAndSufficient.28-race_reach_10-ptrmunge_racefree.yml.log 2024-12-17 19:26 195K
CE-NecessaryAndSufficient.28-race_reach_11-ptr_racing.yml.log 2024-12-17 19:38 595K
CE-NecessaryAndSufficient.28-race_reach_12-ptr_racefree.yml.log 2024-12-17 19:40 623K
CE-NecessaryAndSufficient.28-race_reach_19-callback_racing.yml.log 2024-12-17 19:32 222K
CE-NecessaryAndSufficient.28-race_reach_20-callback_racefree.yml.log 2024-12-17 19:33 345K
CE-NecessaryAndSufficient.28-race_reach_21-deref_read_racing.yml.log 2024-12-17 19:43 668K
CE-NecessaryAndSufficient.28-race_reach_22-deref_read_racefree.yml.log 2024-12-17 19:44 604K
CE-NecessaryAndSufficient.28-race_reach_23-sound_unlock_racing.yml.log 2024-12-17 19:32 28K
CE-NecessaryAndSufficient.28-race_reach_24-sound_lock_racing.yml.log 2024-12-17 19:45 641K
CE-NecessaryAndSufficient.28-race_reach_27-funptr_racing.yml.log 2024-12-17 19:46 2.6M
CE-NecessaryAndSufficient.28-race_reach_28-funptr_racefree.yml.log 2024-12-17 19:49 549K
CE-NecessaryAndSufficient.28-race_reach_36-indirect_racefree.yml.log 2024-12-17 19:50 604K
CE-NecessaryAndSufficient.28-race_reach_37-indirect_racing.yml.log 2024-12-17 19:53 637K
CE-NecessaryAndSufficient.28-race_reach_40-trylock_racing.yml.log 2024-12-17 19:43 28K
CE-NecessaryAndSufficient.28-race_reach_41-trylock_racefree.yml.log 2024-12-17 19:55 650K
CE-NecessaryAndSufficient.28-race_reach_42-trylock2_racefree.yml.log 2024-12-17 19:56 565K
CE-NecessaryAndSufficient.28-race_reach_45-escape_racing.yml.log 2024-12-17 19:45 60K
CE-NecessaryAndSufficient.28-race_reach_46-escape_racefree.yml.log 2024-12-17 19:45 67K
CE-NecessaryAndSufficient.28-race_reach_51-mutexptr_racefree.yml.log 2024-12-17 19:58 637K
CE-NecessaryAndSufficient.28-race_reach_60-invariant_racefree.yml.log 2024-12-17 19:49 204K
CE-NecessaryAndSufficient.28-race_reach_61-invariant_racing.yml.log 2024-12-17 20:02 240K
CE-NecessaryAndSufficient.28-race_reach_70-funloop_racefree.yml.log 2024-12-17 20:05 223K
CE-NecessaryAndSufficient.28-race_reach_71-funloop_racing.yml.log 2024-12-17 20:05 221K
CE-NecessaryAndSufficient.28-race_reach_72-funloop_hard_racing.yml.log 2024-12-17 20:07 222K
CE-NecessaryAndSufficient.28-race_reach_73-funloop_hard_racefree.yml.log 2024-12-17 20:10 225K
CE-NecessaryAndSufficient.28-race_reach_74-tricky_address1_racefree.yml.log 2024-12-17 20:03 250K
CE-NecessaryAndSufficient.28-race_reach_75-tricky_address2_racefree.yml.log 2024-12-17 20:11 299K
CE-NecessaryAndSufficient.28-race_reach_76-tricky_address3_racefree.yml.log 2024-12-17 20:10 292K
CE-NecessaryAndSufficient.28-race_reach_77-tricky_address4_racing.yml.log 2024-12-17 20:14 284K
CE-NecessaryAndSufficient.28-race_reach_78-equ_racing.yml.log 2024-12-17 20:06 142K
CE-NecessaryAndSufficient.28-race_reach_79-equ_racefree.yml.log 2024-12-17 20:06 142K
CE-NecessaryAndSufficient.28-race_reach_81-list_racing.yml.log 2024-12-17 20:15 77K
CE-NecessaryAndSufficient.28-race_reach_82-list_racefree.yml.log 2024-12-17 20:10 67K
CE-NecessaryAndSufficient.28-race_reach_83-list2_racing1.yml.log 2024-12-17 20:12 51K
CE-NecessaryAndSufficient.28-race_reach_84-list2_racing2.yml.log 2024-12-17 20:14 51K
CE-NecessaryAndSufficient.28-race_reach_85-list2_racefree.yml.log 2024-12-17 20:14 51K
CE-NecessaryAndSufficient.28-race_reach_86-lists_racing.yml.log 2024-12-17 20:26 85K
CE-NecessaryAndSufficient.28-race_reach_87-lists_racefree.yml.log 2024-12-17 20:27 85K
CE-NecessaryAndSufficient.28-race_reach_90-arrayloop2_racing.yml.log 2024-12-17 20:29 111K
CE-NecessaryAndSufficient.28-race_reach_91-arrayloop2_racefree.yml.log 2024-12-17 20:29 55K
CE-NecessaryAndSufficient.28-race_reach_92-evilcollapse_racing.yml.log 2024-12-17 20:29 55K
CE-NecessaryAndSufficient.28-race_reach_93-evilcollapse_racefree.yml.log 2024-12-17 20:30 55K
CE-NecessaryAndSufficient.28-race_reach_94-alloc_region_racing.yml.log 2024-12-17 20:16 52K
CE-NecessaryAndSufficient.28_buggy_simple_loop1_vf.yml.log 2024-12-17 17:52 45K
CE-NecessaryAndSufficient.29_conditionals_vs.yml.log 2024-12-17 17:56 268K
CE-NecessaryAndSufficient.31_simple_loop5_vs.yml.log 2024-12-17 17:57 206K
CE-NecessaryAndSufficient.35_double_lock_p3_vs.yml.log 2024-12-17 17:54 106K
CE-NecessaryAndSufficient.36-apron_11-traces-max-simple_true.yml.log 2024-12-17 20:16 69K
CE-NecessaryAndSufficient.36-apron_16-traces-unprot2_true.yml.log 2024-12-17 20:16 47K
CE-NecessaryAndSufficient.36-apron_17-traces-rpb-litmus_unknown_1_neg.yml.log 2024-12-17 20:16 50K
CE-NecessaryAndSufficient.36-apron_17-traces-rpb-litmus_unknown_1_pos.yml.log 2024-12-17 20:17 46K
CE-NecessaryAndSufficient.36-apron_21-traces-cluster-based_true.yml.log 2024-12-17 20:17 125K
CE-NecessaryAndSufficient.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml.log 2024-12-17 20:17 92K
CE-NecessaryAndSufficient.36-apron_41-threadenter-no-locals_unknown_1_neg.yml.log 2024-12-17 20:17 44K
CE-NecessaryAndSufficient.36-apron_41-threadenter-no-locals_unknown_1_pos.yml.log 2024-12-17 20:17 44K
CE-NecessaryAndSufficient.36_stack_cas_p0_vs_concur.yml.log 2024-12-17 18:09 108K
CE-NecessaryAndSufficient.37_stack_lock_p0_vs_concur.yml.log 2024-12-17 17:58 110K
CE-NecessaryAndSufficient.39_rand_lock_p0_vs.yml.log 2024-12-17 17:59 237K
CE-NecessaryAndSufficient.40_barrier_vf.yml.log 2024-12-17 17:57 121K
CE-NecessaryAndSufficient.43_NetBSD_sysmon_power_sliced-pthread.yml.log 2024-12-17 18:06 82K
CE-NecessaryAndSufficient.43_NetBSD_sysmon_power_sliced.yml.log 2024-12-17 18:05 81K
CE-NecessaryAndSufficient.45_monabsex1_vs.yml.log 2024-12-17 18:03 558K
CE-NecessaryAndSufficient.46_monabsex2_vs.yml.log 2024-12-17 18:05 252K
CE-NecessaryAndSufficient.48_ticket_lock_low_contention_vs-pthread.yml.log 2024-12-17 18:06 192K
CE-NecessaryAndSufficient.48_ticket_lock_low_contention_vs.yml.log 2024-12-17 18:06 51K
CE-NecessaryAndSufficient.arithmetic_prog_bad.yml.log 2024-12-17 23:39 85K
CE-NecessaryAndSufficient.arithmetic_prog_ok.yml.log 2024-12-17 23:39 97K
CE-NecessaryAndSufficient.array-eq-symm.wvr.yml.log 2024-12-17 20:18 313K
CE-NecessaryAndSufficient.array-eq-trans.wvr.yml.log 2024-12-17 20:33 930K
CE-NecessaryAndSufficient.arraylock.yml.log 2024-12-17 23:43 30K
CE-NecessaryAndSufficient.bench-exp1x3.wvr.yml.log 2024-12-17 20:41 82K
CE-NecessaryAndSufficient.bench-exp2x3.wvr.yml.log 2024-12-17 20:42 85K
CE-NecessaryAndSufficient.bench-exp2x4.wvr.yml.log 2024-12-17 20:43 81K
CE-NecessaryAndSufficient.bench-exp2x6.wvr.yml.log 2024-12-17 20:44 72K
CE-NecessaryAndSufficient.bench-exp2x9.wvr.yml.log 2024-12-17 20:44 131K
CE-NecessaryAndSufficient.bench-exp3x3-opt.wvr.yml.log 2024-12-17 20:30 80K
CE-NecessaryAndSufficient.bench-exp3x3.wvr.yml.log 2024-12-17 20:45 77K
CE-NecessaryAndSufficient.bigshot_s.yml.log 2024-12-17 16:52 62K
CE-NecessaryAndSufficient.bigshot_s2.yml.log 2024-12-17 16:53 74K
CE-NecessaryAndSufficient.bounded_buffer.yml.log 2024-12-17 19:10 69K
CE-NecessaryAndSufficient.bounded_mpmc_check_full.yml.log 2024-12-17 23:57 381K
CE-NecessaryAndSufficient.butterfly.yml.log 2024-12-17 17:02 110K
CE-NecessaryAndSufficient.char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml.log 2024-12-17 19:06 63K
CE-NecessaryAndSufficient.char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml.log 2024-12-17 19:06 63K
CE-NecessaryAndSufficient.char_generic_nvram_read_nvram_write_nvram.yml.log 2024-12-17 19:07 130K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml.log 2024-12-17 19:07 91K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml.log 2024-12-17 19:21 72K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml.log 2024-12-17 19:07 105K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml.log 2024-12-17 19:07 85K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml.log 2024-12-17 19:08 82K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml.log 2024-12-17 19:08 51K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml.log 2024-12-17 19:08 92K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml.log 2024-12-17 19:09 82K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml.log 2024-12-17 19:23 97K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml.log 2024-12-17 19:10 89K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml.log 2024-12-17 19:10 125K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml.log 2024-12-17 19:10 74K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml.log 2024-12-17 19:10 116K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml.log 2024-12-17 19:10 74K
CE-NecessaryAndSufficient.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml.log 2024-12-17 19:10 110K
CE-NecessaryAndSufficient.chl-array-int-subst.wvr.yml.log 2024-12-17 20:47 818K
CE-NecessaryAndSufficient.chl-array-int-symm.wvr.yml.log 2024-12-17 20:41 219K
CE-NecessaryAndSufficient.chl-array-int-trans.wvr.yml.log 2024-12-17 20:55 558K
CE-NecessaryAndSufficient.chl-chromosome-opt-symm.wvr.yml.log 2024-12-17 20:43 168K
CE-NecessaryAndSufficient.chl-chromosome-subst.wvr.yml.log 2024-12-17 20:57 197K
CE-NecessaryAndSufficient.chl-chromosome-symm.wvr.yml.log 2024-12-17 20:44 175K
CE-NecessaryAndSufficient.chl-chromosome-trans.wvr.yml.log 2024-12-17 20:58 180K
CE-NecessaryAndSufficient.chl-collitem-subst.wvr.yml.log 2024-12-17 20:44 48K
CE-NecessaryAndSufficient.chl-collitem-symm.wvr.yml.log 2024-12-17 20:44 47K
CE-NecessaryAndSufficient.chl-collitem-trans.wvr.yml.log 2024-12-17 20:44 48K
CE-NecessaryAndSufficient.chl-exp-term-subst.wvr.yml.log 2024-12-17 20:44 48K
CE-NecessaryAndSufficient.chl-exp-term-symm.wvr.yml.log 2024-12-17 20:44 47K
CE-NecessaryAndSufficient.chl-file-item-subst.wvr.yml.log 2024-12-17 20:45 48K
CE-NecessaryAndSufficient.chl-file-item-symm.wvr.yml.log 2024-12-17 20:44 47K
CE-NecessaryAndSufficient.chl-file-item-trans.wvr.yml.log 2024-12-17 20:45 48K
CE-NecessaryAndSufficient.chl-match-subst.wvr.yml.log 2024-12-17 20:45 48K
CE-NecessaryAndSufficient.chl-match-symm.wvr.yml.log 2024-12-17 20:45 47K
CE-NecessaryAndSufficient.chl-match-trans.wvr.yml.log 2024-12-17 20:45 48K
CE-NecessaryAndSufficient.chl-name-comparator-subst.wvr.yml.log 2024-12-17 20:45 178K
CE-NecessaryAndSufficient.chl-name-comparator-symm.wvr.yml.log 2024-12-17 20:45 150K
CE-NecessaryAndSufficient.chl-name-comparator-trans.wvr.yml.log 2024-12-17 20:46 255K
CE-NecessaryAndSufficient.chl-node-subst.wvr.yml.log 2024-12-17 21:00 185K
CE-NecessaryAndSufficient.chl-node-symm.wvr.yml.log 2024-12-17 20:45 75K
CE-NecessaryAndSufficient.chl-node-trans.wvr.yml.log 2024-12-17 20:46 95K
CE-NecessaryAndSufficient.chl-nzb-file-subst.wvr.yml.log 2024-12-17 21:00 90K
CE-NecessaryAndSufficient.chl-nzb-file-symm.wvr.yml.log 2024-12-17 20:48 211K
CE-NecessaryAndSufficient.chl-nzb-file-trans.wvr.yml.log 2024-12-17 20:51 319K
CE-NecessaryAndSufficient.chl-poker-hand-subst.wvr.yml.log 2024-12-17 21:02 197K
CE-NecessaryAndSufficient.chl-poker-hand-symm.wvr.yml.log 2024-12-17 21:05 100K
CE-NecessaryAndSufficient.chl-poker-hand-trans.wvr.yml.log 2024-12-17 21:09 193K
CE-NecessaryAndSufficient.chl-simpl-str-subst.wvr.yml.log 2024-12-17 20:57 48K
CE-NecessaryAndSufficient.chl-simpl-str-symm.wvr.yml.log 2024-12-17 20:57 47K
CE-NecessaryAndSufficient.chl-simpl-str-trans.wvr.yml.log 2024-12-17 20:57 48K
CE-NecessaryAndSufficient.chl-sre-subst.wvr.yml.log 2024-12-17 20:58 48K
CE-NecessaryAndSufficient.chl-sre-symm.wvr.yml.log 2024-12-17 20:58 47K
CE-NecessaryAndSufficient.chl-sre-trans.wvr.yml.log 2024-12-17 20:58 48K
CE-NecessaryAndSufficient.chl-time-subst.wvr.yml.log 2024-12-17 20:58 48K
CE-NecessaryAndSufficient.chl-time-symm.wvr.yml.log 2024-12-17 20:58 47K
CE-NecessaryAndSufficient.chl-time-trans.wvr.yml.log 2024-12-17 20:58 48K
CE-NecessaryAndSufficient.chl-word-subst.wvr.yml.log 2024-12-17 21:12 922K
CE-NecessaryAndSufficient.chl-word-symm.wvr.yml.log 2024-12-17 20:59 344K
CE-NecessaryAndSufficient.chl-word-trans.wvr.yml.log 2024-12-17 21:13 1.2M
CE-NecessaryAndSufficient.circular_buffer_bad.yml.log 2024-12-17 23:39 126K
CE-NecessaryAndSufficient.circular_buffer_ok.yml.log 2024-12-17 23:54 114K
CE-NecessaryAndSufficient.clever.wvr.yml.log 2024-12-17 21:13 210K
CE-NecessaryAndSufficient.cnalock.yml.log 2024-12-17 23:47 87K
CE-NecessaryAndSufficient.dekker-unfair.yml.log 2024-12-17 17:22 117K
CE-NecessaryAndSufficient.dekker.yml.log 2024-12-17 17:22 117K
CE-NecessaryAndSufficient.elimination_backoff_stack.yml.log 2024-12-17 19:10 124K
CE-NecessaryAndSufficient.exponential-4.yml.log 2024-12-17 23:58 204K
CE-NecessaryAndSufficient.exponential-64.yml.log 2024-12-18 00:10 278K
CE-NecessaryAndSufficient.exponential-nondet.yml.log 2024-12-18 00:12 189K
CE-NecessaryAndSufficient.fib_safe-10.yml.log 2024-12-17 17:06 142K
CE-NecessaryAndSufficient.fib_safe-11.yml.log 2024-12-17 17:06 161K
CE-NecessaryAndSufficient.fib_safe-12.yml.log 2024-12-17 17:06 138K
CE-NecessaryAndSufficient.fib_safe-5.yml.log 2024-12-17 17:06 320K
CE-NecessaryAndSufficient.fib_safe-6.yml.log 2024-12-17 17:06 234K
CE-NecessaryAndSufficient.fib_safe-7.yml.log 2024-12-17 17:06 205K
CE-NecessaryAndSufficient.fib_unsafe-10.yml.log 2024-12-17 17:02 112K
CE-NecessaryAndSufficient.fib_unsafe-11.yml.log 2024-12-17 17:02 121K
CE-NecessaryAndSufficient.fib_unsafe-12.yml.log 2024-12-17 17:03 123K
CE-NecessaryAndSufficient.fib_unsafe-5.yml.log 2024-12-17 17:03 104K
CE-NecessaryAndSufficient.fib_unsafe-6.yml.log 2024-12-17 17:03 105K
CE-NecessaryAndSufficient.fib_unsafe-7.yml.log 2024-12-17 17:03 107K
CE-NecessaryAndSufficient.fibonacci.wvr.yml.log 2024-12-17 21:00 93K
CE-NecessaryAndSufficient.hclhlock.yml.log 2024-12-18 00:02 245K
CE-NecessaryAndSufficient.hmcslock.yml.log 2024-12-17 23:50 140K
CE-NecessaryAndSufficient.lamport.yml.log 2024-12-17 17:22 158K
CE-NecessaryAndSufficient.lazy01.yml.log 2024-12-17 17:03 59K
CE-NecessaryAndSufficient.linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml.log 2024-12-17 18:56 87K
CE-NecessaryAndSufficient.linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml.log 2024-12-17 18:55 87K
CE-NecessaryAndSufficient.linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml.log 2024-12-17 19:06 29K
CE-NecessaryAndSufficient.linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml.log 2024-12-17 19:06 83K
CE-NecessaryAndSufficient.linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml.log 2024-12-17 19:06 33K
CE-NecessaryAndSufficient.linux-3.14--drivers--usb--misc--adutux.ko.cil.yml.log 2024-12-17 19:10 37K
CE-NecessaryAndSufficient.loop-tiling-eq.wvr.yml.log 2024-12-17 21:15 1.1M
CE-NecessaryAndSufficient.mcslock.yml.log 2024-12-17 23:51 112K
CE-NecessaryAndSufficient.mix000.oepc.yml.log 2024-12-17 18:06 76K
CE-NecessaryAndSufficient.mix000.opt.yml.log 2024-12-17 18:06 75K
CE-NecessaryAndSufficient.mix001.oepc.yml.log 2024-12-17 18:07 95K
CE-NecessaryAndSufficient.mix001.opt.yml.log 2024-12-17 18:07 104K
CE-NecessaryAndSufficient.mix002.oepc.yml.log 2024-12-17 18:07 94K
CE-NecessaryAndSufficient.mix002.opt.yml.log 2024-12-17 18:07 111K
CE-NecessaryAndSufficient.mix003.oepc.yml.log 2024-12-17 18:07 92K
CE-NecessaryAndSufficient.mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml.log 2024-12-17 18:07 103K
CE-NecessaryAndSufficient.mix004.oepc.yml.log 2024-12-17 18:09 105K
CE-NecessaryAndSufficient.mix004.opt.yml.log 2024-12-17 18:08 97K
CE-NecessaryAndSufficient.mix005.opt.yml.log 2024-12-17 18:08 91K
CE-NecessaryAndSufficient.mix005_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:08 111K
CE-NecessaryAndSufficient.mix005_tso.oepc.yml.log 2024-12-17 18:08 98K
CE-NecessaryAndSufficient.mix006.opt.yml.log 2024-12-17 18:09 108K
CE-NecessaryAndSufficient.mix006_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:09 91K
CE-NecessaryAndSufficient.mix006_tso.oepc.yml.log 2024-12-17 18:12 144K
CE-NecessaryAndSufficient.mix007.oepc.yml.log 2024-12-17 18:09 98K
CE-NecessaryAndSufficient.mix007.opt.yml.log 2024-12-17 18:09 102K
CE-NecessaryAndSufficient.mix008.opt.yml.log 2024-12-17 18:09 96K
CE-NecessaryAndSufficient.mix008_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:10 98K
CE-NecessaryAndSufficient.mix008_tso.oepc.yml.log 2024-12-17 18:13 136K
CE-NecessaryAndSufficient.mix009.oepc.yml.log 2024-12-17 18:09 75K
CE-NecessaryAndSufficient.mix009.opt.yml.log 2024-12-17 18:10 98K
CE-NecessaryAndSufficient.mix010.oepc.yml.log 2024-12-17 18:10 87K
CE-NecessaryAndSufficient.mix010.opt.yml.log 2024-12-17 18:10 104K
CE-NecessaryAndSufficient.mix011.opt.yml.log 2024-12-17 18:10 103K
CE-NecessaryAndSufficient.mix011_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:10 92K
CE-NecessaryAndSufficient.mix011_tso.oepc.yml.log 2024-12-17 18:10 86K
CE-NecessaryAndSufficient.mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml.log 2024-12-17 18:10 69K
CE-NecessaryAndSufficient.mix012_pso.opt_tso.opt.yml.log 2024-12-17 18:11 74K
CE-NecessaryAndSufficient.mix013.oepc.yml.log 2024-12-17 18:11 99K
CE-NecessaryAndSufficient.mix013.opt.yml.log 2024-12-17 18:11 97K
CE-NecessaryAndSufficient.mix014.opt.yml.log 2024-12-17 18:11 96K
CE-NecessaryAndSufficient.mix014_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:12 99K
CE-NecessaryAndSufficient.mix014_tso.oepc.yml.log 2024-12-17 18:15 140K
CE-NecessaryAndSufficient.mix015.oepc.yml.log 2024-12-17 18:12 93K
CE-NecessaryAndSufficient.mix015.opt.yml.log 2024-12-17 18:12 104K
CE-NecessaryAndSufficient.mix016.oepc.yml.log 2024-12-17 18:12 91K
CE-NecessaryAndSufficient.mix016_power.opt_rmo.opt.yml.log 2024-12-17 18:12 78K
CE-NecessaryAndSufficient.mix016_pso.opt_tso.opt.yml.log 2024-12-17 18:13 102K
CE-NecessaryAndSufficient.mix017.oepc.yml.log 2024-12-17 18:13 92K
CE-NecessaryAndSufficient.mix017_power.opt_rmo.opt.yml.log 2024-12-17 18:13 107K
CE-NecessaryAndSufficient.mix017_pso.opt_tso.opt.yml.log 2024-12-17 18:13 96K
CE-NecessaryAndSufficient.mix018.opt.yml.log 2024-12-17 18:13 95K
CE-NecessaryAndSufficient.mix018_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:14 97K
CE-NecessaryAndSufficient.mix018_tso.oepc.yml.log 2024-12-17 18:14 96K
CE-NecessaryAndSufficient.mix019.opt.yml.log 2024-12-17 18:14 101K
CE-NecessaryAndSufficient.mix019_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:14 85K
CE-NecessaryAndSufficient.mix019_tso.oepc.yml.log 2024-12-17 18:14 79K
CE-NecessaryAndSufficient.mix020.oepc.yml.log 2024-12-17 18:15 103K
CE-NecessaryAndSufficient.mix020.opt.yml.log 2024-12-17 18:14 95K
CE-NecessaryAndSufficient.mix021.opt.yml.log 2024-12-17 18:14 84K
CE-NecessaryAndSufficient.mix021_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:16 102K
CE-NecessaryAndSufficient.mix021_tso.oepc.yml.log 2024-12-17 18:16 113K
CE-NecessaryAndSufficient.mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:14 73K
CE-NecessaryAndSufficient.mix022_tso.yml.log 2024-12-17 18:15 75K
CE-NecessaryAndSufficient.mix023_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:15 104K
CE-NecessaryAndSufficient.mix023_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 18:16 107K
CE-NecessaryAndSufficient.mix023_tso.yml.log 2024-12-17 18:19 120K
CE-NecessaryAndSufficient.mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml.log 2024-12-17 18:15 92K
CE-NecessaryAndSufficient.mix024_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 18:16 85K
CE-NecessaryAndSufficient.mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml.log 2024-12-17 18:16 85K
CE-NecessaryAndSufficient.mix025_pso.opt_rmo.opt.yml.log 2024-12-17 18:16 78K
CE-NecessaryAndSufficient.mix026.oepc.yml.log 2024-12-17 18:17 97K
CE-NecessaryAndSufficient.mix026_power.opt_tso.opt.yml.log 2024-12-17 18:16 84K
CE-NecessaryAndSufficient.mix026_pso.opt_rmo.opt.yml.log 2024-12-17 18:17 106K
CE-NecessaryAndSufficient.mix027_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:18 102K
CE-NecessaryAndSufficient.mix027_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 18:18 106K
CE-NecessaryAndSufficient.mix027_tso.yml.log 2024-12-17 18:17 90K
CE-NecessaryAndSufficient.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:17 84K
CE-NecessaryAndSufficient.mix028_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 18:17 78K
CE-NecessaryAndSufficient.mix028_tso.yml.log 2024-12-17 18:18 102K
CE-NecessaryAndSufficient.mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml.log 2024-12-17 18:19 97K
CE-NecessaryAndSufficient.mix029_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 18:19 107K
CE-NecessaryAndSufficient.mix030_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:18 96K
CE-NecessaryAndSufficient.mix030_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 18:20 112K
CE-NecessaryAndSufficient.mix030_tso.yml.log 2024-12-17 18:19 95K
CE-NecessaryAndSufficient.mix031.oepc.yml.log 2024-12-17 18:18 81K
CE-NecessaryAndSufficient.mix031.opt.yml.log 2024-12-17 18:19 80K
CE-NecessaryAndSufficient.mix032.oepc.yml.log 2024-12-17 18:19 93K
CE-NecessaryAndSufficient.mix032.opt.yml.log 2024-12-17 18:19 103K
CE-NecessaryAndSufficient.mix033.opt.yml.log 2024-12-17 18:19 102K
CE-NecessaryAndSufficient.mix033_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:20 93K
CE-NecessaryAndSufficient.mix033_tso.oepc.yml.log 2024-12-17 18:19 81K
CE-NecessaryAndSufficient.mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml.log 2024-12-17 18:19 69K
CE-NecessaryAndSufficient.mix034_pso.opt_tso.opt.yml.log 2024-12-17 18:20 73K
CE-NecessaryAndSufficient.mix035.oepc.yml.log 2024-12-17 18:20 86K
CE-NecessaryAndSufficient.mix035_power.opt_rmo.opt.yml.log 2024-12-17 18:20 79K
CE-NecessaryAndSufficient.mix035_pso.opt_tso.opt.yml.log 2024-12-17 18:20 101K
CE-NecessaryAndSufficient.mix036.oepc.yml.log 2024-12-17 18:20 105K
CE-NecessaryAndSufficient.mix036_power.opt_rmo.opt.yml.log 2024-12-17 18:21 108K
CE-NecessaryAndSufficient.mix036_pso.opt_tso.opt.yml.log 2024-12-17 18:20 95K
CE-NecessaryAndSufficient.mix037.opt.yml.log 2024-12-17 18:20 94K
CE-NecessaryAndSufficient.mix037_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:21 98K
CE-NecessaryAndSufficient.mix037_tso.oepc.yml.log 2024-12-17 18:21 86K
CE-NecessaryAndSufficient.mix038.opt.yml.log 2024-12-17 18:21 100K
CE-NecessaryAndSufficient.mix038_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:21 85K
CE-NecessaryAndSufficient.mix038_tso.oepc.yml.log 2024-12-17 18:21 79K
CE-NecessaryAndSufficient.mix039.oepc.yml.log 2024-12-17 18:21 98K
CE-NecessaryAndSufficient.mix039.opt.yml.log 2024-12-17 18:21 94K
CE-NecessaryAndSufficient.mix040.opt.yml.log 2024-12-17 18:21 111K
CE-NecessaryAndSufficient.mix040_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:21 97K
CE-NecessaryAndSufficient.mix040_tso.oepc.yml.log 2024-12-17 18:22 113K
CE-NecessaryAndSufficient.mix041_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:21 69K
CE-NecessaryAndSufficient.mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:21 74K
CE-NecessaryAndSufficient.mix042.oepc.yml.log 2024-12-17 18:22 85K
CE-NecessaryAndSufficient.mix042.opt.yml.log 2024-12-17 18:22 101K
CE-NecessaryAndSufficient.mix043.oepc.yml.log 2024-12-17 18:23 98K
CE-NecessaryAndSufficient.mix043.opt.yml.log 2024-12-17 18:22 95K
CE-NecessaryAndSufficient.mix044.opt.yml.log 2024-12-17 18:22 95K
CE-NecessaryAndSufficient.mix044_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:22 103K
CE-NecessaryAndSufficient.mix044_tso.oepc.yml.log 2024-12-17 18:23 91K
CE-NecessaryAndSufficient.mix045_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:22 85K
CE-NecessaryAndSufficient.mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:23 101K
CE-NecessaryAndSufficient.mix046.oepc.yml.log 2024-12-17 18:23 103K
CE-NecessaryAndSufficient.mix046.opt.yml.log 2024-12-17 18:23 95K
CE-NecessaryAndSufficient.mix047_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:24 103K
CE-NecessaryAndSufficient.mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:24 112K
CE-NecessaryAndSufficient.mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:23 74K
CE-NecessaryAndSufficient.mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:24 91K
CE-NecessaryAndSufficient.mix050.yml.log 2024-12-17 18:24 96K
CE-NecessaryAndSufficient.mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:25 102K
CE-NecessaryAndSufficient.mix051_pso.opt_rmo.opt_tso.opt.yml.log 2024-12-17 18:24 92K
CE-NecessaryAndSufficient.mix051_tso.oepc.yml.log 2024-12-17 18:24 90K
CE-NecessaryAndSufficient.mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:24 84K
CE-NecessaryAndSufficient.mix052_pso.opt_rmo.opt_tso.opt.yml.log 2024-12-17 18:24 99K
CE-NecessaryAndSufficient.mix052_tso.oepc.yml.log 2024-12-17 18:24 78K
CE-NecessaryAndSufficient.mix053.opt.yml.log 2024-12-17 18:24 86K
CE-NecessaryAndSufficient.mix053_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:25 95K
CE-NecessaryAndSufficient.mix053_tso.oepc.yml.log 2024-12-17 18:25 106K
CE-NecessaryAndSufficient.mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:24 67K
CE-NecessaryAndSufficient.mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:25 72K
CE-NecessaryAndSufficient.mix055.opt.yml.log 2024-12-17 18:25 92K
CE-NecessaryAndSufficient.mix055_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:25 95K
CE-NecessaryAndSufficient.mix055_tso.oepc.yml.log 2024-12-17 18:25 84K
CE-NecessaryAndSufficient.mix056_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:25 83K
CE-NecessaryAndSufficient.mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:25 99K
CE-NecessaryAndSufficient.mix057_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:26 89K
CE-NecessaryAndSufficient.mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:26 92K
CE-NecessaryAndSufficient.mult-comm.wvr.yml.log 2024-12-17 21:16 156K
CE-NecessaryAndSufficient.mult-dist.wvr.yml.log 2024-12-17 21:20 73K
CE-NecessaryAndSufficient.mult-flipped-dist.wvr.yml.log 2024-12-17 21:24 71K
CE-NecessaryAndSufficient.parallel-bakery-2.wvr.yml.log 2024-12-17 21:12 92K
CE-NecessaryAndSufficient.parallel-bakery-3.wvr.yml.log 2024-12-17 21:15 1.6M
CE-NecessaryAndSufficient.parallel-bakery-4.wvr.yml.log 2024-12-17 21:26 4.6M
CE-NecessaryAndSufficient.parallel-barrier-loop.wvr.yml.log 2024-12-17 21:14 121K
CE-NecessaryAndSufficient.parallel-barrier.wvr.yml.log 2024-12-17 21:14 95K
CE-NecessaryAndSufficient.parallel-bluetooth.wvr.yml.log 2024-12-17 21:14 62K
CE-NecessaryAndSufficient.parallel-lamport.wvr.yml.log 2024-12-17 21:14 99K
CE-NecessaryAndSufficient.parallel-min-max-1.wvr.yml.log 2024-12-17 21:15 142K
CE-NecessaryAndSufficient.parallel-misc-1.wvr.yml.log 2024-12-17 21:29 155K
CE-NecessaryAndSufficient.parallel-misc-2-unrolled-atomic.wvr.yml.log 2024-12-17 21:15 64K
CE-NecessaryAndSufficient.parallel-misc-2-unrolled.wvr.yml.log 2024-12-17 21:15 57K
CE-NecessaryAndSufficient.parallel-misc-2.wvr.yml.log 2024-12-17 21:30 87K
CE-NecessaryAndSufficient.parallel-misc-3-extended.wvr.yml.log 2024-12-17 21:15 85K
CE-NecessaryAndSufficient.parallel-misc-3.wvr.yml.log 2024-12-17 21:16 80K
CE-NecessaryAndSufficient.parallel-misc-4.wvr.yml.log 2024-12-17 21:16 95K
CE-NecessaryAndSufficient.parallel-misc-5.wvr.yml.log 2024-12-17 21:18 169K
CE-NecessaryAndSufficient.parallel-parallel-sum-1-dsl.wvr.yml.log 2024-12-17 21:30 381K
CE-NecessaryAndSufficient.parallel-parallel-sum-1.wvr.yml.log 2024-12-17 21:32 277K
CE-NecessaryAndSufficient.parallel-parallel-sum-2.wvr.yml.log 2024-12-17 21:35 389K
CE-NecessaryAndSufficient.parallel-parallel-sum-equiv.wvr.yml.log 2024-12-17 21:38 423K
CE-NecessaryAndSufficient.parallel-simple-equiv.wvr.yml.log 2024-12-17 21:26 48K
CE-NecessaryAndSufficient.parallel-ticket-2.wvr.yml.log 2024-12-17 21:26 62K
CE-NecessaryAndSufficient.parallel-ticket-3.wvr.yml.log 2024-12-17 21:27 93K
CE-NecessaryAndSufficient.parallel-ticket-4.wvr.yml.log 2024-12-17 21:27 158K
CE-NecessaryAndSufficient.parallel-ticket-5.wvr.yml.log 2024-12-17 21:27 276K
CE-NecessaryAndSufficient.parallel-ticket-6.wvr.yml.log 2024-12-17 21:31 476K
CE-NecessaryAndSufficient.parallel-ticket-7.wvr.yml.log 2024-12-17 21:32 49K
CE-NecessaryAndSufficient.parallel-ticket-8.wvr.yml.log 2024-12-17 21:30 34K
CE-NecessaryAndSufficient.peterson.yml.log 2024-12-17 17:22 111K
CE-NecessaryAndSufficient.popl20-bad-buffer-mult-alt.wvr.yml.log 2024-12-17 21:44 403K
CE-NecessaryAndSufficient.popl20-bad-buffer-mult-alt2.wvr.yml.log 2024-12-17 21:45 508K
CE-NecessaryAndSufficient.popl20-bad-buffer-mult-alt3.wvr.yml.log 2024-12-17 21:46 296K
CE-NecessaryAndSufficient.popl20-bad-commit-1.wvr-bad.yml.log 2024-12-17 21:33 383K
CE-NecessaryAndSufficient.popl20-bad-commit-2.wvr-bad.yml.log 2024-12-17 21:36 579K
CE-NecessaryAndSufficient.popl20-bad-counter-queue.wvr.yml.log 2024-12-17 21:34 277K
CE-NecessaryAndSufficient.popl20-bad-counter-queue2.wvr.yml.log 2024-12-17 21:48 966K
CE-NecessaryAndSufficient.popl20-bad-dot-product-alt.wvr.yml.log 2024-12-17 21:49 160K
CE-NecessaryAndSufficient.popl20-bad-dot-product.wvr.yml.log 2024-12-17 21:52 545K
CE-NecessaryAndSufficient.popl20-bad-ring-nondet.wvr.yml.log 2024-12-17 21:38 84K
CE-NecessaryAndSufficient.popl20-bad-ring.wvr.yml.log 2024-12-17 21:52 294K
CE-NecessaryAndSufficient.popl20-bad-threaded-sum-2.wvr.yml.log 2024-12-17 21:59 79K
CE-NecessaryAndSufficient.popl20-bad-three-array-sum-alt.wvr.yml.log 2024-12-17 21:51 192K
CE-NecessaryAndSufficient.popl20-channel-sum.wvr.yml.log 2024-12-17 22:00 241K
CE-NecessaryAndSufficient.popl20-commit-1.wvr.yml.log 2024-12-17 22:02 182K
CE-NecessaryAndSufficient.popl20-commit-2.wvr.yml.log 2024-12-17 22:04 350K
CE-NecessaryAndSufficient.popl20-counter-determinism.wvr.yml.log 2024-12-17 22:05 454K
CE-NecessaryAndSufficient.popl20-counter-fun.wvr.yml.log 2024-12-17 22:06 227K
CE-NecessaryAndSufficient.popl20-difference-det.wvr.yml.log 2024-12-17 22:09 618K
CE-NecessaryAndSufficient.popl20-figure1-alt.wvr.yml.log 2024-12-17 22:00 194K
CE-NecessaryAndSufficient.popl20-figure1.wvr.yml.log 2024-12-17 22:13 1.3M
CE-NecessaryAndSufficient.popl20-figure3.wvr.yml.log 2024-12-17 22:15 90K
CE-NecessaryAndSufficient.popl20-horseshoe.wvr.yml.log 2024-12-17 22:16 202K
CE-NecessaryAndSufficient.popl20-min-max-dec.wvr.yml.log 2024-12-17 22:08 125K
CE-NecessaryAndSufficient.popl20-min-max-inc-dec.wvr.yml.log 2024-12-17 22:09 139K
CE-NecessaryAndSufficient.popl20-min-max-inc.wvr.yml.log 2024-12-17 22:08 113K
CE-NecessaryAndSufficient.popl20-more-array-sum-alt.wvr.yml.log 2024-12-17 22:23 465K
CE-NecessaryAndSufficient.popl20-more-array-sum-alt2.wvr.yml.log 2024-12-17 22:14 304K
CE-NecessaryAndSufficient.popl20-more-array-sum.wvr.yml.log 2024-12-17 22:23 305K
CE-NecessaryAndSufficient.popl20-more-array-sum2.wvr.yml.log 2024-12-17 22:24 204K
CE-NecessaryAndSufficient.popl20-more-buffer-mult.wvr.yml.log 2024-12-17 22:27 439K
CE-NecessaryAndSufficient.popl20-more-buffer-mult2.wvr.yml.log 2024-12-17 22:29 327K
CE-NecessaryAndSufficient.popl20-more-buffer-mult3.wvr.yml.log 2024-12-17 22:30 759K
CE-NecessaryAndSufficient.popl20-more-buffer-series.wvr.yml.log 2024-12-17 22:36 574K
CE-NecessaryAndSufficient.popl20-more-buffer-series2.wvr.yml.log 2024-12-17 22:37 621K
CE-NecessaryAndSufficient.popl20-more-buffer-series3.wvr.yml.log 2024-12-17 22:37 488K
CE-NecessaryAndSufficient.popl20-more-dec-subseq.wvr.yml.log 2024-12-17 22:38 571K
CE-NecessaryAndSufficient.popl20-more-inc-subseq.wvr.yml.log 2024-12-17 22:41 463K
CE-NecessaryAndSufficient.popl20-more-max-array-hom.wvr.yml.log 2024-12-17 22:43 420K
CE-NecessaryAndSufficient.popl20-more-max-array.wvr.yml.log 2024-12-17 22:44 292K
CE-NecessaryAndSufficient.popl20-more-min-array-hom.wvr.yml.log 2024-12-17 22:50 212K
CE-NecessaryAndSufficient.popl20-more-min-array.wvr.yml.log 2024-12-17 22:51 264K
CE-NecessaryAndSufficient.popl20-more-min-le-max.wvr.yml.log 2024-12-17 22:37 68K
CE-NecessaryAndSufficient.popl20-more-mts.wvr.yml.log 2024-12-17 22:52 160K
CE-NecessaryAndSufficient.popl20-more-multiply-verify.wvr.yml.log 2024-12-17 22:40 122K
CE-NecessaryAndSufficient.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2024-12-17 22:55 59K
CE-NecessaryAndSufficient.popl20-more-queue-add-2-nl.wvr.yml.log 2024-12-17 22:55 257K
CE-NecessaryAndSufficient.popl20-more-queue-add-3-nl.wvr.yml.log 2024-12-17 22:58 198K
CE-NecessaryAndSufficient.popl20-more-sorted.wvr.yml.log 2024-12-17 22:58 344K
CE-NecessaryAndSufficient.popl20-more-sum-array-hom.wvr.yml.log 2024-12-17 23:05 84K
CE-NecessaryAndSufficient.popl20-more-vector-add.wvr.yml.log 2024-12-17 23:05 74K
CE-NecessaryAndSufficient.popl20-mult-4.wvr.yml.log 2024-12-17 23:06 57K
CE-NecessaryAndSufficient.popl20-mult-equiv.wvr.yml.log 2024-12-17 23:09 70K
CE-NecessaryAndSufficient.popl20-nonblocking-cntr-alt.wvr.yml.log 2024-12-17 22:55 87K
CE-NecessaryAndSufficient.popl20-nonblocking-cntr.wvr.yml.log 2024-12-17 23:08 197K
CE-NecessaryAndSufficient.popl20-prod-cons-eq.wvr.yml.log 2024-12-17 23:05 387K
CE-NecessaryAndSufficient.popl20-prod-cons.wvr.yml.log 2024-12-17 23:00 164K
CE-NecessaryAndSufficient.popl20-prod-cons3.wvr.yml.log 2024-12-17 23:14 230K
CE-NecessaryAndSufficient.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2024-12-17 23:19 109K
CE-NecessaryAndSufficient.popl20-queue-add-2.wvr.yml.log 2024-12-17 23:18 274K
CE-NecessaryAndSufficient.popl20-queue-add-3.wvr.yml.log 2024-12-17 23:20 443K
CE-NecessaryAndSufficient.popl20-send-receive-alt.wvr.yml.log 2024-12-17 23:21 350K
CE-NecessaryAndSufficient.popl20-send-receive.wvr.yml.log 2024-12-17 23:23 324K
CE-NecessaryAndSufficient.popl20-simple-array-sum.wvr.yml.log 2024-12-17 23:10 123K
CE-NecessaryAndSufficient.popl20-simple-queue.wvr.yml.log 2024-12-17 23:10 114K
CE-NecessaryAndSufficient.popl20-threaded-sum-3.wvr.yml.log 2024-12-17 23:24 120K
CE-NecessaryAndSufficient.popl20-three-array-max.wvr.yml.log 2024-12-17 23:28 295K
CE-NecessaryAndSufficient.popl20-three-array-min.wvr.yml.log 2024-12-17 23:32 287K
CE-NecessaryAndSufficient.popl20-three-array-sum.wvr.yml.log 2024-12-17 23:33 251K
CE-NecessaryAndSufficient.popl20-two-queue.wvr.yml.log 2024-12-17 23:35 276K
CE-NecessaryAndSufficient.pthread-demo-datarace-1.yml.log 2024-12-17 19:11 147K
CE-NecessaryAndSufficient.pthread-demo-datarace-3.yml.log 2024-12-17 19:11 113K
CE-NecessaryAndSufficient.pthread-finding-k-matches.yml.log 2024-12-17 19:11 28K
CE-NecessaryAndSufficient.pthread-numerical-integration.yml.log 2024-12-17 19:11 28K
CE-NecessaryAndSufficient.queue.yml.log 2024-12-17 17:18 298K
CE-NecessaryAndSufficient.queue_longer.yml.log 2024-12-17 17:20 4.8M
CE-NecessaryAndSufficient.queue_longest.yml.log 2024-12-17 17:20 3.0M
CE-NecessaryAndSufficient.queue_ok.yml.log 2024-12-17 17:21 970K
CE-NecessaryAndSufficient.queue_ok_longer.yml.log 2024-12-17 17:21 94K
CE-NecessaryAndSufficient.queue_ok_longest.yml.log 2024-12-17 17:21 94K
CE-NecessaryAndSufficient.qw2004-2b.yml.log 2024-12-17 18:49 61K
CE-NecessaryAndSufficient.race-1_1-join.yml.log 2024-12-17 18:49 70K
CE-NecessaryAndSufficient.race-1_2-join.yml.log 2024-12-17 18:50 56K
CE-NecessaryAndSufficient.race-1_3-join.yml.log 2024-12-17 18:50 56K
CE-NecessaryAndSufficient.race-2_1-container_of.yml.log 2024-12-17 18:50 101K
CE-NecessaryAndSufficient.race-2_2-container_of.yml.log 2024-12-17 18:50 88K
CE-NecessaryAndSufficient.race-2_3-container_of.yml.log 2024-12-17 18:50 72K
CE-NecessaryAndSufficient.race-2_4-container_of.yml.log 2024-12-17 18:50 77K
CE-NecessaryAndSufficient.race-2_5-container_of.yml.log 2024-12-17 18:50 72K
CE-NecessaryAndSufficient.race-3_1-container_of-global.yml.log 2024-12-17 18:51 101K
CE-NecessaryAndSufficient.race-3_2-container_of-global.yml.log 2024-12-17 18:51 95K
CE-NecessaryAndSufficient.race-4_1-thread_local_vars.yml.log 2024-12-17 18:51 108K
CE-NecessaryAndSufficient.read_write_lock-1.yml.log 2024-12-17 17:22 96K
CE-NecessaryAndSufficient.read_write_lock-2.yml.log 2024-12-17 17:22 83K
CE-NecessaryAndSufficient.rec_mcslock.yml.log 2024-12-17 23:56 321K
CE-NecessaryAndSufficient.rec_ticketlock.yml.log 2024-12-17 23:54 266K
CE-NecessaryAndSufficient.reorder_2.yml.log 2024-12-17 17:07 115K
CE-NecessaryAndSufficient.reorder_5.yml.log 2024-12-17 17:07 115K
CE-NecessaryAndSufficient.rfi000_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:26 73K
CE-NecessaryAndSufficient.rfi000_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 18:25 73K
CE-NecessaryAndSufficient.rfi000_tso.yml.log 2024-12-17 18:27 86K
CE-NecessaryAndSufficient.rfi001_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:26 69K
CE-NecessaryAndSufficient.rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:26 74K
CE-NecessaryAndSufficient.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:32 98K
CE-NecessaryAndSufficient.rfi002_tso.yml.log 2024-12-17 18:29 96K
CE-NecessaryAndSufficient.rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:26 73K
CE-NecessaryAndSufficient.rfi003_tso.yml.log 2024-12-17 18:27 80K
CE-NecessaryAndSufficient.rfi004.yml.log 2024-12-17 18:26 73K
CE-NecessaryAndSufficient.rfi005.yml.log 2024-12-17 18:26 53K
CE-NecessaryAndSufficient.rfi006_power.oepc.yml.log 2024-12-17 18:28 99K
CE-NecessaryAndSufficient.rfi006_power.opt.yml.log 2024-12-17 18:28 124K
CE-NecessaryAndSufficient.rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:27 86K
CE-NecessaryAndSufficient.rfi006_rmo.yml.log 2024-12-17 18:28 97K
CE-NecessaryAndSufficient.rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:27 68K
CE-NecessaryAndSufficient.rfi007_tso.yml.log 2024-12-17 18:28 75K
CE-NecessaryAndSufficient.rfi008.oepc.yml.log 2024-12-17 18:28 76K
CE-NecessaryAndSufficient.rfi008.opt.yml.log 2024-12-17 18:28 75K
CE-NecessaryAndSufficient.rfi009_power.oepc.yml.log 2024-12-17 18:30 105K
CE-NecessaryAndSufficient.rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:28 80K
CE-NecessaryAndSufficient.rfi009_rmo.oepc.yml.log 2024-12-17 18:29 98K
CE-NecessaryAndSufficient.rfi010.yml.log 2024-12-17 18:29 74K
CE-NecessaryAndSufficient.rwlock.yml.log 2024-12-17 23:52 96K
CE-NecessaryAndSufficient.safe000_power.oepc.yml.log 2024-12-17 18:41 115K
CE-NecessaryAndSufficient.safe000_power.opt.yml.log 2024-12-17 18:29 86K
CE-NecessaryAndSufficient.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:29 69K
CE-NecessaryAndSufficient.safe000_rmo.yml.log 2024-12-17 18:36 113K
CE-NecessaryAndSufficient.safe001_power.oepc.yml.log 2024-12-17 18:33 114K
CE-NecessaryAndSufficient.safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2024-12-17 18:30 95K
CE-NecessaryAndSufficient.safe001_rmo.oepc.yml.log 2024-12-17 18:32 101K
CE-NecessaryAndSufficient.safe001_tso.yml.log 2024-12-17 18:30 57K
CE-NecessaryAndSufficient.safe002_power.oepc.yml.log 2024-12-17 18:33 109K
CE-NecessaryAndSufficient.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2024-12-17 18:31 95K
CE-NecessaryAndSufficient.safe002_rmo.oepc.yml.log 2024-12-17 18:33 108K
CE-NecessaryAndSufficient.safe002_tso.yml.log 2024-12-17 18:32 63K
CE-NecessaryAndSufficient.safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:33 88K
CE-NecessaryAndSufficient.safe003_power.opt.yml.log 2024-12-17 18:33 85K
CE-NecessaryAndSufficient.safe003_tso.yml.log 2024-12-17 18:33 68K
CE-NecessaryAndSufficient.safe004_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:34 87K
CE-NecessaryAndSufficient.safe004_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 18:34 95K
CE-NecessaryAndSufficient.safe004_tso.yml.log 2024-12-17 18:33 52K
CE-NecessaryAndSufficient.safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:34 83K
CE-NecessaryAndSufficient.safe005_tso.yml.log 2024-12-17 18:33 57K
CE-NecessaryAndSufficient.safe006_power.oepc-thin000_power.oepc.yml.log 2024-12-17 18:34 78K
CE-NecessaryAndSufficient.safe006_power.opt-thin000_power.opt.yml.log 2024-12-17 18:34 75K
CE-NecessaryAndSufficient.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:34 57K
CE-NecessaryAndSufficient.safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:34 77K
CE-NecessaryAndSufficient.safe007_power.oepc-thin001_power.oepc.yml.log 2024-12-17 18:34 91K
CE-NecessaryAndSufficient.safe007_power.opt-thin001_power.opt.yml.log 2024-12-17 18:35 111K
CE-NecessaryAndSufficient.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:34 63K
CE-NecessaryAndSufficient.safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:35 90K
CE-NecessaryAndSufficient.safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:35 78K
CE-NecessaryAndSufficient.safe008_power.opt.yml.log 2024-12-17 18:35 95K
CE-NecessaryAndSufficient.safe008_tso.yml.log 2024-12-17 18:35 68K
CE-NecessaryAndSufficient.safe009_power.oepc.yml.log 2024-12-17 18:41 94K
CE-NecessaryAndSufficient.safe009_power.opt.yml.log 2024-12-17 18:35 84K
CE-NecessaryAndSufficient.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:35 63K
CE-NecessaryAndSufficient.safe009_rmo.oepc.yml.log 2024-12-17 18:40 93K
CE-NecessaryAndSufficient.safe009_rmo.opt.yml.log 2024-12-17 18:35 82K
CE-NecessaryAndSufficient.safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:35 68K
CE-NecessaryAndSufficient.safe010_tso.yml.log 2024-12-17 18:35 57K
CE-NecessaryAndSufficient.safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:36 83K
CE-NecessaryAndSufficient.safe011_power.opt_pso.opt.yml.log 2024-12-17 18:37 106K
CE-NecessaryAndSufficient.safe011_tso.yml.log 2024-12-17 18:35 57K
CE-NecessaryAndSufficient.safe012_power.oepc.yml.log 2024-12-17 18:36 91K
CE-NecessaryAndSufficient.safe012_power.opt.yml.log 2024-12-17 18:37 111K
CE-NecessaryAndSufficient.safe012_pso.oepc_pso.opt_rmo.opt.yml.log 2024-12-17 18:37 82K
CE-NecessaryAndSufficient.safe012_rmo.oepc.yml.log 2024-12-17 18:37 90K
CE-NecessaryAndSufficient.safe012_tso.yml.log 2024-12-17 18:37 63K
CE-NecessaryAndSufficient.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:37 82K
CE-NecessaryAndSufficient.safe013_tso.yml.log 2024-12-17 18:37 63K
CE-NecessaryAndSufficient.safe014_power.oepc.yml.log 2024-12-17 18:38 108K
CE-NecessaryAndSufficient.safe014_power.opt.yml.log 2024-12-17 18:38 131K
CE-NecessaryAndSufficient.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:37 74K
CE-NecessaryAndSufficient.safe014_rmo.oepc.yml.log 2024-12-17 18:38 101K
CE-NecessaryAndSufficient.safe014_rmo.opt.yml.log 2024-12-17 18:39 108K
CE-NecessaryAndSufficient.safe015_power.oepc.yml.log 2024-12-17 18:40 122K
CE-NecessaryAndSufficient.safe015_power.opt.yml.log 2024-12-17 18:42 114K
CE-NecessaryAndSufficient.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:38 63K
CE-NecessaryAndSufficient.safe015_rmo.yml.log 2024-12-17 18:39 96K
CE-NecessaryAndSufficient.safe016_power.oepc.yml.log 2024-12-17 18:42 112K
CE-NecessaryAndSufficient.safe016_power.opt.yml.log 2024-12-17 18:42 101K
CE-NecessaryAndSufficient.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:40 64K
CE-NecessaryAndSufficient.safe016_rmo.oepc.yml.log 2024-12-17 18:41 111K
CE-NecessaryAndSufficient.safe016_rmo.opt.yml.log 2024-12-17 18:42 105K
CE-NecessaryAndSufficient.safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:41 77K
CE-NecessaryAndSufficient.safe017_tso.yml.log 2024-12-17 18:41 63K
CE-NecessaryAndSufficient.safe018_power.oepc.yml.log 2024-12-17 18:42 90K
CE-NecessaryAndSufficient.safe018_power.opt.yml.log 2024-12-17 18:43 136K
CE-NecessaryAndSufficient.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:41 63K
CE-NecessaryAndSufficient.safe018_rmo.oepc.yml.log 2024-12-17 18:42 89K
CE-NecessaryAndSufficient.safe018_rmo.opt.yml.log 2024-12-17 18:42 88K
CE-NecessaryAndSufficient.safe019_power.oepc.yml.log 2024-12-17 18:44 113K
CE-NecessaryAndSufficient.safe019_power.opt.yml.log 2024-12-17 18:44 128K
CE-NecessaryAndSufficient.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:42 69K
CE-NecessaryAndSufficient.safe019_rmo.oepc.yml.log 2024-12-17 18:44 112K
CE-NecessaryAndSufficient.safe019_rmo.opt.yml.log 2024-12-17 18:44 103K
CE-NecessaryAndSufficient.safe020_power.yml.log 2024-12-17 18:45 118K
CE-NecessaryAndSufficient.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:43 63K
CE-NecessaryAndSufficient.safe020_rmo.yml.log 2024-12-17 18:43 88K
CE-NecessaryAndSufficient.safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:44 78K
CE-NecessaryAndSufficient.safe021_power.opt_pso.opt.yml.log 2024-12-17 18:44 78K
CE-NecessaryAndSufficient.safe021_tso.yml.log 2024-12-17 18:44 63K
CE-NecessaryAndSufficient.safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:44 68K
CE-NecessaryAndSufficient.safe022_tso.yml.log 2024-12-17 18:44 57K
CE-NecessaryAndSufficient.safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:48 118K
CE-NecessaryAndSufficient.safe023_tso.yml.log 2024-12-17 18:44 58K
CE-NecessaryAndSufficient.safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:45 78K
CE-NecessaryAndSufficient.safe024_tso.yml.log 2024-12-17 18:44 63K
CE-NecessaryAndSufficient.safe025_power.yml.log 2024-12-17 18:49 117K
CE-NecessaryAndSufficient.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:44 69K
CE-NecessaryAndSufficient.safe025_rmo.yml.log 2024-12-17 18:46 92K
CE-NecessaryAndSufficient.safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:45 83K
CE-NecessaryAndSufficient.safe026_tso.yml.log 2024-12-17 18:45 63K
CE-NecessaryAndSufficient.safe027_power.oepc.yml.log 2024-12-17 18:46 105K
CE-NecessaryAndSufficient.safe027_power.opt.yml.log 2024-12-17 18:48 142K
CE-NecessaryAndSufficient.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:45 75K
CE-NecessaryAndSufficient.safe027_rmo.yml.log 2024-12-17 18:46 104K
CE-NecessaryAndSufficient.safe028_power.yml.log 2024-12-17 18:48 125K
CE-NecessaryAndSufficient.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:46 63K
CE-NecessaryAndSufficient.safe028_rmo.yml.log 2024-12-17 18:47 88K
CE-NecessaryAndSufficient.safe029_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:46 67K
CE-NecessaryAndSufficient.safe029_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 18:47 89K
CE-NecessaryAndSufficient.safe029_tso.yml.log 2024-12-17 18:46 52K
CE-NecessaryAndSufficient.safe030_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:52 120K
CE-NecessaryAndSufficient.safe030_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 18:48 110K
CE-NecessaryAndSufficient.safe030_tso.yml.log 2024-12-17 18:47 52K
CE-NecessaryAndSufficient.safe031_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 18:48 94K
CE-NecessaryAndSufficient.safe031_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 18:48 99K
CE-NecessaryAndSufficient.safe031_tso.yml.log 2024-12-17 18:48 57K
CE-NecessaryAndSufficient.safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:52 135K
CE-NecessaryAndSufficient.safe032_tso.yml.log 2024-12-17 18:48 57K
CE-NecessaryAndSufficient.safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:48 76K
CE-NecessaryAndSufficient.safe033_tso.yml.log 2024-12-17 18:48 57K
CE-NecessaryAndSufficient.safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 18:49 99K
CE-NecessaryAndSufficient.safe034_tso.yml.log 2024-12-17 18:48 63K
CE-NecessaryAndSufficient.safe035_power.yml.log 2024-12-17 19:03 28K
CE-NecessaryAndSufficient.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:48 63K
CE-NecessaryAndSufficient.safe036.yml.log 2024-12-17 18:48 57K
CE-NecessaryAndSufficient.safe037.yml.log 2024-12-17 18:49 63K
CE-NecessaryAndSufficient.safestack_relacy.yml.log 2024-12-17 19:03 117K
CE-NecessaryAndSufficient.security.wvr.yml.log 2024-12-17 23:21 47K
CE-NecessaryAndSufficient.semaphore.yml.log 2024-12-17 23:55 102K
CE-NecessaryAndSufficient.singleton.yml.log 2024-12-17 17:07 50K
CE-NecessaryAndSufficient.singleton_with-uninit-problems.yml.log 2024-12-17 17:07 67K
CE-NecessaryAndSufficient.spaghetti.wvr.yml.log 2024-12-17 23:21 58K
CE-NecessaryAndSufficient.sssc12.yml.log 2024-12-17 18:50 346K
CE-NecessaryAndSufficient.sssc12_variant.yml.log 2024-12-17 18:52 250K
CE-NecessaryAndSufficient.stack-1.yml.log 2024-12-17 17:08 250K
CE-NecessaryAndSufficient.stack-2.yml.log 2024-12-17 17:09 204K
CE-NecessaryAndSufficient.stack_longer-1.yml.log 2024-12-17 17:23 146K
CE-NecessaryAndSufficient.stack_longer-2.yml.log 2024-12-17 17:32 123K
CE-NecessaryAndSufficient.stack_longest-1.yml.log 2024-12-17 17:34 148K
CE-NecessaryAndSufficient.stack_longest-2.yml.log 2024-12-17 17:35 220K
CE-NecessaryAndSufficient.stateful01-1.yml.log 2024-12-17 17:21 47K
CE-NecessaryAndSufficient.stateful01-2.yml.log 2024-12-17 17:21 52K
CE-NecessaryAndSufficient.sync01.yml.log 2024-12-17 17:21 57K
CE-NecessaryAndSufficient.szymanski.yml.log 2024-12-17 17:22 165K
CE-NecessaryAndSufficient.test-context1.wvr.yml.log 2024-12-17 23:21 114K
CE-NecessaryAndSufficient.test-easy1.wvr.yml.log 2024-12-17 23:21 69K
CE-NecessaryAndSufficient.test-easy10.wvr.yml.log 2024-12-17 23:21 69K
CE-NecessaryAndSufficient.test-easy11.wvr.yml.log 2024-12-17 23:21 74K
CE-NecessaryAndSufficient.test-easy6.wvr.yml.log 2024-12-17 23:22 80K
CE-NecessaryAndSufficient.test-easy7.wvr.yml.log 2024-12-17 23:22 47K
CE-NecessaryAndSufficient.test-easy8.wvr.yml.log 2024-12-17 23:22 52K
CE-NecessaryAndSufficient.test-hard1.wvr.yml.log 2024-12-17 23:36 95K
CE-NecessaryAndSufficient.test-semi1.wvr.yml.log 2024-12-17 23:23 52K
CE-NecessaryAndSufficient.thin002_power.oepc.yml.log 2024-12-17 18:49 106K
CE-NecessaryAndSufficient.thin002_power.opt.yml.log 2024-12-17 18:50 126K
CE-NecessaryAndSufficient.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 18:49 69K
CE-NecessaryAndSufficient.thin002_rmo.yml.log 2024-12-17 18:49 105K
CE-NecessaryAndSufficient.thread-local-pthread-value.yml.log 2024-12-17 23:43 28K
CE-NecessaryAndSufficient.thread-local-value-dynamic.yml.log 2024-12-17 23:43 28K
CE-NecessaryAndSufficient.thread-local-value.yml.log 2024-12-17 23:43 28K
CE-NecessaryAndSufficient.ticketlock.yml.log 2024-12-17 23:54 68K
CE-NecessaryAndSufficient.time_var_mutex.yml.log 2024-12-17 17:22 107K
CE-NecessaryAndSufficient.tls_basic.yml.log 2024-12-17 19:11 27K
CE-NecessaryAndSufficient.tls_destructor_worker.yml.log 2024-12-17 19:11 28K
CE-NecessaryAndSufficient.triangular-1.yml.log 2024-12-17 17:21 99K
CE-NecessaryAndSufficient.triangular-2.yml.log 2024-12-17 17:21 70K
CE-NecessaryAndSufficient.triangular-longer-1.yml.log 2024-12-17 17:21 115K
CE-NecessaryAndSufficient.triangular-longer-2.yml.log 2024-12-17 17:21 83K
CE-NecessaryAndSufficient.triangular-longest-1.yml.log 2024-12-17 17:22 130K
CE-NecessaryAndSufficient.triangular-longest-2.yml.log 2024-12-17 17:22 100K
CE-NecessaryAndSufficient.ttaslock.yml.log 2024-12-18 00:06 749K
CE-NecessaryAndSufficient.twostage_3.yml.log 2024-12-17 17:22 219K
CE-NecessaryAndSufficient.unroll-2.wvr.yml.log 2024-12-17 23:37 252K
CE-NecessaryAndSufficient.unroll-3.wvr.yml.log 2024-12-17 23:39 109K
CE-NecessaryAndSufficient.unroll-4.wvr.yml.log 2024-12-17 23:43 150K
CE-NecessaryAndSufficient.unroll-5.wvr.yml.log 2024-12-17 23:46 129K
CE-NecessaryAndSufficient.unroll-cond-2.wvr.yml.log 2024-12-17 23:48 105K
CE-NecessaryAndSufficient.unroll-cond-3.wvr.yml.log 2024-12-17 23:49 81K
CE-NecessaryAndSufficient.unroll-cond-4.wvr.yml.log 2024-12-17 23:51 77K
CE-NecessaryAndSufficient.unroll-cond-5.wvr.yml.log 2024-12-17 23:52 124K
CE-NecessaryAndSufficient.unwind1-1.yml.log 2024-12-17 23:58 65K
CE-NecessaryAndSufficient.unwind1-100.yml.log 2024-12-18 00:00 127K
CE-NecessaryAndSufficient.unwind1-nondet.yml.log 2024-12-17 23:58 57K
CE-NecessaryAndSufficient.unwind2-1.yml.log 2024-12-17 23:58 80K
CE-NecessaryAndSufficient.unwind2-100.yml.log 2024-12-17 23:59 192K
CE-NecessaryAndSufficient.unwind2-nondet.yml.log 2024-12-17 23:58 92K
CE-NecessaryAndSufficient.unwind3-1.yml.log 2024-12-17 23:58 63K
CE-NecessaryAndSufficient.unwind3-100.yml.log 2024-12-18 00:10 303K
CE-NecessaryAndSufficient.unwind3-nondet.yml.log 2024-12-17 23:59 45K
CE-NecessaryAndSufficient.workstealqueue_mutex-2.yml.log 2024-12-17 19:19 2.6M
CE-NecessaryAndSufficient.wsc.yml.log 2024-12-17 23:59 76K
CE-Sufficient.01b_inc.yml.log 2024-12-17 10:15 4.0M
CE-Sufficient.02_inc_cas.yml.log 2024-12-17 10:16 622K
CE-Sufficient.03_incdec.yml.log 2024-12-17 10:04 141K
CE-Sufficient.04_incdec_cas.yml.log 2024-12-17 10:17 916K
CE-Sufficient.08_rand_cas.yml.log 2024-12-17 10:08 351K
CE-Sufficient.09_fmaxsym-zero.yml.log 2024-12-17 10:12 201K
CE-Sufficient.09_fmaxsym.yml.log 2024-12-17 10:14 447K
CE-Sufficient.11_fmaxsymopt-zero.yml.log 2024-12-17 10:15 542K
CE-Sufficient.11_fmaxsymopt.yml.log 2024-12-17 10:18 891K
CE-Sufficient.13-privatized_01-priv_nr_true.yml.log 2024-12-17 11:51 89K
CE-Sufficient.13-privatized_04-priv_multi_true.yml.log 2024-12-17 11:51 170K
CE-Sufficient.13-privatized_18-first-reads_true.yml.log 2024-12-17 11:51 52K
CE-Sufficient.13-privatized_18-first-reads_unknown_1_neg.yml.log 2024-12-17 11:51 45K
CE-Sufficient.13-privatized_18-first-reads_unknown_1_pos.yml.log 2024-12-17 11:51 45K
CE-Sufficient.13-privatized_18-first-reads_unknown_2_neg.yml.log 2024-12-17 11:51 45K
CE-Sufficient.13-privatized_18-first-reads_unknown_2_pos.yml.log 2024-12-17 11:51 45K
CE-Sufficient.13-privatized_19-publish-precision_true.yml.log 2024-12-17 11:51 69K
CE-Sufficient.13-privatized_19-publish-precision_unknown_1_neg.yml.log 2024-12-17 11:51 46K
CE-Sufficient.13-privatized_19-publish-precision_unknown_1_pos.yml.log 2024-12-17 11:51 54K
CE-Sufficient.13-privatized_19-publish-precision_unknown_2_neg.yml.log 2024-12-17 11:51 54K
CE-Sufficient.13-privatized_19-publish-precision_unknown_2_pos.yml.log 2024-12-17 11:51 46K
CE-Sufficient.13-privatized_20-publish-regression_true.yml.log 2024-12-17 11:51 84K
CE-Sufficient.13-privatized_24-multiple-protecting_true.yml.log 2024-12-17 11:51 68K
CE-Sufficient.13-privatized_25-struct_nr_true.yml.log 2024-12-17 11:51 89K
CE-Sufficient.13-privatized_27-multiple-protecting2_true.yml.log 2024-12-17 11:52 69K
CE-Sufficient.13-privatized_29-multiple-protecting2-vesal_true.yml.log 2024-12-17 11:52 68K
CE-Sufficient.13-privatized_30-traces-oplus-vs-meet_true.yml.log 2024-12-17 11:52 62K
CE-Sufficient.13-privatized_31-traces-mine-vs-mutex_true.yml.log 2024-12-17 11:52 56K
CE-Sufficient.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml.log 2024-12-17 11:52 68K
CE-Sufficient.13-privatized_33-traces-v-matters_true.yml.log 2024-12-17 11:52 67K
CE-Sufficient.13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml.log 2024-12-17 11:52 67K
CE-Sufficient.13-privatized_35-traces-ex-2_true.yml.log 2024-12-17 11:52 56K
CE-Sufficient.13-privatized_36-traces-ex-3_true.yml.log 2024-12-17 11:52 52K
CE-Sufficient.13-privatized_37-traces-ex-4_true.yml.log 2024-12-17 11:52 51K
CE-Sufficient.13-privatized_38-traces-ex-4-switch_true.yml.log 2024-12-17 11:52 56K
CE-Sufficient.13-privatized_40-traces-ex-6_true.yml.log 2024-12-17 11:52 56K
CE-Sufficient.13-privatized_41-traces-ex-7_unknown_1_neg.yml.log 2024-12-17 11:52 59K
CE-Sufficient.13-privatized_41-traces-ex-7_unknown_1_pos.yml.log 2024-12-17 11:52 45K
CE-Sufficient.13-privatized_42-traces-ex-mini_true.yml.log 2024-12-17 11:52 52K
CE-Sufficient.13-privatized_44-traces-mine2_true.yml.log 2024-12-17 11:52 52K
CE-Sufficient.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml.log 2024-12-17 11:52 62K
CE-Sufficient.13-privatized_46-refine-protected1_true.yml.log 2024-12-17 11:52 47K
CE-Sufficient.13-privatized_47-refine-protected2_true.yml.log 2024-12-17 11:52 52K
CE-Sufficient.13-privatized_52-refine-protected-loop2-small_true.yml.log 2024-12-17 11:52 59K
CE-Sufficient.13-privatized_57-singlethreaded-unlock_true.yml.log 2024-12-17 11:52 47K
CE-Sufficient.13-privatized_58-singlethreaded-lock_true.yml.log 2024-12-17 11:52 47K
CE-Sufficient.13-privatized_66-mine-W-init_true.yml.log 2024-12-17 11:52 46K
CE-Sufficient.13-privatized_67-pthread_cond_wait_true.yml.log 2024-12-17 11:52 67K
CE-Sufficient.13-privatized_67-pthread_cond_wait_unknown_1_neg.yml.log 2024-12-17 11:52 46K
CE-Sufficient.13-privatized_67-pthread_cond_wait_unknown_1_pos.yml.log 2024-12-17 11:53 54K
CE-Sufficient.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2024-12-17 11:53 156K
CE-Sufficient.13-privatized_69-refine-protected-loop-interval_true.yml.log 2024-12-17 11:53 80K
CE-Sufficient.14_spin2003.yml.log 2024-12-17 10:17 150K
CE-Sufficient.18_read_write_lock.yml.log 2024-12-17 10:16 52K
CE-Sufficient.25_stack.yml.log 2024-12-17 10:25 266K
CE-Sufficient.25_stack_longer-1.yml.log 2024-12-17 10:30 26K
CE-Sufficient.25_stack_longer-2.yml.log 2024-12-17 10:31 26K
CE-Sufficient.25_stack_longest-1.yml.log 2024-12-17 10:32 26K
CE-Sufficient.25_stack_longest-2.yml.log 2024-12-17 10:33 26K
CE-Sufficient.26_stack_cas.yml.log 2024-12-17 10:32 648K
CE-Sufficient.26_stack_cas_longer-1.yml.log 2024-12-17 10:34 26K
CE-Sufficient.26_stack_cas_longer-2.yml.log 2024-12-17 10:40 26K
CE-Sufficient.26_stack_cas_longest-1.yml.log 2024-12-17 10:45 26K
CE-Sufficient.26_stack_cas_longest-2.yml.log 2024-12-17 10:46 26K
CE-Sufficient.28-race_reach_01-simple_racing.yml.log 2024-12-17 12:05 655K
CE-Sufficient.28-race_reach_02-simple_racefree.yml.log 2024-12-17 12:05 604K
CE-Sufficient.28-race_reach_03-munge_racing.yml.log 2024-12-17 11:56 130K
CE-Sufficient.28-race_reach_04-munge_racefree.yml.log 2024-12-17 11:59 122K
CE-Sufficient.28-race_reach_05-lockfuns_racefree.yml.log 2024-12-17 12:13 3.7M
CE-Sufficient.28-race_reach_06-cond_racing1.yml.log 2024-12-17 12:13 604K
CE-Sufficient.28-race_reach_07-cond_racing2.yml.log 2024-12-17 12:13 648K
CE-Sufficient.28-race_reach_08-cond_racefree.yml.log 2024-12-17 12:14 650K
CE-Sufficient.28-race_reach_09-ptrmunge_racing.yml.log 2024-12-17 12:04 195K
CE-Sufficient.28-race_reach_10-ptrmunge_racefree.yml.log 2024-12-17 12:06 195K
CE-Sufficient.28-race_reach_11-ptr_racing.yml.log 2024-12-17 12:18 586K
CE-Sufficient.28-race_reach_12-ptr_racefree.yml.log 2024-12-17 12:20 650K
CE-Sufficient.28-race_reach_19-callback_racing.yml.log 2024-12-17 12:12 222K
CE-Sufficient.28-race_reach_20-callback_racefree.yml.log 2024-12-17 12:16 345K
CE-Sufficient.28-race_reach_21-deref_read_racing.yml.log 2024-12-17 12:25 655K
CE-Sufficient.28-race_reach_22-deref_read_racefree.yml.log 2024-12-17 12:26 641K
CE-Sufficient.28-race_reach_23-sound_unlock_racing.yml.log 2024-12-17 12:14 28K
CE-Sufficient.28-race_reach_24-sound_lock_racing.yml.log 2024-12-17 12:27 641K
CE-Sufficient.28-race_reach_27-funptr_racing.yml.log 2024-12-17 12:27 2.4M
CE-Sufficient.28-race_reach_28-funptr_racefree.yml.log 2024-12-17 12:29 522K
CE-Sufficient.28-race_reach_36-indirect_racefree.yml.log 2024-12-17 12:30 600K
CE-Sufficient.28-race_reach_37-indirect_racing.yml.log 2024-12-17 12:32 641K
CE-Sufficient.28-race_reach_40-trylock_racing.yml.log 2024-12-17 12:25 28K
CE-Sufficient.28-race_reach_41-trylock_racefree.yml.log 2024-12-17 12:38 656K
CE-Sufficient.28-race_reach_42-trylock2_racefree.yml.log 2024-12-17 12:38 604K
CE-Sufficient.28-race_reach_45-escape_racing.yml.log 2024-12-17 12:27 60K
CE-Sufficient.28-race_reach_46-escape_racefree.yml.log 2024-12-17 12:27 67K
CE-Sufficient.28-race_reach_51-mutexptr_racefree.yml.log 2024-12-17 12:40 655K
CE-Sufficient.28-race_reach_60-invariant_racefree.yml.log 2024-12-17 12:30 204K
CE-Sufficient.28-race_reach_61-invariant_racing.yml.log 2024-12-17 12:42 226K
CE-Sufficient.28-race_reach_70-funloop_racefree.yml.log 2024-12-17 12:44 223K
CE-Sufficient.28-race_reach_71-funloop_racing.yml.log 2024-12-17 12:45 222K
CE-Sufficient.28-race_reach_72-funloop_hard_racing.yml.log 2024-12-17 12:47 222K
CE-Sufficient.28-race_reach_73-funloop_hard_racefree.yml.log 2024-12-17 12:53 225K
CE-Sufficient.28-race_reach_74-tricky_address1_racefree.yml.log 2024-12-17 12:47 286K
CE-Sufficient.28-race_reach_75-tricky_address2_racefree.yml.log 2024-12-17 12:53 299K
CE-Sufficient.28-race_reach_76-tricky_address3_racefree.yml.log 2024-12-17 12:46 244K
CE-Sufficient.28-race_reach_77-tricky_address4_racing.yml.log 2024-12-17 12:54 271K
CE-Sufficient.28-race_reach_78-equ_racing.yml.log 2024-12-17 12:46 142K
CE-Sufficient.28-race_reach_79-equ_racefree.yml.log 2024-12-17 12:48 142K
CE-Sufficient.28-race_reach_81-list_racing.yml.log 2024-12-17 12:48 66K
CE-Sufficient.28-race_reach_82-list_racefree.yml.log 2024-12-17 12:48 66K
CE-Sufficient.28-race_reach_83-list2_racing1.yml.log 2024-12-17 12:49 41K
CE-Sufficient.28-race_reach_84-list2_racing2.yml.log 2024-12-17 12:50 41K
CE-Sufficient.28-race_reach_85-list2_racefree.yml.log 2024-12-17 12:54 51K
CE-Sufficient.28-race_reach_86-lists_racing.yml.log 2024-12-17 13:06 85K
CE-Sufficient.28-race_reach_87-lists_racefree.yml.log 2024-12-17 13:06 85K
CE-Sufficient.28-race_reach_90-arrayloop2_racing.yml.log 2024-12-17 13:07 111K
CE-Sufficient.28-race_reach_91-arrayloop2_racefree.yml.log 2024-12-17 13:08 55K
CE-Sufficient.28-race_reach_92-evilcollapse_racing.yml.log 2024-12-17 13:08 55K
CE-Sufficient.28-race_reach_93-evilcollapse_racefree.yml.log 2024-12-17 13:09 55K
CE-Sufficient.28-race_reach_94-alloc_region_racing.yml.log 2024-12-17 12:59 52K
CE-Sufficient.28_buggy_simple_loop1_vf.yml.log 2024-12-17 10:32 45K
CE-Sufficient.29_conditionals_vs.yml.log 2024-12-17 10:33 264K
CE-Sufficient.31_simple_loop5_vs.yml.log 2024-12-17 10:32 160K
CE-Sufficient.35_double_lock_p3_vs.yml.log 2024-12-17 10:35 106K
CE-Sufficient.36-apron_11-traces-max-simple_true.yml.log 2024-12-17 12:59 69K
CE-Sufficient.36-apron_16-traces-unprot2_true.yml.log 2024-12-17 12:59 46K
CE-Sufficient.36-apron_17-traces-rpb-litmus_unknown_1_neg.yml.log 2024-12-17 12:59 50K
CE-Sufficient.36-apron_17-traces-rpb-litmus_unknown_1_pos.yml.log 2024-12-17 12:59 46K
CE-Sufficient.36-apron_21-traces-cluster-based_true.yml.log 2024-12-17 12:59 125K
CE-Sufficient.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml.log 2024-12-17 13:00 92K
CE-Sufficient.36-apron_41-threadenter-no-locals_unknown_1_neg.yml.log 2024-12-17 13:00 44K
CE-Sufficient.36-apron_41-threadenter-no-locals_unknown_1_pos.yml.log 2024-12-17 13:00 44K
CE-Sufficient.36_stack_cas_p0_vs_concur.yml.log 2024-12-17 10:49 108K
CE-Sufficient.37_stack_lock_p0_vs_concur.yml.log 2024-12-17 10:37 110K
CE-Sufficient.39_rand_lock_p0_vs.yml.log 2024-12-17 10:39 237K
CE-Sufficient.40_barrier_vf.yml.log 2024-12-17 10:39 121K
CE-Sufficient.43_NetBSD_sysmon_power_sliced-pthread.yml.log 2024-12-17 10:39 64K
CE-Sufficient.43_NetBSD_sysmon_power_sliced.yml.log 2024-12-17 10:46 81K
CE-Sufficient.45_monabsex1_vs.yml.log 2024-12-17 10:43 558K
CE-Sufficient.46_monabsex2_vs.yml.log 2024-12-17 10:44 242K
CE-Sufficient.48_ticket_lock_low_contention_vs-pthread.yml.log 2024-12-17 10:45 192K
CE-Sufficient.48_ticket_lock_low_contention_vs.yml.log 2024-12-17 10:45 51K
CE-Sufficient.arithmetic_prog_bad.yml.log 2024-12-17 16:21 85K
CE-Sufficient.arithmetic_prog_ok.yml.log 2024-12-17 16:21 97K
CE-Sufficient.array-eq-symm.wvr.yml.log 2024-12-17 13:00 313K
CE-Sufficient.array-eq-trans.wvr.yml.log 2024-12-17 13:15 930K
CE-Sufficient.arraylock.yml.log 2024-12-17 16:25 30K
CE-Sufficient.bench-exp1x3.wvr.yml.log 2024-12-17 13:21 77K
CE-Sufficient.bench-exp2x3.wvr.yml.log 2024-12-17 13:21 90K
CE-Sufficient.bench-exp2x4.wvr.yml.log 2024-12-17 13:22 82K
CE-Sufficient.bench-exp2x6.wvr.yml.log 2024-12-17 13:22 73K
CE-Sufficient.bench-exp2x9.wvr.yml.log 2024-12-17 13:23 130K
CE-Sufficient.bench-exp3x3-opt.wvr.yml.log 2024-12-17 13:09 80K
CE-Sufficient.bench-exp3x3.wvr.yml.log 2024-12-17 13:24 75K
CE-Sufficient.bigshot_s.yml.log 2024-12-17 09:32 62K
CE-Sufficient.bigshot_s2.yml.log 2024-12-17 09:32 74K
CE-Sufficient.bounded_buffer.yml.log 2024-12-17 11:50 116K
CE-Sufficient.bounded_mpmc_check_full.yml.log 2024-12-17 16:39 384K
CE-Sufficient.butterfly.yml.log 2024-12-17 09:42 110K
CE-Sufficient.char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml.log 2024-12-17 11:47 63K
CE-Sufficient.char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml.log 2024-12-17 11:47 63K
CE-Sufficient.char_generic_nvram_read_nvram_write_nvram.yml.log 2024-12-17 11:48 130K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml.log 2024-12-17 11:47 91K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml.log 2024-12-17 12:01 187K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml.log 2024-12-17 11:48 104K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml.log 2024-12-17 12:00 248K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml.log 2024-12-17 11:48 82K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml.log 2024-12-17 11:48 51K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml.log 2024-12-17 11:48 92K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml.log 2024-12-17 11:48 82K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml.log 2024-12-17 12:03 100K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml.log 2024-12-17 11:49 89K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml.log 2024-12-17 11:49 125K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml.log 2024-12-17 11:50 74K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml.log 2024-12-17 11:50 116K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml.log 2024-12-17 11:50 74K
CE-Sufficient.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml.log 2024-12-17 11:50 110K
CE-Sufficient.chl-array-int-subst.wvr.yml.log 2024-12-17 13:29 968K
CE-Sufficient.chl-array-int-symm.wvr.yml.log 2024-12-17 13:22 219K
CE-Sufficient.chl-array-int-trans.wvr.yml.log 2024-12-17 13:36 558K
CE-Sufficient.chl-chromosome-opt-symm.wvr.yml.log 2024-12-17 13:22 168K
CE-Sufficient.chl-chromosome-subst.wvr.yml.log 2024-12-17 13:36 197K
CE-Sufficient.chl-chromosome-symm.wvr.yml.log 2024-12-17 13:23 175K
CE-Sufficient.chl-chromosome-trans.wvr.yml.log 2024-12-17 13:37 180K
CE-Sufficient.chl-collitem-subst.wvr.yml.log 2024-12-17 13:23 48K
CE-Sufficient.chl-collitem-symm.wvr.yml.log 2024-12-17 13:23 47K
CE-Sufficient.chl-collitem-trans.wvr.yml.log 2024-12-17 13:23 48K
CE-Sufficient.chl-exp-term-subst.wvr.yml.log 2024-12-17 13:23 48K
CE-Sufficient.chl-exp-term-symm.wvr.yml.log 2024-12-17 13:23 47K
CE-Sufficient.chl-file-item-subst.wvr.yml.log 2024-12-17 13:23 48K
CE-Sufficient.chl-file-item-symm.wvr.yml.log 2024-12-17 13:23 47K
CE-Sufficient.chl-file-item-trans.wvr.yml.log 2024-12-17 13:23 48K
CE-Sufficient.chl-match-subst.wvr.yml.log 2024-12-17 13:24 48K
CE-Sufficient.chl-match-symm.wvr.yml.log 2024-12-17 13:24 47K
CE-Sufficient.chl-match-trans.wvr.yml.log 2024-12-17 13:24 48K
CE-Sufficient.chl-name-comparator-subst.wvr.yml.log 2024-12-17 13:24 178K
CE-Sufficient.chl-name-comparator-symm.wvr.yml.log 2024-12-17 13:24 150K
CE-Sufficient.chl-name-comparator-trans.wvr.yml.log 2024-12-17 13:25 255K
CE-Sufficient.chl-node-subst.wvr.yml.log 2024-12-17 13:39 82K
CE-Sufficient.chl-node-symm.wvr.yml.log 2024-12-17 13:25 75K
CE-Sufficient.chl-node-trans.wvr.yml.log 2024-12-17 13:25 95K
CE-Sufficient.chl-nzb-file-subst.wvr.yml.log 2024-12-17 13:39 90K
CE-Sufficient.chl-nzb-file-symm.wvr.yml.log 2024-12-17 13:27 211K
CE-Sufficient.chl-nzb-file-trans.wvr.yml.log 2024-12-17 13:30 318K
CE-Sufficient.chl-poker-hand-subst.wvr.yml.log 2024-12-17 13:43 197K
CE-Sufficient.chl-poker-hand-symm.wvr.yml.log 2024-12-17 13:45 100K
CE-Sufficient.chl-poker-hand-trans.wvr.yml.log 2024-12-17 13:50 193K
CE-Sufficient.chl-simpl-str-subst.wvr.yml.log 2024-12-17 13:37 48K
CE-Sufficient.chl-simpl-str-symm.wvr.yml.log 2024-12-17 13:37 47K
CE-Sufficient.chl-simpl-str-trans.wvr.yml.log 2024-12-17 13:37 48K
CE-Sufficient.chl-sre-subst.wvr.yml.log 2024-12-17 13:37 48K
CE-Sufficient.chl-sre-symm.wvr.yml.log 2024-12-17 13:37 47K
CE-Sufficient.chl-sre-trans.wvr.yml.log 2024-12-17 13:37 47K
CE-Sufficient.chl-time-subst.wvr.yml.log 2024-12-17 13:37 48K
CE-Sufficient.chl-time-symm.wvr.yml.log 2024-12-17 13:37 47K
CE-Sufficient.chl-time-trans.wvr.yml.log 2024-12-17 13:37 48K
CE-Sufficient.chl-word-subst.wvr.yml.log 2024-12-17 13:52 922K
CE-Sufficient.chl-word-symm.wvr.yml.log 2024-12-17 13:38 344K
CE-Sufficient.chl-word-trans.wvr.yml.log 2024-12-17 13:52 1.2M
CE-Sufficient.circular_buffer_bad.yml.log 2024-12-17 16:22 126K
CE-Sufficient.circular_buffer_ok.yml.log 2024-12-17 16:36 114K
CE-Sufficient.clever.wvr.yml.log 2024-12-17 13:52 208K
CE-Sufficient.cnalock.yml.log 2024-12-17 16:26 87K
CE-Sufficient.dekker-unfair.yml.log 2024-12-17 10:01 117K
CE-Sufficient.dekker.yml.log 2024-12-17 10:01 117K
CE-Sufficient.elimination_backoff_stack.yml.log 2024-12-17 11:50 124K
CE-Sufficient.exponential-4.yml.log 2024-12-17 16:40 204K
CE-Sufficient.exponential-64.yml.log 2024-12-17 16:52 278K
CE-Sufficient.exponential-nondet.yml.log 2024-12-17 16:52 189K
CE-Sufficient.fib_safe-10.yml.log 2024-12-17 09:45 142K
CE-Sufficient.fib_safe-11.yml.log 2024-12-17 09:46 152K
CE-Sufficient.fib_safe-12.yml.log 2024-12-17 09:46 138K
CE-Sufficient.fib_safe-5.yml.log 2024-12-17 09:46 309K
CE-Sufficient.fib_safe-6.yml.log 2024-12-17 09:46 228K
CE-Sufficient.fib_safe-7.yml.log 2024-12-17 09:46 192K
CE-Sufficient.fib_unsafe-10.yml.log 2024-12-17 09:42 112K
CE-Sufficient.fib_unsafe-11.yml.log 2024-12-17 09:42 121K
CE-Sufficient.fib_unsafe-12.yml.log 2024-12-17 09:42 123K
CE-Sufficient.fib_unsafe-5.yml.log 2024-12-17 09:43 103K
CE-Sufficient.fib_unsafe-6.yml.log 2024-12-17 09:43 105K
CE-Sufficient.fib_unsafe-7.yml.log 2024-12-17 09:43 107K
CE-Sufficient.fibonacci.wvr.yml.log 2024-12-17 13:39 93K
CE-Sufficient.hclhlock.yml.log 2024-12-17 16:41 247K
CE-Sufficient.hmcslock.yml.log 2024-12-17 16:29 140K
CE-Sufficient.lamport.yml.log 2024-12-17 10:01 158K
CE-Sufficient.lazy01.yml.log 2024-12-17 09:43 59K
CE-Sufficient.linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml.log 2024-12-17 11:36 87K
CE-Sufficient.linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml.log 2024-12-17 11:35 87K
CE-Sufficient.linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml.log 2024-12-17 11:46 29K
CE-Sufficient.linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml.log 2024-12-17 11:46 84K
CE-Sufficient.linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml.log 2024-12-17 11:47 34K
CE-Sufficient.linux-3.14--drivers--usb--misc--adutux.ko.cil.yml.log 2024-12-17 11:49 37K
CE-Sufficient.loop-tiling-eq.wvr.yml.log 2024-12-17 13:53 1.1M
CE-Sufficient.mcslock.yml.log 2024-12-17 16:30 112K
CE-Sufficient.mix000.oepc.yml.log 2024-12-17 10:46 76K
CE-Sufficient.mix000.opt.yml.log 2024-12-17 10:46 75K
CE-Sufficient.mix001.oepc.yml.log 2024-12-17 10:46 95K
CE-Sufficient.mix001.opt.yml.log 2024-12-17 10:47 104K
CE-Sufficient.mix002.oepc.yml.log 2024-12-17 10:46 94K
CE-Sufficient.mix002.opt.yml.log 2024-12-17 10:47 111K
CE-Sufficient.mix003.oepc.yml.log 2024-12-17 10:47 92K
CE-Sufficient.mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml.log 2024-12-17 10:47 103K
CE-Sufficient.mix004.oepc.yml.log 2024-12-17 10:48 105K
CE-Sufficient.mix004.opt.yml.log 2024-12-17 10:48 97K
CE-Sufficient.mix005.opt.yml.log 2024-12-17 10:48 91K
CE-Sufficient.mix005_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:48 110K
CE-Sufficient.mix005_tso.oepc.yml.log 2024-12-17 10:48 98K
CE-Sufficient.mix006.opt.yml.log 2024-12-17 10:49 108K
CE-Sufficient.mix006_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:49 91K
CE-Sufficient.mix006_tso.oepc.yml.log 2024-12-17 10:52 144K
CE-Sufficient.mix007.oepc.yml.log 2024-12-17 10:49 98K
CE-Sufficient.mix007.opt.yml.log 2024-12-17 10:49 102K
CE-Sufficient.mix008.opt.yml.log 2024-12-17 10:49 96K
CE-Sufficient.mix008_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:49 98K
CE-Sufficient.mix008_tso.oepc.yml.log 2024-12-17 10:54 136K
CE-Sufficient.mix009.oepc.yml.log 2024-12-17 10:49 75K
CE-Sufficient.mix009.opt.yml.log 2024-12-17 10:50 98K
CE-Sufficient.mix010.oepc.yml.log 2024-12-17 10:50 87K
CE-Sufficient.mix010.opt.yml.log 2024-12-17 10:51 104K
CE-Sufficient.mix011.opt.yml.log 2024-12-17 10:50 103K
CE-Sufficient.mix011_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:50 92K
CE-Sufficient.mix011_tso.oepc.yml.log 2024-12-17 10:50 86K
CE-Sufficient.mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml.log 2024-12-17 10:50 69K
CE-Sufficient.mix012_pso.opt_tso.opt.yml.log 2024-12-17 10:51 74K
CE-Sufficient.mix013.oepc.yml.log 2024-12-17 10:51 99K
CE-Sufficient.mix013.opt.yml.log 2024-12-17 10:51 97K
CE-Sufficient.mix014.opt.yml.log 2024-12-17 10:52 96K
CE-Sufficient.mix014_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:52 99K
CE-Sufficient.mix014_tso.oepc.yml.log 2024-12-17 10:55 140K
CE-Sufficient.mix015.oepc.yml.log 2024-12-17 10:52 93K
CE-Sufficient.mix015.opt.yml.log 2024-12-17 10:52 104K
CE-Sufficient.mix016.oepc.yml.log 2024-12-17 10:52 91K
CE-Sufficient.mix016_power.opt_rmo.opt.yml.log 2024-12-17 10:52 78K
CE-Sufficient.mix016_pso.opt_tso.opt.yml.log 2024-12-17 10:53 102K
CE-Sufficient.mix017.oepc.yml.log 2024-12-17 10:53 92K
CE-Sufficient.mix017_power.opt_rmo.opt.yml.log 2024-12-17 10:53 107K
CE-Sufficient.mix017_pso.opt_tso.opt.yml.log 2024-12-17 10:53 96K
CE-Sufficient.mix018.opt.yml.log 2024-12-17 10:53 95K
CE-Sufficient.mix018_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:54 97K
CE-Sufficient.mix018_tso.oepc.yml.log 2024-12-17 10:54 96K
CE-Sufficient.mix019.opt.yml.log 2024-12-17 10:54 101K
CE-Sufficient.mix019_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:54 85K
CE-Sufficient.mix019_tso.oepc.yml.log 2024-12-17 10:54 79K
CE-Sufficient.mix020.oepc.yml.log 2024-12-17 10:55 103K
CE-Sufficient.mix020.opt.yml.log 2024-12-17 10:54 95K
CE-Sufficient.mix021.opt.yml.log 2024-12-17 10:54 83K
CE-Sufficient.mix021_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:56 102K
CE-Sufficient.mix021_tso.oepc.yml.log 2024-12-17 10:56 112K
CE-Sufficient.mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 10:54 73K
CE-Sufficient.mix022_tso.yml.log 2024-12-17 10:55 75K
CE-Sufficient.mix023_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:55 104K
CE-Sufficient.mix023_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 10:56 107K
CE-Sufficient.mix023_tso.yml.log 2024-12-17 10:59 120K
CE-Sufficient.mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml.log 2024-12-17 10:56 92K
CE-Sufficient.mix024_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 10:56 85K
CE-Sufficient.mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml.log 2024-12-17 10:56 85K
CE-Sufficient.mix025_pso.opt_rmo.opt.yml.log 2024-12-17 10:56 78K
CE-Sufficient.mix026.oepc.yml.log 2024-12-17 10:56 97K
CE-Sufficient.mix026_power.opt_tso.opt.yml.log 2024-12-17 10:56 84K
CE-Sufficient.mix026_pso.opt_rmo.opt.yml.log 2024-12-17 10:58 106K
CE-Sufficient.mix027_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:58 102K
CE-Sufficient.mix027_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 10:57 106K
CE-Sufficient.mix027_tso.yml.log 2024-12-17 10:57 90K
CE-Sufficient.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:57 84K
CE-Sufficient.mix028_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 10:57 78K
CE-Sufficient.mix028_tso.yml.log 2024-12-17 10:58 102K
CE-Sufficient.mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml.log 2024-12-17 10:59 97K
CE-Sufficient.mix029_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 10:59 107K
CE-Sufficient.mix030_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 10:58 96K
CE-Sufficient.mix030_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 11:00 112K
CE-Sufficient.mix030_tso.yml.log 2024-12-17 10:58 95K
CE-Sufficient.mix031.oepc.yml.log 2024-12-17 10:59 81K
CE-Sufficient.mix031.opt.yml.log 2024-12-17 10:59 79K
CE-Sufficient.mix032.oepc.yml.log 2024-12-17 10:59 93K
CE-Sufficient.mix032.opt.yml.log 2024-12-17 10:59 103K
CE-Sufficient.mix033.opt.yml.log 2024-12-17 10:59 102K
CE-Sufficient.mix033_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:00 93K
CE-Sufficient.mix033_tso.oepc.yml.log 2024-12-17 10:59 81K
CE-Sufficient.mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml.log 2024-12-17 10:59 69K
CE-Sufficient.mix034_pso.opt_tso.opt.yml.log 2024-12-17 11:00 73K
CE-Sufficient.mix035.oepc.yml.log 2024-12-17 11:00 86K
CE-Sufficient.mix035_power.opt_rmo.opt.yml.log 2024-12-17 11:00 79K
CE-Sufficient.mix035_pso.opt_tso.opt.yml.log 2024-12-17 11:00 101K
CE-Sufficient.mix036.oepc.yml.log 2024-12-17 11:00 104K
CE-Sufficient.mix036_power.opt_rmo.opt.yml.log 2024-12-17 11:01 108K
CE-Sufficient.mix036_pso.opt_tso.opt.yml.log 2024-12-17 11:00 95K
CE-Sufficient.mix037.opt.yml.log 2024-12-17 11:00 94K
CE-Sufficient.mix037_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:01 98K
CE-Sufficient.mix037_tso.oepc.yml.log 2024-12-17 11:00 86K
CE-Sufficient.mix038.opt.yml.log 2024-12-17 11:01 100K
CE-Sufficient.mix038_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:01 85K
CE-Sufficient.mix038_tso.oepc.yml.log 2024-12-17 11:01 79K
CE-Sufficient.mix039.oepc.yml.log 2024-12-17 11:01 98K
CE-Sufficient.mix039.opt.yml.log 2024-12-17 11:01 94K
CE-Sufficient.mix040.opt.yml.log 2024-12-17 11:01 111K
CE-Sufficient.mix040_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:02 97K
CE-Sufficient.mix040_tso.oepc.yml.log 2024-12-17 11:02 113K
CE-Sufficient.mix041_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:01 69K
CE-Sufficient.mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:01 74K
CE-Sufficient.mix042.oepc.yml.log 2024-12-17 11:02 85K
CE-Sufficient.mix042.opt.yml.log 2024-12-17 11:02 101K
CE-Sufficient.mix043.oepc.yml.log 2024-12-17 11:03 98K
CE-Sufficient.mix043.opt.yml.log 2024-12-17 11:02 95K
CE-Sufficient.mix044.opt.yml.log 2024-12-17 11:02 95K
CE-Sufficient.mix044_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:02 103K
CE-Sufficient.mix044_tso.oepc.yml.log 2024-12-17 11:03 91K
CE-Sufficient.mix045_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:02 85K
CE-Sufficient.mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:03 101K
CE-Sufficient.mix046.oepc.yml.log 2024-12-17 11:04 103K
CE-Sufficient.mix046.opt.yml.log 2024-12-17 11:03 94K
CE-Sufficient.mix047_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:04 103K
CE-Sufficient.mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:03 112K
CE-Sufficient.mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:03 74K
CE-Sufficient.mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:04 91K
CE-Sufficient.mix050.yml.log 2024-12-17 11:04 96K
CE-Sufficient.mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:05 102K
CE-Sufficient.mix051_pso.opt_rmo.opt_tso.opt.yml.log 2024-12-17 11:04 92K
CE-Sufficient.mix051_tso.oepc.yml.log 2024-12-17 11:04 90K
CE-Sufficient.mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:04 84K
CE-Sufficient.mix052_pso.opt_rmo.opt_tso.opt.yml.log 2024-12-17 11:04 99K
CE-Sufficient.mix052_tso.oepc.yml.log 2024-12-17 11:04 78K
CE-Sufficient.mix053.opt.yml.log 2024-12-17 11:04 86K
CE-Sufficient.mix053_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:05 95K
CE-Sufficient.mix053_tso.oepc.yml.log 2024-12-17 11:05 106K
CE-Sufficient.mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:05 67K
CE-Sufficient.mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:04 72K
CE-Sufficient.mix055.opt.yml.log 2024-12-17 11:05 92K
CE-Sufficient.mix055_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:05 95K
CE-Sufficient.mix055_tso.oepc.yml.log 2024-12-17 11:05 84K
CE-Sufficient.mix056_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:05 83K
CE-Sufficient.mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:05 99K
CE-Sufficient.mix057_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:06 89K
CE-Sufficient.mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:06 92K
CE-Sufficient.mult-comm.wvr.yml.log 2024-12-17 13:58 118K
CE-Sufficient.mult-dist.wvr.yml.log 2024-12-17 14:00 58K
CE-Sufficient.mult-flipped-dist.wvr.yml.log 2024-12-17 14:04 59K
CE-Sufficient.parallel-bakery-2.wvr.yml.log 2024-12-17 13:52 92K
CE-Sufficient.parallel-bakery-3.wvr.yml.log 2024-12-17 13:55 1.6M
CE-Sufficient.parallel-bakery-4.wvr.yml.log 2024-12-17 14:05 4.1M
CE-Sufficient.parallel-barrier-loop.wvr.yml.log 2024-12-17 13:52 121K
CE-Sufficient.parallel-barrier.wvr.yml.log 2024-12-17 13:53 95K
CE-Sufficient.parallel-bluetooth.wvr.yml.log 2024-12-17 13:53 62K
CE-Sufficient.parallel-lamport.wvr.yml.log 2024-12-17 13:53 99K
CE-Sufficient.parallel-min-max-1.wvr.yml.log 2024-12-17 13:53 140K
CE-Sufficient.parallel-misc-1.wvr.yml.log 2024-12-17 14:08 155K
CE-Sufficient.parallel-misc-2-unrolled-atomic.wvr.yml.log 2024-12-17 13:54 64K
CE-Sufficient.parallel-misc-2-unrolled.wvr.yml.log 2024-12-17 13:54 57K
CE-Sufficient.parallel-misc-2.wvr.yml.log 2024-12-17 14:08 86K
CE-Sufficient.parallel-misc-3-extended.wvr.yml.log 2024-12-17 13:55 85K
CE-Sufficient.parallel-misc-3.wvr.yml.log 2024-12-17 13:55 80K
CE-Sufficient.parallel-misc-4.wvr.yml.log 2024-12-17 13:55 95K
CE-Sufficient.parallel-misc-5.wvr.yml.log 2024-12-17 13:57 148K
CE-Sufficient.parallel-parallel-sum-1-dsl.wvr.yml.log 2024-12-17 14:12 297K
CE-Sufficient.parallel-parallel-sum-1.wvr.yml.log 2024-12-17 14:12 273K
CE-Sufficient.parallel-parallel-sum-2.wvr.yml.log 2024-12-17 14:14 396K
CE-Sufficient.parallel-parallel-sum-equiv.wvr.yml.log 2024-12-17 14:19 279K
CE-Sufficient.parallel-simple-equiv.wvr.yml.log 2024-12-17 14:05 48K
CE-Sufficient.parallel-ticket-2.wvr.yml.log 2024-12-17 14:05 62K
CE-Sufficient.parallel-ticket-3.wvr.yml.log 2024-12-17 14:05 93K
CE-Sufficient.parallel-ticket-4.wvr.yml.log 2024-12-17 14:06 157K
CE-Sufficient.parallel-ticket-5.wvr.yml.log 2024-12-17 14:07 275K
CE-Sufficient.parallel-ticket-6.wvr.yml.log 2024-12-17 14:11 476K
CE-Sufficient.parallel-ticket-7.wvr.yml.log 2024-12-17 14:11 49K
CE-Sufficient.parallel-ticket-8.wvr.yml.log 2024-12-17 14:09 34K
CE-Sufficient.peterson.yml.log 2024-12-17 10:02 111K
CE-Sufficient.popl20-bad-buffer-mult-alt.wvr.yml.log 2024-12-17 14:25 411K
CE-Sufficient.popl20-bad-buffer-mult-alt2.wvr.yml.log 2024-12-17 14:25 429K
CE-Sufficient.popl20-bad-buffer-mult-alt3.wvr.yml.log 2024-12-17 14:26 368K
CE-Sufficient.popl20-bad-commit-1.wvr-bad.yml.log 2024-12-17 14:13 407K
CE-Sufficient.popl20-bad-commit-2.wvr-bad.yml.log 2024-12-17 14:22 511K
CE-Sufficient.popl20-bad-counter-queue.wvr.yml.log 2024-12-17 14:14 277K
CE-Sufficient.popl20-bad-counter-queue2.wvr.yml.log 2024-12-17 14:28 964K
CE-Sufficient.popl20-bad-dot-product-alt.wvr.yml.log 2024-12-17 14:28 160K
CE-Sufficient.popl20-bad-dot-product.wvr.yml.log 2024-12-17 14:33 546K
CE-Sufficient.popl20-bad-ring-nondet.wvr.yml.log 2024-12-17 14:23 84K
CE-Sufficient.popl20-bad-ring.wvr.yml.log 2024-12-17 14:38 297K
CE-Sufficient.popl20-bad-threaded-sum-2.wvr.yml.log 2024-12-17 14:39 78K
CE-Sufficient.popl20-bad-three-array-sum-alt.wvr.yml.log 2024-12-17 14:39 337K
CE-Sufficient.popl20-channel-sum.wvr.yml.log 2024-12-17 14:40 260K
CE-Sufficient.popl20-commit-1.wvr.yml.log 2024-12-17 14:42 189K
CE-Sufficient.popl20-commit-2.wvr.yml.log 2024-12-17 14:43 369K
CE-Sufficient.popl20-counter-determinism.wvr.yml.log 2024-12-17 14:46 454K
CE-Sufficient.popl20-counter-fun.wvr.yml.log 2024-12-17 14:52 196K
CE-Sufficient.popl20-difference-det.wvr.yml.log 2024-12-17 14:52 618K
CE-Sufficient.popl20-figure1-alt.wvr.yml.log 2024-12-17 14:41 194K
CE-Sufficient.popl20-figure1.wvr.yml.log 2024-12-17 14:55 1.4M
CE-Sufficient.popl20-figure3.wvr.yml.log 2024-12-17 14:56 91K
CE-Sufficient.popl20-horseshoe.wvr.yml.log 2024-12-17 14:57 203K
CE-Sufficient.popl20-min-max-dec.wvr.yml.log 2024-12-17 14:45 170K
CE-Sufficient.popl20-min-max-inc-dec.wvr.yml.log 2024-12-17 14:48 144K
CE-Sufficient.popl20-min-max-inc.wvr.yml.log 2024-12-17 14:48 155K
CE-Sufficient.popl20-more-array-sum-alt.wvr.yml.log 2024-12-17 15:03 465K
CE-Sufficient.popl20-more-array-sum-alt2.wvr.yml.log 2024-12-17 14:54 306K
CE-Sufficient.popl20-more-array-sum.wvr.yml.log 2024-12-17 15:06 351K
CE-Sufficient.popl20-more-array-sum2.wvr.yml.log 2024-12-17 15:06 206K
CE-Sufficient.popl20-more-buffer-mult.wvr.yml.log 2024-12-17 15:09 454K
CE-Sufficient.popl20-more-buffer-mult2.wvr.yml.log 2024-12-17 15:10 214K
CE-Sufficient.popl20-more-buffer-mult3.wvr.yml.log 2024-12-17 15:11 286K
CE-Sufficient.popl20-more-buffer-series.wvr.yml.log 2024-12-17 15:16 485K
CE-Sufficient.popl20-more-buffer-series2.wvr.yml.log 2024-12-17 15:17 647K
CE-Sufficient.popl20-more-buffer-series3.wvr.yml.log 2024-12-17 15:20 502K
CE-Sufficient.popl20-more-dec-subseq.wvr.yml.log 2024-12-17 15:21 119K
CE-Sufficient.popl20-more-inc-subseq.wvr.yml.log 2024-12-17 15:24 368K
CE-Sufficient.popl20-more-max-array-hom.wvr.yml.log 2024-12-17 15:23 420K
CE-Sufficient.popl20-more-max-array.wvr.yml.log 2024-12-17 15:25 292K
CE-Sufficient.popl20-more-min-array-hom.wvr.yml.log 2024-12-17 15:31 212K
CE-Sufficient.popl20-more-min-array.wvr.yml.log 2024-12-17 15:32 264K
CE-Sufficient.popl20-more-min-le-max.wvr.yml.log 2024-12-17 15:20 68K
CE-Sufficient.popl20-more-mts.wvr.yml.log 2024-12-17 15:35 160K
CE-Sufficient.popl20-more-multiply-verify.wvr.yml.log 2024-12-17 15:22 116K
CE-Sufficient.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2024-12-17 15:37 60K
CE-Sufficient.popl20-more-queue-add-2-nl.wvr.yml.log 2024-12-17 15:37 256K
CE-Sufficient.popl20-more-queue-add-3-nl.wvr.yml.log 2024-12-17 15:38 198K
CE-Sufficient.popl20-more-sorted.wvr.yml.log 2024-12-17 15:40 344K
CE-Sufficient.popl20-more-sum-array-hom.wvr.yml.log 2024-12-17 15:45 84K
CE-Sufficient.popl20-more-vector-add.wvr.yml.log 2024-12-17 15:46 74K
CE-Sufficient.popl20-mult-4.wvr.yml.log 2024-12-17 15:49 59K
CE-Sufficient.popl20-mult-equiv.wvr.yml.log 2024-12-17 15:52 72K
CE-Sufficient.popl20-nonblocking-cntr-alt.wvr.yml.log 2024-12-17 15:38 86K
CE-Sufficient.popl20-nonblocking-cntr.wvr.yml.log 2024-12-17 15:51 175K
CE-Sufficient.popl20-prod-cons-eq.wvr.yml.log 2024-12-17 15:43 389K
CE-Sufficient.popl20-prod-cons.wvr.yml.log 2024-12-17 15:42 165K
CE-Sufficient.popl20-prod-cons3.wvr.yml.log 2024-12-17 15:56 230K
CE-Sufficient.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2024-12-17 15:57 109K
CE-Sufficient.popl20-queue-add-2.wvr.yml.log 2024-12-17 15:54 274K
CE-Sufficient.popl20-queue-add-3.wvr.yml.log 2024-12-17 16:00 423K
CE-Sufficient.popl20-send-receive-alt.wvr.yml.log 2024-12-17 16:03 355K
CE-Sufficient.popl20-send-receive.wvr.yml.log 2024-12-17 16:05 338K
CE-Sufficient.popl20-simple-array-sum.wvr.yml.log 2024-12-17 15:52 123K
CE-Sufficient.popl20-simple-queue.wvr.yml.log 2024-12-17 15:52 114K
CE-Sufficient.popl20-threaded-sum-3.wvr.yml.log 2024-12-17 16:07 119K
CE-Sufficient.popl20-three-array-max.wvr.yml.log 2024-12-17 16:10 295K
CE-Sufficient.popl20-three-array-min.wvr.yml.log 2024-12-17 16:11 287K
CE-Sufficient.popl20-three-array-sum.wvr.yml.log 2024-12-17 16:12 104K
CE-Sufficient.popl20-two-queue.wvr.yml.log 2024-12-17 16:14 383K
CE-Sufficient.pthread-demo-datarace-1.yml.log 2024-12-17 11:50 147K
CE-Sufficient.pthread-demo-datarace-3.yml.log 2024-12-17 11:51 113K
CE-Sufficient.pthread-finding-k-matches.yml.log 2024-12-17 11:51 28K
CE-Sufficient.pthread-numerical-integration.yml.log 2024-12-17 11:51 28K
CE-Sufficient.queue.yml.log 2024-12-17 09:57 298K
CE-Sufficient.queue_longer.yml.log 2024-12-17 09:59 4.5M
CE-Sufficient.queue_longest.yml.log 2024-12-17 09:59 3.3M
CE-Sufficient.queue_ok.yml.log 2024-12-17 10:00 1.0M
CE-Sufficient.queue_ok_longer.yml.log 2024-12-17 10:01 94K
CE-Sufficient.queue_ok_longest.yml.log 2024-12-17 10:01 94K
CE-Sufficient.qw2004-2b.yml.log 2024-12-17 11:29 61K
CE-Sufficient.race-1_1-join.yml.log 2024-12-17 11:30 70K
CE-Sufficient.race-1_2-join.yml.log 2024-12-17 11:30 56K
CE-Sufficient.race-1_3-join.yml.log 2024-12-17 11:30 56K
CE-Sufficient.race-2_1-container_of.yml.log 2024-12-17 11:30 101K
CE-Sufficient.race-2_2-container_of.yml.log 2024-12-17 11:31 88K
CE-Sufficient.race-2_3-container_of.yml.log 2024-12-17 11:30 71K
CE-Sufficient.race-2_4-container_of.yml.log 2024-12-17 11:31 77K
CE-Sufficient.race-2_5-container_of.yml.log 2024-12-17 11:31 72K
CE-Sufficient.race-3_1-container_of-global.yml.log 2024-12-17 11:31 101K
CE-Sufficient.race-3_2-container_of-global.yml.log 2024-12-17 11:31 95K
CE-Sufficient.race-4_1-thread_local_vars.yml.log 2024-12-17 11:31 108K
CE-Sufficient.read_write_lock-1.yml.log 2024-12-17 10:02 96K
CE-Sufficient.read_write_lock-2.yml.log 2024-12-17 10:02 83K
CE-Sufficient.rec_mcslock.yml.log 2024-12-17 16:35 321K
CE-Sufficient.rec_ticketlock.yml.log 2024-12-17 16:34 200K
CE-Sufficient.reorder_2.yml.log 2024-12-17 09:46 115K
CE-Sufficient.reorder_5.yml.log 2024-12-17 09:47 115K
CE-Sufficient.rfi000_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:06 72K
CE-Sufficient.rfi000_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 11:06 73K
CE-Sufficient.rfi000_tso.yml.log 2024-12-17 11:06 86K
CE-Sufficient.rfi001_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:06 69K
CE-Sufficient.rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:06 74K
CE-Sufficient.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:14 98K
CE-Sufficient.rfi002_tso.yml.log 2024-12-17 11:09 96K
CE-Sufficient.rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:06 73K
CE-Sufficient.rfi003_tso.yml.log 2024-12-17 11:07 80K
CE-Sufficient.rfi004.yml.log 2024-12-17 11:06 73K
CE-Sufficient.rfi005.yml.log 2024-12-17 11:06 53K
CE-Sufficient.rfi006_power.oepc.yml.log 2024-12-17 11:08 99K
CE-Sufficient.rfi006_power.opt.yml.log 2024-12-17 11:09 124K
CE-Sufficient.rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:07 85K
CE-Sufficient.rfi006_rmo.yml.log 2024-12-17 11:07 97K
CE-Sufficient.rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:07 68K
CE-Sufficient.rfi007_tso.yml.log 2024-12-17 11:08 75K
CE-Sufficient.rfi008.oepc.yml.log 2024-12-17 11:08 76K
CE-Sufficient.rfi008.opt.yml.log 2024-12-17 11:08 75K
CE-Sufficient.rfi009_power.oepc.yml.log 2024-12-17 11:10 105K
CE-Sufficient.rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:08 80K
CE-Sufficient.rfi009_rmo.oepc.yml.log 2024-12-17 11:09 98K
CE-Sufficient.rfi010.yml.log 2024-12-17 11:09 74K
CE-Sufficient.rwlock.yml.log 2024-12-17 16:34 96K
CE-Sufficient.safe000_power.oepc.yml.log 2024-12-17 11:19 115K
CE-Sufficient.safe000_power.opt.yml.log 2024-12-17 11:09 86K
CE-Sufficient.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:09 69K
CE-Sufficient.safe000_rmo.yml.log 2024-12-17 11:17 113K
CE-Sufficient.safe001_power.oepc.yml.log 2024-12-17 11:13 114K
CE-Sufficient.safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2024-12-17 11:10 95K
CE-Sufficient.safe001_rmo.oepc.yml.log 2024-12-17 11:11 101K
CE-Sufficient.safe001_tso.yml.log 2024-12-17 11:10 57K
CE-Sufficient.safe002_power.oepc.yml.log 2024-12-17 11:13 109K
CE-Sufficient.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2024-12-17 11:11 95K
CE-Sufficient.safe002_rmo.oepc.yml.log 2024-12-17 11:13 108K
CE-Sufficient.safe002_tso.yml.log 2024-12-17 11:11 63K
CE-Sufficient.safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:13 88K
CE-Sufficient.safe003_power.opt.yml.log 2024-12-17 11:13 85K
CE-Sufficient.safe003_tso.yml.log 2024-12-17 11:13 68K
CE-Sufficient.safe004_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:14 87K
CE-Sufficient.safe004_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 11:14 95K
CE-Sufficient.safe004_tso.yml.log 2024-12-17 11:13 52K
CE-Sufficient.safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:14 82K
CE-Sufficient.safe005_tso.yml.log 2024-12-17 11:14 57K
CE-Sufficient.safe006_power.oepc-thin000_power.oepc.yml.log 2024-12-17 11:14 78K
CE-Sufficient.safe006_power.opt-thin000_power.opt.yml.log 2024-12-17 11:14 75K
CE-Sufficient.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:14 57K
CE-Sufficient.safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:14 77K
CE-Sufficient.safe007_power.oepc-thin001_power.oepc.yml.log 2024-12-17 11:15 91K
CE-Sufficient.safe007_power.opt-thin001_power.opt.yml.log 2024-12-17 11:15 111K
CE-Sufficient.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:14 63K
CE-Sufficient.safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:15 90K
CE-Sufficient.safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:15 78K
CE-Sufficient.safe008_power.opt.yml.log 2024-12-17 11:15 95K
CE-Sufficient.safe008_tso.yml.log 2024-12-17 11:15 68K
CE-Sufficient.safe009_power.oepc.yml.log 2024-12-17 11:22 94K
CE-Sufficient.safe009_power.opt.yml.log 2024-12-17 11:15 84K
CE-Sufficient.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:15 63K
CE-Sufficient.safe009_rmo.oepc.yml.log 2024-12-17 11:19 93K
CE-Sufficient.safe009_rmo.opt.yml.log 2024-12-17 11:15 82K
CE-Sufficient.safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:16 67K
CE-Sufficient.safe010_tso.yml.log 2024-12-17 11:16 57K
CE-Sufficient.safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:17 83K
CE-Sufficient.safe011_power.opt_pso.opt.yml.log 2024-12-17 11:18 106K
CE-Sufficient.safe011_tso.yml.log 2024-12-17 11:16 57K
CE-Sufficient.safe012_power.oepc.yml.log 2024-12-17 11:16 91K
CE-Sufficient.safe012_power.opt.yml.log 2024-12-17 11:17 111K
CE-Sufficient.safe012_pso.oepc_pso.opt_rmo.opt.yml.log 2024-12-17 11:17 82K
CE-Sufficient.safe012_rmo.oepc.yml.log 2024-12-17 11:18 90K
CE-Sufficient.safe012_tso.yml.log 2024-12-17 11:17 63K
CE-Sufficient.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:18 82K
CE-Sufficient.safe013_tso.yml.log 2024-12-17 11:18 63K
CE-Sufficient.safe014_power.oepc.yml.log 2024-12-17 11:19 108K
CE-Sufficient.safe014_power.opt.yml.log 2024-12-17 11:19 131K
CE-Sufficient.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:18 74K
CE-Sufficient.safe014_rmo.oepc.yml.log 2024-12-17 11:18 101K
CE-Sufficient.safe014_rmo.opt.yml.log 2024-12-17 11:20 108K
CE-Sufficient.safe015_power.oepc.yml.log 2024-12-17 11:21 122K
CE-Sufficient.safe015_power.opt.yml.log 2024-12-17 11:23 114K
CE-Sufficient.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:19 63K
CE-Sufficient.safe015_rmo.yml.log 2024-12-17 11:20 96K
CE-Sufficient.safe016_power.oepc.yml.log 2024-12-17 11:22 112K
CE-Sufficient.safe016_power.opt.yml.log 2024-12-17 11:21 101K
CE-Sufficient.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:20 64K
CE-Sufficient.safe016_rmo.oepc.yml.log 2024-12-17 11:22 111K
CE-Sufficient.safe016_rmo.opt.yml.log 2024-12-17 11:22 105K
CE-Sufficient.safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:21 77K
CE-Sufficient.safe017_tso.yml.log 2024-12-17 11:21 63K
CE-Sufficient.safe018_power.oepc.yml.log 2024-12-17 11:22 90K
CE-Sufficient.safe018_power.opt.yml.log 2024-12-17 11:24 136K
CE-Sufficient.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:22 63K
CE-Sufficient.safe018_rmo.oepc.yml.log 2024-12-17 11:22 89K
CE-Sufficient.safe018_rmo.opt.yml.log 2024-12-17 11:23 88K
CE-Sufficient.safe019_power.oepc.yml.log 2024-12-17 11:24 113K
CE-Sufficient.safe019_power.opt.yml.log 2024-12-17 11:25 128K
CE-Sufficient.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:22 69K
CE-Sufficient.safe019_rmo.oepc.yml.log 2024-12-17 11:24 112K
CE-Sufficient.safe019_rmo.opt.yml.log 2024-12-17 11:24 103K
CE-Sufficient.safe020_power.yml.log 2024-12-17 11:25 118K
CE-Sufficient.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:23 63K
CE-Sufficient.safe020_rmo.yml.log 2024-12-17 11:24 88K
CE-Sufficient.safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:24 78K
CE-Sufficient.safe021_power.opt_pso.opt.yml.log 2024-12-17 11:24 78K
CE-Sufficient.safe021_tso.yml.log 2024-12-17 11:24 63K
CE-Sufficient.safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:25 68K
CE-Sufficient.safe022_tso.yml.log 2024-12-17 11:24 57K
CE-Sufficient.safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:28 118K
CE-Sufficient.safe023_tso.yml.log 2024-12-17 11:24 57K
CE-Sufficient.safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:25 77K
CE-Sufficient.safe024_tso.yml.log 2024-12-17 11:25 63K
CE-Sufficient.safe025_power.yml.log 2024-12-17 11:29 117K
CE-Sufficient.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:25 69K
CE-Sufficient.safe025_rmo.yml.log 2024-12-17 11:26 92K
CE-Sufficient.safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:25 83K
CE-Sufficient.safe026_tso.yml.log 2024-12-17 11:25 63K
CE-Sufficient.safe027_power.oepc.yml.log 2024-12-17 11:26 105K
CE-Sufficient.safe027_power.opt.yml.log 2024-12-17 11:28 142K
CE-Sufficient.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:25 75K
CE-Sufficient.safe027_rmo.yml.log 2024-12-17 11:26 104K
CE-Sufficient.safe028_power.yml.log 2024-12-17 11:28 125K
CE-Sufficient.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:26 63K
CE-Sufficient.safe028_rmo.yml.log 2024-12-17 11:27 88K
CE-Sufficient.safe029_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:26 67K
CE-Sufficient.safe029_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 11:27 89K
CE-Sufficient.safe029_tso.yml.log 2024-12-17 11:27 52K
CE-Sufficient.safe030_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:32 120K
CE-Sufficient.safe030_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 11:28 110K
CE-Sufficient.safe030_tso.yml.log 2024-12-17 11:27 52K
CE-Sufficient.safe031_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 11:28 94K
CE-Sufficient.safe031_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 11:28 99K
CE-Sufficient.safe031_tso.yml.log 2024-12-17 11:28 57K
CE-Sufficient.safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:32 135K
CE-Sufficient.safe032_tso.yml.log 2024-12-17 11:28 57K
CE-Sufficient.safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:29 76K
CE-Sufficient.safe033_tso.yml.log 2024-12-17 11:28 57K
CE-Sufficient.safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 11:29 99K
CE-Sufficient.safe034_tso.yml.log 2024-12-17 11:29 63K
CE-Sufficient.safe035_power.yml.log 2024-12-17 11:43 28K
CE-Sufficient.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:29 63K
CE-Sufficient.safe036.yml.log 2024-12-17 11:29 57K
CE-Sufficient.safe037.yml.log 2024-12-17 11:29 63K
CE-Sufficient.safestack_relacy.yml.log 2024-12-17 11:45 146K
CE-Sufficient.security.wvr.yml.log 2024-12-17 16:04 47K
CE-Sufficient.semaphore.yml.log 2024-12-17 16:36 102K
CE-Sufficient.singleton.yml.log 2024-12-17 09:47 50K
CE-Sufficient.singleton_with-uninit-problems.yml.log 2024-12-17 09:47 67K
CE-Sufficient.spaghetti.wvr.yml.log 2024-12-17 16:04 58K
CE-Sufficient.sssc12.yml.log 2024-12-17 11:34 362K
CE-Sufficient.sssc12_variant.yml.log 2024-12-17 11:33 250K
CE-Sufficient.stack-1.yml.log 2024-12-17 09:48 250K
CE-Sufficient.stack-2.yml.log 2024-12-17 09:48 204K
CE-Sufficient.stack_longer-1.yml.log 2024-12-17 10:03 146K
CE-Sufficient.stack_longer-2.yml.log 2024-12-17 10:12 123K
CE-Sufficient.stack_longest-1.yml.log 2024-12-17 10:13 148K
CE-Sufficient.stack_longest-2.yml.log 2024-12-17 10:14 168K
CE-Sufficient.stateful01-1.yml.log 2024-12-17 10:00 47K
CE-Sufficient.stateful01-2.yml.log 2024-12-17 10:01 52K
CE-Sufficient.sync01.yml.log 2024-12-17 10:01 57K
CE-Sufficient.szymanski.yml.log 2024-12-17 10:02 165K
CE-Sufficient.test-context1.wvr.yml.log 2024-12-17 16:04 114K
CE-Sufficient.test-easy1.wvr.yml.log 2024-12-17 16:04 69K
CE-Sufficient.test-easy10.wvr.yml.log 2024-12-17 16:04 69K
CE-Sufficient.test-easy11.wvr.yml.log 2024-12-17 16:04 74K
CE-Sufficient.test-easy6.wvr.yml.log 2024-12-17 16:04 80K
CE-Sufficient.test-easy7.wvr.yml.log 2024-12-17 16:05 47K
CE-Sufficient.test-easy8.wvr.yml.log 2024-12-17 16:05 52K
CE-Sufficient.test-hard1.wvr.yml.log 2024-12-17 16:19 100K
CE-Sufficient.test-semi1.wvr.yml.log 2024-12-17 16:05 52K
CE-Sufficient.thin002_power.oepc.yml.log 2024-12-17 11:30 106K
CE-Sufficient.thin002_power.opt.yml.log 2024-12-17 11:30 126K
CE-Sufficient.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 11:29 69K
CE-Sufficient.thin002_rmo.yml.log 2024-12-17 11:30 105K
CE-Sufficient.thread-local-pthread-value.yml.log 2024-12-17 16:25 28K
CE-Sufficient.thread-local-value-dynamic.yml.log 2024-12-17 16:25 28K
CE-Sufficient.thread-local-value.yml.log 2024-12-17 16:25 28K
CE-Sufficient.ticketlock.yml.log 2024-12-17 16:36 68K
CE-Sufficient.time_var_mutex.yml.log 2024-12-17 10:02 107K
CE-Sufficient.tls_basic.yml.log 2024-12-17 11:51 27K
CE-Sufficient.tls_destructor_worker.yml.log 2024-12-17 11:51 28K
CE-Sufficient.triangular-1.yml.log 2024-12-17 10:01 99K
CE-Sufficient.triangular-2.yml.log 2024-12-17 10:01 70K
CE-Sufficient.triangular-longer-1.yml.log 2024-12-17 10:01 115K
CE-Sufficient.triangular-longer-2.yml.log 2024-12-17 10:01 83K
CE-Sufficient.triangular-longest-1.yml.log 2024-12-17 10:01 130K
CE-Sufficient.triangular-longest-2.yml.log 2024-12-17 10:01 100K
CE-Sufficient.ttaslock.yml.log 2024-12-17 16:44 403K
CE-Sufficient.twostage_3.yml.log 2024-12-17 10:02 219K
CE-Sufficient.unroll-2.wvr.yml.log 2024-12-17 16:19 253K
CE-Sufficient.unroll-3.wvr.yml.log 2024-12-17 16:21 109K
CE-Sufficient.unroll-4.wvr.yml.log 2024-12-17 16:24 150K
CE-Sufficient.unroll-5.wvr.yml.log 2024-12-17 16:26 129K
CE-Sufficient.unroll-cond-2.wvr.yml.log 2024-12-17 16:27 105K
CE-Sufficient.unroll-cond-3.wvr.yml.log 2024-12-17 16:29 81K
CE-Sufficient.unroll-cond-4.wvr.yml.log 2024-12-17 16:33 77K
CE-Sufficient.unroll-cond-5.wvr.yml.log 2024-12-17 16:33 124K
CE-Sufficient.unwind1-1.yml.log 2024-12-17 16:38 65K
CE-Sufficient.unwind1-100.yml.log 2024-12-17 16:40 127K
CE-Sufficient.unwind1-nondet.yml.log 2024-12-17 16:39 57K
CE-Sufficient.unwind2-1.yml.log 2024-12-17 16:39 80K
CE-Sufficient.unwind2-100.yml.log 2024-12-17 16:40 192K
CE-Sufficient.unwind2-nondet.yml.log 2024-12-17 16:40 92K
CE-Sufficient.unwind3-1.yml.log 2024-12-17 16:40 63K
CE-Sufficient.unwind3-100.yml.log 2024-12-17 16:50 303K
CE-Sufficient.unwind3-nondet.yml.log 2024-12-17 16:40 45K
CE-Sufficient.workstealqueue_mutex-2.yml.log 2024-12-17 12:01 3.1M
CE-Sufficient.wsc.yml.log 2024-12-17 16:40 76K
NONE.01b_inc.yml.log 2024-12-17 02:53 3.8M
NONE.02_inc_cas.yml.log 2024-12-17 02:53 2.6M
NONE.03_incdec.yml.log 2024-12-17 02:42 130K
NONE.04_incdec_cas.yml.log 2024-12-17 02:55 886K
NONE.08_rand_cas.yml.log 2024-12-17 02:46 326K
NONE.09_fmaxsym-zero.yml.log 2024-12-17 02:51 183K
NONE.09_fmaxsym.yml.log 2024-12-17 02:52 384K
NONE.11_fmaxsymopt-zero.yml.log 2024-12-17 02:54 496K
NONE.11_fmaxsymopt.yml.log 2024-12-17 02:56 786K
NONE.13-privatized_01-priv_nr_true.yml.log 2024-12-17 04:32 85K
NONE.13-privatized_04-priv_multi_true.yml.log 2024-12-17 04:32 159K
NONE.13-privatized_18-first-reads_true.yml.log 2024-12-17 04:32 50K
NONE.13-privatized_18-first-reads_unknown_1_neg.yml.log 2024-12-17 04:32 44K
NONE.13-privatized_18-first-reads_unknown_1_pos.yml.log 2024-12-17 04:32 44K
NONE.13-privatized_18-first-reads_unknown_2_neg.yml.log 2024-12-17 04:32 44K
NONE.13-privatized_18-first-reads_unknown_2_pos.yml.log 2024-12-17 04:32 44K
NONE.13-privatized_19-publish-precision_true.yml.log 2024-12-17 04:32 67K
NONE.13-privatized_19-publish-precision_unknown_1_neg.yml.log 2024-12-17 04:32 45K
NONE.13-privatized_19-publish-precision_unknown_1_pos.yml.log 2024-12-17 04:32 53K
NONE.13-privatized_19-publish-precision_unknown_2_neg.yml.log 2024-12-17 04:32 53K
NONE.13-privatized_19-publish-precision_unknown_2_pos.yml.log 2024-12-17 04:32 45K
NONE.13-privatized_20-publish-regression_true.yml.log 2024-12-17 04:32 81K
NONE.13-privatized_24-multiple-protecting_true.yml.log 2024-12-17 04:32 66K
NONE.13-privatized_25-struct_nr_true.yml.log 2024-12-17 04:32 85K
NONE.13-privatized_27-multiple-protecting2_true.yml.log 2024-12-17 04:32 66K
NONE.13-privatized_29-multiple-protecting2-vesal_true.yml.log 2024-12-17 04:32 65K
NONE.13-privatized_30-traces-oplus-vs-meet_true.yml.log 2024-12-17 04:32 60K
NONE.13-privatized_31-traces-mine-vs-mutex_true.yml.log 2024-12-17 04:32 55K
NONE.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml.log 2024-12-17 04:32 65K
NONE.13-privatized_33-traces-v-matters_true.yml.log 2024-12-17 04:32 64K
NONE.13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml.log 2024-12-17 04:32 65K
NONE.13-privatized_35-traces-ex-2_true.yml.log 2024-12-17 04:33 55K
NONE.13-privatized_36-traces-ex-3_true.yml.log 2024-12-17 04:33 50K
NONE.13-privatized_37-traces-ex-4_true.yml.log 2024-12-17 04:33 50K
NONE.13-privatized_38-traces-ex-4-switch_true.yml.log 2024-12-17 04:33 55K
NONE.13-privatized_40-traces-ex-6_true.yml.log 2024-12-17 04:33 55K
NONE.13-privatized_41-traces-ex-7_unknown_1_neg.yml.log 2024-12-17 04:33 57K
NONE.13-privatized_41-traces-ex-7_unknown_1_pos.yml.log 2024-12-17 04:33 45K
NONE.13-privatized_42-traces-ex-mini_true.yml.log 2024-12-17 04:33 50K
NONE.13-privatized_44-traces-mine2_true.yml.log 2024-12-17 04:33 51K
NONE.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml.log 2024-12-17 04:33 60K
NONE.13-privatized_46-refine-protected1_true.yml.log 2024-12-17 04:33 46K
NONE.13-privatized_47-refine-protected2_true.yml.log 2024-12-17 04:33 51K
NONE.13-privatized_52-refine-protected-loop2-small_true.yml.log 2024-12-17 04:33 58K
NONE.13-privatized_57-singlethreaded-unlock_true.yml.log 2024-12-17 04:33 46K
NONE.13-privatized_58-singlethreaded-lock_true.yml.log 2024-12-17 04:33 46K
NONE.13-privatized_66-mine-W-init_true.yml.log 2024-12-17 04:33 46K
NONE.13-privatized_67-pthread_cond_wait_true.yml.log 2024-12-17 04:33 65K
NONE.13-privatized_67-pthread_cond_wait_unknown_1_neg.yml.log 2024-12-17 04:33 45K
NONE.13-privatized_67-pthread_cond_wait_unknown_1_pos.yml.log 2024-12-17 04:33 53K
NONE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2024-12-17 04:34 149K
NONE.13-privatized_69-refine-protected-loop-interval_true.yml.log 2024-12-17 04:33 77K
NONE.14_spin2003.yml.log 2024-12-17 02:55 138K
NONE.18_read_write_lock.yml.log 2024-12-17 02:53 50K
NONE.25_stack.yml.log 2024-12-17 03:03 246K
NONE.25_stack_longer-1.yml.log 2024-12-17 03:08 25K
NONE.25_stack_longer-2.yml.log 2024-12-17 03:09 25K
NONE.25_stack_longest-1.yml.log 2024-12-17 03:10 25K
NONE.25_stack_longest-2.yml.log 2024-12-17 03:11 25K
NONE.26_stack_cas.yml.log 2024-12-17 03:11 510K
NONE.26_stack_cas_longer-1.yml.log 2024-12-17 03:13 26K
NONE.26_stack_cas_longer-2.yml.log 2024-12-17 03:18 26K
NONE.26_stack_cas_longest-1.yml.log 2024-12-17 03:23 26K
NONE.26_stack_cas_longest-2.yml.log 2024-12-17 03:23 26K
NONE.28-race_reach_01-simple_racing.yml.log 2024-12-17 04:46 591K
NONE.28-race_reach_02-simple_racefree.yml.log 2024-12-17 04:46 572K
NONE.28-race_reach_03-munge_racing.yml.log 2024-12-17 04:36 120K
NONE.28-race_reach_04-munge_racefree.yml.log 2024-12-17 04:36 113K
NONE.28-race_reach_05-lockfuns_racefree.yml.log 2024-12-17 04:49 3.1M
NONE.28-race_reach_06-cond_racing1.yml.log 2024-12-17 04:50 588K
NONE.28-race_reach_07-cond_racing2.yml.log 2024-12-17 04:52 542K
NONE.28-race_reach_08-cond_racefree.yml.log 2024-12-17 04:55 575K
NONE.28-race_reach_09-ptrmunge_racing.yml.log 2024-12-17 04:45 178K
NONE.28-race_reach_10-ptrmunge_racefree.yml.log 2024-12-17 04:47 178K
NONE.28-race_reach_11-ptr_racing.yml.log 2024-12-17 04:59 559K
NONE.28-race_reach_12-ptr_racefree.yml.log 2024-12-17 04:59 559K
NONE.28-race_reach_19-callback_racing.yml.log 2024-12-17 04:51 194K
NONE.28-race_reach_20-callback_racefree.yml.log 2024-12-17 04:53 314K
NONE.28-race_reach_21-deref_read_racing.yml.log 2024-12-17 05:02 588K
NONE.28-race_reach_22-deref_read_racefree.yml.log 2024-12-17 05:04 542K
NONE.28-race_reach_23-sound_unlock_racing.yml.log 2024-12-17 04:52 28K
NONE.28-race_reach_24-sound_lock_racing.yml.log 2024-12-17 05:05 542K
NONE.28-race_reach_27-funptr_racing.yml.log 2024-12-17 05:07 2.2M
NONE.28-race_reach_28-funptr_racefree.yml.log 2024-12-17 05:08 493K
NONE.28-race_reach_36-indirect_racefree.yml.log 2024-12-17 05:13 567K
NONE.28-race_reach_37-indirect_racing.yml.log 2024-12-17 05:12 572K
NONE.28-race_reach_40-trylock_racing.yml.log 2024-12-17 05:03 28K
NONE.28-race_reach_41-trylock_racefree.yml.log 2024-12-17 05:16 591K
NONE.28-race_reach_42-trylock2_racefree.yml.log 2024-12-17 05:16 507K
NONE.28-race_reach_45-escape_racing.yml.log 2024-12-17 05:05 57K
NONE.28-race_reach_46-escape_racefree.yml.log 2024-12-17 05:05 65K
NONE.28-race_reach_51-mutexptr_racefree.yml.log 2024-12-17 05:17 539K
NONE.28-race_reach_60-invariant_racefree.yml.log 2024-12-17 05:11 186K
NONE.28-race_reach_61-invariant_racing.yml.log 2024-12-17 05:21 222K
NONE.28-race_reach_70-funloop_racefree.yml.log 2024-12-17 05:26 162K
NONE.28-race_reach_71-funloop_racing.yml.log 2024-12-17 05:27 159K
NONE.28-race_reach_72-funloop_hard_racing.yml.log 2024-12-17 05:27 160K
NONE.28-race_reach_73-funloop_hard_racefree.yml.log 2024-12-17 05:30 163K
NONE.28-race_reach_74-tricky_address1_racefree.yml.log 2024-12-17 05:23 225K
NONE.28-race_reach_75-tricky_address2_racefree.yml.log 2024-12-17 05:27 235K
NONE.28-race_reach_76-tricky_address3_racefree.yml.log 2024-12-17 05:29 267K
NONE.28-race_reach_77-tricky_address4_racing.yml.log 2024-12-17 05:34 247K
NONE.28-race_reach_78-equ_racing.yml.log 2024-12-17 05:27 130K
NONE.28-race_reach_79-equ_racefree.yml.log 2024-12-17 05:27 130K
NONE.28-race_reach_81-list_racing.yml.log 2024-12-17 05:29 63K
NONE.28-race_reach_82-list_racefree.yml.log 2024-12-17 05:29 63K
NONE.28-race_reach_83-list2_racing1.yml.log 2024-12-17 05:33 49K
NONE.28-race_reach_84-list2_racing2.yml.log 2024-12-17 05:34 49K
NONE.28-race_reach_85-list2_racefree.yml.log 2024-12-17 05:33 49K
NONE.28-race_reach_86-lists_racing.yml.log 2024-12-17 05:45 76K
NONE.28-race_reach_87-lists_racefree.yml.log 2024-12-17 05:46 76K
NONE.28-race_reach_90-arrayloop2_racing.yml.log 2024-12-17 05:47 71K
NONE.28-race_reach_91-arrayloop2_racefree.yml.log 2024-12-17 05:49 50K
NONE.28-race_reach_92-evilcollapse_racing.yml.log 2024-12-17 05:49 50K
NONE.28-race_reach_93-evilcollapse_racefree.yml.log 2024-12-17 05:49 50K
NONE.28-race_reach_94-alloc_region_racing.yml.log 2024-12-17 05:35 51K
NONE.28_buggy_simple_loop1_vf.yml.log 2024-12-17 03:10 44K
NONE.29_conditionals_vs.yml.log 2024-12-17 03:11 240K
NONE.31_simple_loop5_vs.yml.log 2024-12-17 03:16 189K
NONE.35_double_lock_p3_vs.yml.log 2024-12-17 03:14 99K
NONE.36-apron_11-traces-max-simple_true.yml.log 2024-12-17 05:35 67K
NONE.36-apron_16-traces-unprot2_true.yml.log 2024-12-17 05:35 46K
NONE.36-apron_17-traces-rpb-litmus_unknown_1_neg.yml.log 2024-12-17 05:35 49K
NONE.36-apron_17-traces-rpb-litmus_unknown_1_pos.yml.log 2024-12-17 05:35 45K
NONE.36-apron_21-traces-cluster-based_true.yml.log 2024-12-17 05:36 119K
NONE.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml.log 2024-12-17 05:36 88K
NONE.36-apron_41-threadenter-no-locals_unknown_1_neg.yml.log 2024-12-17 05:36 44K
NONE.36-apron_41-threadenter-no-locals_unknown_1_pos.yml.log 2024-12-17 05:36 44K
NONE.36_stack_cas_p0_vs_concur.yml.log 2024-12-17 03:27 100K
NONE.37_stack_lock_p0_vs_concur.yml.log 2024-12-17 03:15 102K
NONE.39_rand_lock_p0_vs.yml.log 2024-12-17 03:20 216K
NONE.40_barrier_vf.yml.log 2024-12-17 03:18 116K
NONE.43_NetBSD_sysmon_power_sliced-pthread.yml.log 2024-12-17 03:26 77K
NONE.43_NetBSD_sysmon_power_sliced.yml.log 2024-12-17 03:26 76K
NONE.45_monabsex1_vs.yml.log 2024-12-17 03:25 508K
NONE.46_monabsex2_vs.yml.log 2024-12-17 03:27 230K
NONE.48_ticket_lock_low_contention_vs-pthread.yml.log 2024-12-17 03:28 211K
NONE.48_ticket_lock_low_contention_vs.yml.log 2024-12-17 03:24 51K
NONE.arithmetic_prog_bad.yml.log 2024-12-17 09:01 82K
NONE.arithmetic_prog_ok.yml.log 2024-12-17 09:02 93K
NONE.array-eq-symm.wvr.yml.log 2024-12-17 05:37 273K
NONE.array-eq-trans.wvr.yml.log 2024-12-17 05:51 824K
NONE.arraylock.yml.log 2024-12-17 09:02 30K
NONE.bench-exp1x3.wvr.yml.log 2024-12-17 06:00 68K
NONE.bench-exp2x3.wvr.yml.log 2024-12-17 06:00 81K
NONE.bench-exp2x4.wvr.yml.log 2024-12-17 06:01 76K
NONE.bench-exp2x6.wvr.yml.log 2024-12-17 06:04 69K
NONE.bench-exp2x9.wvr.yml.log 2024-12-17 06:04 116K
NONE.bench-exp3x3-opt.wvr.yml.log 2024-12-17 05:50 77K
NONE.bench-exp3x3.wvr.yml.log 2024-12-17 06:05 72K
NONE.bigshot_s.yml.log 2024-12-17 02:10 58K
NONE.bigshot_s2.yml.log 2024-12-17 02:10 68K
NONE.bounded_buffer.yml.log 2024-12-17 04:31 32K
NONE.bounded_mpmc_check_full.yml.log 2024-12-17 09:17 370K
NONE.butterfly.yml.log 2024-12-17 02:20 103K
NONE.char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml.log 2024-12-17 04:27 62K
NONE.char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml.log 2024-12-17 04:27 62K
NONE.char_generic_nvram_read_nvram_write_nvram.yml.log 2024-12-17 04:28 125K
NONE.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml.log 2024-12-17 04:27 86K
NONE.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml.log 2024-12-17 04:28 59K
NONE.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml.log 2024-12-17 04:27 96K
NONE.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml.log 2024-12-17 04:42 89K
NONE.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml.log 2024-12-17 04:28 78K
NONE.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml.log 2024-12-17 04:28 51K
NONE.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml.log 2024-12-17 04:28 83K
NONE.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml.log 2024-12-17 04:29 78K
NONE.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml.log 2024-12-17 04:43 74K
NONE.char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml.log 2024-12-17 04:30 83K
NONE.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml.log 2024-12-17 04:31 117K
NONE.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml.log 2024-12-17 04:31 72K
NONE.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml.log 2024-12-17 04:31 109K
NONE.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml.log 2024-12-17 04:31 72K
NONE.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml.log 2024-12-17 04:31 104K
NONE.chl-array-int-subst.wvr.yml.log 2024-12-17 06:05 681K
NONE.chl-array-int-symm.wvr.yml.log 2024-12-17 06:00 193K
NONE.chl-array-int-trans.wvr.yml.log 2024-12-17 06:15 500K
NONE.chl-chromosome-opt-symm.wvr.yml.log 2024-12-17 06:01 145K
NONE.chl-chromosome-subst.wvr.yml.log 2024-12-17 06:15 174K
NONE.chl-chromosome-symm.wvr.yml.log 2024-12-17 06:02 155K
NONE.chl-chromosome-trans.wvr.yml.log 2024-12-17 06:16 157K
NONE.chl-collitem-subst.wvr.yml.log 2024-12-17 06:04 47K
NONE.chl-collitem-symm.wvr.yml.log 2024-12-17 06:04 47K
NONE.chl-collitem-trans.wvr.yml.log 2024-12-17 06:04 47K
NONE.chl-exp-term-subst.wvr.yml.log 2024-12-17 06:04 47K
NONE.chl-exp-term-symm.wvr.yml.log 2024-12-17 06:04 46K
NONE.chl-file-item-subst.wvr.yml.log 2024-12-17 06:05 47K
NONE.chl-file-item-symm.wvr.yml.log 2024-12-17 06:05 46K
NONE.chl-file-item-trans.wvr.yml.log 2024-12-17 06:05 47K
NONE.chl-match-subst.wvr.yml.log 2024-12-17 06:05 47K
NONE.chl-match-symm.wvr.yml.log 2024-12-17 06:05 46K
NONE.chl-match-trans.wvr.yml.log 2024-12-17 06:05 47K
NONE.chl-name-comparator-subst.wvr.yml.log 2024-12-17 06:05 154K
NONE.chl-name-comparator-symm.wvr.yml.log 2024-12-17 06:05 134K
NONE.chl-name-comparator-trans.wvr.yml.log 2024-12-17 06:06 221K
NONE.chl-node-subst.wvr.yml.log 2024-12-17 06:20 154K
NONE.chl-node-symm.wvr.yml.log 2024-12-17 06:05 67K
NONE.chl-node-trans.wvr.yml.log 2024-12-17 06:06 80K
NONE.chl-nzb-file-subst.wvr.yml.log 2024-12-17 06:20 77K
NONE.chl-nzb-file-symm.wvr.yml.log 2024-12-17 06:07 179K
NONE.chl-nzb-file-trans.wvr.yml.log 2024-12-17 06:09 275K
NONE.chl-poker-hand-subst.wvr.yml.log 2024-12-17 06:21 156K
NONE.chl-poker-hand-symm.wvr.yml.log 2024-12-17 06:24 82K
NONE.chl-poker-hand-trans.wvr.yml.log 2024-12-17 06:29 158K
NONE.chl-simpl-str-subst.wvr.yml.log 2024-12-17 06:15 47K
NONE.chl-simpl-str-symm.wvr.yml.log 2024-12-17 06:16 46K
NONE.chl-simpl-str-trans.wvr.yml.log 2024-12-17 06:16 47K
NONE.chl-sre-subst.wvr.yml.log 2024-12-17 06:16 47K
NONE.chl-sre-symm.wvr.yml.log 2024-12-17 06:16 46K
NONE.chl-sre-trans.wvr.yml.log 2024-12-17 06:16 47K
NONE.chl-time-subst.wvr.yml.log 2024-12-17 06:16 47K
NONE.chl-time-symm.wvr.yml.log 2024-12-17 06:16 46K
NONE.chl-time-trans.wvr.yml.log 2024-12-17 06:16 47K
NONE.chl-word-subst.wvr.yml.log 2024-12-17 06:30 796K
NONE.chl-word-symm.wvr.yml.log 2024-12-17 06:17 292K
NONE.chl-word-trans.wvr.yml.log 2024-12-17 06:31 937K
NONE.circular_buffer_bad.yml.log 2024-12-17 09:02 120K
NONE.circular_buffer_ok.yml.log 2024-12-17 09:16 105K
NONE.clever.wvr.yml.log 2024-12-17 06:33 116K
NONE.cnalock.yml.log 2024-12-17 09:05 82K
NONE.dekker-unfair.yml.log 2024-12-17 02:39 112K
NONE.dekker.yml.log 2024-12-17 02:40 112K
NONE.elimination_backoff_stack.yml.log 2024-12-17 04:31 117K
NONE.exponential-4.yml.log 2024-12-17 09:18 183K
NONE.exponential-64.yml.log 2024-12-17 09:30 244K
NONE.exponential-nondet.yml.log 2024-12-17 09:31 166K
NONE.fib_safe-10.yml.log 2024-12-17 02:23 122K
NONE.fib_safe-11.yml.log 2024-12-17 02:24 130K
NONE.fib_safe-12.yml.log 2024-12-17 02:24 120K
NONE.fib_safe-5.yml.log 2024-12-17 02:24 259K
NONE.fib_safe-6.yml.log 2024-12-17 02:24 190K
NONE.fib_safe-7.yml.log 2024-12-17 02:24 164K
NONE.fib_unsafe-10.yml.log 2024-12-17 02:20 102K
NONE.fib_unsafe-11.yml.log 2024-12-17 02:20 110K
NONE.fib_unsafe-12.yml.log 2024-12-17 02:21 112K
NONE.fib_unsafe-5.yml.log 2024-12-17 02:21 94K
NONE.fib_unsafe-6.yml.log 2024-12-17 02:21 96K
NONE.fib_unsafe-7.yml.log 2024-12-17 02:21 97K
NONE.fibonacci.wvr.yml.log 2024-12-17 06:20 85K
NONE.hclhlock.yml.log 2024-12-17 09:20 206K
NONE.hmcslock.yml.log 2024-12-17 09:08 140K
NONE.lamport.yml.log 2024-12-17 02:40 149K
NONE.lazy01.yml.log 2024-12-17 02:21 58K
NONE.linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml.log 2024-12-17 04:17 87K
NONE.linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml.log 2024-12-17 04:17 87K
NONE.linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml.log 2024-12-17 04:27 29K
NONE.linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml.log 2024-12-17 04:27 72K
NONE.linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml.log 2024-12-17 04:27 35K
NONE.linux-3.14--drivers--usb--misc--adutux.ko.cil.yml.log 2024-12-17 04:30 36K
NONE.loop-tiling-eq.wvr.yml.log 2024-12-17 06:35 1.1M
NONE.mcslock.yml.log 2024-12-17 09:09 105K
NONE.mix000.oepc.yml.log 2024-12-17 03:25 74K
NONE.mix000.opt.yml.log 2024-12-17 03:25 73K
NONE.mix001.oepc.yml.log 2024-12-17 03:26 92K
NONE.mix001.opt.yml.log 2024-12-17 03:27 101K
NONE.mix002.oepc.yml.log 2024-12-17 03:27 90K
NONE.mix002.opt.yml.log 2024-12-17 03:27 107K
NONE.mix003.oepc.yml.log 2024-12-17 03:28 89K
NONE.mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml.log 2024-12-17 03:28 100K
NONE.mix004.oepc.yml.log 2024-12-17 03:29 101K
NONE.mix004.opt.yml.log 2024-12-17 03:28 94K
NONE.mix005.opt.yml.log 2024-12-17 03:28 88K
NONE.mix005_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:29 106K
NONE.mix005_tso.oepc.yml.log 2024-12-17 03:29 95K
NONE.mix006.opt.yml.log 2024-12-17 03:29 104K
NONE.mix006_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:30 88K
NONE.mix006_tso.oepc.yml.log 2024-12-17 03:31 139K
NONE.mix007.oepc.yml.log 2024-12-17 03:30 95K
NONE.mix007.opt.yml.log 2024-12-17 03:30 98K
NONE.mix008.opt.yml.log 2024-12-17 03:30 93K
NONE.mix008_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:30 95K
NONE.mix008_tso.oepc.yml.log 2024-12-17 03:34 131K
NONE.mix009.oepc.yml.log 2024-12-17 03:30 73K
NONE.mix009.opt.yml.log 2024-12-17 03:30 95K
NONE.mix010.oepc.yml.log 2024-12-17 03:30 84K
NONE.mix010.opt.yml.log 2024-12-17 03:31 100K
NONE.mix011.opt.yml.log 2024-12-17 03:31 100K
NONE.mix011_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:31 89K
NONE.mix011_tso.oepc.yml.log 2024-12-17 03:31 83K
NONE.mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml.log 2024-12-17 03:31 67K
NONE.mix012_pso.opt_tso.opt.yml.log 2024-12-17 03:31 72K
NONE.mix013.oepc.yml.log 2024-12-17 03:32 96K
NONE.mix013.opt.yml.log 2024-12-17 03:32 94K
NONE.mix014.opt.yml.log 2024-12-17 03:32 93K
NONE.mix014_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:32 95K
NONE.mix014_tso.oepc.yml.log 2024-12-17 03:37 136K
NONE.mix015.oepc.yml.log 2024-12-17 03:32 89K
NONE.mix015.opt.yml.log 2024-12-17 03:32 100K
NONE.mix016.oepc.yml.log 2024-12-17 03:32 87K
NONE.mix016_power.opt_rmo.opt.yml.log 2024-12-17 03:32 76K
NONE.mix016_pso.opt_tso.opt.yml.log 2024-12-17 03:33 99K
NONE.mix017.oepc.yml.log 2024-12-17 03:33 89K
NONE.mix017_power.opt_rmo.opt.yml.log 2024-12-17 03:34 104K
NONE.mix017_pso.opt_tso.opt.yml.log 2024-12-17 03:33 93K
NONE.mix018.opt.yml.log 2024-12-17 03:33 92K
NONE.mix018_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:34 94K
NONE.mix018_tso.oepc.yml.log 2024-12-17 03:34 93K
NONE.mix019.opt.yml.log 2024-12-17 03:34 98K
NONE.mix019_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:34 82K
NONE.mix019_tso.oepc.yml.log 2024-12-17 03:34 77K
NONE.mix020.oepc.yml.log 2024-12-17 03:35 99K
NONE.mix020.opt.yml.log 2024-12-17 03:34 92K
NONE.mix021.opt.yml.log 2024-12-17 03:35 81K
NONE.mix021_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:36 99K
NONE.mix021_tso.oepc.yml.log 2024-12-17 03:36 109K
NONE.mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:34 71K
NONE.mix022_tso.yml.log 2024-12-17 03:35 72K
NONE.mix023_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:35 100K
NONE.mix023_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 03:36 104K
NONE.mix023_tso.yml.log 2024-12-17 03:40 116K
NONE.mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml.log 2024-12-17 03:35 89K
NONE.mix024_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 03:36 82K
NONE.mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml.log 2024-12-17 03:36 82K
NONE.mix025_pso.opt_rmo.opt.yml.log 2024-12-17 03:36 75K
NONE.mix026.oepc.yml.log 2024-12-17 03:37 94K
NONE.mix026_power.opt_tso.opt.yml.log 2024-12-17 03:37 82K
NONE.mix026_pso.opt_rmo.opt.yml.log 2024-12-17 03:38 103K
NONE.mix027_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:38 99K
NONE.mix027_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 03:38 102K
NONE.mix027_tso.yml.log 2024-12-17 03:38 87K
NONE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:37 81K
NONE.mix028_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 03:38 76K
NONE.mix028_tso.yml.log 2024-12-17 03:39 99K
NONE.mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml.log 2024-12-17 03:39 94K
NONE.mix029_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 03:39 104K
NONE.mix030_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:39 93K
NONE.mix030_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 03:40 108K
NONE.mix030_tso.yml.log 2024-12-17 03:39 92K
NONE.mix031.oepc.yml.log 2024-12-17 03:39 78K
NONE.mix031.opt.yml.log 2024-12-17 03:39 77K
NONE.mix032.oepc.yml.log 2024-12-17 03:40 90K
NONE.mix032.opt.yml.log 2024-12-17 03:40 99K
NONE.mix033.opt.yml.log 2024-12-17 03:40 99K
NONE.mix033_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:40 90K
NONE.mix033_tso.oepc.yml.log 2024-12-17 03:40 79K
NONE.mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml.log 2024-12-17 03:40 68K
NONE.mix034_pso.opt_tso.opt.yml.log 2024-12-17 03:40 71K
NONE.mix035.oepc.yml.log 2024-12-17 03:40 83K
NONE.mix035_power.opt_rmo.opt.yml.log 2024-12-17 03:40 77K
NONE.mix035_pso.opt_tso.opt.yml.log 2024-12-17 03:41 97K
NONE.mix036.oepc.yml.log 2024-12-17 03:41 101K
NONE.mix036_power.opt_rmo.opt.yml.log 2024-12-17 03:41 104K
NONE.mix036_pso.opt_tso.opt.yml.log 2024-12-17 03:41 91K
NONE.mix037.opt.yml.log 2024-12-17 03:41 91K
NONE.mix037_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:41 95K
NONE.mix037_tso.oepc.yml.log 2024-12-17 03:41 84K
NONE.mix038.opt.yml.log 2024-12-17 03:41 97K
NONE.mix038_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:41 83K
NONE.mix038_tso.oepc.yml.log 2024-12-17 03:41 77K
NONE.mix039.oepc.yml.log 2024-12-17 03:42 95K
NONE.mix039.opt.yml.log 2024-12-17 03:42 91K
NONE.mix040.opt.yml.log 2024-12-17 03:42 107K
NONE.mix040_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:42 94K
NONE.mix040_tso.oepc.yml.log 2024-12-17 03:43 109K
NONE.mix041_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:42 67K
NONE.mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:42 71K
NONE.mix042.oepc.yml.log 2024-12-17 03:42 82K
NONE.mix042.opt.yml.log 2024-12-17 03:43 98K
NONE.mix043.oepc.yml.log 2024-12-17 03:43 95K
NONE.mix043.opt.yml.log 2024-12-17 03:42 92K
NONE.mix044.opt.yml.log 2024-12-17 03:42 91K
NONE.mix044_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:43 100K
NONE.mix044_tso.oepc.yml.log 2024-12-17 03:43 88K
NONE.mix045_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:43 82K
NONE.mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:43 98K
NONE.mix046.oepc.yml.log 2024-12-17 03:44 99K
NONE.mix046.opt.yml.log 2024-12-17 03:43 91K
NONE.mix047_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:44 99K
NONE.mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:44 108K
NONE.mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:43 71K
NONE.mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:44 87K
NONE.mix050.yml.log 2024-12-17 03:44 93K
NONE.mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:45 98K
NONE.mix051_pso.opt_rmo.opt_tso.opt.yml.log 2024-12-17 03:44 89K
NONE.mix051_tso.oepc.yml.log 2024-12-17 03:44 87K
NONE.mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:44 81K
NONE.mix052_pso.opt_rmo.opt_tso.opt.yml.log 2024-12-17 03:45 95K
NONE.mix052_tso.oepc.yml.log 2024-12-17 03:45 76K
NONE.mix053.opt.yml.log 2024-12-17 03:45 83K
NONE.mix053_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:45 92K
NONE.mix053_tso.oepc.yml.log 2024-12-17 03:46 102K
NONE.mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:45 66K
NONE.mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:45 70K
NONE.mix055.opt.yml.log 2024-12-17 03:45 89K
NONE.mix055_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:46 92K
NONE.mix055_tso.oepc.yml.log 2024-12-17 03:46 81K
NONE.mix056_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:46 80K
NONE.mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:46 96K
NONE.mix057_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:46 86K
NONE.mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:46 89K
NONE.mult-comm.wvr.yml.log 2024-12-17 06:36 117K
NONE.mult-dist.wvr.yml.log 2024-12-17 06:39 54K
NONE.mult-flipped-dist.wvr.yml.log 2024-12-17 06:44 62K
NONE.parallel-bakery-2.wvr.yml.log 2024-12-17 06:31 88K
NONE.parallel-bakery-3.wvr.yml.log 2024-12-17 06:34 1.6M
NONE.parallel-bakery-4.wvr.yml.log 2024-12-17 06:45 4.2M
NONE.parallel-barrier-loop.wvr.yml.log 2024-12-17 06:34 117K
NONE.parallel-barrier.wvr.yml.log 2024-12-17 06:34 92K
NONE.parallel-bluetooth.wvr.yml.log 2024-12-17 06:34 60K
NONE.parallel-lamport.wvr.yml.log 2024-12-17 06:34 90K
NONE.parallel-min-max-1.wvr.yml.log 2024-12-17 06:34 121K
NONE.parallel-misc-1.wvr.yml.log 2024-12-17 06:49 135K
NONE.parallel-misc-2-unrolled-atomic.wvr.yml.log 2024-12-17 06:35 62K
NONE.parallel-misc-2-unrolled.wvr.yml.log 2024-12-17 06:35 55K
NONE.parallel-misc-2.wvr.yml.log 2024-12-17 06:49 79K
NONE.parallel-misc-3-extended.wvr.yml.log 2024-12-17 06:35 81K
NONE.parallel-misc-3.wvr.yml.log 2024-12-17 06:35 77K
NONE.parallel-misc-4.wvr.yml.log 2024-12-17 06:36 91K
NONE.parallel-misc-5.wvr.yml.log 2024-12-17 06:38 116K
NONE.parallel-parallel-sum-1-dsl.wvr.yml.log 2024-12-17 06:49 348K
NONE.parallel-parallel-sum-1.wvr.yml.log 2024-12-17 06:40 112K
NONE.parallel-parallel-sum-2.wvr.yml.log 2024-12-17 06:56 185K
NONE.parallel-parallel-sum-equiv.wvr.yml.log 2024-12-17 06:58 238K
NONE.parallel-simple-equiv.wvr.yml.log 2024-12-17 06:46 47K
NONE.parallel-ticket-2.wvr.yml.log 2024-12-17 06:46 60K
NONE.parallel-ticket-3.wvr.yml.log 2024-12-17 06:46 88K
NONE.parallel-ticket-4.wvr.yml.log 2024-12-17 06:46 149K
NONE.parallel-ticket-5.wvr.yml.log 2024-12-17 06:47 262K
NONE.parallel-ticket-6.wvr.yml.log 2024-12-17 06:51 455K
NONE.parallel-ticket-7.wvr.yml.log 2024-12-17 06:52 46K
NONE.parallel-ticket-8.wvr.yml.log 2024-12-17 06:49 33K
NONE.peterson.yml.log 2024-12-17 02:40 106K
NONE.popl20-bad-buffer-mult-alt.wvr.yml.log 2024-12-17 07:03 306K
NONE.popl20-bad-buffer-mult-alt2.wvr.yml.log 2024-12-17 07:06 324K
NONE.popl20-bad-buffer-mult-alt3.wvr.yml.log 2024-12-17 07:06 249K
NONE.popl20-bad-commit-1.wvr-bad.yml.log 2024-12-17 06:54 315K
NONE.popl20-bad-commit-2.wvr-bad.yml.log 2024-12-17 06:55 430K
NONE.popl20-bad-counter-queue.wvr.yml.log 2024-12-17 06:54 245K
NONE.popl20-bad-counter-queue2.wvr.yml.log 2024-12-17 07:09 895K
NONE.popl20-bad-dot-product-alt.wvr.yml.log 2024-12-17 07:10 146K
NONE.popl20-bad-dot-product.wvr.yml.log 2024-12-17 07:11 450K
NONE.popl20-bad-ring-nondet.wvr.yml.log 2024-12-17 06:58 75K
NONE.popl20-bad-ring.wvr.yml.log 2024-12-17 07:12 230K
NONE.popl20-bad-threaded-sum-2.wvr.yml.log 2024-12-17 07:18 74K
NONE.popl20-bad-three-array-sum-alt.wvr.yml.log 2024-12-17 07:12 177K
NONE.popl20-channel-sum.wvr.yml.log 2024-12-17 07:07 107K
NONE.popl20-commit-1.wvr.yml.log 2024-12-17 07:21 359K
NONE.popl20-commit-2.wvr.yml.log 2024-12-17 07:23 205K
NONE.popl20-counter-determinism.wvr.yml.log 2024-12-17 07:23 340K
NONE.popl20-counter-fun.wvr.yml.log 2024-12-17 07:25 191K
NONE.popl20-difference-det.wvr.yml.log 2024-12-17 07:26 572K
NONE.popl20-figure1-alt.wvr.yml.log 2024-12-17 07:16 162K
NONE.popl20-figure1.wvr.yml.log 2024-12-17 07:29 689K
NONE.popl20-figure3.wvr.yml.log 2024-12-17 07:32 78K
NONE.popl20-horseshoe.wvr.yml.log 2024-12-17 07:35 315K
NONE.popl20-min-max-dec.wvr.yml.log 2024-12-17 07:24 98K
NONE.popl20-min-max-inc-dec.wvr.yml.log 2024-12-17 07:25 62K
NONE.popl20-min-max-inc.wvr.yml.log 2024-12-17 07:26 98K
NONE.popl20-more-array-sum-alt.wvr.yml.log 2024-12-17 07:39 394K
NONE.popl20-more-array-sum-alt2.wvr.yml.log 2024-12-17 07:40 266K
NONE.popl20-more-array-sum.wvr.yml.log 2024-12-17 07:41 311K
NONE.popl20-more-array-sum2.wvr.yml.log 2024-12-17 07:43 240K
NONE.popl20-more-buffer-mult.wvr.yml.log 2024-12-17 07:44 321K
NONE.popl20-more-buffer-mult2.wvr.yml.log 2024-12-17 07:46 246K
NONE.popl20-more-buffer-mult3.wvr.yml.log 2024-12-17 07:50 170K
NONE.popl20-more-buffer-series.wvr.yml.log 2024-12-17 07:54 249K
NONE.popl20-more-buffer-series2.wvr.yml.log 2024-12-17 07:54 500K
NONE.popl20-more-buffer-series3.wvr.yml.log 2024-12-17 07:56 207K
NONE.popl20-more-dec-subseq.wvr.yml.log 2024-12-17 07:58 349K
NONE.popl20-more-inc-subseq.wvr.yml.log 2024-12-17 07:58 279K
NONE.popl20-more-max-array-hom.wvr.yml.log 2024-12-17 08:00 354K
NONE.popl20-more-max-array.wvr.yml.log 2024-12-17 08:04 252K
NONE.popl20-more-min-array-hom.wvr.yml.log 2024-12-17 08:08 186K
NONE.popl20-more-min-array.wvr.yml.log 2024-12-17 08:08 225K
NONE.popl20-more-min-le-max.wvr.yml.log 2024-12-17 07:56 63K
NONE.popl20-more-mts.wvr.yml.log 2024-12-17 08:10 146K
NONE.popl20-more-multiply-verify.wvr.yml.log 2024-12-17 07:59 106K
NONE.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2024-12-17 08:13 59K
NONE.popl20-more-queue-add-2-nl.wvr.yml.log 2024-12-17 08:06 268K
NONE.popl20-more-queue-add-3-nl.wvr.yml.log 2024-12-17 08:14 427K
NONE.popl20-more-sorted.wvr.yml.log 2024-12-17 08:18 303K
NONE.popl20-more-sum-array-hom.wvr.yml.log 2024-12-17 08:22 72K
NONE.popl20-more-vector-add.wvr.yml.log 2024-12-17 08:23 65K
NONE.popl20-mult-4.wvr.yml.log 2024-12-17 08:23 56K
NONE.popl20-mult-equiv.wvr.yml.log 2024-12-17 08:25 72K
NONE.popl20-nonblocking-cntr-alt.wvr.yml.log 2024-12-17 08:13 82K
NONE.popl20-nonblocking-cntr.wvr.yml.log 2024-12-17 08:27 152K
NONE.popl20-prod-cons-eq.wvr.yml.log 2024-12-17 08:24 286K
NONE.popl20-prod-cons.wvr.yml.log 2024-12-17 08:33 191K
NONE.popl20-prod-cons3.wvr.yml.log 2024-12-17 08:36 215K
NONE.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2024-12-17 08:36 103K
NONE.popl20-queue-add-2.wvr.yml.log 2024-12-17 08:25 264K
NONE.popl20-queue-add-3.wvr.yml.log 2024-12-17 08:38 442K
NONE.popl20-send-receive-alt.wvr.yml.log 2024-12-17 08:39 248K
NONE.popl20-send-receive.wvr.yml.log 2024-12-17 08:41 254K
NONE.popl20-simple-array-sum.wvr.yml.log 2024-12-17 08:28 111K
NONE.popl20-simple-queue.wvr.yml.log 2024-12-17 08:42 410K
NONE.popl20-threaded-sum-3.wvr.yml.log 2024-12-17 08:47 116K
NONE.popl20-three-array-max.wvr.yml.log 2024-12-17 08:50 249K
NONE.popl20-three-array-min.wvr.yml.log 2024-12-17 08:51 241K
NONE.popl20-three-array-sum.wvr.yml.log 2024-12-17 08:53 192K
NONE.popl20-two-queue.wvr.yml.log 2024-12-17 08:40 161K
NONE.pthread-demo-datarace-1.yml.log 2024-12-17 04:32 103K
NONE.pthread-demo-datarace-3.yml.log 2024-12-17 04:31 99K
NONE.pthread-finding-k-matches.yml.log 2024-12-17 04:31 28K
NONE.pthread-numerical-integration.yml.log 2024-12-17 04:32 28K
NONE.queue.yml.log 2024-12-17 02:36 268K
NONE.queue_longer.yml.log 2024-12-17 02:38 6.4M
NONE.queue_longest.yml.log 2024-12-17 02:37 2.3M
NONE.queue_ok.yml.log 2024-12-17 02:39 1.0M
NONE.queue_ok_longer.yml.log 2024-12-17 02:39 81K
NONE.queue_ok_longest.yml.log 2024-12-17 02:39 81K
NONE.qw2004-2b.yml.log 2024-12-17 04:10 59K
NONE.race-1_1-join.yml.log 2024-12-17 04:10 68K
NONE.race-1_2-join.yml.log 2024-12-17 04:10 54K
NONE.race-1_3-join.yml.log 2024-12-17 04:11 55K
NONE.race-2_1-container_of.yml.log 2024-12-17 04:11 96K
NONE.race-2_2-container_of.yml.log 2024-12-17 04:11 84K
NONE.race-2_3-container_of.yml.log 2024-12-17 04:11 69K
NONE.race-2_4-container_of.yml.log 2024-12-17 04:11 74K
NONE.race-2_5-container_of.yml.log 2024-12-17 04:11 69K
NONE.race-3_1-container_of-global.yml.log 2024-12-17 04:12 96K
NONE.race-3_2-container_of-global.yml.log 2024-12-17 04:12 91K
NONE.race-4_1-thread_local_vars.yml.log 2024-12-17 04:12 104K
NONE.read_write_lock-1.yml.log 2024-12-17 02:40 93K
NONE.read_write_lock-2.yml.log 2024-12-17 02:40 79K
NONE.rec_mcslock.yml.log 2024-12-17 09:09 151K
NONE.rec_ticketlock.yml.log 2024-12-17 09:15 248K
NONE.reorder_2.yml.log 2024-12-17 02:25 111K
NONE.reorder_5.yml.log 2024-12-17 02:25 111K
NONE.rfi000_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:46 71K
NONE.rfi000_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 03:46 71K
NONE.rfi000_tso.yml.log 2024-12-17 03:47 82K
NONE.rfi001_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:46 67K
NONE.rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:46 71K
NONE.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:52 94K
NONE.rfi002_tso.yml.log 2024-12-17 03:50 92K
NONE.rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:46 71K
NONE.rfi003_tso.yml.log 2024-12-17 03:48 77K
NONE.rfi004.yml.log 2024-12-17 03:47 71K
NONE.rfi005.yml.log 2024-12-17 03:47 52K
NONE.rfi006_power.oepc.yml.log 2024-12-17 03:48 96K
NONE.rfi006_power.opt.yml.log 2024-12-17 03:49 120K
NONE.rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:47 83K
NONE.rfi006_rmo.yml.log 2024-12-17 03:48 95K
NONE.rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:48 67K
NONE.rfi007_tso.yml.log 2024-12-17 03:48 72K
NONE.rfi008.oepc.yml.log 2024-12-17 03:49 74K
NONE.rfi008.opt.yml.log 2024-12-17 03:49 73K
NONE.rfi009_power.oepc.yml.log 2024-12-17 03:50 102K
NONE.rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:49 78K
NONE.rfi009_rmo.oepc.yml.log 2024-12-17 03:50 95K
NONE.rfi010.yml.log 2024-12-17 03:49 72K
NONE.rwlock.yml.log 2024-12-17 09:11 91K
NONE.safe000_power.oepc.yml.log 2024-12-17 04:00 111K
NONE.safe000_power.opt.yml.log 2024-12-17 03:50 84K
NONE.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:49 66K
NONE.safe000_rmo.yml.log 2024-12-17 03:59 110K
NONE.safe001_power.oepc.yml.log 2024-12-17 03:54 111K
NONE.safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2024-12-17 03:51 93K
NONE.safe001_rmo.oepc.yml.log 2024-12-17 03:52 99K
NONE.safe001_tso.yml.log 2024-12-17 03:50 56K
NONE.safe002_power.oepc.yml.log 2024-12-17 03:53 106K
NONE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2024-12-17 03:52 92K
NONE.safe002_rmo.oepc.yml.log 2024-12-17 03:54 104K
NONE.safe002_tso.yml.log 2024-12-17 03:52 61K
NONE.safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:54 85K
NONE.safe003_power.opt.yml.log 2024-12-17 03:53 84K
NONE.safe003_tso.yml.log 2024-12-17 03:53 66K
NONE.safe004_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 03:55 85K
NONE.safe004_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 03:54 93K
NONE.safe004_tso.yml.log 2024-12-17 03:54 51K
NONE.safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:54 80K
NONE.safe005_tso.yml.log 2024-12-17 03:54 56K
NONE.safe006_power.oepc-thin000_power.oepc.yml.log 2024-12-17 03:55 76K
NONE.safe006_power.opt-thin000_power.opt.yml.log 2024-12-17 03:54 74K
NONE.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:54 56K
NONE.safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:55 75K
NONE.safe007_power.oepc-thin001_power.oepc.yml.log 2024-12-17 03:55 89K
NONE.safe007_power.opt-thin001_power.opt.yml.log 2024-12-17 03:55 108K
NONE.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:55 61K
NONE.safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:55 88K
NONE.safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:55 76K
NONE.safe008_power.opt.yml.log 2024-12-17 03:56 92K
NONE.safe008_tso.yml.log 2024-12-17 03:55 66K
NONE.safe009_power.oepc.yml.log 2024-12-17 04:00 92K
NONE.safe009_power.opt.yml.log 2024-12-17 03:56 83K
NONE.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:55 61K
NONE.safe009_rmo.oepc.yml.log 2024-12-17 03:59 90K
NONE.safe009_rmo.opt.yml.log 2024-12-17 03:56 81K
NONE.safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:56 66K
NONE.safe010_tso.yml.log 2024-12-17 03:56 55K
NONE.safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:57 80K
NONE.safe011_power.opt_pso.opt.yml.log 2024-12-17 03:58 102K
NONE.safe011_tso.yml.log 2024-12-17 03:56 56K
NONE.safe012_power.oepc.yml.log 2024-12-17 03:57 89K
NONE.safe012_power.opt.yml.log 2024-12-17 03:58 108K
NONE.safe012_pso.oepc_pso.opt_rmo.opt.yml.log 2024-12-17 03:58 80K
NONE.safe012_rmo.oepc.yml.log 2024-12-17 03:58 88K
NONE.safe012_tso.yml.log 2024-12-17 03:58 61K
NONE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 03:59 79K
NONE.safe013_tso.yml.log 2024-12-17 03:58 60K
NONE.safe014_power.oepc.yml.log 2024-12-17 03:59 104K
NONE.safe014_power.opt.yml.log 2024-12-17 03:59 127K
NONE.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:59 71K
NONE.safe014_rmo.oepc.yml.log 2024-12-17 03:59 97K
NONE.safe014_rmo.opt.yml.log 2024-12-17 04:01 104K
NONE.safe015_power.oepc.yml.log 2024-12-17 04:02 118K
NONE.safe015_power.opt.yml.log 2024-12-17 04:03 111K
NONE.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 03:59 61K
NONE.safe015_rmo.yml.log 2024-12-17 04:01 94K
NONE.safe016_power.oepc.yml.log 2024-12-17 04:03 109K
NONE.safe016_power.opt.yml.log 2024-12-17 04:03 99K
NONE.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 04:01 61K
NONE.safe016_rmo.oepc.yml.log 2024-12-17 04:02 108K
NONE.safe016_rmo.opt.yml.log 2024-12-17 04:03 102K
NONE.safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 04:02 75K
NONE.safe017_tso.yml.log 2024-12-17 04:02 61K
NONE.safe018_power.oepc.yml.log 2024-12-17 04:02 88K
NONE.safe018_power.opt.yml.log 2024-12-17 04:05 131K
NONE.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 04:02 61K
NONE.safe018_rmo.oepc.yml.log 2024-12-17 04:03 86K
NONE.safe018_rmo.opt.yml.log 2024-12-17 04:04 86K
NONE.safe019_power.oepc.yml.log 2024-12-17 04:05 110K
NONE.safe019_power.opt.yml.log 2024-12-17 04:05 124K
NONE.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 04:03 66K
NONE.safe019_rmo.oepc.yml.log 2024-12-17 04:04 108K
NONE.safe019_rmo.opt.yml.log 2024-12-17 04:04 100K
NONE.safe020_power.yml.log 2024-12-17 04:05 115K
NONE.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 04:04 61K
NONE.safe020_rmo.yml.log 2024-12-17 04:05 86K
NONE.safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml.log 2024-12-17 04:05 76K
NONE.safe021_power.opt_pso.opt.yml.log 2024-12-17 04:05 76K
NONE.safe021_tso.yml.log 2024-12-17 04:05 61K
NONE.safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 04:05 66K
NONE.safe022_tso.yml.log 2024-12-17 04:05 55K
NONE.safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 04:10 114K
NONE.safe023_tso.yml.log 2024-12-17 04:05 56K
NONE.safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 04:05 75K
NONE.safe024_tso.yml.log 2024-12-17 04:05 61K
NONE.safe025_power.yml.log 2024-12-17 04:10 113K
NONE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 04:05 66K
NONE.safe025_rmo.yml.log 2024-12-17 04:07 90K
NONE.safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 04:06 80K
NONE.safe026_tso.yml.log 2024-12-17 04:05 61K
NONE.safe027_power.oepc.yml.log 2024-12-17 04:07 103K
NONE.safe027_power.opt.yml.log 2024-12-17 04:08 137K
NONE.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 04:06 72K
NONE.safe027_rmo.yml.log 2024-12-17 04:07 101K
NONE.safe028_power.yml.log 2024-12-17 04:08 121K
NONE.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 04:07 61K
NONE.safe028_rmo.yml.log 2024-12-17 04:08 86K
NONE.safe029_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 04:07 65K
NONE.safe029_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 04:07 86K
NONE.safe029_tso.yml.log 2024-12-17 04:07 51K
NONE.safe030_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 04:12 114K
NONE.safe030_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 04:09 106K
NONE.safe030_tso.yml.log 2024-12-17 04:08 51K
NONE.safe031_power.oepc_pso.oepc_rmo.oepc.yml.log 2024-12-17 04:09 91K
NONE.safe031_power.opt_pso.opt_rmo.opt.yml.log 2024-12-17 04:09 96K
NONE.safe031_tso.yml.log 2024-12-17 04:08 56K
NONE.safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 04:12 129K
NONE.safe032_tso.yml.log 2024-12-17 04:09 56K
NONE.safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 04:09 74K
NONE.safe033_tso.yml.log 2024-12-17 04:09 55K
NONE.safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2024-12-17 04:10 95K
NONE.safe034_tso.yml.log 2024-12-17 04:09 60K
NONE.safe035_power.yml.log 2024-12-17 04:23 28K
NONE.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml.log 2024-12-17 04:09 61K
NONE.safe036.yml.log 2024-12-17 04:09 55K
NONE.safe037.yml.log 2024-12-17 04:09 61K
NONE.safestack_relacy.yml.log 2024-12-17 04:24 104K
NONE.security.wvr.yml.log 2024-12-17 08:40 46K
NONE.semaphore.yml.log 2024-12-17 09:14 96K
NONE.singleton.yml.log 2024-12-17 02:25 49K
NONE.singleton_with-uninit-problems.yml.log 2024-12-17 02:25 65K
NONE.spaghetti.wvr.yml.log 2024-12-17 08:41 56K
NONE.sssc12.yml.log 2024-12-17 04:11 318K
NONE.sssc12_variant.yml.log 2024-12-17 04:13 228K
NONE.stack-1.yml.log 2024-12-17 02:26 235K
NONE.stack-2.yml.log 2024-12-17 02:26 192K
NONE.stack_longer-1.yml.log 2024-12-17 02:41 107K
NONE.stack_longer-2.yml.log 2024-12-17 02:50 94K
NONE.stack_longest-1.yml.log 2024-12-17 02:52 109K
NONE.stack_longest-2.yml.log 2024-12-17 02:52 119K
NONE.stateful01-1.yml.log 2024-12-17 02:39 46K
NONE.stateful01-2.yml.log 2024-12-17 02:39 51K
NONE.sync01.yml.log 2024-12-17 02:39 55K
NONE.szymanski.yml.log 2024-12-17 02:40 155K
NONE.test-context1.wvr.yml.log 2024-12-17 08:44 332K
NONE.test-easy1.wvr.yml.log 2024-12-17 08:41 64K
NONE.test-easy10.wvr.yml.log 2024-12-17 08:41 66K
NONE.test-easy11.wvr.yml.log 2024-12-17 08:42 69K
NONE.test-easy6.wvr.yml.log 2024-12-17 08:42 76K
NONE.test-easy7.wvr.yml.log 2024-12-17 08:42 46K
NONE.test-easy8.wvr.yml.log 2024-12-17 08:42 51K
NONE.test-hard1.wvr.yml.log 2024-12-17 08:56 91K
NONE.test-semi1.wvr.yml.log 2024-12-17 08:42 50K
NONE.thin002_power.oepc.yml.log 2024-12-17 04:10 103K
NONE.thin002_power.opt.yml.log 2024-12-17 04:11 122K
NONE.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2024-12-17 04:10 67K
NONE.thin002_rmo.yml.log 2024-12-17 04:10 102K
NONE.thread-local-pthread-value.yml.log 2024-12-17 09:02 28K
NONE.thread-local-value-dynamic.yml.log 2024-12-17 09:02 28K
NONE.thread-local-value.yml.log 2024-12-17 09:02 28K
NONE.ticketlock.yml.log 2024-12-17 09:13 65K
NONE.time_var_mutex.yml.log 2024-12-17 02:40 102K
NONE.tls_basic.yml.log 2024-12-17 04:32 27K
NONE.tls_destructor_worker.yml.log 2024-12-17 04:32 28K
NONE.triangular-1.yml.log 2024-12-17 02:39 90K
NONE.triangular-2.yml.log 2024-12-17 02:39 67K
NONE.triangular-longer-1.yml.log 2024-12-17 02:39 105K
NONE.triangular-longer-2.yml.log 2024-12-17 02:39 78K
NONE.triangular-longest-1.yml.log 2024-12-17 02:39 114K
NONE.triangular-longest-2.yml.log 2024-12-17 02:39 94K
NONE.ttaslock.yml.log 2024-12-17 09:22 403K
NONE.twostage_3.yml.log 2024-12-17 02:40 209K
NONE.unroll-2.wvr.yml.log 2024-12-17 08:57 222K
NONE.unroll-3.wvr.yml.log 2024-12-17 09:01 93K
NONE.unroll-4.wvr.yml.log 2024-12-17 09:02 134K
NONE.unroll-5.wvr.yml.log 2024-12-17 09:04 118K
NONE.unroll-cond-2.wvr.yml.log 2024-12-17 09:06 89K
NONE.unroll-cond-3.wvr.yml.log 2024-12-17 09:07 70K
NONE.unroll-cond-4.wvr.yml.log 2024-12-17 09:10 67K
NONE.unroll-cond-5.wvr.yml.log 2024-12-17 09:11 112K
NONE.unwind1-1.yml.log 2024-12-17 09:17 61K
NONE.unwind1-100.yml.log 2024-12-17 09:18 118K
NONE.unwind1-nondet.yml.log 2024-12-17 09:17 55K
NONE.unwind2-1.yml.log 2024-12-17 09:17 76K
NONE.unwind2-100.yml.log 2024-12-17 09:18 171K
NONE.unwind2-nondet.yml.log 2024-12-17 09:18 86K
NONE.unwind3-1.yml.log 2024-12-17 09:18 60K
NONE.unwind3-100.yml.log 2024-12-17 09:29 278K
NONE.unwind3-nondet.yml.log 2024-12-17 09:18 44K
NONE.workstealqueue_mutex-2.yml.log 2024-12-17 04:40 2.6M
NONE.wsc.yml.log 2024-12-17 09:18 72K