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

Name	Last modified	Size

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

Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80