Benchpress

configuration

list of results

  • 6442 res{minisat,batsat}2022/01, Wed the 12, at 14h37:15 GMTdirs {…chs/basic}

    (14.880M)

  • 242 res{z3,sidekick-dev}2022/01, Wed the 05, at 18h34:25 GMTdirs {…ck2/tests}

    (167.9K)

  • 242 res{z3,sidekick-dev}2022/01, Wed the 05, at 15h47:58 GMTdirs {…ck2/tests}

    (167.9K)

  • 242 res2 bad{z3,sidekick-dev}2022/01, Wed the 05, at 15h32:26 GMTdirs {…ck2/tests}

    (167.9K)

  • 3296 res{z3,sidekick-dev}2022/01, Tue the 04, at 19h02:58 GMTdirs {…ts/QF_LRA}

    (1.572M)

  • 2568 res{z3,sidekick-dev}2022/01, Tue the 04, at 18h19:24 GMTdirs {…/QF_UFLRA}

    (1.302M)

  • 242 res{z3,sidekick-dev}2022/01, Mon the 03, at 22h15:04 GMTdirs {…ck2/tests}

    (167.9K)

  • 2568 res{z3,sidekick-dev}2022/01, Mon the 03, at 21h15:52 GMTdirs {…/QF_UFLRA}

    (1.306M)

  • 3296 res{z3,sidekick-dev}2022/01, Mon the 03, at 19h00:09 GMTdirs {…ts/QF_LRA}

    (1.568M)

  • 2568 res{z3,sidekick-dev}2022/01, Mon the 03, at 18h13:29 GMTdirs {…/QF_UFLRA}

    (1.314M)

  • 345 res{z3,sidekick-dev-p,sidekick-dev}2021/12, Wed the 08, at 1h43:29 GMTdirs {…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 GMTdirs {…ts/QF_LRA}

    (1.556M)

  • 2568 res{z3,sidekick-dev}2021/09, Mon the 27, at 21h50:23 GMTdirs {…/QF_UFLRA}

    (1.277M)

  • 14914 res{z3,sidekick-dev}2021/09, Mon the 27, at 16h52:28 GMTdirs {…sts/QF_UF}

    (5.545M)

  • 14914 res{z3,sidekick-dev}2021/09, Mon the 27, at 15h05:18 GMTdirs {…sts/QF_UF}

    (5.656M)

  • 14914 res{z3,sidekick-dev}2021/09, Mon the 27, at 13h11:33 GMTdirs {…sts/QF_UF}

    (5.636M)

  • 238 res{z3,sidekick-dev}2021/09, Mon the 20, at 10h27:42 GMTdirs {…ick/tests}

    (155.6K)

  • 238 res{z3,sidekick-dev}2021/09, Mon the 13, at 10h48:33 GMTdirs {…ick/tests}

    (155.6K)

  • 3222 res{z3,sidekick-dev}2021/09, Wed the 01, at 14h15:31 GMTdirs {…ck2/tests}

    (1.97M)

  • 2568 res{z3,sidekick-dev}2021/08, Tue the 24, at 20h35:01 GMTdirs {…/QF_UFLRA}

    (1.282M)

  • 3296 res{z3,sidekick-dev}2021/08, Tue the 24, at 17h51:08 GMTdirs {…ts/QF_LRA}

    (1.536M)

  • 14914 res{z3,sidekick-dev}2021/08, Mon the 23, at 14h49:23 GMTdirs {…sts/QF_UF}

    (5.550M)

  • 16000 res{z3,sidekick-dev}2021/08, Mon the 23, at 14h06:07 GMTdirs {…rett-jsat}

    (7.73M)

  • 238 res{z3,sidekick-dev}2021/08, Mon the 23, at 14h01:02 GMTdirs {…ick/tests}

    (155.6K)

  • 3852 res{z3,sidekick-dev,mc2}2021/05, Mon the 10, at 15h51:11 GMTdirs {…/QF_UFLRA}

    (1.916M)

  • 236 res{z3,sidekick-dev}2021/03, Mon the 22, at 16h16:22 GMTdirs {…ck2/tests}

    (155.6K)

  • 3296 res{z3,sidekick-dev}2021/03, Mon the 22, at 2h31:49 GMTdirs {…ts/QF_LRA}

    (1.548M)

  • 2568 res{z3,sidekick-dev}2021/03, Mon the 22, at 2h09:34 GMTdirs {…/QF_UFLRA}

    (1.286M)

  • 3296 res{z3,sidekick-dev}2021/03, Sun the 21, at 22h32:43 GMTdirs {…ts/QF_LRA}

    (1.548M)

  • 2568 res{z3,sidekick-dev}2021/03, Sun the 21, at 22h11:47 GMTdirs {…/QF_UFLRA}

    (1.286M)

  • 14914 res{z3,sidekick-dev}2021/03, Thu the 18, at 20h27:59 GMTdirs {…sts/QF_UF}

    (5.644M)

  • 3296 res{z3,sidekick-dev}2021/03, Thu the 18, at 18h40:03 GMTdirs {…ts/QF_LRA}

    (1.531M)

  • 2568 res{z3,sidekick-dev}2021/03, Thu the 18, at 18h14:02 GMTdirs {…/QF_UFLRA}

    (1.277M)

  • 16000 res{z3,sidekick-dev}2021/03, Thu the 18, at 18h13:14 GMTdirs {…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 GMTdirs {…rett-jsat}

    (7.73M)

  • 2568 res{z3,sidekick-dev}2021/03, Thu the 18, at 16h39:28 GMTdirs {…/QF_UFLRA}

    (1.290M)

  • 16000 res2 bad{z3,sidekick-dev}2021/03, Thu the 18, at 16h36:13 GMTdirs {…rett-jsat}

    (7.49M)

  • 16000 res1 bad{z3,sidekick-dev}2021/03, Thu the 18, at 15h39:50 GMTdirs {…rett-jsat}

    (7.45M)

  • 3296 res{z3,sidekick-dev}2020/12, Tue the 22, at 16h55:21 GMTdirs {…ts/QF_LRA}

    (1.568M)

  • 222 res{z3,sidekick-dev}2020/12, Tue the 22, at 16h48:35 GMTdirs {…ick/tests}

    (155.6K)

  • 222 res3 bad{z3,sidekick-dev}2020/12, Tue the 22, at 16h10:45 GMTdirs {…ick/tests}

    (155.6K)

  • 2568 res{z3,mc2}2020/11, Tue the 17, at 13h19:50 GMTdirs {…/QF_UFLRA}

    (1.216M)

  • 3296 res{z3,mc2}2020/11, Mon the 16, at 20h35:11 GMTdirs {…ts/QF_LRA}

    (1.605M)

  • 2568 res3 bad{z3,sidekick-dev}2020/11, Sat the 14, at 21h25:13 GMTdirs {…/QF_UFLRA}

    (1.359M)

  • 3296 res{z3,sidekick-dev}2020/11, Sat the 14, at 18h21:02 GMTdirs {…ts/QF_LRA}

    (1.757M)

  • 3296 res113 bad{z3,sidekick-dev}2020/11, Sat the 14, at 16h13:15 GMTdirs {…ts/QF_LRA}

    (1.753M)

  • 216 res2 bad{z3,sidekick-dev}2020/11, Sat the 14, at 4h44:51 GMTdirs {…ick/tests}

    (151.5K)

  • 3296 res278 bad{z3,sidekick-dev}2020/11, Fri the 13, at 1h15:11 GMTdirs {…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 GMTdirs {…lib/QF_UF}

    (7.942M)

  • 29828 res{z3,sidekick-dev,sidekick,mc2}2020/08, Mon the 03, at 15h44:00 GMTdirs {…sts/QF_UF}

    (11.657M)

  • 16000 res{z3,sidekick-dev}2020/07, Tue the 28, at 20h28:50 GMTdirs {…rett-jsat}

    (7.229M)

  • 363750 res{dolmen-strict}2020/07, Mon the 27, at 23h15:06 GMTdirs {…ume/bench}

    (175.632M)

  • 363750 res{dolmen}2020/07, Mon the 27, at 18h43:50 GMTdirs {…ume/bench}

    (167.67M)

  • 349691 res{dolmen}2020/07, Fri the 10, at 21h43:54 GMTdirs {…ch/smtlib}

    (205.475M)

  • 95063 res{dolmen}2020/05, Mon the 18, at 15h20:22 GMTdirs {…hs/smtlib}

    (53.186M)

  • 236 res{zip-dev}2020/05, Sun the 17, at 17h57:55 GMTdirs {…rposition}

    (163.8K)

  • 236 res{zip-dev}2020/05, Sat the 16, at 19h29:48 GMTdirs {…rposition}

    (159.7K)

  • 64 res{msat,minisat}2020/05, Fri the 15, at 22h20:15 GMTdirs {…sat/tests}

    (118.7K)

  • 204 res{z3,sidekick-dev}2020/05, Wed the 13, at 3h36:15 GMTdirs {…ick/tests}

    (131.0K)

  • 20646 res{zip-dev}2020/03, Sat the 07, at 23h32:35 GMTdirs {…/Problems}

    (11.300M)

  • 227 res{zip-dev}2020/03, Sat the 07, at 23h26:58 GMTdirs {…rposition}

    (147.4K)

  • 52752 res{z3,mc2-nogc-dev,mc2-dev}2020/03, Tue the 03, at 5h38:38 GMTdirs {…ce/smtlib}

    (36.77M)

  • 52752 res{z3,mc2-nogc-dev,mc2-dev}2020/02, Thu the 27, at 0h22:56 GMTdirs {…ce/smtlib}

    (25.976M)

  • 158 res{z3,mc2-dev}2020/02, Thu the 27, at 0h14:47 GMTdirs {…mc2/tests}

    (163.8K)

  • 198 res{z3,sidekick-dev}2020/02, Fri the 21, at 1h37:38 GMTdirs {…ick/tests}

    (139.2K)

  • 16000 res{z3,sidekick-dev}2020/02, Fri the 21, at 1h24:32 GMTdirs {…rett-jsat}

    (7.286M)

  • 20646 res{zip-dev}2020/02, Wed the 19, at 1h51:54 GMTdirs {…/Problems}

    (11.190M)

  • 198 res1 bad{z3,sidekick-dev}2020/02, Mon the 17, at 18h26:00 GMTdirs {…ick/tests}

    (139.2K)

  • 196 res{z3,sidekick-dev}2020/02, Mon the 17, at 18h17:45 GMTdirs {…ick/tests}

    (139.2K)

  • 16000 res10 bad{z3,sidekick-dev}2020/02, Sat the 15, at 20h38:42 GMTdirs {…rett-jsat}

    (7.315M)

  • 16000 res20 bad{z3,sidekick-dev}2020/02, Sat the 15, at 20h36:11 GMTdirs {…rett-jsat}

    (7.278M)

  • 20646 res{zip-dev}2020/02, Wed the 12, at 23h38:44 GMTdirs {…/Problems}

    (11.169M)

  • 227 res{zip-dev}2020/02, Wed the 12, at 23h38:11 GMTdirs {…rposition}

    (147.4K)

  • 237 res{z3,mc2-nogc-dev,mc2-dev}2020/02, Tue the 11, at 16h16:40 GMTdirs {…mc2/tests}

    (196.6K)

  • 52752 res{z3,mc2-nogc-dev,mc2-dev}2020/02, Mon the 10, at 20h59:26 GMTdirs {…ce/smtlib}

    (25.927M)

  • 20646 res{zip-dev}2020/02, Mon the 10, at 5h08:51 GMTdirs {…/Problems}

    (11.608M)

  • 20646 res{zip-dev}2020/02, Mon the 10, at 2h43:38 GMTdirs {…/Problems}

    (11.591M)

  • 20646 res{zip-dev}2020/02, Mon the 10, at 0h43:13 GMTdirs {…/Problems}

    (11.595M)

  • 20646 res{zip-dev}2020/02, Sat the 08, at 23h12:25 GMTdirs {…/Problems}

    (11.366M)

  • 41292 res24 bad{zip-dev-check,zip-dev}2020/02, Sat the 08, at 17h42:48 GMTdirs {…/Problems}

    (23.904M)

  • 186 res{z3,sidekick-dev}2020/02, Fri the 07, at 17h13:34 GMTdirs {…ick/tests}

    (131.0K)

  • 237 res4 bad{z3,mc2-nogc-dev,mc2-dev}2020/02, Fri the 07, at 15h59:55 GMTdirs {…mc2/tests}

    (188.4K)

  • 41292 res24 bad{zip-dev-check,zip-dev}2020/02, Fri the 07, at 15h28:13 GMTdirs {…/Problems}

    (24.145M)

  • /home/simon/.local/share/benchpress/res-20200207T152727-26a00cbe-5029-4161-b2f6-5600516a52c1.sqlite

    (40.9K)

  • 196 res1 bad{z3,sidekick-dev}2020/01, Sat the 18, at 1h12:02 GMTdirs {…ick/tests}

    (135.1K)

  • 41292 res24 bad{zip-dev-check,zip-dev}2020/01, Wed the 15, at 23h41:40 GMTdirs {…/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)

  • 41292 res1069 bad{zip-dev-check,zip-dev}2020/01, Wed the 15, at 16h48:19 GMTdirs {…/Problems}

    (22.52M)

  • /home/simon/.local/share/benchpress/res-20200115T164744-449c5aab-df0b-4c2b-8ccc-e2d1b435f640.sqlite

    (94.2K)

  • 190 res{z3,sidekick-dev}2020/01, Wed the 15, at 5h01:15 GMTdirs {…ick/tests}

    (135.1K)

  • 16000 res20 bad{z3,sidekick-dev}2020/01, Wed the 15, at 4h53:38 GMTdirs {…rett-jsat}

    (7.311M)

  • 190 res{z3,sidekick-dev}2020/01, Wed the 15, at 4h40:23 GMTdirs {…ick/tests}

    (135.1K)

  • 13300 res{z3,sidekick-dev}2020/01, Wed the 15, at 2h23:40 GMTdirs {…sts/QF_UF}

    (5.505M)

  • 186 res{z3,sidekick-dev}2020/01, Wed the 15, at 2h23:38 GMTdirs {…ick/tests}

    (131.0K)

  • 16000 res97 bad{z3,sidekick-dev}2020/01, Wed the 15, at 2h19:10 GMTdirs {…rett-jsat}

    (7.254M)

  • 16000 res480 bad{z3,sidekick-dev}2019/12, Sat the 28, at 14h53:24 GMTdirs {…rett-jsat}

    (7.249M)

  • /home/simon/.local/share/benchpress/res-20191228T142548-b66098f0-f79b-4e90-a4c8-794322702d7f.sqlite

    (6.520M)

  • 160 res{z3,sidekick-dev}2019/12, Sat the 28, at 14h24:45 GMTdirs {…ick/tests}

    (118.7K)

  • 16000 res154 bad{z3,sidekick-dev}2019/12, Sat the 28, at 13h10:09 GMTdirs {…rett-jsat}

    (7.516M)

  • 150 res8 bad{}2019/12, Wed the 18, at 1h27:25 GMTdirs {…rett-jsat}

    (106.4K)

  • 154 res1 bad{}2019/12, Wed the 18, at 1h14:24 GMTdirs {…ick/tests}

    (131.0K)

  • 144 res1 bad{}2019/12, Tue the 17, at 2h36:09 GMTdirs {…ick/tests}

    (122.8K)

  • 144 res1 bad{}2019/12, Tue the 17, at 2h25:42 GMTdirs {…ick/tests}

    (122.8K)

  • 146 res1 bad{}2019/12, Tue the 17, at 1h16:35 GMTdirs {…ick/tests}

    (122.8K)

  • 156 res{}2019/12, Sat the 14, at 1h51:02 GMTdirs {…ick/tests}

    (122.8K)

  • 74 res{}2019/12, Tue the 10, at 4h49:00 GMTdirs {…ick/tests}

    (69.6K)

  • 231 res2 bad{}2019/12, Tue the 10, at 2h03:16 GMTdirs {…mc2/tests}

    (192.5K)

  • 0 res{}2019/12, Tue the 10, at 1h16:58 GMT

    (40.9K)

  • 0 res{}2019/12, Tue the 10, at 1h10:35 GMT

    (40.9K)

  • 28749 res1 bad{}2019/12, Tue the 10, at 0h47:56 GMTdirs {…ce/smtlib}

    (12.578M)

  • 19166 res{}2019/12, Mon the 09, at 23h33:34 GMTdirs {…ce/smtlib}

    (8.568M)

  • 1 res{}2019/12, Sun the 08, at 1h06:44 GMTdirs {…anoi4.cnf}

    (40.9K)

  • 1 res{}2019/12, Sun the 08, at 1h06:40 GMTdirs {…anoi4.cnf}

    (40.9K)

  • 2 res{}2019/12, Sun the 08, at 1h06:31 GMTdirs {…sts/hanoi}

    (49.1K)

  • 0 res{}2019/12, Sun the 08, at 1h06:16 GMT

    (40.9K)

  • 15 res{}2019/12, Sun the 08, at 0h55:57 GMTdirs {…tests/sat}

    (40.9K)

  • 15 res{}2019/12, Sun the 08, at 0h53:23 GMTdirs {…tests/sat}

    (40.9K)

  • 1 res{}2019/12, Sun the 08, at 0h47:35 GMTdirs {….cvc.smt2}

    (40.9K)

  • 1 res{}2019/12, Sun the 08, at 0h47:17 GMTdirs {….cvc.smt2}

    (40.9K)

  • 15 res{}2019/12, Sun the 08, at 0h32:27 GMTdirs {…tests/sat}

    (40.9K)

  • 15 res{}2019/12, Sun the 08, at 0h09:05 GMTdirs {…tests/sat}

    (40.9K)

  • 15 res{}2019/12, Sun the 08, at 0h04:26 GMTdirs {…tests/sat}

    (40.9K)

  • 53 res3 bad{}2019/12, Mon the 02, at 1h29:05 GMTdirs {tests}

    (49.1K)