Index of /temporalDLLite/benchmark/JAR-submission/randomTBox/TDLLite/F-AVG-PF

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