detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412359/iso_brn704.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412358/iso_brn703.smt2 (content) unsat unsat 0.103s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412358/iso_brn703.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412357/iso_brn702.smt2 (content) unsat unsat 0.075s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412357/iso_brn702.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412356/iso_brn701.smt2 (content) unsat unsat 0.123s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412356/iso_brn701.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412355/iso_brn700.smt2 (content) sat sat 0.134s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412355/iso_brn700.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412354/iso_brn699.smt2 (content) sat sat 0.116s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412354/iso_brn699.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412353/iso_brn698.smt2 (content) sat sat 0.110s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412353/iso_brn698.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412352/iso_brn697.smt2 (content) sat sat 0.083s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412352/iso_brn697.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412351/iso_brn696.smt2 (content) sat sat 0.192s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412351/iso_brn696.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412350/iso_brn695.smt2 (content) unsat unsat 0.278s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412350/iso_brn695.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412349/iso_brn694.smt2 (content) sat sat 0.140s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412349/iso_brn694.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412348/iso_brn693.smt2 (content) sat sat 0.249s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412348/iso_brn693.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412347/iso_brn692.smt2 (content) sat sat 0.194s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412347/iso_brn692.smt2 (content) sat sat 0.034s