Benchpress
configuration
provers
tasks
list of results
compare selected
/home/simon/.local/share/benchpress/res-20200710T214354-8e5e948d-e7fa-4e3d-ab5a-e1ba21576c80.sqlite
(205.475M)
95063 res for {dolmen} at 2020/05, Mon the 18, at 15h20:22 GMT
(53.186M)
236 res for {zip-dev} at 2020/05, Sun the 17, at 17h57:55 GMT
(163.8K)
236 res for {zip-dev} at 2020/05, Sat the 16, at 19h29:48 GMT
(159.7K)
64 res for {msat,minisat} at 2020/05, Fri the 15, at 22h20:15 GMT
(118.7K)
204 res for {z3,sidekick-dev} at 2020/05, Wed the 13, at 3h36:15 GMT
(131.0K)
20646 res for {zip-dev} at 2020/03, Sat the 07, at 23h32:35 GMT
(11.300M)
227 res for {zip-dev} at 2020/03, Sat the 07, at 23h26:58 GMT
(147.4K)
52752 res for {z3,mc2-nogc-dev,mc2-dev} at 2020/03, Tue the 03, at 5h38:38 GMT
(36.77M)
52752 res for {z3,mc2-nogc-dev,mc2-dev} at 2020/02, Thu the 27, at 0h22:56 GMT
(25.976M)
158 res for {z3,mc2-dev} at 2020/02, Thu the 27, at 0h14:47 GMT
(163.8K)
198 res for {z3,sidekick-dev} at 2020/02, Fri the 21, at 1h37:38 GMT
(139.2K)
16000 res for {z3,sidekick-dev} at 2020/02, Fri the 21, at 1h24:32 GMT
(7.286M)
20646 res for {zip-dev} at 2020/02, Wed the 19, at 1h51:54 GMT
(11.190M)
198 res for {z3,sidekick-dev} at 2020/02, Mon the 17, at 18h26:00 GMT
(139.2K)
196 res for {z3,sidekick-dev} at 2020/02, Mon the 17, at 18h17:45 GMT
(139.2K)
16000 res for {z3,sidekick-dev} at 2020/02, Sat the 15, at 20h38:42 GMT
(7.315M)
16000 res for {z3,sidekick-dev} at 2020/02, Sat the 15, at 20h36:11 GMT
(7.278M)
20646 res for {zip-dev} at 2020/02, Wed the 12, at 23h38:44 GMT
(11.169M)
227 res for {zip-dev} at 2020/02, Wed the 12, at 23h38:11 GMT
(147.4K)
237 res for {z3,mc2-nogc-dev,mc2-dev} at 2020/02, Tue the 11, at 16h16:40 GMT
(196.6K)
52752 res for {z3,mc2-nogc-dev,mc2-dev} at 2020/02, Mon the 10, at 20h59:26 GMT
(25.927M)
20646 res for {zip-dev} at 2020/02, Mon the 10, at 5h08:51 GMT
(11.608M)
20646 res for {zip-dev} at 2020/02, Mon the 10, at 2h43:38 GMT
(11.591M)
20646 res for {zip-dev} at 2020/02, Mon the 10, at 0h43:13 GMT
(11.595M)
20646 res for {zip-dev} at 2020/02, Sat the 08, at 23h12:25 GMT
(11.366M)
41292 res for {zip-dev-check,zip-dev} at 2020/02, Sat the 08, at 17h42:48 GMT
(23.904M)
186 res for {z3,sidekick-dev} at 2020/02, Fri the 07, at 17h13:34 GMT
(131.0K)
237 res for {z3,mc2-nogc-dev,mc2-dev} at 2020/02, Fri the 07, at 15h59:55 GMT
(188.4K)
41292 res for {zip-dev-check,zip-dev} at 2020/02, Fri the 07, at 15h28:13 GMT
(24.145M)
/home/simon/.local/share/benchpress/res-20200207T152727-26a00cbe-5029-4161-b2f6-5600516a52c1.sqlite
(40.9K)
196 res for {z3,sidekick-dev} at 2020/01, Sat the 18, at 1h12:02 GMT
(135.1K)
41292 res for {zip-dev-check,zip-dev} at 2020/01, Wed the 15, at 23h41:40 GMT
(24.72M)
/home/simon/.local/share/benchpress/res-20200115T212049-ce23863b-2e93-45e9-8161-90a7ad172895.sqlite
(7.290M)
/home/simon/.local/share/benchpress/res-20200115T210954-4cb1e4b8-8107-4c5a-b5cc-8149f38d0600.sqlite
(909.3K)
41292 res for {zip-dev-check,zip-dev} at 2020/01, Wed the 15, at 16h48:19 GMT
(22.52M)
/home/simon/.local/share/benchpress/res-20200115T164744-449c5aab-df0b-4c2b-8ccc-e2d1b435f640.sqlite
(94.2K)
190 res for {z3,sidekick-dev} at 2020/01, Wed the 15, at 5h01:15 GMT
(135.1K)
16000 res for {z3,sidekick-dev} at 2020/01, Wed the 15, at 4h53:38 GMT
(7.311M)
190 res for {z3,sidekick-dev} at 2020/01, Wed the 15, at 4h40:23 GMT
(135.1K)
13300 res for {z3,sidekick-dev} at 2020/01, Wed the 15, at 2h23:40 GMT
(5.505M)
186 res for {z3,sidekick-dev} at 2020/01, Wed the 15, at 2h23:38 GMT
(131.0K)
16000 res for {z3,sidekick-dev} at 2020/01, Wed the 15, at 2h19:10 GMT
(7.254M)
16000 res for {z3,sidekick-dev} at 2019/12, Sat the 28, at 14h53:24 GMT
(7.249M)
/home/simon/.local/share/benchpress/res-20191228T142548-b66098f0-f79b-4e90-a4c8-794322702d7f.sqlite
(6.520M)
160 res for {z3,sidekick-dev} at 2019/12, Sat the 28, at 14h24:45 GMT
(118.7K)
16000 res for {z3,sidekick-dev} at 2019/12, Sat the 28, at 13h10:09 GMT
(7.516M)
150 res for {} at 2019/12, Wed the 18, at 1h27:25 GMT
(106.4K)
154 res for {} at 2019/12, Wed the 18, at 1h14:24 GMT
(131.0K)
144 res for {} at 2019/12, Tue the 17, at 2h36:09 GMT
(122.8K)
144 res for {} at 2019/12, Tue the 17, at 2h25:42 GMT
(122.8K)
146 res for {} at 2019/12, Tue the 17, at 1h16:35 GMT
(122.8K)
156 res for {} at 2019/12, Sat the 14, at 1h51:02 GMT
(122.8K)
74 res for {} at 2019/12, Tue the 10, at 4h49:00 GMT
(69.6K)
231 res for {} at 2019/12, Tue the 10, at 2h03:16 GMT
(192.5K)
0 res for {} at 2019/12, Tue the 10, at 1h16:58 GMT
(40.9K)
0 res for {} at 2019/12, Tue the 10, at 1h10:35 GMT
(40.9K)
28749 res for {} at 2019/12, Tue the 10, at 0h47:56 GMT
(12.578M)
19166 res for {} at 2019/12, Mon the 09, at 23h33:34 GMT
(8.568M)
1 res for {} at 2019/12, Sun the 08, at 1h06:44 GMT
(40.9K)
1 res for {} at 2019/12, Sun the 08, at 1h06:40 GMT
(40.9K)
2 res for {} at 2019/12, Sun the 08, at 1h06:31 GMT
(49.1K)
0 res for {} at 2019/12, Sun the 08, at 1h06:16 GMT
(40.9K)
15 res for {} at 2019/12, Sun the 08, at 0h55:57 GMT
(40.9K)
15 res for {} at 2019/12, Sun the 08, at 0h53:23 GMT
(40.9K)
1 res for {} at 2019/12, Sun the 08, at 0h47:35 GMT
(40.9K)
1 res for {} at 2019/12, Sun the 08, at 0h47:17 GMT
(40.9K)
15 res for {} at 2019/12, Sun the 08, at 0h32:27 GMT
(40.9K)
15 res for {} at 2019/12, Sun the 08, at 0h09:05 GMT
(40.9K)
15 res for {} at 2019/12, Sun the 08, at 0h04:26 GMT
(40.9K)
53 res for {} at 2019/12, Mon the 02, at 1h29:05 GMT
(49.1K)
152 res for {} at 2019/11, Fri the 29, at 20h43:43 GMT
(73.7K)
152 res for {} at 2019/11, Fri the 29, at 20h07:49 GMT
(77.8K)
52 res for {} at 2019/11, Wed the 27, at 1h36:56 GMT
(49.1K)