times.txt

Archivo	 Convertir a DIMCAS	Resolver Glucose	Resolver CaDiCaL	Resolver Lingeling	Resolver Kissat	Resolver RSat	Tiempo Total
benchmarks/3Profesores5Aulas.json	0:00:01.177991	0:00:00.007224 SAT	0:00:00.000054 UNSAT	0:00:00.000078 UNSAT	0:00:00.000058 UNSAT	0:00:00.135244 SAT	0:00:01.553580
benchmarks/5Profesores5Aulas.json	0:00:04.375475	0:00:00.017442 SAT	0:00:00.000058 UNSAT	0:00:00.000079 UNSAT	0:00:00.000070 UNSAT	0:00:00.151352 SAT	0:00:06.597623
benchmarks/5Profesores3Aulas.json	0:00:01.354953	0:00:00.005679 SAT	0:00:00.000056 UNSAT	0:00:00.000196 UNSAT	0:00:00.000063 UNSAT	0:00:00.072868 SAT	0:00:01.996036
benchmarks/3Profesores5Aulas.json	0:00:02.047923	0:00:00.018647 SAT	0:00:00.000062 UNSAT	0:00:00.000077 UNSAT	0:00:00.000066 UNSAT	0:00:00.099033 SAT	0:00:02.567571
benchmarks/5Profesores5Aulas.json	0:00:03.196151	0:00:00.013353 SAT	0:00:00.000116 UNSAT	0:00:00.000081 UNSAT	0:00:00.000122 UNSAT	0:00:00.120900 SAT	0:00:05.410386
benchmarks/5Profesores2Aulas.json	0:00:01.818247	0:00:00.012752 SAT	0:00:00.000068 UNSAT	0:00:00.000085 UNSAT	0:00:00.000097 UNSAT	0:00:00.089734 SAT	0:00:02.552770