detailed results (235 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ndes.t2.c_Iteration3_Loop_7-phaseTemplate.smt2(content)errorsat7.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_7-phaseTemplate.smt2(content)errorunsat7.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_4-phaseTemplate.smt2(content)errorsat8.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_2-pieceTemplate.smt2(content)errorsat9.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration1_Loop_2-pieceTemplate.smt2(content)errorsat7.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/firewire.t2.c_Iteration1_Lasso_6-phaseTemplate.smt2(content)errorsat9.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/eric.t2.c_Iteration1_Lasso_7-phaseTemplate.smt2(content)errorunsat8.7s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/eric.t2.c_Iteration1_Lasso_4-pieceTemplate.smt2(content)errorsat8.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/disj_nightmare.t2.c_Iteration2_Loop_7-phaseTemplate.smt2(content)errorunsat7.7s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/disj_nightmare.t2.c_Iteration2_Loop_3-pieceTemplate.smt2(content)errorsat8.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/byron-2.t2.c_Iteration2_Loop_7-phaseTemplate.smt2(content)errorsat9.8s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/brp_withassume.t2.c_Iteration8_Loop_4-phaseTemplate.smt2(content)errorsat9.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/brp_withassume.t2.c_Iteration8_Loop_3-pieceTemplate.smt2(content)errorsat8.0s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/brp_withassume.t2.c_Iteration1_Loop_2-pieceTemplate.smt2(content)errorsat9.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-06.smt2(content)errorsat3.9s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A08.smt2(content)errorsat5.9s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-8.smt2(content)errorsat5.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-70.smt2(content)errorsat9.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-5.smt2(content)errorsat5.1s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-matrix2x2.pddl.smt2(content)errorsat8.9s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-50.smt2(content)errorsat5.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-40.smt2(content)errorsat9.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-30.smt2(content)errorsat9.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-20.smt2(content)errorsat6.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-100.smt2(content)errorsat8.5s