Benchpress
configuration
provers
tasks
compare
list of results
compare selected
2568 res
{z3,sidekick-dev}
2022/02, Tue the 08, at 19h19:19 GMT
dirs {…/QF_UFLRA}
(1.290M)
/home/simon/.local/share/benchpress/res-20220208T191219-d4e15b46-a89e-45b7-90d1-063fe9dfdf4d.sqlite
(167.9K)
/home/simon/.local/share/benchpress/res-20220208T161331-44d3f3c4-d4a0-4b87-8ce1-2c85957ef38a.sqlite
(1.298M)
/home/simon/.local/share/benchpress/res-20220208T130430-0c00c2f1-03e3-4ddf-9acb-281bf2945b62.sqlite
(1.363M)
/home/simon/.local/share/benchpress/res-20220112T143715-921dc3ad-f9fa-493d-8a08-540eecad9827.sqlite
(14.880M)
/home/simon/.local/share/benchpress/res-20220105T183425-2bd641e9-35ee-4aa1-87b7-e73977129ffc.sqlite
(167.9K)
/home/simon/.local/share/benchpress/res-20220105T154758-97577498-a891-4b65-aebd-607169ff2ba4.sqlite
(167.9K)
/home/simon/.local/share/benchpress/res-20220105T153226-d0bb0807-548f-44ef-9a55-89519657d7f4.sqlite
(167.9K)
/home/simon/.local/share/benchpress/res-20220104T190258-53d54593-93dd-47f1-8afd-951ad4c3cb32.sqlite
(1.572M)
/home/simon/.local/share/benchpress/res-20220104T181924-96e3bcba-64f4-4d56-b591-a95ffa8973c4.sqlite
(1.302M)
/home/simon/.local/share/benchpress/res-20220103T221504-e33c480d-24c0-41e9-8b35-b09708966e7b.sqlite
(167.9K)
/home/simon/.local/share/benchpress/res-20220103T211552-129a552a-7be0-4c37-afe4-a7c92227bdaa.sqlite
(1.306M)
/home/simon/.local/share/benchpress/res-20220103T190009-e3328e7d-6635-4cf7-9dba-2b5cc87d0758.sqlite
(1.568M)
/home/simon/.local/share/benchpress/res-20220103T181329-fc65b1b9-470b-47a8-abff-6614fd82d597.sqlite
(1.314M)
/home/simon/.local/share/benchpress/res-20211208T014329-ed0071db-343f-4f09-b17d-8e18a9c303be.sqlite
(237.5K)
/home/simon/.local/share/benchpress/res-20211208T014141-2c2bb466-2d44-4ef2-bd9b-8d5207022807.sqlite
(106.4K)
/home/simon/.local/share/benchpress/res-20210928T134246-0eeca25c-68ea-4cd2-90ac-d78662e879f7.sqlite
(1.556M)
/home/simon/.local/share/benchpress/res-20210927T215023-7de721ba-0f20-49ab-a6ad-7ea6a64e6044.sqlite
(1.277M)
/home/simon/.local/share/benchpress/res-20210927T165228-a66e2dc2-8876-482c-b1a7-600e6a864a54.sqlite
(5.545M)
/home/simon/.local/share/benchpress/res-20210927T150518-de0fad43-7edf-4dd1-8cd2-587c2ea27514.sqlite
(5.656M)