detailed results (3578 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60039.cvc.smt2 (content) sat sat 0.108s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60037.cvc.smt2 (content) sat sat 0.054s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60036.cvc.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60035.cvc.smt2 (content) sat sat 0.088s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60034.cvc.smt2 (content) sat sat 0.125s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60033.cvc.smt2 (content) sat sat 0.159s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60031.cvc.smt2 (content) sat sat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60030.cvc.smt2 (content) sat sat 0.107s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60029.cvc.smt2 (content) sat sat 0.065s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60028.cvc.smt2 (content) sat sat 0.097s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60027.cvc.smt2 (content) sat sat 0.072s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60026.cvc.smt2 (content) sat sat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60024.cvc.smt2 (content) sat sat 0.116s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60023.cvc.smt2 (content) sat sat 0.114s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60022.cvc.smt2 (content) sat sat 0.081s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60020.cvc.smt2 (content) sat sat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60019.cvc.smt2 (content) sat sat 0.185s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60018.cvc.smt2 (content) sat sat 0.153s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60017.cvc.smt2 (content) sat sat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60016.cvc.smt2 (content) sat sat 0.093s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60015.cvc.smt2 (content) sat sat 0.092s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60014.cvc.smt2 (content) sat sat 0.131s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60013.cvc.smt2 (content) sat sat 0.085s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60012.cvc.smt2 (content) sat sat 0.108s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60011.cvc.smt2 (content) sat sat 0.098s