detailed results (473 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408048/eq_diamond44.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408047/eq_diamond43.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408046/eq_diamond42.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408044/eq_diamond40.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408042/eq_diamond39.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408041/eq_diamond38.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408040/eq_diamond37.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408038/eq_diamond35.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408036/eq_diamond33.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408033/eq_diamond30.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408031/eq_diamond29.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408030/eq_diamond28.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408029/eq_diamond27.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408027/eq_diamond25.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408026/eq_diamond24.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408025/eq_diamond23.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408023/eq_diamond21.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408020/eq_diamond19.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408011/eq_diamond100.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414649/SEQ038_size9.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414648/SEQ038_size8.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414639/SEQ026_size7.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414637/SEQ026_size5.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414614/SEQ010_size9.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414610/SEQ009_size9.smt2 (content) timeout unsat 11s