detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn122.smt2 (content) unsat unsat 0.245s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1214.smt2 (content) unsat unsat 0.558s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1195.smt2 (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1189.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1183.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1159.smt2 (content) unsat unsat 0.101s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1158.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1150.smt2 (content) unsat unsat 0.181s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn115.smt2 (content) unsat unsat 0.585s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1149.smt2 (content) unsat unsat 0.131s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1148.smt2 (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1104.smt2 (content) unsat unsat 0.524s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1103.smt2 (content) unsat unsat 0.501s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1098.smt2 (content) unsat unsat 0.681s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1087.smt2 (content) unsat unsat 0.099s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1085.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1083.smt2 (content) unsat unsat 0.079s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1074.smt2 (content) unsat unsat 0.798s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1073.smt2 (content) unsat unsat 0.635s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1071.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1061.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1057.smt2 (content) unsat unsat 0.190s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1052.smt2 (content) unsat unsat 0.470s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1050.smt2 (content) unsat unsat 0.619s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn105.smt2 (content) unsat unsat 0.253s