Index of /temporalDLLite/AVG-PF

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Aalta_solver_ltl_iter_1_param_5_5_10_5_5_5/2021-12-22 17:26 -  
[DIR]Aalta_solver_ltl_iter_1_param_5_5_20_5_5_5/2021-12-22 17:59 -  
[DIR]Aalta_solver_ltl_iter_1_param_5_5_30_5_5_5/2021-12-22 18:32 -  
[DIR]Aalta_solver_ltl_iter_1_param_5_10_10_5_5_5/2021-12-22 19:06 -  
[DIR]Aalta_solver_ltl_iter_1_param_5_10_20_5_5_5/2021-12-22 19:25 -  
[DIR]Aalta_solver_ltl_iter_1_param_5_10_30_5_5_5/2021-12-22 19:48 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_10_5_5_5/2021-12-22 20:01 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_20_5_5_5/2021-12-22 20:04 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_30_5_5_5/2021-12-22 20:11 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_10_5_5_5/2021-12-22 20:25 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_20_5_5_5/2021-12-22 20:36 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_30_5_5_5/2021-12-22 21:01 -  
[DIR]Aalta_solver_ltl_iter_1_param_25_5_10_5_5_5/2021-12-22 21:36 -  
[DIR]Aalta_solver_ltl_iter_1_param_25_5_20_5_5_5/2021-12-22 21:44 -  
[DIR]Aalta_solver_ltl_iter_1_param_25_5_30_5_5_5/2021-12-22 22:18 -  
[DIR]Aalta_solver_ltl_iter_1_param_25_10_10_5_5_5/2021-12-22 22:52 -  
[DIR]Aalta_solver_ltl_iter_1_param_25_10_20_5_5_5/2021-12-22 23:11 -  
[DIR]Aalta_solver_ltl_iter_1_param_25_10_30_5_5_5/2021-12-22 23:48 -  
[DIR]Aalta_solver_ltl_iter_1_param_35_5_10_5_5_5/2021-12-23 00:31 -  
[DIR]Aalta_solver_ltl_iter_1_param_35_5_20_5_5_5/2021-12-23 00:44 -  
[DIR]Aalta_solver_ltl_iter_1_param_35_5_30_5_5_5/2021-12-23 01:19 -  
[DIR]Aalta_solver_ltl_iter_1_param_35_10_10_5_5_5/2021-12-23 01:59 -  
[DIR]Aalta_solver_ltl_iter_1_param_35_10_20_5_5_5/2021-12-23 02:26 -  
[DIR]Aalta_solver_ltl_iter_1_param_35_10_30_5_5_5/2021-12-23 03:08 -  
[DIR]Aalta_solver_ltl_iter_2_param_5_5_10_5_5_5/2021-12-22 17:37 -  
[DIR]Aalta_solver_ltl_iter_2_param_5_5_20_5_5_5/2021-12-22 18:10 -  
[DIR]Aalta_solver_ltl_iter_2_param_5_5_30_5_5_5/2021-12-22 18:43 -  
[DIR]Aalta_solver_ltl_iter_2_param_5_10_10_5_5_5/2021-12-22 19:17 -  
[DIR]Aalta_solver_ltl_iter_2_param_5_10_20_5_5_5/2021-12-22 19:36 -  
[DIR]Aalta_solver_ltl_iter_2_param_5_10_30_5_5_5/2021-12-22 19:49 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_10_5_5_5/2021-12-22 20:02 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_20_5_5_5/2021-12-22 20:06 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_30_5_5_5/2021-12-22 20:14 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_10_5_5_5/2021-12-22 20:28 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_20_5_5_5/2021-12-22 20:47 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_30_5_5_5/2021-12-22 21:12 -  
[DIR]Aalta_solver_ltl_iter_2_param_25_5_10_5_5_5/2021-12-22 21:38 -  
[DIR]Aalta_solver_ltl_iter_2_param_25_5_20_5_5_5/2021-12-22 21:55 -  
[DIR]Aalta_solver_ltl_iter_2_param_25_5_30_5_5_5/2021-12-22 22:29 -  
[DIR]Aalta_solver_ltl_iter_2_param_25_10_10_5_5_5/2021-12-22 22:59 -  
[DIR]Aalta_solver_ltl_iter_2_param_25_10_20_5_5_5/2021-12-22 23:23 -  
[DIR]Aalta_solver_ltl_iter_2_param_25_10_30_5_5_5/2021-12-23 00:02 -  
[DIR]Aalta_solver_ltl_iter_2_param_35_5_10_5_5_5/2021-12-23 00:36 -  
[DIR]Aalta_solver_ltl_iter_2_param_35_5_20_5_5_5/2021-12-23 00:55 -  
[DIR]Aalta_solver_ltl_iter_2_param_35_5_30_5_5_5/2021-12-23 01:32 -  
[DIR]Aalta_solver_ltl_iter_2_param_35_10_10_5_5_5/2021-12-23 02:07 -  
[DIR]Aalta_solver_ltl_iter_2_param_35_10_20_5_5_5/2021-12-23 02:39 -  
[DIR]Aalta_solver_ltl_iter_2_param_35_10_30_5_5_5/2021-12-23 03:11 -  
[DIR]Aalta_solver_ltl_iter_3_param_5_5_10_5_5_5/2021-12-22 17:48 -  
[DIR]Aalta_solver_ltl_iter_3_param_5_5_20_5_5_5/2021-12-22 18:21 -  
[DIR]Aalta_solver_ltl_iter_3_param_5_5_30_5_5_5/2021-12-22 18:54 -  
[DIR]Aalta_solver_ltl_iter_3_param_5_10_10_5_5_5/2021-12-22 19:18 -  
[DIR]Aalta_solver_ltl_iter_3_param_5_10_20_5_5_5/2021-12-22 19:47 -  
[DIR]Aalta_solver_ltl_iter_3_param_5_10_30_5_5_5/2021-12-22 20:00 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_10_5_5_5/2021-12-22 20:03 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_20_5_5_5/2021-12-22 20:09 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_30_5_5_5/2021-12-22 20:18 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_10_5_5_5/2021-12-22 20:32 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_20_5_5_5/2021-12-22 20:57 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_30_5_5_5/2021-12-22 21:24 -  
[DIR]Aalta_solver_ltl_iter_3_param_25_5_10_5_5_5/2021-12-22 21:41 -  
[DIR]Aalta_solver_ltl_iter_3_param_25_5_20_5_5_5/2021-12-22 22:07 -  
[DIR]Aalta_solver_ltl_iter_3_param_25_5_30_5_5_5/2021-12-22 22:40 -  
[DIR]Aalta_solver_ltl_iter_3_param_25_10_10_5_5_5/2021-12-22 23:04 -  
[DIR]Aalta_solver_ltl_iter_3_param_25_10_20_5_5_5/2021-12-22 23:35 -  
[DIR]Aalta_solver_ltl_iter_3_param_25_10_30_5_5_5/2021-12-23 00:18 -  
[DIR]Aalta_solver_ltl_iter_3_param_35_5_10_5_5_5/2021-12-23 00:39 -  
[DIR]Aalta_solver_ltl_iter_3_param_35_5_20_5_5_5/2021-12-23 01:07 -  
[DIR]Aalta_solver_ltl_iter_3_param_35_5_30_5_5_5/2021-12-23 01:45 -  
[DIR]Aalta_solver_ltl_iter_3_param_35_10_10_5_5_5/2021-12-23 02:16 -  
[DIR]Aalta_solver_ltl_iter_3_param_35_10_20_5_5_5/2021-12-23 02:53 -  
[DIR]Aalta_solver_ltl_iter_3_param_35_10_30_5_5_5/2021-12-23 03:16 -  
[DIR]Black_solver_ltl_iter_1_param_5_5_10_5_5_5/2021-12-22 17:26 -  
[DIR]Black_solver_ltl_iter_1_param_5_5_20_5_5_5/2021-12-22 18:00 -  
[DIR]Black_solver_ltl_iter_1_param_5_5_30_5_5_5/2021-12-22 18:32 -  
[DIR]Black_solver_ltl_iter_1_param_5_10_10_5_5_5/2021-12-22 19:17 -  
[DIR]Black_solver_ltl_iter_1_param_5_10_20_5_5_5/2021-12-22 19:35 -  
[DIR]Black_solver_ltl_iter_1_param_5_10_30_5_5_5/2021-12-22 19:49 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_10_5_5_5/2021-12-22 20:02 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_20_5_5_5/2021-12-22 20:05 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_30_5_5_5/2021-12-22 20:14 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_10_5_5_5/2021-12-22 20:27 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_20_5_5_5/2021-12-22 20:46 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_30_5_5_5/2021-12-22 21:11 -  
[DIR]Black_solver_ltl_iter_1_param_25_5_10_5_5_5/2021-12-22 21:38 -  
[DIR]Black_solver_ltl_iter_1_param_25_5_20_5_5_5/2021-12-22 21:54 -  
[DIR]Black_solver_ltl_iter_1_param_25_5_30_5_5_5/2021-12-22 22:28 -  
[DIR]Black_solver_ltl_iter_1_param_25_10_10_5_5_5/2021-12-22 22:58 -  
[DIR]Black_solver_ltl_iter_1_param_25_10_20_5_5_5/2021-12-22 23:21 -  
[DIR]Black_solver_ltl_iter_1_param_25_10_30_5_5_5/2021-12-22 23:58 -  
[DIR]Black_solver_ltl_iter_1_param_35_5_10_5_5_5/2021-12-23 00:35 -  
[DIR]Black_solver_ltl_iter_1_param_35_5_20_5_5_5/2021-12-23 00:54 -  
[DIR]Black_solver_ltl_iter_1_param_35_5_30_5_5_5/2021-12-23 01:29 -  
[DIR]Black_solver_ltl_iter_1_param_35_10_10_5_5_5/2021-12-23 02:06 -  
[DIR]Black_solver_ltl_iter_1_param_35_10_20_5_5_5/2021-12-23 02:36 -  
[DIR]Black_solver_ltl_iter_1_param_35_10_30_5_5_5/2021-12-23 03:08 -  
[DIR]Black_solver_ltl_iter_2_param_5_5_10_5_5_5/2021-12-22 17:37 -  
[DIR]Black_solver_ltl_iter_2_param_5_5_20_5_5_5/2021-12-22 18:10 -  
[DIR]Black_solver_ltl_iter_2_param_5_5_30_5_5_5/2021-12-22 18:44 -  
[DIR]Black_solver_ltl_iter_2_param_5_10_10_5_5_5/2021-12-22 19:18 -  
[DIR]Black_solver_ltl_iter_2_param_5_10_20_5_5_5/2021-12-22 19:45 -  
[DIR]Black_solver_ltl_iter_2_param_5_10_30_5_5_5/2021-12-22 19:59 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_10_5_5_5/2021-12-22 20:02 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_20_5_5_5/2021-12-22 20:09 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_30_5_5_5/2021-12-22 20:18 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_10_5_5_5/2021-12-22 20:31 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_20_5_5_5/2021-12-22 20:55 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_30_5_5_5/2021-12-22 21:22 -  
[DIR]Black_solver_ltl_iter_2_param_25_5_10_5_5_5/2021-12-22 21:40 -  
[DIR]Black_solver_ltl_iter_2_param_25_5_20_5_5_5/2021-12-22 22:05 -  
[DIR]Black_solver_ltl_iter_2_param_25_5_30_5_5_5/2021-12-22 22:39 -  
[DIR]Black_solver_ltl_iter_2_param_25_10_10_5_5_5/2021-12-22 23:03 -  
[DIR]Black_solver_ltl_iter_2_param_25_10_20_5_5_5/2021-12-22 23:33 -  
[DIR]Black_solver_ltl_iter_2_param_25_10_30_5_5_5/2021-12-23 00:12 -  
[DIR]Black_solver_ltl_iter_2_param_35_5_10_5_5_5/2021-12-23 00:38 -  
[DIR]Black_solver_ltl_iter_2_param_35_5_20_5_5_5/2021-12-23 01:05 -  
[DIR]Black_solver_ltl_iter_2_param_35_5_30_5_5_5/2021-12-23 01:42 -  
[DIR]Black_solver_ltl_iter_2_param_35_10_10_5_5_5/2021-12-23 02:15 -  
[DIR]Black_solver_ltl_iter_2_param_35_10_20_5_5_5/2021-12-23 02:49 -  
[DIR]Black_solver_ltl_iter_2_param_35_10_30_5_5_5/2021-12-23 03:11 -  
[DIR]Black_solver_ltl_iter_3_param_5_5_10_5_5_5/2021-12-22 17:48 -  
[DIR]Black_solver_ltl_iter_3_param_5_5_20_5_5_5/2021-12-22 18:22 -  
[DIR]Black_solver_ltl_iter_3_param_5_5_30_5_5_5/2021-12-22 18:56 -  
[DIR]Black_solver_ltl_iter_3_param_5_10_10_5_5_5/2021-12-22 19:23 -  
[DIR]Black_solver_ltl_iter_3_param_5_10_20_5_5_5/2021-12-22 19:47 -  
[DIR]Black_solver_ltl_iter_3_param_5_10_30_5_5_5/2021-12-22 20:00 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_10_5_5_5/2021-12-22 20:04 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_20_5_5_5/2021-12-22 20:11 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_30_5_5_5/2021-12-22 20:24 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_10_5_5_5/2021-12-22 20:35 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_20_5_5_5/2021-12-22 21:00 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_30_5_5_5/2021-12-22 21:34 -  
[DIR]Black_solver_ltl_iter_3_param_25_5_10_5_5_5/2021-12-22 21:43 -  
[DIR]Black_solver_ltl_iter_3_param_25_5_20_5_5_5/2021-12-22 22:16 -  
[DIR]Black_solver_ltl_iter_3_param_25_5_30_5_5_5/2021-12-22 22:50 -  
[DIR]Black_solver_ltl_iter_3_param_25_10_10_5_5_5/2021-12-22 23:10 -  
[DIR]Black_solver_ltl_iter_3_param_25_10_20_5_5_5/2021-12-22 23:45 -  
[DIR]Black_solver_ltl_iter_3_param_25_10_30_5_5_5/2021-12-23 00:28 -  
[DIR]Black_solver_ltl_iter_3_param_35_5_10_5_5_5/2021-12-23 00:43 -  
[DIR]Black_solver_ltl_iter_3_param_35_5_20_5_5_5/2021-12-23 01:17 -  
[DIR]Black_solver_ltl_iter_3_param_35_5_30_5_5_5/2021-12-23 01:55 -  
[DIR]Black_solver_ltl_iter_3_param_35_10_10_5_5_5/2021-12-23 02:25 -  
[DIR]Black_solver_ltl_iter_3_param_35_10_20_5_5_5/2021-12-23 03:04 -  
[DIR]Black_solver_ltl_iter_3_param_35_10_30_5_5_5/2021-12-23 03:16 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_5_5_10_5_5_5/2021-12-22 17:26 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_5_5_20_5_5_5/2021-12-22 17:59 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_5_5_30_5_5_5/2021-12-22 18:32 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_5_10_10_5_5_5/2021-12-22 19:06 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_5_10_20_5_5_5/2021-12-22 19:25 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_5_10_30_5_5_5/2021-12-22 19:48 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_10_5_5_5/2021-12-22 20:01 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_20_5_5_5/2021-12-22 20:04 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_30_5_5_5/2021-12-22 20:11 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_10_5_5_5/2021-12-22 20:25 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_20_5_5_5/2021-12-22 20:36 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_30_5_5_5/2021-12-22 21:01 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_25_5_10_5_5_5/2021-12-22 21:36 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_25_5_20_5_5_5/2021-12-22 21:44 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_25_5_30_5_5_5/2021-12-22 22:18 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_25_10_10_5_5_5/2021-12-22 22:52 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_25_10_20_5_5_5/2021-12-22 23:11 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_25_10_30_5_5_5/2021-12-22 23:48 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_35_5_10_5_5_5/2021-12-23 00:31 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_35_5_20_5_5_5/2021-12-23 00:44 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_35_5_30_5_5_5/2021-12-23 01:19 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_35_10_10_5_5_5/2021-12-23 01:59 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_35_10_20_5_5_5/2021-12-23 02:26 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_35_10_30_5_5_5/2021-12-23 03:08 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_5_5_10_5_5_5/2021-12-22 17:37 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_5_5_20_5_5_5/2021-12-22 18:10 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_5_5_30_5_5_5/2021-12-22 18:43 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_5_10_10_5_5_5/2021-12-22 19:17 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_5_10_20_5_5_5/2021-12-22 19:36 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_5_10_30_5_5_5/2021-12-22 19:49 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_10_5_5_5/2021-12-22 20:02 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_20_5_5_5/2021-12-22 20:06 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_30_5_5_5/2021-12-22 20:14 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_10_5_5_5/2021-12-22 20:28 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_20_5_5_5/2021-12-22 20:47 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_30_5_5_5/2021-12-22 21:12 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_25_5_10_5_5_5/2021-12-22 21:38 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_25_5_20_5_5_5/2021-12-22 21:55 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_25_5_30_5_5_5/2021-12-22 22:29 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_25_10_10_5_5_5/2021-12-22 22:59 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_25_10_20_5_5_5/2021-12-22 23:23 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_25_10_30_5_5_5/2021-12-23 00:02 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_35_5_10_5_5_5/2021-12-23 00:36 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_35_5_20_5_5_5/2021-12-23 00:55 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_35_5_30_5_5_5/2021-12-23 01:32 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_35_10_10_5_5_5/2021-12-23 02:07 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_35_10_20_5_5_5/2021-12-23 02:39 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_35_10_30_5_5_5/2021-12-23 03:11 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_5_5_10_5_5_5/2021-12-22 17:48 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_5_5_20_5_5_5/2021-12-22 18:21 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_5_5_30_5_5_5/2021-12-22 18:54 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_5_10_10_5_5_5/2021-12-22 19:18 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_5_10_20_5_5_5/2021-12-22 19:47 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_5_10_30_5_5_5/2021-12-22 20:00 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_10_5_5_5/2021-12-22 20:03 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_20_5_5_5/2021-12-22 20:09 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_30_5_5_5/2021-12-22 20:18 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_10_5_5_5/2021-12-22 20:32 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_20_5_5_5/2021-12-22 20:57 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_30_5_5_5/2021-12-22 21:24 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_25_5_10_5_5_5/2021-12-22 21:41 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_25_5_20_5_5_5/2021-12-22 22:07 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_25_5_30_5_5_5/2021-12-22 22:40 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_25_10_10_5_5_5/2021-12-22 23:04 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_25_10_20_5_5_5/2021-12-22 23:35 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_25_10_30_5_5_5/2021-12-23 00:18 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_35_5_10_5_5_5/2021-12-23 00:39 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_35_5_20_5_5_5/2021-12-23 01:07 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_35_5_30_5_5_5/2021-12-23 01:45 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_35_10_10_5_5_5/2021-12-23 02:16 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_35_10_20_5_5_5/2021-12-23 02:53 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_35_10_30_5_5_5/2021-12-23 03:16 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_5_5_10_5_5_5/2021-12-22 17:26 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_5_5_20_5_5_5/2021-12-22 17:59 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_5_5_30_5_5_5/2021-12-22 18:32 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_5_10_10_5_5_5/2021-12-22 19:07 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_5_10_20_5_5_5/2021-12-22 19:26 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_5_10_30_5_5_5/2021-12-22 19:49 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_10_5_5_5/2021-12-22 20:01 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_20_5_5_5/2021-12-22 20:05 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_30_5_5_5/2021-12-22 20:14 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_10_5_5_5/2021-12-22 20:27 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_20_5_5_5/2021-12-22 20:46 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_30_5_5_5/2021-12-22 21:11 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_25_5_10_5_5_5/2021-12-22 21:38 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_25_5_20_5_5_5/2021-12-22 21:54 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_25_5_30_5_5_5/2021-12-22 22:28 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_25_10_10_5_5_5/2021-12-22 22:58 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_25_10_20_5_5_5/2021-12-22 23:21 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_25_10_30_5_5_5/2021-12-22 23:58 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_35_5_10_5_5_5/2021-12-23 00:35 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_35_5_20_5_5_5/2021-12-23 00:54 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_35_5_30_5_5_5/2021-12-23 01:29 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_35_10_10_5_5_5/2021-12-23 02:06 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_35_10_20_5_5_5/2021-12-23 02:36 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_35_10_30_5_5_5/2021-12-23 03:08 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_5_5_10_5_5_5/2021-12-22 17:37 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_5_5_20_5_5_5/2021-12-22 18:10 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_5_5_30_5_5_5/2021-12-22 18:43 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_5_10_10_5_5_5/2021-12-22 19:18 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_5_10_20_5_5_5/2021-12-22 19:36 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_5_10_30_5_5_5/2021-12-22 19:50 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_10_5_5_5/2021-12-22 20:02 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_20_5_5_5/2021-12-22 20:09 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_30_5_5_5/2021-12-22 20:18 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_10_5_5_5/2021-12-22 20:31 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_20_5_5_5/2021-12-22 20:55 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_30_5_5_5/2021-12-22 21:22 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_25_5_10_5_5_5/2021-12-22 21:40 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_25_5_20_5_5_5/2021-12-22 22:05 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_25_5_30_5_5_5/2021-12-22 22:39 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_25_10_10_5_5_5/2021-12-22 23:03 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_25_10_20_5_5_5/2021-12-22 23:33 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_25_10_30_5_5_5/2021-12-23 00:12 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_35_5_10_5_5_5/2021-12-23 00:38 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_35_5_20_5_5_5/2021-12-23 01:05 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_35_5_30_5_5_5/2021-12-23 01:42 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_35_10_10_5_5_5/2021-12-23 02:15 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_35_10_20_5_5_5/2021-12-23 02:49 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_35_10_30_5_5_5/2021-12-23 03:11 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_5_5_10_5_5_5/2021-12-22 17:48 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_5_5_20_5_5_5/2021-12-22 18:21 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_5_5_30_5_5_5/2021-12-22 18:54 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_5_10_10_5_5_5/2021-12-22 19:18 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_5_10_20_5_5_5/2021-12-22 19:47 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_5_10_30_5_5_5/2021-12-22 20:00 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_10_5_5_5/2021-12-22 20:04 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_20_5_5_5/2021-12-22 20:11 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_30_5_5_5/2021-12-22 20:24 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_10_5_5_5/2021-12-22 20:35 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_20_5_5_5/2021-12-22 21:00 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_30_5_5_5/2021-12-22 21:34 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_25_5_10_5_5_5/2021-12-22 21:43 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_25_5_20_5_5_5/2021-12-22 22:16 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_25_5_30_5_5_5/2021-12-22 22:50 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_25_10_10_5_5_5/2021-12-22 23:10 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_25_10_20_5_5_5/2021-12-22 23:45 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_25_10_30_5_5_5/2021-12-23 00:28 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_35_5_10_5_5_5/2021-12-23 00:43 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_35_5_20_5_5_5/2021-12-23 01:17 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_35_5_30_5_5_5/2021-12-23 01:55 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_35_10_10_5_5_5/2021-12-23 02:25 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_35_10_20_5_5_5/2021-12-23 03:03 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_35_10_30_5_5_5/2021-12-23 03:16 -  
[DIR]TSPASS_solver_ltl_iter_1_param_5_5_10_5_5_5/2021-12-22 17:27 -  
[DIR]TSPASS_solver_ltl_iter_1_param_5_5_20_5_5_5/2021-12-22 18:00 -  
[DIR]TSPASS_solver_ltl_iter_1_param_5_5_30_5_5_5/2021-12-22 18:32 -  
[DIR]TSPASS_solver_ltl_iter_1_param_5_10_10_5_5_5/2021-12-22 19:17 -  
[DIR]TSPASS_solver_ltl_iter_1_param_5_10_20_5_5_5/2021-12-22 19:36 -  
[DIR]TSPASS_solver_ltl_iter_1_param_5_10_30_5_5_5/2021-12-22 19:49 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_10_5_5_5/2021-12-22 20:02 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_20_5_5_5/2021-12-22 20:06 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_30_5_5_5/2021-12-22 20:14 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_10_5_5_5/2021-12-22 20:28 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_20_5_5_5/2021-12-22 20:47 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_30_5_5_5/2021-12-22 21:12 -  
[DIR]TSPASS_solver_ltl_iter_1_param_25_5_10_5_5_5/2021-12-22 21:38 -  
[DIR]TSPASS_solver_ltl_iter_1_param_25_5_20_5_5_5/2021-12-22 21:55 -  
[DIR]TSPASS_solver_ltl_iter_1_param_25_5_30_5_5_5/2021-12-22 22:29 -  
[DIR]TSPASS_solver_ltl_iter_1_param_25_10_10_5_5_5/2021-12-22 22:59 -  
[DIR]TSPASS_solver_ltl_iter_1_param_25_10_20_5_5_5/2021-12-22 23:23 -  
[DIR]TSPASS_solver_ltl_iter_1_param_25_10_30_5_5_5/2021-12-23 00:02 -  
[DIR]TSPASS_solver_ltl_iter_1_param_35_5_10_5_5_5/2021-12-23 00:36 -  
[DIR]TSPASS_solver_ltl_iter_1_param_35_5_20_5_5_5/2021-12-23 00:55 -  
[DIR]TSPASS_solver_ltl_iter_1_param_35_5_30_5_5_5/2021-12-23 01:32 -  
[DIR]TSPASS_solver_ltl_iter_1_param_35_10_10_5_5_5/2021-12-23 02:07 -  
[DIR]TSPASS_solver_ltl_iter_1_param_35_10_20_5_5_5/2021-12-23 02:39 -  
[DIR]TSPASS_solver_ltl_iter_1_param_35_10_30_5_5_5/2021-12-23 03:11 -  
[DIR]TSPASS_solver_ltl_iter_2_param_5_5_10_5_5_5/2021-12-22 17:38 -  
[DIR]TSPASS_solver_ltl_iter_2_param_5_5_20_5_5_5/2021-12-22 18:11 -  
[DIR]TSPASS_solver_ltl_iter_2_param_5_5_30_5_5_5/2021-12-22 18:44 -  
[DIR]TSPASS_solver_ltl_iter_2_param_5_10_10_5_5_5/2021-12-22 19:18 -  
[DIR]TSPASS_solver_ltl_iter_2_param_5_10_20_5_5_5/2021-12-22 19:45 -  
[DIR]TSPASS_solver_ltl_iter_2_param_5_10_30_5_5_5/2021-12-22 19:59 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_10_5_5_5/2021-12-22 20:03 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_20_5_5_5/2021-12-22 20:09 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_30_5_5_5/2021-12-22 20:18 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_10_5_5_5/2021-12-22 20:31 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_20_5_5_5/2021-12-22 20:57 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_30_5_5_5/2021-12-22 21:24 -  
[DIR]TSPASS_solver_ltl_iter_2_param_25_5_10_5_5_5/2021-12-22 21:41 -  
[DIR]TSPASS_solver_ltl_iter_2_param_25_5_20_5_5_5/2021-12-22 22:06 -  
[DIR]TSPASS_solver_ltl_iter_2_param_25_5_30_5_5_5/2021-12-22 22:40 -  
[DIR]TSPASS_solver_ltl_iter_2_param_25_10_10_5_5_5/2021-12-22 23:04 -  
[DIR]TSPASS_solver_ltl_iter_2_param_25_10_20_5_5_5/2021-12-22 23:35 -  
[DIR]TSPASS_solver_ltl_iter_2_param_25_10_30_5_5_5/2021-12-23 00:18 -  
[DIR]TSPASS_solver_ltl_iter_2_param_35_5_10_5_5_5/2021-12-23 00:39 -  
[DIR]TSPASS_solver_ltl_iter_2_param_35_5_20_5_5_5/2021-12-23 01:07 -  
[DIR]TSPASS_solver_ltl_iter_2_param_35_5_30_5_5_5/2021-12-23 01:45 -  
[DIR]TSPASS_solver_ltl_iter_2_param_35_10_10_5_5_5/2021-12-23 02:16 -  
[DIR]TSPASS_solver_ltl_iter_2_param_35_10_20_5_5_5/2021-12-23 02:53 -  
[DIR]TSPASS_solver_ltl_iter_2_param_35_10_30_5_5_5/2021-12-23 03:15 -  
[DIR]TSPASS_solver_ltl_iter_3_param_5_5_10_5_5_5/2021-12-22 17:49 -  
[DIR]TSPASS_solver_ltl_iter_3_param_5_5_20_5_5_5/2021-12-22 18:22 -  
[DIR]TSPASS_solver_ltl_iter_3_param_5_5_30_5_5_5/2021-12-22 18:56 -  
[DIR]TSPASS_solver_ltl_iter_3_param_5_10_10_5_5_5/2021-12-22 19:24 -  
[DIR]TSPASS_solver_ltl_iter_3_param_5_10_20_5_5_5/2021-12-22 19:48 -  
[DIR]TSPASS_solver_ltl_iter_3_param_5_10_30_5_5_5/2021-12-22 20:01 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_10_5_5_5/2021-12-22 20:04 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_20_5_5_5/2021-12-22 20:11 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_30_5_5_5/2021-12-22 20:24 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_10_5_5_5/2021-12-22 20:36 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_20_5_5_5/2021-12-22 21:01 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_30_5_5_5/2021-12-22 21:36 -  
[DIR]TSPASS_solver_ltl_iter_3_param_25_5_10_5_5_5/2021-12-22 21:44 -  
[DIR]TSPASS_solver_ltl_iter_3_param_25_5_20_5_5_5/2021-12-22 22:17 -  
[DIR]TSPASS_solver_ltl_iter_3_param_25_5_30_5_5_5/2021-12-22 22:52 -  
[DIR]TSPASS_solver_ltl_iter_3_param_25_10_10_5_5_5/2021-12-22 23:11 -  
[DIR]TSPASS_solver_ltl_iter_3_param_25_10_20_5_5_5/2021-12-22 23:48 -  
[DIR]TSPASS_solver_ltl_iter_3_param_25_10_30_5_5_5/2021-12-23 00:31 -  
[DIR]TSPASS_solver_ltl_iter_3_param_35_5_10_5_5_5/2021-12-23 00:44 -  
[DIR]TSPASS_solver_ltl_iter_3_param_35_5_20_5_5_5/2021-12-23 01:19 -  
[DIR]TSPASS_solver_ltl_iter_3_param_35_5_30_5_5_5/2021-12-23 01:59 -  
[DIR]TSPASS_solver_ltl_iter_3_param_35_10_10_5_5_5/2021-12-23 02:26 -  
[DIR]TSPASS_solver_ltl_iter_3_param_35_10_20_5_5_5/2021-12-23 03:08 -  
[DIR]TSPASS_solver_ltl_iter_3_param_35_10_30_5_5_5/2021-12-23 03:20 -  
[DIR]TeMP_solver_ltl_iter_1_param_5_5_10_5_5_5/2021-12-22 17:27 -  
[DIR]TeMP_solver_ltl_iter_1_param_5_5_20_5_5_5/2021-12-22 18:00 -  
[DIR]TeMP_solver_ltl_iter_1_param_5_5_30_5_5_5/2021-12-22 18:32 -  
[DIR]TeMP_solver_ltl_iter_1_param_5_10_10_5_5_5/2021-12-22 19:17 -  
[DIR]TeMP_solver_ltl_iter_1_param_5_10_20_5_5_5/2021-12-22 19:35 -  
[DIR]TeMP_solver_ltl_iter_1_param_5_10_30_5_5_5/2021-12-22 19:49 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_10_5_5_5/2021-12-22 20:02 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_20_5_5_5/2021-12-22 20:05 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_30_5_5_5/2021-12-22 20:14 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_10_5_5_5/2021-12-22 20:27 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_20_5_5_5/2021-12-22 20:46 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_30_5_5_5/2021-12-22 21:11 -  
[DIR]TeMP_solver_ltl_iter_1_param_25_5_10_5_5_5/2021-12-22 21:38 -  
[DIR]TeMP_solver_ltl_iter_1_param_25_5_20_5_5_5/2021-12-22 21:54 -  
[DIR]TeMP_solver_ltl_iter_1_param_25_5_30_5_5_5/2021-12-22 22:28 -  
[DIR]TeMP_solver_ltl_iter_1_param_25_10_10_5_5_5/2021-12-22 22:58 -  
[DIR]TeMP_solver_ltl_iter_1_param_25_10_20_5_5_5/2021-12-22 23:22 -  
[DIR]TeMP_solver_ltl_iter_1_param_25_10_30_5_5_5/2021-12-23 00:00 -  
[DIR]TeMP_solver_ltl_iter_1_param_35_5_10_5_5_5/2021-12-23 00:35 -  
[DIR]TeMP_solver_ltl_iter_1_param_35_5_20_5_5_5/2021-12-23 00:55 -  
[DIR]TeMP_solver_ltl_iter_1_param_35_5_30_5_5_5/2021-12-23 01:30 -  
[DIR]TeMP_solver_ltl_iter_1_param_35_10_10_5_5_5/2021-12-23 02:06 -  
[DIR]TeMP_solver_ltl_iter_1_param_35_10_20_5_5_5/2021-12-23 02:37 -  
[DIR]TeMP_solver_ltl_iter_1_param_35_10_30_5_5_5/2021-12-23 03:09 -  
[DIR]TeMP_solver_ltl_iter_2_param_5_5_10_5_5_5/2021-12-22 17:37 -  
[DIR]TeMP_solver_ltl_iter_2_param_5_5_20_5_5_5/2021-12-22 18:10 -  
[DIR]TeMP_solver_ltl_iter_2_param_5_5_30_5_5_5/2021-12-22 18:44 -  
[DIR]TeMP_solver_ltl_iter_2_param_5_10_10_5_5_5/2021-12-22 19:18 -  
[DIR]TeMP_solver_ltl_iter_2_param_5_10_20_5_5_5/2021-12-22 19:45 -  
[DIR]TeMP_solver_ltl_iter_2_param_5_10_30_5_5_5/2021-12-22 19:59 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_10_5_5_5/2021-12-22 20:03 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_20_5_5_5/2021-12-22 20:09 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_30_5_5_5/2021-12-22 20:18 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_10_5_5_5/2021-12-22 20:31 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_20_5_5_5/2021-12-22 20:56 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_30_5_5_5/2021-12-22 21:23 -  
[DIR]TeMP_solver_ltl_iter_2_param_25_5_10_5_5_5/2021-12-22 21:41 -  
[DIR]TeMP_solver_ltl_iter_2_param_25_5_20_5_5_5/2021-12-22 22:06 -  
[DIR]TeMP_solver_ltl_iter_2_param_25_5_30_5_5_5/2021-12-22 22:39 -  
[DIR]TeMP_solver_ltl_iter_2_param_25_10_10_5_5_5/2021-12-22 23:03 -  
[DIR]TeMP_solver_ltl_iter_2_param_25_10_20_5_5_5/2021-12-22 23:34 -  
[DIR]TeMP_solver_ltl_iter_2_param_25_10_30_5_5_5/2021-12-23 00:15 -  
[DIR]TeMP_solver_ltl_iter_2_param_35_5_10_5_5_5/2021-12-23 00:39 -  
[DIR]TeMP_solver_ltl_iter_2_param_35_5_20_5_5_5/2021-12-23 01:06 -  
[DIR]TeMP_solver_ltl_iter_2_param_35_5_30_5_5_5/2021-12-23 01:44 -  
[DIR]TeMP_solver_ltl_iter_2_param_35_10_10_5_5_5/2021-12-23 02:15 -  
[DIR]TeMP_solver_ltl_iter_2_param_35_10_20_5_5_5/2021-12-23 02:51 -  
[DIR]TeMP_solver_ltl_iter_2_param_35_10_30_5_5_5/2021-12-23 03:12 -  
[DIR]TeMP_solver_ltl_iter_3_param_5_5_10_5_5_5/2021-12-22 17:48 -  
[DIR]TeMP_solver_ltl_iter_3_param_5_5_20_5_5_5/2021-12-22 18:22 -  
[DIR]TeMP_solver_ltl_iter_3_param_5_5_30_5_5_5/2021-12-22 18:56 -  
[DIR]TeMP_solver_ltl_iter_3_param_5_10_10_5_5_5/2021-12-22 19:23 -  
[DIR]TeMP_solver_ltl_iter_3_param_5_10_20_5_5_5/2021-12-22 19:47 -  
[DIR]TeMP_solver_ltl_iter_3_param_5_10_30_5_5_5/2021-12-22 20:01 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_10_5_5_5/2021-12-22 20:04 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_20_5_5_5/2021-12-22 20:11 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_30_5_5_5/2021-12-22 20:24 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_10_5_5_5/2021-12-22 20:35 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_20_5_5_5/2021-12-22 21:00 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_30_5_5_5/2021-12-22 21:35 -  
[DIR]TeMP_solver_ltl_iter_3_param_25_5_10_5_5_5/2021-12-22 21:43 -  
[DIR]TeMP_solver_ltl_iter_3_param_25_5_20_5_5_5/2021-12-22 22:17 -  
[DIR]TeMP_solver_ltl_iter_3_param_25_5_30_5_5_5/2021-12-22 22:51 -  
[DIR]TeMP_solver_ltl_iter_3_param_25_10_10_5_5_5/2021-12-22 23:10 -  
[DIR]TeMP_solver_ltl_iter_3_param_25_10_20_5_5_5/2021-12-22 23:46 -  
[DIR]TeMP_solver_ltl_iter_3_param_25_10_30_5_5_5/2021-12-23 00:29 -  
[DIR]TeMP_solver_ltl_iter_3_param_35_5_10_5_5_5/2021-12-23 00:43 -  
[DIR]TeMP_solver_ltl_iter_3_param_35_5_20_5_5_5/2021-12-23 01:18 -  
[DIR]TeMP_solver_ltl_iter_3_param_35_5_30_5_5_5/2021-12-23 01:58 -  
[DIR]TeMP_solver_ltl_iter_3_param_35_10_10_5_5_5/2021-12-23 02:25 -  
[DIR]TeMP_solver_ltl_iter_3_param_35_10_20_5_5_5/2021-12-23 03:05 -  
[DIR]TeMP_solver_ltl_iter_3_param_35_10_30_5_5_5/2021-12-23 03:17 -  
[ ]abox.json2021-12-23 03:15 0  
[TXT]outputTDLReasoner.txt2021-12-23 03:16 3.7K 
[ ]random.aalta2021-12-23 03:16 13M 
[ ]random.ltl2021-12-23 03:16 13M 
[ ]random.pltl2021-12-23 03:16 13M 
[SND]random.smv2021-12-23 03:15 18M 
[ ]random.tptp2021-12-23 03:16 112K 
[ ]randomStats.stats2021-12-23 03:15 113  
[TXT]randomltl.tex2021-12-23 03:15 23M 
[TXT]randomqtl.tex2021-12-23 03:15 28K 
[TXT]randomqtlN.tex2021-12-23 03:15 196K 
[TXT]randomtbox.tex2021-12-23 03:15 8.2K 
[TXT]result.csv2021-12-23 03:20 53K 
[ ]s-lc-n-qm-pr-pt.config2021-06-14 08:14 31  
Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80