Index of /temporalDLLite/benchmark/JAR-submission/randomTBox/TDLLiteN/F-TEMP-F

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_20_5_1_7/2021-12-03 13:56 -  
[TXT]result.csv2021-05-04 23:46 32K 
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_100_5_9_9/2021-05-04 23:46 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_100_5_9_9/2021-05-04 23:36 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_100_5_9_9/2021-05-04 23:28 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_100_5_9_9/2021-05-04 23:28 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_100_5_9_9/2021-05-04 23:18 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_100_5_9_9/2021-05-04 23:18 -  
[ ]randomStats.stats2021-05-04 23:18 84  
[TXT]outputTDLReasoner.txt2021-05-04 23:18 7.7K 
[ ]abox.json2021-05-04 23:18 0  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_100_5_9_9/2021-05-04 23:18 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_100_5_9_9/2021-05-04 23:08 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_100_5_9_9/2021-05-04 23:02 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_100_5_9_9/2021-05-04 23:02 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_100_5_9_9/2021-05-04 22:56 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_100_5_9_9/2021-05-04 22:56 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_100_5_9_9/2021-05-04 22:56 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_100_5_9_9/2021-05-04 22:46 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_100_5_9_9/2021-05-04 22:40 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_100_5_9_9/2021-05-04 22:40 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_100_5_9_9/2021-05-04 22:34 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_100_5_9_9/2021-05-04 22:34 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_100_5_1_9/2021-05-04 22:33 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_100_5_1_9/2021-05-04 22:23 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_100_5_1_9/2021-05-04 22:20 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_100_5_1_9/2021-05-04 22:20 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_100_5_1_9/2021-05-04 22:14 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_100_5_1_9/2021-05-04 22:14 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_100_5_1_9/2021-05-04 22:14 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_100_5_1_9/2021-05-04 22:04 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_100_5_1_9/2021-05-04 22:00 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_100_5_1_9/2021-05-04 22:00 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_100_5_1_9/2021-05-04 21:55 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_100_5_1_9/2021-05-04 21:55 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_100_5_1_9/2021-05-04 21:55 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_100_5_1_9/2021-05-04 21:45 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_100_5_1_9/2021-05-04 21:40 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_100_5_1_9/2021-05-04 21:40 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_100_5_1_9/2021-05-04 21:32 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_100_5_1_9/2021-05-04 21:32 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_80_5_9_9/2021-05-04 21:32 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_80_5_9_9/2021-05-04 21:22 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_80_5_9_9/2021-05-04 21:18 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_80_5_9_9/2021-05-04 21:18 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_80_5_9_9/2021-05-04 21:14 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_80_5_9_9/2021-05-04 21:14 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_80_5_9_9/2021-05-04 21:13 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_80_5_9_9/2021-05-04 21:03 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_80_5_9_9/2021-05-04 20:58 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_80_5_9_9/2021-05-04 20:58 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_80_5_9_9/2021-05-04 20:53 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_80_5_9_9/2021-05-04 20:53 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_80_5_9_9/2021-05-04 20:51 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_80_5_9_9/2021-05-04 20:41 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_80_5_9_9/2021-05-04 20:37 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_80_5_9_9/2021-05-04 20:37 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_80_5_9_9/2021-05-04 20:32 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_80_5_9_9/2021-05-04 20:32 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_80_5_1_9/2021-05-04 20:31 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_80_5_1_9/2021-05-04 20:21 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_80_5_1_9/2021-05-04 20:16 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_80_5_1_9/2021-05-04 20:16 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_80_5_1_9/2021-05-04 20:08 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_80_5_1_9/2021-05-04 20:08 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_80_5_1_9/2021-05-04 20:07 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_80_5_1_9/2021-05-04 19:57 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_80_5_1_9/2021-05-04 19:53 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_80_5_1_9/2021-05-04 19:53 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_80_5_1_9/2021-05-04 19:49 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_80_5_1_9/2021-05-04 19:49 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_80_5_1_9/2021-05-04 19:48 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_80_5_1_9/2021-05-04 19:38 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_80_5_1_9/2021-05-04 19:33 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_80_5_1_9/2021-05-04 19:33 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_80_5_1_9/2021-05-04 19:27 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_80_5_1_9/2021-05-04 19:27 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_40_5_9_9/2021-05-04 19:25 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_40_5_9_9/2021-05-04 19:15 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_40_5_9_9/2021-05-04 19:12 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_40_5_9_9/2021-05-04 19:12 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_40_5_9_9/2021-05-04 19:10 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_40_5_9_9/2021-05-04 19:10 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_40_5_9_9/2021-05-04 19:00 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_40_5_9_9/2021-05-04 18:50 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_40_5_9_9/2021-05-04 18:47 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_40_5_9_9/2021-05-04 18:47 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_40_5_9_9/2021-05-04 18:46 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_40_5_9_9/2021-05-04 18:46 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_40_5_9_9/2021-05-04 18:36 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_40_5_9_9/2021-05-04 18:26 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_40_5_9_9/2021-05-04 18:23 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_40_5_9_9/2021-05-04 18:23 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_40_5_9_9/2021-05-04 18:22 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_40_5_9_9/2021-05-04 18:22 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_40_5_1_9/2021-05-04 18:12 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_40_5_1_9/2021-05-04 18:02 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_40_5_1_9/2021-05-04 18:00 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_40_5_1_9/2021-05-04 18:00 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_40_5_1_9/2021-05-04 17:59 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_40_5_1_9/2021-05-04 17:59 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_40_5_1_9/2021-05-04 17:49 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_40_5_1_9/2021-05-04 17:39 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_40_5_1_9/2021-05-04 17:37 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_40_5_1_9/2021-05-04 17:37 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_40_5_1_9/2021-05-04 17:35 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_40_5_1_9/2021-05-04 17:35 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_40_5_1_9/2021-05-04 17:25 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_40_5_1_9/2021-05-04 17:15 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_40_5_1_9/2021-05-04 17:13 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_40_5_1_9/2021-05-04 17:13 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_40_5_1_9/2021-05-04 17:11 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_40_5_1_9/2021-05-04 17:11 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_20_5_9_9/2021-05-04 17:01 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_20_5_9_9/2021-05-04 16:51 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_20_5_9_9/2021-05-04 16:51 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_20_5_9_9/2021-05-04 16:51 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_20_5_9_9/2021-05-04 16:50 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_20_5_9_9/2021-05-04 16:50 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_20_5_9_9/2021-05-04 16:40 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_20_5_9_9/2021-05-04 16:30 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_20_5_9_9/2021-05-04 16:29 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_20_5_9_9/2021-05-04 16:29 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_20_5_9_9/2021-05-04 16:29 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_20_5_9_9/2021-05-04 16:29 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_20_5_9_9/2021-05-04 16:19 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_20_5_9_9/2021-05-04 16:09 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_20_5_9_9/2021-05-04 16:08 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_20_5_9_9/2021-05-04 16:08 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_20_5_9_9/2021-05-04 16:08 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_20_5_9_9/2021-05-04 16:08 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_20_5_1_9/2021-05-04 15:58 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_20_5_1_9/2021-05-04 15:48 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_20_5_1_9/2021-05-04 15:47 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_20_5_1_9/2021-05-04 15:47 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_20_5_1_9/2021-05-04 15:47 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_20_5_1_9/2021-05-04 15:47 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_20_5_1_9/2021-05-04 15:37 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_20_5_1_9/2021-05-04 15:27 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_20_5_1_9/2021-05-04 15:26 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_20_5_1_9/2021-05-04 15:26 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_20_5_1_9/2021-05-04 15:25 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_20_5_1_9/2021-05-04 15:25 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_20_5_1_9/2021-05-04 15:15 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_20_5_1_9/2021-05-04 15:05 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_20_5_1_9/2021-05-04 15:05 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_20_5_1_9/2021-05-04 15:05 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_20_5_1_9/2021-05-04 15:04 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_20_5_1_9/2021-05-04 15:04 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_100_5_9_9/2021-05-04 15:04 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_100_5_9_9/2021-05-04 14:54 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_100_5_9_9/2021-05-04 14:54 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_100_5_9_9/2021-05-04 14:54 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_100_5_9_9/2021-05-04 14:51 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_100_5_9_9/2021-05-04 14:51 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_100_5_9_9/2021-05-04 14:51 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_100_5_9_9/2021-05-04 14:41 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_100_5_9_9/2021-05-04 14:40 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_100_5_9_9/2021-05-04 14:40 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_100_5_9_9/2021-05-04 14:38 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_100_5_9_9/2021-05-04 14:38 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_100_5_9_9/2021-05-04 14:38 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_100_5_9_9/2021-05-04 14:28 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_100_5_9_9/2021-05-04 14:27 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_100_5_9_9/2021-05-04 14:27 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_100_5_9_9/2021-05-04 14:25 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_100_5_9_9/2021-05-04 14:25 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_100_5_1_9/2021-05-04 14:25 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_100_5_1_9/2021-05-04 14:21 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_100_5_1_9/2021-05-04 14:21 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_100_5_1_9/2021-05-04 14:21 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_100_5_1_9/2021-05-04 14:17 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_100_5_1_9/2021-05-04 14:17 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_100_5_1_9/2021-05-04 14:17 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_100_5_1_9/2021-05-04 14:15 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_100_5_1_9/2021-05-04 14:15 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_100_5_1_9/2021-05-04 14:15 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_100_5_1_9/2021-05-04 14:12 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_100_5_1_9/2021-05-04 14:12 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_100_5_1_9/2021-05-04 14:12 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_100_5_1_9/2021-05-04 14:11 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_100_5_1_9/2021-05-04 14:11 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_100_5_1_9/2021-05-04 14:11 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_100_5_1_9/2021-05-04 14:09 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_100_5_1_9/2021-05-04 14:09 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_80_5_9_9/2021-05-04 14:09 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_80_5_9_9/2021-05-04 13:59 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_80_5_9_9/2021-05-04 13:58 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_80_5_9_9/2021-05-04 13:58 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_80_5_9_9/2021-05-04 13:56 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_80_5_9_9/2021-05-04 13:56 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_80_5_9_9/2021-05-04 13:56 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_80_5_9_9/2021-05-04 13:46 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_80_5_9_9/2021-05-04 13:46 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_80_5_9_9/2021-05-04 13:46 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_80_5_9_9/2021-05-04 13:45 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_80_5_9_9/2021-05-04 13:45 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_80_5_9_9/2021-05-04 13:45 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_80_5_9_9/2021-05-04 13:35 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_80_5_9_9/2021-05-04 13:34 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_80_5_9_9/2021-05-04 13:34 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_80_5_9_9/2021-05-04 13:32 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_80_5_9_9/2021-05-04 13:32 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_80_5_1_9/2021-05-04 13:31 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_80_5_1_9/2021-05-04 13:26 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_80_5_1_9/2021-05-04 13:26 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_80_5_1_9/2021-05-04 13:26 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_80_5_1_9/2021-05-04 13:24 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_80_5_1_9/2021-05-04 13:24 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_80_5_1_9/2021-05-04 13:23 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_80_5_1_9/2021-05-04 13:19 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_80_5_1_9/2021-05-04 13:19 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_80_5_1_9/2021-05-04 13:19 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_80_5_1_9/2021-05-04 13:17 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_80_5_1_9/2021-05-04 13:17 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_80_5_1_9/2021-05-04 13:17 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_80_5_1_9/2021-05-04 13:13 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_80_5_1_9/2021-05-04 13:12 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_80_5_1_9/2021-05-04 13:12 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_80_5_1_9/2021-05-04 13:11 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_80_5_1_9/2021-05-04 13:11 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_40_5_9_9/2021-05-04 13:11 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_40_5_9_9/2021-05-04 13:01 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_40_5_9_9/2021-05-04 13:01 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_40_5_9_9/2021-05-04 13:01 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_40_5_9_9/2021-05-04 13:00 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_40_5_9_9/2021-05-04 13:00 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_40_5_9_9/2021-05-04 13:00 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_40_5_9_9/2021-05-04 12:50 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_40_5_9_9/2021-05-04 12:50 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_40_5_9_9/2021-05-04 12:50 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_40_5_9_9/2021-05-04 12:49 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_40_5_9_9/2021-05-04 12:49 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_40_5_9_9/2021-05-04 12:49 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_40_5_9_9/2021-05-04 12:39 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_40_5_9_9/2021-05-04 12:39 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_40_5_9_9/2021-05-04 12:39 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_40_5_9_9/2021-05-04 12:38 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_40_5_9_9/2021-05-04 12:38 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_40_5_1_9/2021-05-04 12:38 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_40_5_1_9/2021-05-04 12:31 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_40_5_1_9/2021-05-04 12:31 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_40_5_1_9/2021-05-04 12:31 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_40_5_1_9/2021-05-04 12:31 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_40_5_1_9/2021-05-04 12:31 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_40_5_1_9/2021-05-04 12:30 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_40_5_1_9/2021-05-04 12:23 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_40_5_1_9/2021-05-04 12:23 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_40_5_1_9/2021-05-04 12:23 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_40_5_1_9/2021-05-04 12:22 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_40_5_1_9/2021-05-04 12:22 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_40_5_1_9/2021-05-04 12:22 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_40_5_1_9/2021-05-04 12:12 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_40_5_1_9/2021-05-04 12:12 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_40_5_1_9/2021-05-04 12:12 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_40_5_1_9/2021-05-04 12:11 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_40_5_1_9/2021-05-04 12:11 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_20_5_9_9/2021-05-04 12:00 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_20_5_9_9/2021-05-04 11:50 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_20_5_9_9/2021-05-04 11:50 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_20_5_9_9/2021-05-04 11:50 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_20_5_9_9/2021-05-04 11:50 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_20_5_9_9/2021-05-04 11:50 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_20_5_9_9/2021-05-04 11:40 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_20_5_9_9/2021-05-04 11:30 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_20_5_9_9/2021-05-04 11:30 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_20_5_9_9/2021-05-04 11:30 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_20_5_9_9/2021-05-04 11:30 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_20_5_9_9/2021-05-04 11:30 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_20_5_9_9/2021-05-04 11:20 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_20_5_9_9/2021-05-04 11:10 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_20_5_9_9/2021-05-04 11:10 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_20_5_9_9/2021-05-04 11:10 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_20_5_9_9/2021-05-04 11:10 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_20_5_9_9/2021-05-04 11:10 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_20_5_1_9/2021-05-04 10:59 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_20_5_1_9/2021-05-04 10:50 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_20_5_1_9/2021-05-04 10:50 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_20_5_1_9/2021-05-04 10:49 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_20_5_1_9/2021-05-04 10:49 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_20_5_1_9/2021-05-04 10:49 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_20_5_1_9/2021-05-04 10:39 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_20_5_1_9/2021-05-04 10:31 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_20_5_1_9/2021-05-04 10:31 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_20_5_1_9/2021-05-04 10:31 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_20_5_1_9/2021-05-04 10:31 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_20_5_1_9/2021-05-04 10:31 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_20_5_1_9/2021-05-04 10:30 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_20_5_1_9/2021-05-04 10:20 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_20_5_1_9/2021-05-04 10:20 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_20_5_1_9/2021-05-04 10:20 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_20_5_1_9/2021-05-04 10:19 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_20_5_1_9/2021-05-04 10:19 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_100_5_9_7/2021-05-04 01:59 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_100_5_9_7/2021-05-04 01:49 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_100_5_9_7/2021-05-04 01:45 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_100_5_9_7/2021-05-04 01:45 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_100_5_9_7/2021-05-04 01:45 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_100_5_9_7/2021-05-04 01:45 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_100_5_9_7/2021-05-04 01:35 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_100_5_9_7/2021-05-04 01:24 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_100_5_9_7/2021-05-04 01:21 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_100_5_9_7/2021-05-04 01:21 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_100_5_9_7/2021-05-04 01:21 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_100_5_9_7/2021-05-04 01:21 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_100_5_9_7/2021-05-04 01:20 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_100_5_9_7/2021-05-04 01:10 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_100_5_9_7/2021-05-04 01:07 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_100_5_9_7/2021-05-04 01:07 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_100_5_9_7/2021-05-04 01:07 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_100_5_9_7/2021-05-04 01:07 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_100_5_1_7/2021-05-04 01:07 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_100_5_1_7/2021-05-04 00:57 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_100_5_1_7/2021-05-04 00:54 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_100_5_1_7/2021-05-04 00:54 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_100_5_1_7/2021-05-04 00:44 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_100_5_1_7/2021-05-04 00:44 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_100_5_1_7/2021-05-04 00:43 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_100_5_1_7/2021-05-04 00:33 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_100_5_1_7/2021-05-04 00:30 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_100_5_1_7/2021-05-04 00:30 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_100_5_1_7/2021-05-04 00:20 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_100_5_1_7/2021-05-04 00:20 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_100_5_1_7/2021-05-04 00:20 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_100_5_1_7/2021-05-04 00:10 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_100_5_1_7/2021-05-04 00:07 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_100_5_1_7/2021-05-04 00:07 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_100_5_1_7/2021-05-03 23:57 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_100_5_1_7/2021-05-03 23:57 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_80_5_9_7/2021-05-03 23:55 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_80_5_9_7/2021-05-03 23:45 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_80_5_9_7/2021-05-03 23:42 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_80_5_9_7/2021-05-03 23:42 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_80_5_9_7/2021-05-03 23:32 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_80_5_9_7/2021-05-03 23:32 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_80_5_9_7/2021-05-03 23:31 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_80_5_9_7/2021-05-03 23:21 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_80_5_9_7/2021-05-03 23:19 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_80_5_9_7/2021-05-03 23:19 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_80_5_9_7/2021-05-03 23:19 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_80_5_9_7/2021-05-03 23:19 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_80_5_9_7/2021-05-03 23:16 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_80_5_9_7/2021-05-03 23:06 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_80_5_9_7/2021-05-03 23:03 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_80_5_9_7/2021-05-03 23:03 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_80_5_9_7/2021-05-03 22:53 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_80_5_9_7/2021-05-03 22:53 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_80_5_1_7/2021-05-03 22:49 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_80_5_1_7/2021-05-03 22:39 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_80_5_1_7/2021-05-03 22:37 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_80_5_1_7/2021-05-03 22:37 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_80_5_1_7/2021-05-03 22:27 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_80_5_1_7/2021-05-03 22:27 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_80_5_1_7/2021-05-03 22:27 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_80_5_1_7/2021-05-03 22:17 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_80_5_1_7/2021-05-03 22:15 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_80_5_1_7/2021-05-03 22:15 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_80_5_1_7/2021-05-03 22:05 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_80_5_1_7/2021-05-03 22:05 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_80_5_1_7/2021-05-03 22:04 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_80_5_1_7/2021-05-03 21:54 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_80_5_1_7/2021-05-03 21:52 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_80_5_1_7/2021-05-03 21:52 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_80_5_1_7/2021-05-03 21:42 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_80_5_1_7/2021-05-03 21:42 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_40_5_9_7/2021-05-03 21:32 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_40_5_9_7/2021-05-03 21:22 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_40_5_9_7/2021-05-03 21:21 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_40_5_9_7/2021-05-03 21:21 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_40_5_9_7/2021-05-03 21:16 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_40_5_9_7/2021-05-03 21:16 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_40_5_9_7/2021-05-03 21:05 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_40_5_9_7/2021-05-03 20:55 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_40_5_9_7/2021-05-03 20:54 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_40_5_9_7/2021-05-03 20:54 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_40_5_9_7/2021-05-03 20:51 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_40_5_9_7/2021-05-03 20:51 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_40_5_9_7/2021-05-03 20:41 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_40_5_9_7/2021-05-03 20:31 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_40_5_9_7/2021-05-03 20:30 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_40_5_9_7/2021-05-03 20:30 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_40_5_9_7/2021-05-03 20:27 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_40_5_9_7/2021-05-03 20:27 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_40_5_1_7/2021-05-03 20:17 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_40_5_1_7/2021-05-03 20:07 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_40_5_1_7/2021-05-03 20:06 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_40_5_1_7/2021-05-03 20:06 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_40_5_1_7/2021-05-03 20:03 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_40_5_1_7/2021-05-03 20:03 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_40_5_1_7/2021-05-03 19:53 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_40_5_1_7/2021-05-03 19:43 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_40_5_1_7/2021-05-03 19:42 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_40_5_1_7/2021-05-03 19:42 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_40_5_1_7/2021-05-03 19:39 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_40_5_1_7/2021-05-03 19:39 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_40_5_1_7/2021-05-03 19:29 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_40_5_1_7/2021-05-03 19:19 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_40_5_1_7/2021-05-03 19:18 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_40_5_1_7/2021-05-03 19:18 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_40_5_1_7/2021-05-03 19:14 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_40_5_1_7/2021-05-03 19:14 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_20_5_9_7/2021-05-03 19:04 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_20_5_9_7/2021-05-03 18:54 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_20_5_9_7/2021-05-03 18:54 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_20_5_9_7/2021-05-03 18:54 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_20_5_9_7/2021-05-03 18:53 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_20_5_9_7/2021-05-03 18:53 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_20_5_9_7/2021-05-03 18:43 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_20_5_9_7/2021-05-03 18:33 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_20_5_9_7/2021-05-03 18:33 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_20_5_9_7/2021-05-03 18:33 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_20_5_9_7/2021-05-03 18:32 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_20_5_9_7/2021-05-03 18:32 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_20_5_9_7/2021-05-03 18:22 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_20_5_9_7/2021-05-03 18:12 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_20_5_9_7/2021-05-03 18:12 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_20_5_9_7/2021-05-03 18:12 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_20_5_9_7/2021-05-03 18:12 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_20_5_9_7/2021-05-03 18:12 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_10_20_5_1_7/2021-05-03 18:02 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_10_20_5_1_7/2021-05-03 17:52 -  
[DIR]Black_solver_ltl_iter_3_param_60_10_20_5_1_7/2021-05-03 17:51 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_10_20_5_1_7/2021-05-03 17:51 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_10_20_5_1_7/2021-05-03 17:51 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_10_20_5_1_7/2021-05-03 17:51 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_10_20_5_1_7/2021-05-03 17:41 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_10_20_5_1_7/2021-05-03 17:31 -  
[DIR]Black_solver_ltl_iter_2_param_60_10_20_5_1_7/2021-05-03 17:30 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_10_20_5_1_7/2021-05-03 17:30 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_10_20_5_1_7/2021-05-03 17:30 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_10_20_5_1_7/2021-05-03 17:30 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_10_20_5_1_7/2021-05-03 17:20 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_10_20_5_1_7/2021-05-03 17:10 -  
[DIR]Black_solver_ltl_iter_1_param_60_10_20_5_1_7/2021-05-03 17:09 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_10_20_5_1_7/2021-05-03 17:09 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_10_20_5_1_7/2021-05-03 17:09 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_10_20_5_1_7/2021-05-03 17:09 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_100_5_9_7/2021-05-03 17:09 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_100_5_9_7/2021-05-03 16:59 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_100_5_9_7/2021-05-03 16:58 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_100_5_9_7/2021-05-03 16:58 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_100_5_9_7/2021-05-03 16:48 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_100_5_9_7/2021-05-03 16:48 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_100_5_9_7/2021-05-03 16:48 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_100_5_9_7/2021-05-03 16:38 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_100_5_9_7/2021-05-03 16:38 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_100_5_9_7/2021-05-03 16:38 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_100_5_9_7/2021-05-03 16:30 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_100_5_9_7/2021-05-03 16:30 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_100_5_9_7/2021-05-03 16:30 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_100_5_9_7/2021-05-03 16:22 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_100_5_9_7/2021-05-03 16:22 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_100_5_9_7/2021-05-03 16:22 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_100_5_9_7/2021-05-03 16:16 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_100_5_9_7/2021-05-03 16:16 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_100_5_1_7/2021-05-03 16:16 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_100_5_1_7/2021-05-03 16:14 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_100_5_1_7/2021-05-03 16:14 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_100_5_1_7/2021-05-03 16:14 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_100_5_1_7/2021-05-03 16:06 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_100_5_1_7/2021-05-03 16:06 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_100_5_1_7/2021-05-03 16:06 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_100_5_1_7/2021-05-03 16:06 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_100_5_1_7/2021-05-03 16:05 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_100_5_1_7/2021-05-03 16:05 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_100_5_1_7/2021-05-03 15:58 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_100_5_1_7/2021-05-03 15:58 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_100_5_1_7/2021-05-03 15:58 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_100_5_1_7/2021-05-03 15:55 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_100_5_1_7/2021-05-03 15:55 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_100_5_1_7/2021-05-03 15:55 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_100_5_1_7/2021-05-03 15:46 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_100_5_1_7/2021-05-03 15:46 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_80_5_9_7/2021-05-03 15:46 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_80_5_9_7/2021-05-03 15:36 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_80_5_9_7/2021-05-03 15:35 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_80_5_9_7/2021-05-03 15:35 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_80_5_9_7/2021-05-03 15:29 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_80_5_9_7/2021-05-03 15:29 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_80_5_9_7/2021-05-03 15:29 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_80_5_9_7/2021-05-03 15:19 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_80_5_9_7/2021-05-03 15:18 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_80_5_9_7/2021-05-03 15:18 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_80_5_9_7/2021-05-03 15:14 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_80_5_9_7/2021-05-03 15:14 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_80_5_9_7/2021-05-03 15:14 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_80_5_9_7/2021-05-03 15:04 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_80_5_9_7/2021-05-03 15:04 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_80_5_9_7/2021-05-03 15:04 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_80_5_9_7/2021-05-03 15:00 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_80_5_9_7/2021-05-03 15:00 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_80_5_1_7/2021-05-03 15:00 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_80_5_1_7/2021-05-03 14:59 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_80_5_1_7/2021-05-03 14:58 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_80_5_1_7/2021-05-03 14:58 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_80_5_1_7/2021-05-03 14:51 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_80_5_1_7/2021-05-03 14:51 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_80_5_1_7/2021-05-03 14:51 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_80_5_1_7/2021-05-03 14:50 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_80_5_1_7/2021-05-03 14:50 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_80_5_1_7/2021-05-03 14:50 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_80_5_1_7/2021-05-03 14:46 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_80_5_1_7/2021-05-03 14:46 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_80_5_1_7/2021-05-03 14:46 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_80_5_1_7/2021-05-03 14:44 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_80_5_1_7/2021-05-03 14:43 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_80_5_1_7/2021-05-03 14:43 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_80_5_1_7/2021-05-03 14:37 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_80_5_1_7/2021-05-03 14:37 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_40_5_9_7/2021-05-03 14:37 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_40_5_9_7/2021-05-03 14:27 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_40_5_9_7/2021-05-03 14:26 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_40_5_9_7/2021-05-03 14:26 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_40_5_9_7/2021-05-03 14:25 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_40_5_9_7/2021-05-03 14:25 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_40_5_9_7/2021-05-03 14:25 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_40_5_9_7/2021-05-03 14:15 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_40_5_9_7/2021-05-03 14:15 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_40_5_9_7/2021-05-03 14:15 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_40_5_9_7/2021-05-03 14:13 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_40_5_9_7/2021-05-03 14:13 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_40_5_9_7/2021-05-03 14:13 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_40_5_9_7/2021-05-03 14:03 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_40_5_9_7/2021-05-03 14:03 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_40_5_9_7/2021-05-03 14:03 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_40_5_9_7/2021-05-03 14:00 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_40_5_9_7/2021-05-03 14:00 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_40_5_1_7/2021-05-03 14:00 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_40_5_1_7/2021-05-03 13:58 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_40_5_1_7/2021-05-03 13:58 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_40_5_1_7/2021-05-03 13:58 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_40_5_1_7/2021-05-03 13:57 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_40_5_1_7/2021-05-03 13:57 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_40_5_1_7/2021-05-03 13:57 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_40_5_1_7/2021-05-03 13:55 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_40_5_1_7/2021-05-03 13:55 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_40_5_1_7/2021-05-03 13:55 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_40_5_1_7/2021-05-03 13:53 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_40_5_1_7/2021-05-03 13:53 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_40_5_1_7/2021-05-03 13:53 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_40_5_1_7/2021-05-03 13:52 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_40_5_1_7/2021-05-03 13:52 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_40_5_1_7/2021-05-03 13:52 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_40_5_1_7/2021-05-03 13:51 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_40_5_1_7/2021-05-03 13:51 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_20_5_9_7/2021-05-03 13:41 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_20_5_9_7/2021-05-03 13:31 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_20_5_9_7/2021-05-03 13:31 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_20_5_9_7/2021-05-03 13:31 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_20_5_9_7/2021-05-03 13:30 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_20_5_9_7/2021-05-03 13:30 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_20_5_9_7/2021-05-03 13:20 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_20_5_9_7/2021-05-03 13:10 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_20_5_9_7/2021-05-03 13:10 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_20_5_9_7/2021-05-03 13:10 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_20_5_9_7/2021-05-03 13:10 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_20_5_9_7/2021-05-03 13:10 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_20_5_9_7/2021-05-03 13:00 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_20_5_9_7/2021-05-03 12:50 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_20_5_9_7/2021-05-03 12:50 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_20_5_9_7/2021-05-03 12:50 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_20_5_9_7/2021-05-03 12:50 -  
[DIR]Aalta_solver_ltl_iter_1_param_60_5_20_5_9_7/2021-05-03 12:50 -  
[DIR]TSPASS_solver_ltl_iter_3_param_60_5_20_5_1_7/2021-05-03 12:49 -  
[DIR]TeMP_solver_ltl_iter_3_param_60_5_20_5_1_7/2021-05-03 12:45 -  
[DIR]Black_solver_ltl_iter_3_param_60_5_20_5_1_7/2021-05-03 12:45 -  
[DIR]NuXMV_ic3_solver_ltl_iter_3_param_60_5_20_5_1_7/2021-05-03 12:45 -  
[DIR]NuXMV_BMC_solver_ltl_iter_3_param_60_5_20_5_1_7/2021-05-03 12:45 -  
[DIR]Aalta_solver_ltl_iter_3_param_60_5_20_5_1_7/2021-05-03 12:45 -  
[DIR]TSPASS_solver_ltl_iter_2_param_60_5_20_5_1_7/2021-05-03 12:35 -  
[DIR]TeMP_solver_ltl_iter_2_param_60_5_20_5_1_7/2021-05-03 12:32 -  
[DIR]Black_solver_ltl_iter_2_param_60_5_20_5_1_7/2021-05-03 12:32 -  
[DIR]NuXMV_ic3_solver_ltl_iter_2_param_60_5_20_5_1_7/2021-05-03 12:32 -  
[DIR]NuXMV_BMC_solver_ltl_iter_2_param_60_5_20_5_1_7/2021-05-03 12:32 -  
[DIR]Aalta_solver_ltl_iter_2_param_60_5_20_5_1_7/2021-05-03 12:32 -  
[DIR]TSPASS_solver_ltl_iter_1_param_60_5_20_5_1_7/2021-05-03 12:22 -  
[DIR]TeMP_solver_ltl_iter_1_param_60_5_20_5_1_7/2021-05-03 12:15 -  
[DIR]Black_solver_ltl_iter_1_param_60_5_20_5_1_7/2021-05-03 12:15 -  
[DIR]NuXMV_ic3_solver_ltl_iter_1_param_60_5_20_5_1_7/2021-05-03 12:15 -  
[DIR]NuXMV_BMC_solver_ltl_iter_1_param_60_5_20_5_1_7/2021-05-03 12:15 -  
[ ]s-lc-n-qm-pr-pt.config2021-04-30 16:47 29  
Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80