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)
246 res
{z3,sidekick-dev}
2022/02, Tue the 08, at 19h12:19 GMT
dirs {…ick/tests}
(167.9K)
2568 res
{z3,sidekick-dev}
2022/02, Tue the 08, at 16h13:31 GMT
dirs {…/QF_UFLRA}
(1.298M)
/home/simon/.local/share/benchpress/res-20220208T130430-0c00c2f1-03e3-4ddf-9acb-281bf2945b62.sqlite
(1.363M)
6442 res
{minisat,batsat}
2022/01, Wed the 12, at 14h37:15 GMT
dirs {…chs/basic}
(14.880M)
242 res
{z3,sidekick-dev}
2022/01, Wed the 05, at 18h34:25 GMT
dirs {…ck2/tests}
(167.9K)
242 res
{z3,sidekick-dev}
2022/01, Wed the 05, at 15h47:58 GMT
dirs {…ck2/tests}
(167.9K)
242 res
2 bad
{z3,sidekick-dev}
2022/01, Wed the 05, at 15h32:26 GMT
dirs {…ck2/tests}
(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)