detailed results (3654 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411567/iso_brn1127.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411566/iso_brn1126.smt2 (content) unsat unsat 0.073s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411564/iso_brn1124.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411562/iso_brn1122.smt2 (content) unsat unsat 0.079s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411561/iso_brn1121.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411555/iso_brn1116.smt2 (content) unsat unsat 0.074s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411552/iso_brn1113.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411546/iso_brn1108.smt2 (content) unsat unsat 0.078s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411545/iso_brn1107.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411543/iso_brn1105.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411534/iso_brn1097.smt2 (content) unsat unsat 0.078s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411531/iso_brn1094.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411530/iso_brn1093.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411529/iso_brn1092.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411526/iso_brn109.smt2 (content) unsat unsat 0.145s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411522/iso_brn1086.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411520/iso_brn1084.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411518/iso_brn1082.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411516/iso_brn1080.smt2 (content) unsat unsat 0.115s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411514/iso_brn1079.smt2 (content) unsat unsat 0.141s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411513/iso_brn1078.smt2 (content) unsat unsat 0.157s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411510/iso_brn1075.smt2 (content) unsat unsat 0.142s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411505/iso_brn1070.smt2 (content) unsat unsat 0.163s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411503/iso_brn1069.smt2 (content) unsat unsat 0.182s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411502/iso_brn1068.smt2 (content) unsat unsat 0.131s