detailed results (186 total)

proverfileresexpectedtime
sidekick-dev/home/simon/workspace/sidekick/tests/sat/test-000.cnf(content)satsat0.019s
z3/home/simon/workspace/sidekick/tests/sat/test-000.cnf(content)satsat0.010s
sidekick-dev/home/simon/workspace/sidekick/tests/sat/ssa4.cnf(content)satsat0.062s
z3/home/simon/workspace/sidekick/tests/sat/ssa4.cnf(content)satsat0.019s
sidekick-dev/home/simon/workspace/sidekick/tests/sat/ssa3.cnf(content)satsat0.047s
z3/home/simon/workspace/sidekick/tests/sat/ssa3.cnf(content)satsat0.014s
sidekick-dev/home/simon/workspace/sidekick/tests/sat/ssa2.cnf(content)satsat0.049s
z3/home/simon/workspace/sidekick/tests/sat/ssa2.cnf(content)satsat0.015s
sidekick-dev/home/simon/workspace/sidekick/tests/sat/ssa1.cnf(content)satsat0.069s
z3/home/simon/workspace/sidekick/tests/sat/ssa1.cnf(content)satsat0.023s
sidekick-dev/home/simon/workspace/sidekick/tests/sat/iso_brn099.smt2(content)satsat0.238s
z3/home/simon/workspace/sidekick/tests/sat/iso_brn099.smt2(content)satsat0.037s
sidekick-dev/home/simon/workspace/sidekick/tests/sat/hanoi4.cnf(content)satsat0.874s
z3/home/simon/workspace/sidekick/tests/sat/hanoi4.cnf(content)satsat0.141s
sidekick-dev/home/simon/workspace/sidekick/tests/sat/SEQ050_size4.smt2(content)satsat0.091s
z3/home/simon/workspace/sidekick/tests/sat/SEQ050_size4.smt2(content)satsat0.046s
sidekick-dev/home/simon/workspace/sidekick/tests/pigeon/hole9.cnf(content)unsatunsat7.7s
z3/home/simon/workspace/sidekick/tests/pigeon/hole9.cnf(content)unsatunsat3.9s
sidekick-dev/home/simon/workspace/sidekick/tests/pigeon/hole8.cnf(content)unsatunsat1.8s
z3/home/simon/workspace/sidekick/tests/pigeon/hole8.cnf(content)unsatunsat0.378s
sidekick-dev/home/simon/workspace/sidekick/tests/pigeon/hole7.cnf(content)unsatunsat0.267s
z3/home/simon/workspace/sidekick/tests/pigeon/hole7.cnf(content)unsatunsat0.114s
sidekick-dev/home/simon/workspace/sidekick/tests/pigeon/hole6.cnf(content)unsatunsat0.052s
z3/home/simon/workspace/sidekick/tests/pigeon/hole6.cnf(content)unsatunsat0.062s
sidekick-dev/home/simon/workspace/sidekick/tests/pigeon/hole10.cnf(content)unknownunsat11.1s