Benchpress

configuration

list of results

  • 2568 res {z3,sidekick-dev} 2022/02, Tue the 08, at 19h19:19 GMT dirs {…/QF_UFLRA}

    (119.9K)

  • 246 res {z3,sidekick-dev} 2022/02, Tue the 08, at 19h12:19 GMT dirs {…ick/tests}

    (22.4K)

  • 2568 res {z3,sidekick-dev} 2022/02, Tue the 08, at 16h13:31 GMT dirs {…/QF_UFLRA}

    (120.0K)

  • 2873 res 2 bad {z3,sidekick-dev} 2022/02, Tue the 08, at 13h04:30 GMT dirs {…ts/QF_LRA}

    (130.3K)

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

    (601.5K)

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

    (22.4K)

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

    (22.3K)

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

    (22.4K)

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

    (149.6K)

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

    (120.3K)

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

    (22.2K)

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

    (121.4K)

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

    (150.0K)

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

    (120.7K)

  • 345 res {z3,sidekick-dev-p,sidekick-dev} 2021/12, Wed the 08, at 1h43:29 GMT dirs {…ick/tests}

    (31.5K)

  • 74 res {z3,sidekick-dev-p,sidekick-dev} 2021/12, Wed the 08, at 1h41:41 GMT dirs {…tests/sat}

    (12.1K)

  • 3296 res {z3,sidekick-dev} 2021/09, Tue the 28, at 13h42:46 GMT dirs {…ts/QF_LRA}

    (138.6K)

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

    (110.7K)

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

    (571.0K)

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

    (577.4K)