detailed results (29 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-095.cnf(content)unsatunknown11.9s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-094.cnf(content)unsatunknown8s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-091.cnf(content)unsatunknown9.9s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-090.cnf(content)unsatunknown4s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-086.cnf(content)unsatunknown9.7s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-084.cnf(content)unsatunknown9.1s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-083.cnf(content)unsatunknown6.6s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-076.cnf(content)unsatunknown6.8s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-073.cnf(content)unsatunknown6.6s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-07.cnf(content)unsatunknown9.9s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-065.cnf(content)unsatunknown6s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-060.cnf(content)unsatunknown7.7s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-06.cnf(content)unsatunknown9.1s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-059.cnf(content)unsatunknown5.5s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-056.cnf(content)unsatunknown10.2s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-055.cnf(content)unsatunknown5.7s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-048.cnf(content)unsatunknown4.4s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-045.cnf(content)unsatunknown8s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-040.cnf(content)unsatunknown4.0s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-038.cnf(content)unsatunknown4.6s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-037.cnf(content)unsatunknown6.9s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-036.cnf(content)unsatunknown8.9s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-029.cnf(content)unsatunknown10.3s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-026.cnf(content)unsatunknown7.4s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-024.cnf(content)unsatunknown7.4s