detailed results (51 total)

proverfileresexpectedtime
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-050.cnf(content)unsatunknown9.7s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-05.cnf(content)unsatunknown8.5s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-049.cnf(content)unsatunknown6.6s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-048.cnf(content)unsatunknown3.6s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-045.cnf(content)unsatunknown5s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-041.cnf(content)unsatunknown7.1s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-040.cnf(content)unsatunknown2.4s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-038.cnf(content)unsatunknown2.4s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-037.cnf(content)unsatunknown4.2s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-036.cnf(content)unsatunknown4.0s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-030.cnf(content)unsatunknown6.1s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-03.cnf(content)unsatunknown8.3s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-029.cnf(content)unsatunknown5.9s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-026.cnf(content)unsatunknown4s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-025.cnf(content)unsatunknown9.2s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-024.cnf(content)unsatunknown8.3s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-023.cnf(content)unsatunknown5.6s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-02.cnf(content)unsatunknown9.2s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-019.cnf(content)unsatunknown8.4s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-018.cnf(content)unsatunknown10.4s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-017.cnf(content)unsatunknown9.5s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-016.cnf(content)unsatunknown5.9s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-015.cnf(content)unsatunknown9.5s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-010.cnf(content)unsatunknown10.7s
z3/home/simon/w/sidekick2/tests/uuf250/uuf250-01.cnf(content)unsatunknown8.8s