detailed results (3654 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411646/iso_brn1199.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411636/iso_brn119.smt2 (content) unsat unsat 0.154s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411633/iso_brn1187.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411628/iso_brn1182.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411627/iso_brn1181.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411626/iso_brn1180.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411623/iso_brn1178.smt2 (content) unsat unsat 0.077s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411622/iso_brn1177.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411620/iso_brn1175.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411619/iso_brn1174.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411617/iso_brn1172.smt2 (content) unsat unsat 0.079s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411614/iso_brn117.smt2 (content) unsat unsat 0.135s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411612/iso_brn1168.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411603/iso_brn116.smt2 (content) unsat unsat 0.111s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411589/iso_brn1147.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411586/iso_brn1144.smt2 (content) unsat unsat 0.073s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411585/iso_brn1143.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411583/iso_brn1141.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411582/iso_brn1140.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411581/iso_brn114.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411580/iso_brn1139.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411578/iso_brn1137.smt2 (content) unsat unsat 0.090s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411576/iso_brn1135.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411575/iso_brn1134.smt2 (content) unsat unsat 0.085s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411570/iso_brn113.smt2 (content) unsat unsat 0.081s