Benchpress
configuration
provers
tasks
list of results
compare selected
3296 res
{z3,sidekick-dev}
2021/09, Tue the 28, at 13h42:46 GMT
dirs {…ts/QF_LRA}
(1.556M)
2568 res
{z3,sidekick-dev}
2021/09, Mon the 27, at 21h50:23 GMT
dirs {…/QF_UFLRA}
(1.277M)
14914 res
{z3,sidekick-dev}
2021/09, Mon the 27, at 16h52:28 GMT
dirs {…sts/QF_UF}
(5.545M)
14914 res
{z3,sidekick-dev}
2021/09, Mon the 27, at 15h05:18 GMT
dirs {…sts/QF_UF}
(5.656M)
14914 res
{z3,sidekick-dev}
2021/09, Mon the 27, at 13h11:33 GMT
dirs {…sts/QF_UF}
(5.636M)
238 res
{z3,sidekick-dev}
2021/09, Mon the 20, at 10h27:42 GMT
dirs {…ick/tests}
(155.6K)
238 res
{z3,sidekick-dev}
2021/09, Mon the 13, at 10h48:33 GMT
dirs {…ick/tests}
(155.6K)
3222 res
{z3,sidekick-dev}
2021/09, Wed the 01, at 14h15:31 GMT
dirs {…ck2/tests}
(1.97M)
2568 res
{z3,sidekick-dev}
2021/08, Tue the 24, at 20h35:01 GMT
dirs {…/QF_UFLRA}
(1.282M)
3296 res
{z3,sidekick-dev}
2021/08, Tue the 24, at 17h51:08 GMT
dirs {…ts/QF_LRA}
(1.536M)
14914 res
{z3,sidekick-dev}
2021/08, Mon the 23, at 14h49:23 GMT
dirs {…sts/QF_UF}
(5.550M)
16000 res
{z3,sidekick-dev}
2021/08, Mon the 23, at 14h06:07 GMT
dirs {…rett-jsat}
(7.73M)
238 res
{z3,sidekick-dev}
2021/08, Mon the 23, at 14h01:02 GMT
dirs {…ick/tests}
(155.6K)
3852 res
{z3,sidekick-dev,mc2}
2021/05, Mon the 10, at 15h51:11 GMT
dirs {…/QF_UFLRA}
(1.916M)
236 res
{z3,sidekick-dev}
2021/03, Mon the 22, at 16h16:22 GMT
dirs {…ck2/tests}
(155.6K)
3296 res
{z3,sidekick-dev}
2021/03, Mon the 22, at 2h31:49 GMT
dirs {…ts/QF_LRA}
(1.548M)
2568 res
{z3,sidekick-dev}
2021/03, Mon the 22, at 2h09:34 GMT
dirs {…/QF_UFLRA}
(1.286M)
3296 res
{z3,sidekick-dev}
2021/03, Sun the 21, at 22h32:43 GMT
dirs {…ts/QF_LRA}
(1.548M)
2568 res
{z3,sidekick-dev}
2021/03, Sun the 21, at 22h11:47 GMT
dirs {…/QF_UFLRA}
(1.286M)
14914 res
{z3,sidekick-dev}
2021/03, Thu the 18, at 20h27:59 GMT
dirs {…sts/QF_UF}
(5.644M)
3296 res
{z3,sidekick-dev}
2021/03, Thu the 18, at 18h40:03 GMT
dirs {…ts/QF_LRA}
(1.531M)
2568 res
{z3,sidekick-dev}
2021/03, Thu the 18, at 18h14:02 GMT
dirs {…/QF_UFLRA}
(1.277M)
16000 res
{z3,sidekick-dev}
2021/03, Thu the 18, at 18h13:14 GMT
dirs {…rett-jsat}
(7.73M)
/home/simon/.local/share/benchpress/res-20210318T170601-539e07b4-e589-4c85-b8e9-87200417e0f6.sqlite
(1.277M)
16000 res
{z3,sidekick-dev}
2021/03, Thu the 18, at 16h53:29 GMT
dirs {…rett-jsat}
(7.73M)
2568 res
{z3,sidekick-dev}
2021/03, Thu the 18, at 16h39:28 GMT
dirs {…/QF_UFLRA}
(1.290M)
16000 res
2 bad
{z3,sidekick-dev}
2021/03, Thu the 18, at 16h36:13 GMT
dirs {…rett-jsat}
(7.49M)
16000 res
1 bad
{z3,sidekick-dev}
2021/03, Thu the 18, at 15h39:50 GMT
dirs {…rett-jsat}
(7.45M)
3296 res
{z3,sidekick-dev}
2020/12, Tue the 22, at 16h55:21 GMT
dirs {…ts/QF_LRA}
(1.568M)
222 res
{z3,sidekick-dev}
2020/12, Tue the 22, at 16h48:35 GMT
dirs {…ick/tests}
(155.6K)
/home/simon/.local/share/benchpress/res-20201222T161045-533f3202-7c29-4654-948f-51b14557f5bc.sqlite
(155.6K)
2568 res
{z3,mc2}
2020/11, Tue the 17, at 13h19:50 GMT
dirs {…/QF_UFLRA}
(1.216M)
3296 res
{z3,mc2}
2020/11, Mon the 16, at 20h35:11 GMT
dirs {…ts/QF_LRA}
(1.605M)
2568 res
3 bad
{z3,sidekick-dev}
2020/11, Sat the 14, at 21h25:13 GMT
dirs {…/QF_UFLRA}
(1.359M)
3296 res
{z3,sidekick-dev}
2020/11, Sat the 14, at 18h21:02 GMT
dirs {…ts/QF_LRA}
(1.757M)
3296 res
113 bad
{z3,sidekick-dev}
2020/11, Sat the 14, at 16h13:15 GMT
dirs {…ts/QF_LRA}
(1.753M)
216 res
2 bad
{z3,sidekick-dev}
2020/11, Sat the 14, at 4h44:51 GMT
dirs {…ick/tests}
(151.5K)
3296 res
278 bad
{z3,sidekick-dev}
2020/11, Fri the 13, at 1h15:11 GMT
dirs {…ts/QF_LRA}
(1.712M)
/home/simon/.local/share/benchpress/res-20201012T135922-908d4e87-4e99-4b87-9abb-70003a891efe.sqlite
(1.523M)
22371 res
{z3,sidekick,mc2}
2020/08, Tue the 18, at 14h55:40 GMT
dirs {…lib/QF_UF}
(7.942M)
29828 res
{z3,sidekick-dev,sidekick,mc2}
2020/08, Mon the 03, at 15h44:00 GMT
dirs {…sts/QF_UF}
(11.657M)
16000 res
{z3,sidekick-dev}
2020/07, Tue the 28, at 20h28:50 GMT
dirs {…rett-jsat}
(7.229M)
363750 res
{dolmen-strict}
2020/07, Mon the 27, at 23h15:06 GMT
dirs {…ume/bench}
(175.632M)
363750 res
{dolmen}
2020/07, Mon the 27, at 18h43:50 GMT
dirs {…ume/bench}
(167.67M)
349691 res
{dolmen}
2020/07, Fri the 10, at 21h43:54 GMT
dirs {…ch/smtlib}
(205.475M)
95063 res
{dolmen}
2020/05, Mon the 18, at 15h20:22 GMT
dirs {…hs/smtlib}
(53.186M)
236 res
{zip-dev}
2020/05, Sun the 17, at 17h57:55 GMT
dirs {…rposition}
(163.8K)
236 res
{zip-dev}
2020/05, Sat the 16, at 19h29:48 GMT
dirs {…rposition}
(159.7K)
64 res
{msat,minisat}
2020/05, Fri the 15, at 22h20:15 GMT
dirs {…sat/tests}
(118.7K)
204 res
{z3,sidekick-dev}
2020/05, Wed the 13, at 3h36:15 GMT
dirs {…ick/tests}
(131.0K)
20646 res
{zip-dev}
2020/03, Sat the 07, at 23h32:35 GMT
dirs {…/Problems}
(11.300M)
/home/simon/.local/share/benchpress/res-20200307T232658-9bce8ec6-a6b6-473c-8d7a-c2400b3b7912.sqlite
(147.4K)
52752 res
{z3,mc2-nogc-dev,mc2-dev}
2020/03, Tue the 03, at 5h38:38 GMT
dirs {…ce/smtlib}
(36.77M)
52752 res
{z3,mc2-nogc-dev,mc2-dev}
2020/02, Thu the 27, at 0h22:56 GMT
dirs {…ce/smtlib}
(25.976M)
158 res
{z3,mc2-dev}
2020/02, Thu the 27, at 0h14:47 GMT
dirs {…mc2/tests}
(163.8K)
198 res
{z3,sidekick-dev}
2020/02, Fri the 21, at 1h37:38 GMT
dirs {…ick/tests}
(139.2K)
16000 res
{z3,sidekick-dev}
2020/02, Fri the 21, at 1h24:32 GMT
dirs {…rett-jsat}
(7.286M)
20646 res
{zip-dev}
2020/02, Wed the 19, at 1h51:54 GMT
dirs {…/Problems}
(11.190M)
198 res
1 bad
{z3,sidekick-dev}
2020/02, Mon the 17, at 18h26:00 GMT
dirs {…ick/tests}
(139.2K)
196 res
{z3,sidekick-dev}
2020/02, Mon the 17, at 18h17:45 GMT
dirs {…ick/tests}
(139.2K)
16000 res
10 bad
{z3,sidekick-dev}
2020/02, Sat the 15, at 20h38:42 GMT
dirs {…rett-jsat}
(7.315M)
16000 res
20 bad
{z3,sidekick-dev}
2020/02, Sat the 15, at 20h36:11 GMT
dirs {…rett-jsat}
(7.278M)
20646 res
{zip-dev}
2020/02, Wed the 12, at 23h38:44 GMT
dirs {…/Problems}
(11.169M)
227 res
{zip-dev}
2020/02, Wed the 12, at 23h38:11 GMT
dirs {…rposition}
(147.4K)
237 res
{z3,mc2-nogc-dev,mc2-dev}
2020/02, Tue the 11, at 16h16:40 GMT
dirs {…mc2/tests}
(196.6K)
52752 res
{z3,mc2-nogc-dev,mc2-dev}
2020/02, Mon the 10, at 20h59:26 GMT
dirs {…ce/smtlib}
(25.927M)
20646 res
{zip-dev}
2020/02, Mon the 10, at 5h08:51 GMT
dirs {…/Problems}
(11.608M)
20646 res
{zip-dev}
2020/02, Mon the 10, at 2h43:38 GMT
dirs {…/Problems}
(11.591M)
20646 res
{zip-dev}
2020/02, Mon the 10, at 0h43:13 GMT
dirs {…/Problems}
(11.595M)
20646 res
{zip-dev}
2020/02, Sat the 08, at 23h12:25 GMT
dirs {…/Problems}
(11.366M)
41292 res
24 bad
{zip-dev-check,zip-dev}
2020/02, Sat the 08, at 17h42:48 GMT
dirs {…/Problems}
(23.904M)
/home/simon/.local/share/benchpress/res-20200207T171334-8a12ecda-8e08-462d-8b58-65e1787b383e.sqlite
(131.0K)
237 res
4 bad
{z3,mc2-nogc-dev,mc2-dev}
2020/02, Fri the 07, at 15h59:55 GMT
dirs {…mc2/tests}
(188.4K)
41292 res
24 bad
{zip-dev-check,zip-dev}
2020/02, Fri the 07, at 15h28:13 GMT
dirs {…/Problems}
(24.145M)
/home/simon/.local/share/benchpress/res-20200207T152727-26a00cbe-5029-4161-b2f6-5600516a52c1.sqlite
(40.9K)
196 res
1 bad
{z3,sidekick-dev}
2020/01, Sat the 18, at 1h12:02 GMT
dirs {…ick/tests}
(135.1K)
41292 res
24 bad
{zip-dev-check,zip-dev}
2020/01, Wed the 15, at 23h41:40 GMT
dirs {…/Problems}
(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)
/home/simon/.local/share/benchpress/res-20200115T164819-774a005a-e51d-4d1a-9153-0929e2117706.sqlite
(22.52M)
/home/simon/.local/share/benchpress/res-20200115T164744-449c5aab-df0b-4c2b-8ccc-e2d1b435f640.sqlite
(94.2K)
/home/simon/.local/share/benchpress/res-20200115T050115-bb5e92d6-03ce-4871-9ed9-58ac87ad3585.sqlite
(135.1K)
/home/simon/.local/share/benchpress/res-20200115T045338-84ef8164-b09e-47c7-b9e0-579f1adaec7a.sqlite
(7.311M)
/home/simon/.local/share/benchpress/res-20200115T044023-e4e540f2-3cb7-45f6-aab4-467980b1d07a.sqlite
(135.1K)
/home/simon/.local/share/benchpress/res-20200115T022340-ed459f31-208c-4c50-9b60-3d069fb4af3a.sqlite
(5.505M)
/home/simon/.local/share/benchpress/res-20200115T022338-e56c94f3-7e16-44ae-a635-b52bad36b93e.sqlite
(131.0K)
/home/simon/.local/share/benchpress/res-20200115T021910-195ba3ea-5e2a-4a8b-9b56-97e86fb88d89.sqlite
(7.254M)
/home/simon/.local/share/benchpress/res-20191228T145324-f5dcc1e7-fbdf-428b-ba12-bc78071a67b2.sqlite
(7.249M)
/home/simon/.local/share/benchpress/res-20191228T142548-b66098f0-f79b-4e90-a4c8-794322702d7f.sqlite
(6.520M)
/home/simon/.local/share/benchpress/res-20191228T142445-d95d9271-5be9-4922-9921-b7325fee1eb1.sqlite
(118.7K)
/home/simon/.local/share/benchpress/res-20191228T131009-c7690e74-afbf-46d3-82b9-9e38e2eff47d.sqlite
(7.516M)
/home/simon/.local/share/benchpress/res-20191218T012725-40bdc507-4b92-47bb-8145-205b70152296.sqlite
(106.4K)
/home/simon/.local/share/benchpress/res-20191218T011424-cd206bb1-a6ec-454c-9a15-49ad7454be9a.sqlite
(131.0K)
/home/simon/.local/share/benchpress/res-20191217T023609-9d63e7a2-1d0f-456c-887a-e3e3e3b00ae7.sqlite
(122.8K)
/home/simon/.local/share/benchpress/res-20191217T022542-5ffc52d3-aeaa-4731-bcbd-1fe9a6ab63c9.sqlite
(122.8K)
/home/simon/.local/share/benchpress/res-20191217T011635-aa5e9548-3dab-4e10-a537-5958e1578d9f.sqlite
(122.8K)
/home/simon/.local/share/benchpress/res-20191214T015102-d2b88111-297b-435b-8c91-3fa7e0186e23.sqlite
(122.8K)
/home/simon/.local/share/benchpress/res-20191210T044900-00d42f2b-eace-4b4a-866a-bc8b79adc55e.sqlite
(69.6K)
/home/simon/.local/share/benchpress/res-20191210T020316-e9bdd615-dd23-465e-bea6-91f468da429c.sqlite
(192.5K)
/home/simon/.local/share/benchpress/res-20191210T011658-1ef50563-77e4-4b06-9f00-b0d07ea110e6.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191210T011035-2e62881b-66a9-4319-b439-1e31f4d0c3fd.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191210T004756-19e5aa36-9d69-487c-a35d-eeb4caaed3df.sqlite
(12.578M)
/home/simon/.local/share/benchpress/res-20191209T233334-7ab7c91f-5164-4d54-ad54-11805dc95251.sqlite
(8.568M)
/home/simon/.local/share/benchpress/res-20191208T010644-6bb10988-cea4-4b14-955c-7a4e4dce6f83.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191208T010640-bd6ac999-af38-446a-a39f-6d470efd0c44.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191208T010631-5c06d1fe-21e1-4815-b297-4fbad4a9cca3.sqlite
(49.1K)
/home/simon/.local/share/benchpress/res-20191208T010616-c15b32a8-85df-4804-883c-f847109917cd.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191208T005557-c5f31521-dc3b-4541-bbfb-e554913e77bc.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191208T005323-a22350d9-94ce-4eae-b690-86327095d48d.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191208T004735-f70b3cc5-5637-48ff-88db-fdf4d3231529.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191208T004717-ef07f4f9-05e1-4d89-935b-bb136ea4ecb2.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191208T003227-26129ce2-388f-42ea-ad4f-ba7222b44155.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191208T000905-60ddf76b-2e52-4b3b-b70e-2fa475383aef.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191208T000426-e6fca7a3-5031-4315-b41e-da383890988a.sqlite
(40.9K)
/home/simon/.local/share/benchpress/res-20191202T012905-37ab78b6-16e5-457a-9edc-bef2009e819b.sqlite
(49.1K)