Index of /~agroza/tools/minefol/prover_files

	Name	Last modified	Size	Description
	Parent Directory		-
	empty	2023-01-14 18:09	0
	out_1673711919291.txt	2023-01-14 18:08	333
	out_1673711928655.txt	2023-01-14 18:08	333
	out_1673711936093.txt	2023-01-14 18:09	333
	out_1673711936549.txt	2023-01-14 18:08	344
	out_1673711937023.txt	2023-01-14 18:08	344
	out_1673711937354.txt	2023-01-14 18:08	344
	out_1673711937698.txt	2023-01-14 18:08	344
	out_1673711938014.txt	2023-01-14 18:08	362
	out_1673711941982.txt	2023-01-14 18:08	362
	out_1673711943236.txt	2023-01-14 18:09	362
	out_1673711943550.txt	2023-01-14 18:09	362
	out_1673711943768.txt	2023-01-14 18:09	362
	out_1673711975391.txt	2023-01-14 18:08	333
	out_1673711979027.txt	2023-01-14 18:08	333
	out_1673711979320.txt	2023-01-14 18:09	333
	out_1673711980452.txt	2023-01-14 18:09	344
	out_1673711980951.txt	2023-01-14 18:09	344
	out_1673711981221.txt	2023-01-14 18:09	344
	out_1673711981550.txt	2023-01-14 18:09	344
	out_1673711981899.txt	2023-01-14 18:09	362
	out_1673711984988.txt	2023-01-14 18:09	362
	out_1673711985309.txt	2023-01-14 18:08	396
	out_1673711985952.txt	2023-01-14 18:08	396
	out_1673711986283.txt	2023-01-14 18:09	396
	out_1673711986970.txt	2023-01-14 18:09	396
	out_1673711987278.txt	2023-01-14 18:09	414
	out_1673711987998.txt	2023-01-14 18:08	414
	out_1673711995007.txt	2023-01-14 18:08	414
	out_1673711995184.txt	2023-01-14 18:08	414
	out_1673711995493.txt	2023-01-14 18:08	414
	out_1673711995843.txt	2023-01-14 18:09	414
	out_1673711996148.txt	2023-01-14 18:08	471
	out_1673711996491.txt	2023-01-14 18:09	471
	out_1673711996691.txt	2023-01-14 18:08	471
	out_1673712017658.txt	2023-01-14 18:08	471
	out_1673712018251.txt	2023-01-14 18:08	494
	out_1673712019368.txt	2023-01-14 18:09	494
	out_1673712023140.txt	2023-01-14 18:08	494
	out_1673712023906.txt	2023-01-14 18:09	494
	out_1673712024742.txt	2023-01-14 18:09	494
	out_1673712072798.txt	2023-01-14 18:08	333
	out_1673712074297.txt	2023-01-14 18:08	333
	out_1673712074459.txt	2023-01-14 18:08	333
	out_1673712074660.txt	2023-01-14 18:08	344
	out_1673712074828.txt	2023-01-14 18:08	344
	out_1673712075118.txt	2023-01-14 18:09	344
	out_1673712075332.txt	2023-01-14 18:08	344
	out_1673712075502.txt	2023-01-14 18:08	362
	out_1673712076792.txt	2023-01-14 18:08	362
	out_1673712076981.txt	2023-01-14 18:08	396
	out_1673712077148.txt	2023-01-14 18:08	396
	out_1673712077326.txt	2023-01-14 18:09	396
	out_1673712077496.txt	2023-01-14 18:08	396
	out_1673712077714.txt	2023-01-14 18:09	414
	out_1673712077898.txt	2023-01-14 18:08	414
	out_1673712080980.txt	2023-01-14 18:08	414
	out_1673712081299.txt	2023-01-14 18:09	437
	out_1673712081480.txt	2023-01-14 18:09	437
	out_1673712084553.txt	2023-01-14 18:09	333