root
file
detailed [175..199]
prev
next
detailed results (1284 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.gcd_1_true-unreach-call.i.smt2
(content)
unsat
unsat
0.044s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.for_bounded_loop1_false-unreach-call_true-termination.i.smt2
(content)
sat
sat
0.048s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.fo_test.c_false-unreach-call.i.smt2
(content)
sat
sat
0.053s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.floppy_simpl4_false-unreach-call_true-termination.cil.c.smt2
(content)
sat
sat
0.130s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.floppy_simpl3_false-unreach-call_true-termination.cil.c.smt2
(content)
sat
sat
0.072s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product14_true-unreach-call.cil.c.smt2
(content)
sat
sat
2.0s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_productSimulator_false-unreach-call.cil.c.smt2
(content)
timeout
sat
12.1s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product35_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.210s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product34_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.271s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product33_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.154s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product32_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.327s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product31_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.181s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product30_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.181s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product29_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.163s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product28_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.193s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product27_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.235s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product25_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.176s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product24_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.253s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product23_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.148s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product19_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.194s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product18_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.163s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product17_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.137s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product13_false-unreach-call.cil.c.smt2
(content)
sat
sat
0.257s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_productSimulator_false-unreach-call.cil.c.smt2
(content)
timeout
sat
12.7s
z3
/home/simon/w/sidekick/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product13_true-unreach-call.cil.c.smt2
(content)
unsat
unsat
5.4s