Save 3cubes in set-mbox-ii. (#3790) #6249

Job	Run time
Check for duplicate jobs to avoid duplication	6s
Check for duplicate jobs to avoid duplication	6s
Check dates in set.mm	15s
Check dates in set.mm	15s
Verify using metamath.exe (original C verifier by Norman Megill)	41s
Verify using metamath.exe (original C verifier by Norman Megill)	41s
Verify using checkmm (a C++ verifier by Eric Schmidt)	27s
Verify using checkmm (a C++ verifier by Eric Schmidt)	27s
Verify using metamath-knife	11s
Verify using metamath-knife	11s
Verify using mmj2 (Java verifier by Mel L. O'Cat and Mario Carneiro)	17s
Verify using mmj2 (Java verifier by Mel L. O'Cat and Mario Carneiro)	55s
Verify iset.mm using mmverify.py (Python verifier by Raph Levien)	15s
Verify iset.mm using mmverify.py (Python verifier by Raph Levien)	15s
Verify set.mm using mmverify.py (Python verifier by Raph Levien)	38s
Verify set.mm using mmverify.py (Python verifier by Raph Levien)	38s
Verify using smetamath-rs (smm3) (Rust verifier by Stefan O'Rear)	13s
Verify using smetamath-rs (smm3) (Rust verifier by Stefan O'Rear)	13s
Generate TeX output using metamath.exe	1m 56s
Generate TeX output using metamath.exe	1m 56s
	10m 36s

Provide feedback