detailed results (204 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick/tests/sat/test-000.cnf(content)satsat0.026s
z3/home/simon/w/sidekick/tests/sat/test-000.cnf(content)satsat0.026s
sidekick-dev/home/simon/w/sidekick/tests/sat/ssa4.cnf(content)satsat0.096s
z3/home/simon/w/sidekick/tests/sat/ssa4.cnf(content)satsat0.072s
sidekick-dev/home/simon/w/sidekick/tests/sat/ssa3.cnf(content)satsat0.243s
z3/home/simon/w/sidekick/tests/sat/ssa3.cnf(content)satsat0.078s
sidekick-dev/home/simon/w/sidekick/tests/sat/ssa2.cnf(content)satsat0.038s
z3/home/simon/w/sidekick/tests/sat/ssa2.cnf(content)satsat0.011s
sidekick-dev/home/simon/w/sidekick/tests/sat/ssa1.cnf(content)satsat0.286s
z3/home/simon/w/sidekick/tests/sat/ssa1.cnf(content)satsat0.084s
sidekick-dev/home/simon/w/sidekick/tests/sat/iso_brn099.smt2(content)satsat0.226s
z3/home/simon/w/sidekick/tests/sat/iso_brn099.smt2(content)satsat0.032s
sidekick-dev/home/simon/w/sidekick/tests/sat/hanoi4.cnf(content)satsat2.5s
z3/home/simon/w/sidekick/tests/sat/hanoi4.cnf(content)satsat0.104s
sidekick-dev/home/simon/w/sidekick/tests/sat/SEQ050_size4.smt2(content)satsat0.110s
z3/home/simon/w/sidekick/tests/sat/SEQ050_size4.smt2(content)satsat0.057s
sidekick-dev/home/simon/w/sidekick/tests/pigeon/hole9.cnf(content)unsatunsat8s
z3/home/simon/w/sidekick/tests/pigeon/hole9.cnf(content)unsatunsat4.2s
sidekick-dev/home/simon/w/sidekick/tests/pigeon/hole8.cnf(content)unsatunsat2.7s
z3/home/simon/w/sidekick/tests/pigeon/hole8.cnf(content)unsatunsat0.294s
sidekick-dev/home/simon/w/sidekick/tests/pigeon/hole7.cnf(content)unsatunsat0.338s
z3/home/simon/w/sidekick/tests/pigeon/hole7.cnf(content)unsatunsat0.094s
sidekick-dev/home/simon/w/sidekick/tests/pigeon/hole6.cnf(content)unsatunsat0.218s
z3/home/simon/w/sidekick/tests/pigeon/hole6.cnf(content)unsatunsat0.031s
sidekick-dev/home/simon/w/sidekick/tests/pigeon/hole10.cnf(content)unknownunsat11.6s