detailed results (3222 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick2/tests/dubois/dubois21.cnf(content)unsatunsat0.016s
z3/home/simon/w/sidekick2/tests/dubois/dubois21.cnf(content)unsatunsat0.014s
sidekick-dev/home/simon/w/sidekick2/tests/dubois/dubois20.cnf(content)unsatunsat0.016s
z3/home/simon/w/sidekick2/tests/dubois/dubois20.cnf(content)unsatunsat0.010s
sidekick-dev/home/simon/w/sidekick2/tests/dubois/dubois100.cnf(content)unsatunsat0.042s
z3/home/simon/w/sidekick2/tests/dubois/dubois100.cnf(content)unsatunsat0.022s
sidekick-dev/home/simon/w/sidekick2/tests/bugs/undecided.icnf(content)errorunknown0.011s
z3/home/simon/w/sidekick2/tests/bugs/undecided.icnf(content)errorunknown0.025s
sidekick-dev/home/simon/w/sidekick2/tests/bugs/double_atom.cnf(content)unsatunsat0.009s
z3/home/simon/w/sidekick2/tests/bugs/double_atom.cnf(content)unsatunsat0.010s
sidekick-dev/home/simon/w/sidekick2/tests/bf/bf2670-001.cnf(content)unsatunsat0.021s
z3/home/simon/w/sidekick2/tests/bf/bf2670-001.cnf(content)unsatunsat0.012s
sidekick-dev/home/simon/w/sidekick2/tests/bf/bf1355-638.cnf(content)unsatunsat0.046s
z3/home/simon/w/sidekick2/tests/bf/bf1355-638.cnf(content)unsatunsat0.014s
sidekick-dev/home/simon/w/sidekick2/tests/bf/bf1355-075.cnf(content)unsatunsat0.033s
z3/home/simon/w/sidekick2/tests/bf/bf1355-075.cnf(content)unsatunsat0.019s
sidekick-dev/home/simon/w/sidekick2/tests/bf/bf0432-007.cnf(content)unsatunsat0.054s
z3/home/simon/w/sidekick2/tests/bf/bf0432-007.cnf(content)unsatunsat0.032s
sidekick-dev/home/simon/w/sidekick2/tests/acycl-diamond/acycl_data_20.smt2(content)timeoutunknown12.3s
z3/home/simon/w/sidekick2/tests/acycl-diamond/acycl_data_20.smt2(content)timeoutunknown11.5s
sidekick-dev/home/simon/w/sidekick2/tests/acycl-diamond/acycl_data_15.smt2(content)unsatunsat0.710s
z3/home/simon/w/sidekick2/tests/acycl-diamond/acycl_data_15.smt2(content)unsatunsat0.365s
sidekick-dev/home/simon/w/sidekick2/tests/acycl-diamond/acycl_data_100.smt2(content)unknownunknown10.0s
z3/home/simon/w/sidekick2/tests/acycl-diamond/acycl_data_100.smt2(content)timeoutunknown11.4s
sidekick-dev/home/simon/w/sidekick2/tests/acycl-diamond/acycl_data_10.smt2(content)unsatunsat0.042s