detailed results (3632 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413187/iso_icl249.smt2 (content) unsat unsat 0.096s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413186/iso_icl248.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413185/iso_icl247.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413184/iso_icl246.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413183/iso_icl245.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413182/iso_icl244.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413181/iso_icl243.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413180/iso_icl242.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413179/iso_icl241.smt2 (content) unsat unsat 0.082s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413178/iso_icl240.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413177/iso_icl239.smt2 (content) unsat unsat 0.077s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413176/iso_icl238.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413175/iso_icl237.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413174/iso_icl236.smt2 (content) unsat unsat 0.101s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413173/iso_icl235.smt2 (content) unsat unsat 0.128s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413172/iso_icl234.smt2 (content) unsat unsat 0.086s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413171/iso_icl233.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413170/iso_icl232.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413169/iso_icl231.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413168/iso_icl230.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413167/iso_icl229.smt2 (content) unsat unsat 0.110s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413166/iso_icl228.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413165/iso_icl227.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413164/iso_icl226.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413163/iso_icl225.smt2 (content) unsat unsat 0.067s