detailed results (3654 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413145/iso_icl207.smt2 (content) unsat unsat 0.078s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413144/iso_icl206.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413143/iso_icl205.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413142/iso_icl204.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413141/iso_icl203.smt2 (content) unsat unsat 0.096s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413140/iso_icl202.smt2 (content) unsat unsat 0.085s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413139/iso_icl201.smt2 (content) unsat unsat 0.121s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413138/iso_icl200.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413137/iso_icl199.smt2 (content) unsat unsat 0.132s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413136/iso_icl198.smt2 (content) unsat unsat 0.145s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413135/iso_icl197.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413134/iso_icl196.smt2 (content) unsat unsat 0.119s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413133/iso_icl195.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413132/iso_icl194.smt2 (content) unsat unsat 0.090s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413131/iso_icl193.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413130/iso_icl192.smt2 (content) unsat unsat 0.088s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413129/iso_icl191.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413128/iso_icl190.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413127/iso_icl189.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413126/iso_icl188.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413125/iso_icl187.smt2 (content) unsat unsat 0.083s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413124/iso_icl186.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413123/iso_icl185.smt2 (content) unsat unsat 0.124s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413122/iso_icl184.smt2 (content) unsat unsat 0.086s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413121/iso_icl183.smt2 (content) unsat unsat 0.077s