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)
3296 res
{z3,sidekick-dev}
2022/01, Tue the 04, at 19h02:58 GMT
dirs {…ts/QF_LRA}
(1.572M)
2568 res
{z3,sidekick-dev}
2022/01, Tue the 04, at 18h19:24 GMT
dirs {…/QF_UFLRA}
(1.302M)
242 res
{z3,sidekick-dev}
2022/01, Mon the 03, at 22h15:04 GMT
dirs {…ck2/tests}
(167.9K)
2568 res
{z3,sidekick-dev}
2022/01, Mon the 03, at 21h15:52 GMT
dirs {…/QF_UFLRA}
(1.306M)
3296 res
{z3,sidekick-dev}
2022/01, Mon the 03, at 19h00:09 GMT
dirs {…ts/QF_LRA}
(1.568M)
2568 res
{z3,sidekick-dev}
2022/01, Mon the 03, at 18h13:29 GMT
dirs {…/QF_UFLRA}
(1.314M)
345 res
{z3,sidekick-dev-p,sidekick-dev}
2021/12, Wed the 08, at 1h43:29 GMT
dirs {…ick/tests}
(237.5K)
/home/simon/.local/share/benchpress/res-20211208T014141-2c2bb466-2d44-4ef2-bd9b-8d5207022807.sqlite
(106.4K)
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)