detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411521/iso_brn1085.smt2 (content) sat sat 0.055s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411521/iso_brn1085.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411520/iso_brn1084.smt2 (content) unsat unsat 0.047s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411520/iso_brn1084.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411519/iso_brn1083.smt2 (content) sat sat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411519/iso_brn1083.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411518/iso_brn1082.smt2 (content) unsat unsat 0.082s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411518/iso_brn1082.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411517/iso_brn1081.smt2 (content) sat sat 0.064s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411517/iso_brn1081.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411516/iso_brn1080.smt2 (content) unsat unsat 0.140s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411516/iso_brn1080.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411515/iso_brn108.smt2 (content) sat sat 0.166s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411515/iso_brn108.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411514/iso_brn1079.smt2 (content) unsat unsat 0.162s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411514/iso_brn1079.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411513/iso_brn1078.smt2 (content) unsat unsat 0.194s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411513/iso_brn1078.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411512/iso_brn1077.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411512/iso_brn1077.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411511/iso_brn1076.smt2 (content) sat sat 0.117s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411511/iso_brn1076.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411510/iso_brn1075.smt2 (content) unsat unsat 0.170s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411510/iso_brn1075.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411509/iso_brn1074.smt2 (content) sat sat 0.145s