detailed results (40 total)

proverfileresexpectedtime
sidekick-dev/home/simon/workspace/smtlib/QF_UF/eq_diamond/408024/eq_diamond22.smt2(content)unknownunsat10.2s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/eq_diamond/408022/eq_diamond20.smt2(content)unknownunsat10s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/eq_diamond/408019/eq_diamond18.smt2(content)unknownunsat10.5s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/SEQ/414638/SEQ026_size6.smt2(content)unknownunsat10.8s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/SEQ/414613/SEQ010_size8.smt2(content)unknownunsat10.1s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414592/iso_icl_repgen_sk007.smt2(content)unknownunsat10.2s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414167/iso_icl_repgen_sk012.smt2(content)unknownunsat10.6s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414161/iso_icl_repgen_sk006.smt2(content)unknownunsat10.1s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414155/iso_icl_repgen013.smt2(content)unknownunsat10.4s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411091/gensys_icl763.smt2(content)unknownunsat10.7s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410756/gensys_icl428.smt2(content)unknownunsat10.8s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408700/dead_dnd049.smt2(content)unknownunsat10.2s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408682/dead_dnd031.smt2(content)unknownunsat10.2s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/PEQ/408191/PEQ016_size6.smt2(content)unknownunsat10.3s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/PEQ/408190/PEQ016_size5.smt2(content)unknownunsat10.3s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/PEQ/408188/PEQ014_size9.smt2(content)unknownunsat10.1s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/PEQ/408185/PEQ014_size10.smt2(content)unknownunsat10.3s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/PEQ/408184/PEQ013_size8.smt2(content)unknownunknown10s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/PEQ/408163/PEQ003_size8.smt2(content)unknownunsat10.6s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/PEQ/408159/PEQ002_size7.smt2(content)unknownunsat10.9s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/PEQ/408158/PEQ002_size6.smt2(content)unknownunsat10.9s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/NEQ/408154/NEQ048_size7.smt2(content)unknownunsat10.3s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/NEQ/408151/NEQ046_size5.smt2(content)unknownunsat10.5s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/NEQ/408150/NEQ046_size4.smt2(content)unknownunsat10.8s
sidekick-dev/home/simon/workspace/smtlib/QF_UF/NEQ/408143/NEQ033_size5.smt2(content)unknownunsat10.7s