detailed results (3102 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1086.smt2 (content) sat sat 0.049s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1084.smt2 (content) sat sat 0.060s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1082.smt2 (content) sat sat 0.047s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1081.smt2 (content) sat sat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1080.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn108.smt2 (content) sat sat 0.051s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1079.smt2 (content) sat sat 0.054s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1078.smt2 (content) sat sat 0.092s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1077.smt2 (content) sat sat 0.096s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1076.smt2 (content) sat sat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1075.smt2 (content) sat sat 0.042s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1072.smt2 (content) sat sat 0.049s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1070.smt2 (content) sat sat 0.048s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn107.smt2 (content) sat sat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1069.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1068.smt2 (content) sat sat 0.055s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1067.smt2 (content) sat sat 0.044s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1066.smt2 (content) sat sat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1065.smt2 (content) sat sat 0.083s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1064.smt2 (content) sat sat 0.139s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1063.smt2 (content) sat sat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1062.smt2 (content) sat sat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1060.smt2 (content) sat sat 0.037s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn106.smt2 (content) sat sat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1059.smt2 (content) sat sat 0.048s