detailed results (40 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408024/eq_diamond22.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408022/eq_diamond20.smt2 (content) unknown unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/eq_diamond/408019/eq_diamond18.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414638/SEQ026_size6.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414613/SEQ010_size8.smt2 (content) unknown unsat 10.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414592/iso_icl_repgen_sk007.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414167/iso_icl_repgen_sk012.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414161/iso_icl_repgen_sk006.smt2 (content) unknown unsat 10.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414155/iso_icl_repgen013.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411091/gensys_icl763.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410756/gensys_icl428.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408700/dead_dnd049.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408682/dead_dnd031.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408191/PEQ016_size6.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408190/PEQ016_size5.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408188/PEQ014_size9.smt2 (content) unknown unsat 10.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408185/PEQ014_size10.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408184/PEQ013_size8.smt2 (content) unknown unknown 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408163/PEQ003_size8.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408159/PEQ002_size7.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408158/PEQ002_size6.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408154/NEQ048_size7.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408151/NEQ046_size5.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408150/NEQ046_size4.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/NEQ/408143/NEQ033_size5.smt2 (content) unknown unsat 10.7s