detailed results (3102 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn165.smt2 (content) sat sat 0.042s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn164.smt2 (content) sat sat 0.047s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn163.smt2 (content) sat sat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn162.smt2 (content) sat sat 0.032s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn161.smt2 (content) sat sat 0.050s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn160.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn159.smt2 (content) sat sat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn152.smt2 (content) sat sat 0.033s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn151.smt2 (content) sat sat 0.033s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn150.smt2 (content) sat sat 0.064s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn143.smt2 (content) sat sat 0.038s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn137.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn135.smt2 (content) sat sat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn134.smt2 (content) sat sat 0.054s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn133.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1326.smt2 (content) sat sat 0.030s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1325.smt2 (content) sat sat 0.032s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1321.smt2 (content) sat sat 0.041s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1320.smt2 (content) sat sat 0.034s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn132.smt2 (content) sat sat 0.035s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1319.smt2 (content) sat sat 0.065s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1317.smt2 (content) sat sat 0.028s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1316.smt2 (content) sat sat 0.029s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1315.smt2 (content) sat sat 0.044s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1313.smt2 (content) sat sat 0.026s