detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412459/iso_brn804.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412458/iso_brn803.smt2 (content) sat sat 0.178s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412458/iso_brn803.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412457/iso_brn802.smt2 (content) unsat unsat 0.147s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412457/iso_brn802.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412456/iso_brn801.smt2 (content) unsat unsat 0.168s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412456/iso_brn801.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412455/iso_brn800.smt2 (content) sat sat 0.088s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412455/iso_brn800.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412454/iso_brn799.smt2 (content) sat sat 0.080s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412454/iso_brn799.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412453/iso_brn798.smt2 (content) unsat unsat 0.161s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412453/iso_brn798.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412452/iso_brn797.smt2 (content) unsat unsat 0.141s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412452/iso_brn797.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412451/iso_brn796.smt2 (content) unsat unsat 0.259s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412451/iso_brn796.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412450/iso_brn795.smt2 (content) sat sat 0.142s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412450/iso_brn795.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412449/iso_brn794.smt2 (content) sat sat 0.191s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412449/iso_brn794.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412448/iso_brn793.smt2 (content) sat sat 0.343s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412448/iso_brn793.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412447/iso_brn792.smt2 (content) sat sat 0.113s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412447/iso_brn792.smt2 (content) sat sat 0.038s