detailed results (1611 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh213.cnf(content)satsat0.021s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh212.cnf(content)satsat0.018s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh211.cnf(content)unsatunsat0.018s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh210.cnf(content)satsat0.022s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh209.cnf(content)satsat0.009s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh208.cnf(content)unsatunsat0.017s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh207.cnf(content)satsat0.018s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh206.cnf(content)unsatunsat0.064s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh205.cnf(content)satsat0.018s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh204.cnf(content)satsat0.016s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh203.cnf(content)unsatunsat0.013s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh202.cnf(content)unsatunsat0.014s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh201.cnf(content)satsat0.017s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh20.cnf(content)unsatunsat0.019s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh2.cnf(content)unsatunsat0.017s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh19.cnf(content)unsatunsat0.015s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh18.cnf(content)unsatunsat0.022s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh17.cnf(content)satsat0.012s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh16.cnf(content)unsatunsat0.037s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh15.cnf(content)unsatunsat0.018s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh14.cnf(content)unsatunsat0.011s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh13.cnf(content)unsatunsat0.014s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh12.cnf(content)satsat0.013s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh11.cnf(content)unsatunsat0.018s
sidekick-dev/home/simon/w/sidekick2/tests/jnh/jnh10.cnf(content)unsatunsat0.013s