Skip to content

Artifacts of isabelle-nightly-benchmark #1313

HOL.dbOct 24, 2020, 12:55:59 AM1.73 MiB
HOL.gzOct 24, 2020, 12:55:59 AM123.93 KiB
HOL-Algebra.dbOct 24, 2020, 1:19:39 AM728.00 KiB
HOL-Algebra.gzOct 24, 2020, 1:19:39 AM3.93 KiB
HOL-Analysis.dbOct 24, 2020, 1:02:43 AM3.08 MiB
HOL-Analysis.gzOct 24, 2020, 1:02:43 AM16.26 KiB
HOL-Auth.dbOct 24, 2020, 1:04:09 AM348.00 KiB
HOL-Auth.gzOct 24, 2020, 1:04:09 AM16.82 KiB
HOL-Bali.dbOct 24, 2020, 1:05:13 AM432.00 KiB
HOL-Bali.gzOct 24, 2020, 1:05:13 AM14.23 KiB
HOL-Cardinals.dbOct 24, 2020, 1:05:23 AM148.00 KiB
HOL-Cardinals.gzOct 24, 2020, 1:05:23 AM556 B
HOLCF.dbOct 24, 2020, 2:17:59 AM220.00 KiB
HOLCF.gzOct 24, 2020, 2:17:59 AM4.01 KiB
HOL-Complex_Analysis.dbOct 24, 2020, 1:06:02 AM340.00 KiB
HOL-Complex_Analysis.gzOct 24, 2020, 1:06:02 AM3.68 KiB
HOL-Computational_Algebra.dbOct 24, 2020, 1:16:58 AM372.00 KiB
HOL-Computational_Algebra.gzOct 24, 2020, 1:16:58 AM1.26 KiB
HOL-Corec_Examples.dbOct 24, 2020, 1:22:18 AM72.00 KiB
HOL-Corec_Examples.gzOct 24, 2020, 1:22:18 AM1.36 KiB
HOL-Data_Structures.dbOct 24, 2020, 1:09:57 AM352.00 KiB
HOL-Data_Structures.gzOct 24, 2020, 1:09:57 AM3.70 KiB
HOL-Datatype_Benchmark.dbOct 24, 2020, 1:31:05 AM60.00 KiB
HOL-Datatype_Benchmark.gzOct 24, 2020, 1:31:05 AM1.33 KiB
HOL-Datatype_Examples.dbOct 24, 2020, 1:32:34 AM128.00 KiB
HOL-Datatype_Examples.gzOct 24, 2020, 1:32:34 AM4.79 KiB
HOL-Decision_Procs.dbOct 24, 2020, 1:36:31 AM452.00 KiB
HOL-Decision_Procs.gzOct 24, 2020, 1:36:31 AM6.38 KiB
HOL-ex.dbOct 24, 2020, 2:17:34 AM556.00 KiB
HOL-ex.gzOct 24, 2020, 2:17:34 AM78.52 KiB
HOL-Hoare_Parallel.dbOct 24, 2020, 1:11:03 AM132.00 KiB
HOL-Hoare_Parallel.gzOct 24, 2020, 1:11:03 AM10.62 KiB
HOL-Homology.dbOct 24, 2020, 1:12:29 AM616.00 KiB
HOL-Homology.gzOct 24, 2020, 1:12:28 AM6.11 KiB
HOL-IMP.dbOct 24, 2020, 1:37:36 AM248.00 KiB
HOL-IMP.gzOct 24, 2020, 1:37:36 AM20.73 KiB
HOL-Imperative_HOL.dbOct 24, 2020, 1:13:25 AM244.00 KiB
HOL-Imperative_HOL.gzOct 24, 2020, 1:13:25 AM8.85 KiB
HOL-Library.dbOct 24, 2020, 1:15:53 AM1.12 MiB
HOL-Library.gzOct 24, 2020, 1:15:53 AM22.72 KiB
HOL-Metis_Examples.dbOct 24, 2020, 1:37:56 AM100.00 KiB
HOL-Metis_Examples.gzOct 24, 2020, 1:37:56 AM3.22 KiB
HOL-MicroJava.dbOct 24, 2020, 1:39:03 AM368.00 KiB
HOL-MicroJava.gzOct 24, 2020, 1:39:03 AM7.84 KiB
HOL-Nominal.dbOct 24, 2020, 1:39:19 AM80.00 KiB
HOL-Nominal.gzOct 24, 2020, 1:39:19 AM3.53 KiB
HOL-Nominal-Examples.dbOct 24, 2020, 1:43:30 AM368.00 KiB
HOL-Nominal-Examples.gzOct 24, 2020, 1:43:29 AM86.05 KiB
HOL-Nonstandard_Analysis.dbOct 24, 2020, 1:43:52 AM156.00 KiB
HOL-Nonstandard_Analysis.gzOct 24, 2020, 1:43:52 AM990 B
HOL-Nonstandard_Analysis-Examples.dbOct 24, 2020, 1:43:56 AM24.00 KiB
HOL-Nonstandard_Analysis-Examples.gzOct 24, 2020, 1:43:56 AM128 B
HOL-Number_Theory.dbOct 24, 2020, 1:45:13 AM364.00 KiB
HOL-Number_Theory.gzOct 24, 2020, 1:45:13 AM2.68 KiB
HOL-Predicate_Compile_Examples.dbOct 24, 2020, 1:46:06 AM100.00 KiB
HOL-Predicate_Compile_Examples.gzOct 24, 2020, 1:46:06 AM33.64 KiB
HOL-Probability.dbOct 24, 2020, 1:47:38 AM628.00 KiB
HOL-Probability.gzOct 24, 2020, 1:47:38 AM8.71 KiB
HOL-Probability-ex.dbOct 24, 2020, 1:47:48 AM52.00 KiB
HOL-Probability-ex.gzOct 24, 2020, 1:47:48 AM3.21 KiB
HOL-Proofs.dbOct 24, 2020, 1:55:25 AM1.29 MiB
HOL-Proofs.gzOct 24, 2020, 1:55:25 AM122.28 KiB
HOL-Proofs-Extraction.dbOct 24, 2020, 1:57:06 AM192.00 KiB
HOL-Proofs-Extraction.gzOct 24, 2020, 1:57:06 AM3.34 KiB
HOL-Proofs-Lambda.dbOct 24, 2020, 1:58:46 AM100.00 KiB
HOL-Proofs-Lambda.gzOct 24, 2020, 1:58:46 AM2.77 KiB
HOL-Quickcheck_Benchmark.dbOct 24, 2020, 2:03:36 AM60.00 KiB
HOL-Quickcheck_Benchmark.gzOct 24, 2020, 2:03:36 AM8.14 KiB
HOL-Quickcheck_Examples.dbOct 24, 2020, 2:04:55 AM164.00 KiB
HOL-Quickcheck_Examples.gzOct 24, 2020, 2:04:55 AM7.54 KiB
HOL-Quotient_Examples.dbOct 24, 2020, 2:05:26 AM76.00 KiB
HOL-Quotient_Examples.gzOct 24, 2020, 2:05:26 AM2.21 KiB
HOL-Record_Benchmark.dbOct 24, 2020, 2:08:01 AM24.00 KiB
HOL-Record_Benchmark.gzOct 24, 2020, 2:08:01 AM1.45 KiB
HOL-SET_Protocol.dbOct 24, 2020, 2:08:28 AM92.00 KiB
HOL-SET_Protocol.gzOct 24, 2020, 2:08:28 AM3.07 KiB
HOL-UNITY.dbOct 24, 2020, 2:08:57 AM308.00 KiB
HOL-UNITY.gzOct 24, 2020, 2:08:57 AM3.60 KiB
HOL-Word.dbOct 24, 2020, 2:09:40 AM236.00 KiB
HOL-Word.gzOct 24, 2020, 2:09:40 AM10.82 KiB
HOL-Word-SMT_Examples.dbOct 24, 2020, 2:10:39 AM68.00 KiB
HOL-Word-SMT_Examples.gzOct 24, 2020, 2:10:39 AM745 B
IOA.dbOct 24, 2020, 2:18:09 AM116.00 KiB
IOA.gzOct 24, 2020, 2:18:09 AM2.61 KiB
Pure.dbOct 24, 2020, 12:51:35 AM68.00 KiB
Pure.gzOct 24, 2020, 12:51:35 AM68.62 KiB
ZF.dbOct 24, 2020, 2:18:24 AM352.00 KiB
ZF.gzOct 24, 2020, 2:18:24 AM25.83 KiB
ZF-Induct.dbOct 24, 2020, 2:18:30 AM96.00 KiB
ZF-Induct.gzOct 24, 2020, 2:18:30 AM2.40 KiB
ZF-UNITY.dbOct 24, 2020, 2:18:37 AM152.00 KiB
ZF-UNITY.gzOct 24, 2020, 2:18:37 AM1.65 KiB