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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]result.csv2021-05-03 10:11 54K 
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_30_5_9_9/2021-05-02 08:22 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_30_5_9_9/2021-05-02 08:11 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_30_5_9_9/2021-05-02 08:10 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_30_5_9_9/2021-05-02 08:10 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_30_5_9_9/2021-05-02 08:02 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_30_5_9_9/2021-05-02 08:02 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_30_5_9_9/2021-05-02 08:02 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_30_5_9_9/2021-05-02 07:51 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_30_5_9_9/2021-05-02 07:50 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_30_5_9_9/2021-05-02 07:50 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_30_5_9_9/2021-05-02 07:40 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_30_5_9_9/2021-05-02 07:40 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_30_5_9_9/2021-05-02 07:40 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_30_5_9_9/2021-05-02 07:29 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_30_5_9_9/2021-05-02 07:29 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_30_5_9_9/2021-05-02 07:29 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_30_5_9_9/2021-05-02 07:24 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_30_5_9_9/2021-05-02 07:24 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_30_5_1_9/2021-05-02 07:24 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_30_5_1_9/2021-05-02 07:13 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_30_5_1_9/2021-05-02 07:13 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_30_5_1_9/2021-05-02 07:13 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_30_5_1_9/2021-05-02 07:10 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_30_5_1_9/2021-05-02 07:10 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_30_5_1_9/2021-05-02 07:10 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_30_5_1_9/2021-05-02 06:59 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_30_5_1_9/2021-05-02 06:58 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_30_5_1_9/2021-05-02 06:58 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_30_5_1_9/2021-05-02 06:51 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_30_5_1_9/2021-05-02 06:51 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_30_5_1_9/2021-05-02 06:51 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_30_5_1_9/2021-05-02 06:40 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_30_5_1_9/2021-05-02 06:40 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_30_5_1_9/2021-05-02 06:40 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_30_5_1_9/2021-05-02 06:37 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_30_5_1_9/2021-05-02 06:37 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_20_5_9_9/2021-05-02 06:37 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_20_5_9_9/2021-05-02 06:26 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_20_5_9_9/2021-05-02 06:26 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_20_5_9_9/2021-05-02 06:26 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_20_5_9_9/2021-05-02 06:23 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_20_5_9_9/2021-05-02 06:23 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_20_5_9_9/2021-05-02 06:23 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_20_5_9_9/2021-05-02 06:12 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_20_5_9_9/2021-05-02 06:12 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_20_5_9_9/2021-05-02 06:12 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_20_5_9_9/2021-05-02 06:06 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_20_5_9_9/2021-05-02 06:06 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_20_5_9_9/2021-05-02 06:06 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_20_5_9_9/2021-05-02 05:55 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_20_5_9_9/2021-05-02 05:55 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_20_5_9_9/2021-05-02 05:55 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_20_5_9_9/2021-05-02 05:49 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_20_5_9_9/2021-05-02 05:49 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_20_5_1_9/2021-05-02 05:49 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_20_5_1_9/2021-05-02 05:38 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_20_5_1_9/2021-05-02 05:38 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_20_5_1_9/2021-05-02 05:38 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_20_5_1_9/2021-05-02 05:37 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_20_5_1_9/2021-05-02 05:37 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_20_5_1_9/2021-05-02 05:37 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_20_5_1_9/2021-05-02 05:26 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_20_5_1_9/2021-05-02 05:26 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_20_5_1_9/2021-05-02 05:26 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_20_5_1_9/2021-05-02 05:21 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_20_5_1_9/2021-05-02 05:21 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_20_5_1_9/2021-05-02 05:21 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_20_5_1_9/2021-05-02 05:10 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_20_5_1_9/2021-05-02 05:10 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_20_5_1_9/2021-05-02 05:10 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_20_5_1_9/2021-05-02 05:07 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_20_5_1_9/2021-05-02 05:07 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_10_5_9_9/2021-05-02 05:07 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_10_5_9_9/2021-05-02 04:57 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_10_5_9_9/2021-05-02 04:56 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_10_5_9_9/2021-05-02 04:56 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_10_5_9_9/2021-05-02 04:55 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_10_5_9_9/2021-05-02 04:55 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_10_5_9_9/2021-05-02 04:55 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_10_5_9_9/2021-05-02 04:45 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_10_5_9_9/2021-05-02 04:45 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_10_5_9_9/2021-05-02 04:45 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_10_5_9_9/2021-05-02 04:43 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_10_5_9_9/2021-05-02 04:43 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_10_5_9_9/2021-05-02 04:43 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_10_5_9_9/2021-05-02 04:33 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_10_5_9_9/2021-05-02 04:32 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_10_5_9_9/2021-05-02 04:32 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_10_5_9_9/2021-05-02 04:31 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_10_5_9_9/2021-05-02 04:31 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_10_5_1_9/2021-05-02 04:31 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_10_5_1_9/2021-05-02 04:20 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_10_5_1_9/2021-05-02 04:20 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_10_5_1_9/2021-05-02 04:20 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_10_5_1_9/2021-05-02 04:19 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_10_5_1_9/2021-05-02 04:19 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_10_5_1_9/2021-05-02 04:19 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_10_5_1_9/2021-05-02 04:08 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_10_5_1_9/2021-05-02 04:08 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_10_5_1_9/2021-05-02 04:08 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_10_5_1_9/2021-05-02 04:07 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_10_5_1_9/2021-05-02 04:07 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_10_5_1_9/2021-05-02 04:07 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_10_5_1_9/2021-05-02 03:57 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_10_5_1_9/2021-05-02 03:57 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_10_5_1_9/2021-05-02 03:56 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_10_5_1_9/2021-05-02 03:55 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_10_5_1_9/2021-05-02 03:55 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_30_5_9_9/2021-05-02 03:55 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_30_5_9_9/2021-05-02 03:45 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_30_5_9_9/2021-05-02 03:45 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_30_5_9_9/2021-05-02 03:45 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_30_5_9_9/2021-05-02 03:43 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_30_5_9_9/2021-05-02 03:43 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_30_5_9_9/2021-05-02 03:43 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_30_5_9_9/2021-05-02 03:33 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_30_5_9_9/2021-05-02 03:33 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_30_5_9_9/2021-05-02 03:33 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_30_5_9_9/2021-05-02 03:32 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_30_5_9_9/2021-05-02 03:32 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_30_5_9_9/2021-05-02 03:32 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_30_5_9_9/2021-05-02 03:21 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_30_5_9_9/2021-05-02 03:21 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_30_5_9_9/2021-05-02 03:21 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_30_5_9_9/2021-05-02 03:21 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_30_5_9_9/2021-05-02 03:21 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_30_5_1_9/2021-05-02 03:20 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_30_5_1_9/2021-05-02 03:10 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_30_5_1_9/2021-05-02 03:10 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_30_5_1_9/2021-05-02 03:10 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_30_5_1_9/2021-05-02 03:09 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_30_5_1_9/2021-05-02 03:09 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_30_5_1_9/2021-05-02 03:09 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_30_5_1_9/2021-05-02 02:59 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_30_5_1_9/2021-05-02 02:59 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_30_5_1_9/2021-05-02 02:59 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_30_5_1_9/2021-05-02 02:58 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_30_5_1_9/2021-05-02 02:58 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_30_5_1_9/2021-05-02 02:58 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_30_5_1_9/2021-05-02 02:48 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_30_5_1_9/2021-05-02 02:47 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_30_5_1_9/2021-05-02 02:47 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_30_5_1_9/2021-05-02 02:47 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_30_5_1_9/2021-05-02 02:47 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_20_5_9_9/2021-05-02 02:47 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_20_5_9_9/2021-05-02 02:37 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_20_5_9_9/2021-05-02 02:36 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_20_5_9_9/2021-05-02 02:36 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_20_5_9_9/2021-05-02 02:36 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_20_5_9_9/2021-05-02 02:36 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_20_5_9_9/2021-05-02 02:36 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_20_5_9_9/2021-05-02 02:25 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_20_5_9_9/2021-05-02 02:25 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_20_5_9_9/2021-05-02 02:25 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_20_5_9_9/2021-05-02 02:24 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_20_5_9_9/2021-05-02 02:24 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_20_5_9_9/2021-05-02 02:24 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_20_5_9_9/2021-05-02 02:14 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_20_5_9_9/2021-05-02 02:14 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_20_5_9_9/2021-05-02 02:14 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_20_5_9_9/2021-05-02 02:13 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_20_5_9_9/2021-05-02 02:13 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_20_5_1_9/2021-05-02 02:13 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_20_5_1_9/2021-05-02 02:03 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_20_5_1_9/2021-05-02 02:03 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_20_5_1_9/2021-05-02 02:03 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_20_5_1_9/2021-05-02 02:02 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_20_5_1_9/2021-05-02 02:02 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_20_5_1_9/2021-05-02 02:02 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_20_5_1_9/2021-05-02 01:52 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_20_5_1_9/2021-05-02 01:51 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_20_5_1_9/2021-05-02 01:51 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_20_5_1_9/2021-05-02 01:50 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_20_5_1_9/2021-05-02 01:50 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_20_5_1_9/2021-05-02 01:50 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_20_5_1_9/2021-05-02 01:40 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_20_5_1_9/2021-05-02 01:40 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_20_5_1_9/2021-05-02 01:40 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_20_5_1_9/2021-05-02 01:40 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_20_5_1_9/2021-05-02 01:40 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_10_5_9_9/2021-05-02 01:40 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_10_5_9_9/2021-05-02 01:29 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_10_5_9_9/2021-05-02 01:29 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_10_5_9_9/2021-05-02 01:29 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_10_5_9_9/2021-05-02 01:28 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_10_5_9_9/2021-05-02 01:28 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_10_5_9_9/2021-05-02 01:28 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_10_5_9_9/2021-05-02 01:18 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_10_5_9_9/2021-05-02 01:18 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_10_5_9_9/2021-05-02 01:18 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_10_5_9_9/2021-05-02 01:17 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_10_5_9_9/2021-05-02 01:17 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_10_5_9_9/2021-05-02 01:17 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_10_5_9_9/2021-05-02 01:07 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_10_5_9_9/2021-05-02 01:07 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_10_5_9_9/2021-05-02 01:07 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_10_5_9_9/2021-05-02 01:06 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_10_5_9_9/2021-05-02 01:06 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_10_5_1_9/2021-05-02 01:06 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_10_5_1_9/2021-05-02 00:56 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_10_5_1_9/2021-05-02 00:56 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_10_5_1_9/2021-05-02 00:56 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_10_5_1_9/2021-05-02 00:56 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_10_5_1_9/2021-05-02 00:56 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_10_5_1_9/2021-05-02 00:55 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_10_5_1_9/2021-05-02 00:45 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_10_5_1_9/2021-05-02 00:45 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_10_5_1_9/2021-05-02 00:44 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_10_5_1_9/2021-05-02 00:44 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_10_5_1_9/2021-05-02 00:44 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_10_5_1_9/2021-05-02 00:44 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_10_5_1_9/2021-05-02 00:34 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_10_5_1_9/2021-05-02 00:34 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_10_5_1_9/2021-05-02 00:34 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_10_5_1_9/2021-05-02 00:33 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_10_5_1_9/2021-05-02 00:33 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_30_5_9_7/2021-05-02 00:29 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_30_5_9_7/2021-05-02 00:18 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_30_5_9_7/2021-05-02 00:18 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_30_5_9_7/2021-05-02 00:18 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_30_5_9_7/2021-05-02 00:08 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_30_5_9_7/2021-05-02 00:08 -  
[ ]random.tptp2021-05-02 00:08 54K 
[TXT]outputTDLReasoner.txt2021-05-02 00:08 49K 
[ ]random.ltl2021-05-02 00:08 2.9M 
[ ]random.pltl2021-05-02 00:08 2.7M 
[ ]random.aalta2021-05-02 00:08 2.7M 
[SND]random.smv2021-05-02 00:08 3.9M 
[ ]randomStats.stats2021-05-02 00:08 111  
[TXT]randomltl.tex2021-05-02 00:08 4.9M 
[TXT]randomqtlN.tex2021-05-02 00:08 94K 
[TXT]randomqtl.tex2021-05-02 00:08 13K 
[TXT]randomtbox.tex2021-05-02 00:08 7.4K 
[ ]abox.json2021-05-02 00:08 0  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_30_5_9_7/2021-05-02 00:08 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_30_5_9_7/2021-05-01 23:58 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_30_5_9_7/2021-05-01 23:57 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_30_5_9_7/2021-05-01 23:57 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_30_5_9_7/2021-05-01 23:47 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_30_5_9_7/2021-05-01 23:47 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_30_5_9_7/2021-05-01 23:47 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_30_5_9_7/2021-05-01 23:36 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_30_5_9_7/2021-05-01 23:35 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_30_5_9_7/2021-05-01 23:35 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_30_5_9_7/2021-05-01 23:29 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_30_5_9_7/2021-05-01 23:29 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_30_5_1_7/2021-05-01 23:28 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_30_5_1_7/2021-05-01 23:18 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_30_5_1_7/2021-05-01 23:17 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_30_5_1_7/2021-05-01 23:17 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_30_5_1_7/2021-05-01 23:11 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_30_5_1_7/2021-05-01 23:11 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_30_5_1_7/2021-05-01 23:11 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_30_5_1_7/2021-05-01 23:00 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_30_5_1_7/2021-05-01 22:59 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_30_5_1_7/2021-05-01 22:59 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_30_5_1_7/2021-05-01 22:50 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_30_5_1_7/2021-05-01 22:50 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_30_5_1_7/2021-05-01 22:50 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_30_5_1_7/2021-05-01 22:39 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_30_5_1_7/2021-05-01 22:39 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_30_5_1_7/2021-05-01 22:39 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_30_5_1_7/2021-05-01 22:30 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_30_5_1_7/2021-05-01 22:30 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_20_5_9_7/2021-05-01 22:30 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_20_5_9_7/2021-05-01 22:19 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_20_5_9_7/2021-05-01 22:19 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_20_5_9_7/2021-05-01 22:19 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_20_5_9_7/2021-05-01 22:15 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_20_5_9_7/2021-05-01 22:15 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_20_5_9_7/2021-05-01 22:15 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_20_5_9_7/2021-05-01 22:04 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_20_5_9_7/2021-05-01 22:04 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_20_5_9_7/2021-05-01 22:04 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_20_5_9_7/2021-05-01 21:57 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_20_5_9_7/2021-05-01 21:57 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_20_5_9_7/2021-05-01 21:57 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_20_5_9_7/2021-05-01 21:46 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_20_5_9_7/2021-05-01 21:46 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_20_5_9_7/2021-05-01 21:46 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_20_5_9_7/2021-05-01 21:40 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_20_5_9_7/2021-05-01 21:40 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_20_5_1_7/2021-05-01 21:40 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_20_5_1_7/2021-05-01 21:29 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_20_5_1_7/2021-05-01 21:29 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_20_5_1_7/2021-05-01 21:29 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_20_5_1_7/2021-05-01 21:26 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_20_5_1_7/2021-05-01 21:26 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_20_5_1_7/2021-05-01 21:26 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_20_5_1_7/2021-05-01 21:16 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_20_5_1_7/2021-05-01 21:16 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_20_5_1_7/2021-05-01 21:16 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_20_5_1_7/2021-05-01 21:12 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_20_5_1_7/2021-05-01 21:12 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_20_5_1_7/2021-05-01 21:12 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_20_5_1_7/2021-05-01 21:01 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_20_5_1_7/2021-05-01 21:01 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_20_5_1_7/2021-05-01 21:01 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_20_5_1_7/2021-05-01 20:57 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_20_5_1_7/2021-05-01 20:57 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_10_5_9_7/2021-05-01 20:57 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_10_5_9_7/2021-05-01 20:47 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_10_5_9_7/2021-05-01 20:47 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_10_5_9_7/2021-05-01 20:47 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_10_5_9_7/2021-05-01 20:46 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_10_5_9_7/2021-05-01 20:46 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_10_5_9_7/2021-05-01 20:46 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_10_5_9_7/2021-05-01 20:36 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_10_5_9_7/2021-05-01 20:35 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_10_5_9_7/2021-05-01 20:35 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_10_5_9_7/2021-05-01 20:34 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_10_5_9_7/2021-05-01 20:34 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_10_5_9_7/2021-05-01 20:34 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_10_5_9_7/2021-05-01 20:23 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_10_5_9_7/2021-05-01 20:23 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_10_5_9_7/2021-05-01 20:23 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_10_5_9_7/2021-05-01 20:22 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_10_5_9_7/2021-05-01 20:22 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_10_10_5_1_7/2021-05-01 20:22 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_10_10_5_1_7/2021-05-01 20:12 -  
[DIR]Black_solver_ltl_iter_3_param_15_10_10_5_1_7/2021-05-01 20:11 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_10_10_5_1_7/2021-05-01 20:11 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_10_10_5_1_7/2021-05-01 20:09 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_10_10_5_1_7/2021-05-01 20:09 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_10_10_5_1_7/2021-05-01 20:09 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_10_10_5_1_7/2021-05-01 19:59 -  
[DIR]Black_solver_ltl_iter_2_param_15_10_10_5_1_7/2021-05-01 19:59 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_10_10_5_1_7/2021-05-01 19:59 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_10_10_5_1_7/2021-05-01 19:58 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_10_10_5_1_7/2021-05-01 19:58 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_10_10_5_1_7/2021-05-01 19:58 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_10_10_5_1_7/2021-05-01 19:48 -  
[DIR]Black_solver_ltl_iter_1_param_15_10_10_5_1_7/2021-05-01 19:48 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_10_10_5_1_7/2021-05-01 19:48 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_10_10_5_1_7/2021-05-01 19:47 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_10_10_5_1_7/2021-05-01 19:47 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_30_5_9_7/2021-05-01 19:47 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_30_5_9_7/2021-05-01 19:36 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_30_5_9_7/2021-05-01 19:36 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_30_5_9_7/2021-05-01 19:36 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_30_5_9_7/2021-05-01 19:35 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_30_5_9_7/2021-05-01 19:35 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_30_5_9_7/2021-05-01 19:35 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_30_5_9_7/2021-05-01 19:25 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_30_5_9_7/2021-05-01 19:24 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_30_5_9_7/2021-05-01 19:24 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_30_5_9_7/2021-05-01 19:22 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_30_5_9_7/2021-05-01 19:22 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_30_5_9_7/2021-05-01 19:22 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_30_5_9_7/2021-05-01 19:12 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_30_5_9_7/2021-05-01 19:12 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_30_5_9_7/2021-05-01 19:12 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_30_5_9_7/2021-05-01 19:10 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_30_5_9_7/2021-05-01 19:10 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_30_5_1_7/2021-05-01 19:10 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_30_5_1_7/2021-05-01 19:00 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_30_5_1_7/2021-05-01 19:00 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_30_5_1_7/2021-05-01 19:00 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_30_5_1_7/2021-05-01 18:59 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_30_5_1_7/2021-05-01 18:59 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_30_5_1_7/2021-05-01 18:59 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_30_5_1_7/2021-05-01 18:49 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_30_5_1_7/2021-05-01 18:49 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_30_5_1_7/2021-05-01 18:49 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_30_5_1_7/2021-05-01 18:48 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_30_5_1_7/2021-05-01 18:48 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_30_5_1_7/2021-05-01 18:48 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_30_5_1_7/2021-05-01 18:38 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_30_5_1_7/2021-05-01 18:38 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_30_5_1_7/2021-05-01 18:38 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_30_5_1_7/2021-05-01 18:36 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_30_5_1_7/2021-05-01 18:36 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_20_5_9_7/2021-05-01 18:36 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_20_5_9_7/2021-05-01 18:26 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_20_5_9_7/2021-05-01 18:26 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_20_5_9_7/2021-05-01 18:26 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_20_5_9_7/2021-05-01 18:24 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_20_5_9_7/2021-05-01 18:24 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_20_5_9_7/2021-05-01 18:24 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_20_5_9_7/2021-05-01 18:13 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_20_5_9_7/2021-05-01 18:13 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_20_5_9_7/2021-05-01 18:13 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_20_5_9_7/2021-05-01 18:11 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_20_5_9_7/2021-05-01 18:11 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_20_5_9_7/2021-05-01 18:11 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_20_5_9_7/2021-05-01 18:01 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_20_5_9_7/2021-05-01 18:01 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_20_5_9_7/2021-05-01 18:01 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_20_5_9_7/2021-05-01 18:00 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_20_5_9_7/2021-05-01 18:00 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_20_5_1_7/2021-05-01 17:59 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_20_5_1_7/2021-05-01 17:49 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_20_5_1_7/2021-05-01 17:49 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_20_5_1_7/2021-05-01 17:48 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_20_5_1_7/2021-05-01 17:47 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_20_5_1_7/2021-05-01 17:47 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_20_5_1_7/2021-05-01 17:47 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_20_5_1_7/2021-05-01 17:37 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_20_5_1_7/2021-05-01 17:37 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_20_5_1_7/2021-05-01 17:37 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_20_5_1_7/2021-05-01 17:36 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_20_5_1_7/2021-05-01 17:36 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_20_5_1_7/2021-05-01 17:36 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_20_5_1_7/2021-05-01 17:26 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_20_5_1_7/2021-05-01 17:26 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_20_5_1_7/2021-05-01 17:26 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_20_5_1_7/2021-05-01 17:26 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_20_5_1_7/2021-05-01 17:26 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_10_5_9_7/2021-05-01 17:25 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_10_5_9_7/2021-05-01 17:15 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_10_5_9_7/2021-05-01 17:15 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_10_5_9_7/2021-05-01 17:15 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_10_5_9_7/2021-05-01 17:15 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_10_5_9_7/2021-05-01 17:15 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_10_5_9_7/2021-05-01 17:15 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_10_5_9_7/2021-05-01 17:05 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_10_5_9_7/2021-05-01 17:05 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_10_5_9_7/2021-05-01 17:05 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_10_5_9_7/2021-05-01 17:04 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_10_5_9_7/2021-05-01 17:04 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_10_5_9_7/2021-05-01 17:04 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_10_5_9_7/2021-05-01 16:54 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_10_5_9_7/2021-05-01 16:54 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_10_5_9_7/2021-05-01 16:54 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_10_5_9_7/2021-05-01 16:54 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_10_5_9_7/2021-05-01 16:54 -  
[DIR]TSPASS_solver_ltl_iter_3_param_15_5_10_5_1_7/2021-05-01 16:54 -  
[DIR]TeMP_solver_ltl_iter_3_param_15_5_10_5_1_7/2021-05-01 16:43 -  
[DIR]Black_solver_ltl_iter_3_param_15_5_10_5_1_7/2021-05-01 16:43 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_15_5_10_5_1_7/2021-05-01 16:43 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_15_5_10_5_1_7/2021-05-01 16:43 -  
[DIR]Aalta_solver_ltl_iter_3_param_15_5_10_5_1_7/2021-05-01 16:43 -  
[DIR]TSPASS_solver_ltl_iter_2_param_15_5_10_5_1_7/2021-05-01 16:43 -  
[DIR]TeMP_solver_ltl_iter_2_param_15_5_10_5_1_7/2021-05-01 16:33 -  
[DIR]Black_solver_ltl_iter_2_param_15_5_10_5_1_7/2021-05-01 16:33 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_15_5_10_5_1_7/2021-05-01 16:33 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_15_5_10_5_1_7/2021-05-01 16:32 -  
[DIR]Aalta_solver_ltl_iter_2_param_15_5_10_5_1_7/2021-05-01 16:32 -  
[DIR]TSPASS_solver_ltl_iter_1_param_15_5_10_5_1_7/2021-05-01 16:31 -  
[DIR]TeMP_solver_ltl_iter_1_param_15_5_10_5_1_7/2021-05-01 16:21 -  
[DIR]Black_solver_ltl_iter_1_param_15_5_10_5_1_7/2021-05-01 16:21 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_15_5_10_5_1_7/2021-05-01 16:21 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_15_5_10_5_1_7/2021-05-01 16:20 -  
[DIR]Aalta_solver_ltl_iter_1_param_15_5_10_5_1_7/2021-05-01 16:20 -  
[ ]s-lc-n-qm-pr-pt.config2021-04-30 15:29 27  
Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80