Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3253
Executing tool itstools
Input is Dekker-PT-100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r020-ebro-149436312100213
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Dekker-PT-100-LTLFireability-0
FORMULA_NAME Dekker-PT-100-LTLFireability-1
FORMULA_NAME Dekker-PT-100-LTLFireability-10
FORMULA_NAME Dekker-PT-100-LTLFireability-11
FORMULA_NAME Dekker-PT-100-LTLFireability-12
FORMULA_NAME Dekker-PT-100-LTLFireability-13
FORMULA_NAME Dekker-PT-100-LTLFireability-14
FORMULA_NAME Dekker-PT-100-LTLFireability-15
FORMULA_NAME Dekker-PT-100-LTLFireability-2
FORMULA_NAME Dekker-PT-100-LTLFireability-3
FORMULA_NAME Dekker-PT-100-LTLFireability-4
FORMULA_NAME Dekker-PT-100-LTLFireability-5
FORMULA_NAME Dekker-PT-100-LTLFireability-6
FORMULA_NAME Dekker-PT-100-LTLFireability-7
FORMULA_NAME Dekker-PT-100-LTLFireability-8
FORMULA_NAME Dekker-PT-100-LTLFireability-9

=== Now, execution of the tool begins

BK_START 1496319986274


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(F((F((("flag_1_32>=1")&&("flag_1_76>=1"))&&("p1_76>=1")))U((("flag_1_7>=1")&&("flag_1_86>=1"))&&("p1_86>=1"))))))
Formula 0 simplified : !F(F("flag_1_32>=1" & "flag_1_76>=1" & "p1_76>=1") U ("flag_1_7>=1" & "flag_1_86>=1" & "p1_86>=1"))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 10200 rows 500 cols
invariant : -1'flag_0_44 + 1'p0_44= 0
invariant : 1'flag_0_8 + 1'p1_8 + 1'p3_8= 1
invariant : 1'flag_0_30 + 1'p1_30 + 1'p3_30= 1
invariant : 1'flag_0_84 + 1'p1_84 + 1'p3_84= 1
invariant : 1'flag_0_49 + 1'p1_49 + 1'p349= 1
invariant : -1'flag_0_2 + 1'p0_2= 0
invariant : 1'flag_0_2 + 1'flag_1_2= 1
invariant : -1'flag_0_93 + 1'p0_93= 0
invariant : 1'flag_0_21 + 1'flag_1_21= 1
invariant : 1'flag_0_34 + 1'p1_34 + 1'p3_34= 1
invariant : 1'flag_0_65 + 1'flag_1_65= 1
invariant : 1'flag_0_10 + 1'flag_1_10= 1
invariant : 1'flag_0_1 + 1'p1_1 + 1'p3_1= 1
invariant : 1'flag_0_81 + 1'flag_1_81= 1
invariant : 1'flag_0_69 + 1'p1_69 + 1'p3_69= 1
invariant : 1'flag_0_78 + 1'p1_78 + 1'p3_78= 1
invariant : 1'flag_0_67 + 1'flag_1_67= 1
invariant : 1'flag_0_36 + 1'flag_1_36= 1
invariant : -1'flag_0_92 + 1'p0_92= 0
invariant : 1'flag_0_79 + 1'flag_1_79= 1
invariant : 1'flag_0_27 + 1'flag_1_27= 1
invariant : 1'flag_0_97 + 1'p1_97 + 1'p3_97= 1
invariant : 1'flag_0_70 + 1'p1_70 + 1'p3_70= 1
invariant : -1'flag_0_36 + 1'p0_36= 0
invariant : 1'flag_0_57 + 1'p1_57 + 1'p3_57= 1
invariant : -1'flag_0_75 + 1'p0_75= 0
invariant : 1'flag_0_77 + 1'p1_77 + 1'p3_77= 1
invariant : -1'flag_0_7 + 1'p0_7= 0
invariant : -1'flag_0_52 + 1'p0_52= 0
invariant : -1'flag_0_57 + 1'p0_57= 0
invariant : 1'flag_0_71 + 1'flag_1_71= 1
invariant : 1'flag_0_75 + 1'flag_1_75= 1
invariant : 1'flag_0_76 + 1'p1_76 + 1'p3_76= 1
invariant : -1'flag_0_14 + 1'p0_14= 0
invariant : -1'flag_0_28 + 1'p0_28= 0
invariant : 1'flag_0_92 + 1'p1_92 + 1'p3_92= 1
invariant : -1'flag_0_33 + 1'p0_33= 0
invariant : 1'flag_0_42 + 1'flag_1_42= 1
invariant : 1'flag_0_18 + 1'flag_1_18= 1
invariant : 1'flag_0_71 + 1'p1_71 + 1'p3_71= 1
invariant : 1'flag_0_55 + 1'p1_55 + 1'p3_55= 1
invariant : 1'flag_0_45 + 1'p1_45 + 1'p3_45= 1
invariant : 1'flag_0_32 + 1'flag_1_32= 1
invariant : 1'flag_0_9 + 1'flag_1_9= 1
invariant : 1'flag_0_84 + 1'flag_1_84= 1
invariant : 1'flag_0_18 + 1'p1_18 + 1'p3_18= 1
invariant : 1'flag_0_5 + 1'flag_1_5= 1
invariant : 1'flag_0_13 + 1'flag_1_13= 1
invariant : 1'flag_0_41 + 1'flag_1_41= 1
invariant : 1'flag_0_56 + 1'p1_56 + 1'p3_56= 1
invariant : 1'flag_0_43 + 1'flag_1_43= 1
invariant : 1'flag_0_33 + 1'p1_33 + 1'p3_33= 1
invariant : 1'flag_0_79 + 1'p1_79 + 1'p3_79= 1
invariant : 1'flag_0_48 + 1'flag_1_48= 1
invariant : 1'flag_0_47 + 1'p1_47 + 1'p3_47= 1
invariant : 1'flag_0_17 + 1'p1_17 + 1'p3_17= 1
invariant : 1'flag_0_19 + 1'flag_1_19= 1
invariant : 1'flag_0_68 + 1'p1_68 + 1'p3_68= 1
invariant : -1'flag_0_87 + 1'p0_87= 0
invariant : -1'flag_0_62 + 1'p0_62= 0
invariant : 1'flag_0_17 + 1'flag_1_17= 1
invariant : -1'flag_0_42 + 1'p0_42= 0
invariant : 1'flag_0_14 + 1'p1_14 + 1'p3_14= 1
invariant : -1'flag_0_24 + 1'p0_24= 0
invariant : -1'flag_0_23 + 1'p0_23= 0
invariant : 1'flag_0_67 + 1'p1_67 + 1'p3_67= 1
invariant : 1'flag_0_60 + 1'p1_60 + 1'p3_60= 1
invariant : -1'flag_0_97 + 1'p0_97= 0
invariant : -1'flag_0_72 + 1'p0_72= 0
invariant : 1'flag_0_20 + 1'p1_20 + 1'p3_20= 1
invariant : 1'flag_0_2 + 1'p1_2 + 1'p3_2= 1
invariant : 1'flag_0_73 + 1'flag_1_73= 1
invariant : 1'flag_0_30 + 1'flag_1_30= 1
invariant : 1'flag_0_60 + 1'flag_1_60= 1
invariant : -1'flag_0_90 + 1'p0_90= 0
invariant : 1'flag_0_87 + 1'p1_87 + 1'p3_87= 1
invariant : -1'flag_0_61 + 1'p0_61= 0
invariant : 1'flag_0_39 + 1'p1_39 + 1'p3_39= 1
invariant : 1'flag_0_75 + 1'p1_75 + 1'p3_75= 1
invariant : -1'flag_0_67 + 1'p0_67= 0
invariant : 1'flag_0_80 + 1'p1_80 + 1'p3_80= 1
invariant : 1'flag_0_1 + 1'flag_1_1= 1
invariant : 1'flag_0_98 + 1'flag_1_98= 1
invariant : -1'flag_0_4 + 1'p0_4= 0
invariant : 1'flag_0_11 + 1'flag_1_11= 1
invariant : 1'flag_0_76 + 1'flag_1_76= 1
invariant : 1'flag_0_25 + 1'p1_25 + 1'p3_25= 1
invariant : 1'flag_0_68 + 1'flag_1_68= 1
invariant : 1'flag_0_50 + 1'p1_50 + 1'p3_50= 1
invariant : -1'flag_0_10 + 1'p0_10= 0
invariant : 1'flag_0_31 + 1'flag_1_31= 1
invariant : 1'flag_0_94 + 1'p1_94 + 1'p3_94= 1
invariant : -1'flag_0_71 + 1'p0_71= 0
invariant : -1'flag_0_99 + 1'p0_99= 0
invariant : 1'flag_0_93 + 1'flag_1_93= 1
invariant : -1'flag_0_26 + 1'p0_26= 0
invariant : -1'flag_0_84 + 1'p0_84= 0
invariant : -1'flag_0_50 + 1'p0_50= 0
invariant : -1'flag_0_15 + 1'p0_15= 0
invariant : -1'flag_0_70 + 1'p0_70= 0
invariant : 1'flag_0_37 + 1'p1_37 + 1'p3_37= 1
invariant : -1'flag_0_73 + 1'p0_73= 0
invariant : 1'flag_0_4 + 1'p1_4 + 1'p3_4= 1
invariant : -1'flag_0_78 + 1'p0_78= 0
invariant : 1'flag_0_46 + 1'flag_1_46= 1
invariant : -1'flag_0_86 + 1'p0_86= 0
invariant : 1'flag_0_96 + 1'flag_1_96= 1
invariant : 1'flag_0_3 + 1'flag_1_3= 1
invariant : 1'flag_0_53 + 1'flag_1_53= 1
invariant : 1'flag_0_73 + 1'p1_73 + 1'p3_73= 1
invariant : -1'flag_0_89 + 1'p0_89= 0
invariant : -1'flag_0_59 + 1'p0_59= 0
invariant : -1'flag_0_35 + 1'p0_35= 0
invariant : 1'flag_0_35 + 1'p1_35 + 1'p3_35= 1
invariant : -1'flag_0_79 + 1'p0_79= 0
invariant : 1'flag_0_54 + 1'p1_54 + 1'p3_54= 1
invariant : -1'flag_0_96 + 1'p0_96= 0
invariant : -1'flag_0_82 + 1'p0_82= 0
invariant : 1'flag_0_10 + 1'p1_10 + 1'p3_10= 1
invariant : 1'flag_0_50 + 1'flag_1_50= 1
invariant : 1'flag_0_74 + 1'p1_74 + 1'p3_74= 1
invariant : 1'flag_0_86 + 1'p1_86 + 1'p3_86= 1
invariant : 1'flag_0_22 + 1'flag_1_22= 1
invariant : 1'flag_0_85 + 1'p1_85 + 1'p3_85= 1
invariant : 1'flag_0_34 + 1'flag_1_34= 1
invariant : -1'flag_0_54 + 1'p0_54= 0
invariant : -1'flag_0_69 + 1'p0_69= 0
invariant : 1'flag_0_83 + 1'p1_83 + 1'p3_83= 1
invariant : -1'flag_0_25 + 1'p0_25= 0
invariant : -1'flag_0_32 + 1'p0_32= 0
invariant : -1'flag_0_58 + 1'p0_58= 0
invariant : 1'flag_0_62 + 1'p1_62 + 1'p3_62= 1
invariant : -1'flag_0_12 + 1'p0_12= 0
invariant : -1'flag_0_21 + 1'p0_21= 0
invariant : -1'flag_0_31 + 1'p0_31= 0
invariant : -1'flag_0_34 + 1'p0_34= 0
invariant : 1'flag_0_16 + 1'p1_16 + 1'p3_16= 1
invariant : -1'flag_0_17 + 1'p0_17= 0
invariant : 1'flag_0_53 + 1'p1_53 + 1'p3_53= 1
invariant : 1'flag_0_23 + 1'p1_23 + 1'p3_23= 1
invariant : 1'flag_0_59 + 1'p1_59 + 1'p3_59= 1
invariant : 1'flag_0_72 + 1'p1_72 + 1'p3_72= 1
invariant : 1'flag_0_99 + 1'flag_1_99= 1
invariant : 1'flag_0_28 + 1'flag_1_28= 1
invariant : 1'flag_0_26 + 1'p1_26 + 1'p3_26= 1
invariant : 1'flag_0_37 + 1'flag_1_37= 1
invariant : 1'flag_0_3 + 1'p1_3 + 1'p3_3= 1
invariant : -1'flag_0_38 + 1'p0_38= 0
invariant : -1'flag_0_40 + 1'p0_40= 0
invariant : 1'flag_0_99 + 1'p1_99 + 1'p3_99= 1
invariant : 1'flag_0_89 + 1'p1_89 + 1'p3_89= 1
invariant : 1'flag_0_32 + 1'p1_32 + 1'p3_32= 1
invariant : -1'flag_0_56 + 1'p0_56= 0
invariant : 1'flag_0_82 + 1'p1_82 + 1'p3_82= 1
invariant : -1'flag_0_76 + 1'p0_76= 0
invariant : 1'flag_0_28 + 1'p1_28 + 1'p3_28= 1
invariant : 1'flag_0_47 + 1'flag_1_47= 1
invariant : 1'flag_0_48 + 1'p1_48 + 1'p3_48= 1
invariant : 1'flag_0_95 + 1'flag_1_95= 1
invariant : -1'flag_0_22 + 1'p0_22= 0
invariant : 1'flag_0_56 + 1'flag_1_56= 1
invariant : 1'flag_0_81 + 1'p1_81 + 1'p3_81= 1
invariant : 1'flag_0_20 + 1'flag_1_20= 1
invariant : 1'flag_0_54 + 1'flag_1_54= 1
invariant : -1'flag_0_63 + 1'p0_63= 0
invariant : 1'flag_0_12 + 1'p1_12 + 1'p3_12= 1
invariant : 1'flag_0_44 + 1'p1_44 + 1'p3_44= 1
invariant : 1'flag_0_6 + 1'flag_1_6= 1
invariant : 1'flag_0_88 + 1'flag_1_88= 1
invariant : -1'flag_0_66 + 1'p0_66= 0
invariant : 1'flag_0_97 + 1'flag_1_97= 1
invariant : -1'flag_0_43 + 1'p0_43= 0
invariant : -1'flag_0_47 + 1'p0_47= 0
invariant : 1'flag_0_51 + 1'flag_1_51= 1
invariant : 1'flag_0_14 + 1'flag_1_14= 1
invariant : 1'flag_0_94 + 1'flag_1_94= 1
invariant : 1'flag_0_24 + 1'flag_1_24= 1
invariant : -1'flag_0_85 + 1'p0_85= 0
invariant : -1'flag_0_94 + 1'p0_94= 0
invariant : 1'flag_0_13 + 1'p1_13 + 1'p3_13= 1
invariant : -1'flag_0_0 + 1'p0_0= 0
invariant : -1'flag_0_5 + 1'p0_5= 0
invariant : -1'flag_0_53 + 1'p0_53= 0
invariant : 1'flag_0_61 + 1'flag_1_61= 1
invariant : 1'flag_0_91 + 1'p1_91 + 1'p3_91= 1
invariant : 1'flag_0_85 + 1'flag_1_85= 1
invariant : 1'flag_0_44 + 1'flag_1_44= 1
invariant : -1'flag_0_60 + 1'p0_60= 0
invariant : -1'flag_0_3 + 1'p0_3= 0
invariant : 1'flag_0_0 + 1'p1_0 + 1'p3_0= 1
invariant : 1'flag_0_16 + 1'flag_1_16= 1
invariant : -1'flag_0_8 + 1'p0_8= 0
invariant : -1'flag_0_37 + 1'p0_37= 0
invariant : -1'flag_0_51 + 1'p0_51= 0
invariant : 1'flag_0_7 + 1'p1_7 + 1'p3_7= 1
invariant : 1'flag_0_8 + 1'flag_1_8= 1
invariant : 1'flag_0_11 + 1'p1_11 + 1'p3_11= 1
invariant : 1'flag_0_38 + 1'p1_38 + 1'p3_38= 1
invariant : 1'flag_0_43 + 1'p1_43 + 1'p3_43= 1
invariant : 1'flag_0_42 + 1'p1_42 + 1'p3_42= 1
invariant : 1'flag_0_12 + 1'flag_1_12= 1
invariant : 1'flag_0_91 + 1'flag_1_91= 1
invariant : 1'flag_0_4 + 1'flag_1_4= 1
invariant : -1'flag_0_6 + 1'p0_6= 0
invariant : 1'flag_0_61 + 1'p1_61 + 1'p3_61= 1
invariant : 1'flag_0_21 + 1'p1_21 + 1'p3_21= 1
invariant : -1'flag_0_83 + 1'p0_83= 0
invariant : -1'flag_0_88 + 1'p0_88= 0
invariant : -1'flag_0_30 + 1'p0_30= 0
invariant : 1'flag_0_41 + 1'p1_41 + 1'p3_41= 1
invariant : 1'flag_0_23 + 1'flag_1_23= 1
invariant : 1'flag_0_33 + 1'flag_1_33= 1
invariant : -1'flag_0_95 + 1'p0_95= 0
invariant : 1'flag_0_9 + 1'p1_9 + 1'p3_9= 1
invariant : 1'flag_0_49 + 1'flag_1_49= 1
invariant : -1'flag_0_9 + 1'p0_9= 0
invariant : 1'flag_0_96 + 1'p1_96 + 1'p3_96= 1
invariant : 1'flag_0_36 + 1'p1_36 + 1'p3_36= 1
invariant : 1'flag_0_15 + 1'p1_15 + 1'p3_15= 1
invariant : 1'flag_0_27 + 1'p1_27 + 1'p3_27= 1
invariant : 1'flag_0_0 + 1'flag_1_0= 1
invariant : 1'flag_0_90 + 1'flag_1_90= 1
invariant : 1'flag_0_63 + 1'p1_63 + 1'p3_63= 1
invariant : 1'flag_0_69 + 1'flag_1_69= 1
invariant : 1'flag_0_35 + 1'flag_1_35= 1
invariant : 1'flag_0_77 + 1'flag_1_77= 1
invariant : 1'flag_0_72 + 1'flag_1_72= 1
invariant : 1'flag_0_64 + 1'p1_64 + 1'p3_64= 1
invariant : 1'flag_0_7 + 1'flag_1_7= 1
invariant : 1'flag_0_26 + 1'flag_1_26= 1
invariant : -1'flag_0_16 + 1'p0_16= 0
invariant : 1'flag_0_5 + 1'p1_5 + 1'p3_5= 1
invariant : -1'flag_0_74 + 1'p0_74= 0
invariant : 1'flag_0_29 + 1'flag_1_29= 1
invariant : -1'flag_0_29 + 1'p0_29= 0
invariant : 1'flag_0_59 + 1'flag_1_59= 1
invariant : 1'flag_0_46 + 1'p1_46 + 1'p3_46= 1
invariant : 1'flag_0_90 + 1'p1_90 + 1'p3_90= 1
invariant : -1'flag_0_80 + 1'p0_80= 0
invariant : 1'flag_0_87 + 1'flag_1_87= 1
invariant : 1'flag_0_22 + 1'p1_22 + 1'p3_22= 1
invariant : -1'flag_0_20 + 1'p0_20= 0
invariant : 1'flag_0_62 + 1'flag_1_62= 1
invariant : 1'flag_0_6 + 1'p1_6 + 1'p3_6= 1
invariant : 1'flag_0_98 + 1'p1_98 + 1'p3_98= 1
invariant : -1'flag_0_98 + 1'p0_98= 0
invariant : -1'flag_0_45 + 1'p0_45= 0
invariant : -1'flag_0_48 + 1'p0_48= 0
invariant : 1'flag_0_64 + 1'flag_1_64= 1
invariant : -1'flag_0_49 + 1'p0_49= 0
invariant : 1'flag_0_52 + 1'p1_52 + 1'p3_52= 1
invariant : 1'flag_0_65 + 1'p1_65 + 1'p3_65= 1
invariant : -1'flag_0_68 + 1'p0_68= 0
invariant : 1'flag_0_55 + 1'flag_1_55= 1
invariant : 1'flag_0_58 + 1'flag_1_58= 1
invariant : -1'flag_0_65 + 1'p0_65= 0
invariant : -1'flag_0_39 + 1'p0_39= 0
invariant : 1'flag_0_15 + 1'flag_1_15= 1
invariant : 1'flag_0_86 + 1'flag_1_86= 1
invariant : 1'flag_0_40 + 1'flag_1_40= 1
invariant : 1'flag_0_19 + 1'p1_19 + 1'p3_19= 1
invariant : -1'flag_0_55 + 1'p0_55= 0
invariant : 1'flag_0_38 + 1'flag_1_38= 1
invariant : 1'flag_0_80 + 1'flag_1_80= 1
invariant : 1'flag_0_63 + 1'flag_1_63= 1
invariant : 1'flag_0_74 + 1'flag_1_74= 1
invariant : -1'flag_0_46 + 1'p0_46= 0
invariant : -1'flag_0_19 + 1'p0_19= 0
invariant : 1'flag_0_25 + 1'flag_1_25= 1
invariant : 1'flag_0_70 + 1'flag_1_70= 1
invariant : 1'flag_0_66 + 1'p1_66 + 1'p3_66= 1
invariant : 1'flag_0_83 + 1'flag_1_83= 1
invariant : 1'flag_0_39 + 1'flag_1_39= 1
invariant : -1'flag_0_1 + 1'p0_1= 0
invariant : -1'flag_0_11 + 1'p0_11= 0
invariant : 1'flag_0_57 + 1'flag_1_57= 1
invariant : -1'flag_0_27 + 1'p0_27= 0
invariant : -1'flag_0_18 + 1'p0_18= 0
invariant : 1'flag_0_29 + 1'p1_29 + 1'p3_29= 1
invariant : 1'flag_0_92 + 1'flag_1_92= 1
invariant : -1'flag_0_91 + 1'p0_91= 0
invariant : -1'flag_0_77 + 1'p0_77= 0
invariant : -1'flag_0_64 + 1'p0_64= 0
invariant : 1'flag_0_40 + 1'p1_40 + 1'p3_40= 1
invariant : 1'flag_0_95 + 1'p1_95 + 1'p3_95= 1
invariant : 1'flag_0_31 + 1'p1_31 + 1'p3_31= 1
invariant : 1'flag_0_82 + 1'flag_1_82= 1
invariant : 1'flag_0_78 + 1'flag_1_78= 1
invariant : -1'flag_0_13 + 1'p0_13= 0
invariant : -1'flag_0_81 + 1'p0_81= 0
invariant : 1'flag_0_58 + 1'p1_58 + 1'p3_58= 1
invariant : 1'flag_0_45 + 1'flag_1_45= 1
invariant : 1'flag_0_89 + 1'flag_1_89= 1
invariant : 1'flag_0_24 + 1'p1_24 + 1'p3_24= 1
invariant : -1'flag_0_41 + 1'p0_41= 0
invariant : 1'flag_0_51 + 1'p1_51 + 1'p3_51= 1
invariant : 1'flag_0_52 + 1'flag_1_52= 1
invariant : 1'flag_0_66 + 1'flag_1_66= 1
invariant : 1'flag_0_93 + 1'p1_93 + 1'p3_93= 1
invariant : 1'flag_0_88 + 1'p1_88 + 1'p3_88= 1
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
62709 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,629.997,2797952,1,0,20527,2.17755e+07,19,10212,46706,6.52397e+06,130
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-0 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 1 : !((G(X((F((("flag_1_20>=1")&&("flag_1_43>=1"))&&("p1_43>=1")))U(X((("flag_1_16>=1")&&("flag_1_61>=1"))&&("p1_61>=1")))))))
Formula 1 simplified : !GX(F("flag_1_20>=1" & "flag_1_43>=1" & "p1_43>=1") U X("flag_1_16>=1" & "flag_1_61>=1" & "p1_61>=1"))
5 unique states visited
5 strongly connected components in search stack
5 transitions explored
5 items max in DFS search stack
1474 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,644.753,2801528,1,0,20527,2.17755e+07,69,10212,68532,6.52397e+06,159
an accepting run exists (use option '-e' to print it)
Formula 1 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-1 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 2 : !((G((F(F((("flag_1_54>=1")&&("flag_1_56>=1"))&&("p1_56>=1"))))U(X(X((("flag_1_52>=1")&&("flag_1_87>=1"))&&("p1_52>=1")))))))
Formula 2 simplified : !G(F("flag_1_54>=1" & "flag_1_56>=1" & "p1_56>=1") U XX("flag_1_52>=1" & "flag_1_87>=1" & "p1_52>=1"))
6 unique states visited
6 strongly connected components in search stack
6 transitions explored
6 items max in DFS search stack
315 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,647.914,2801572,1,0,20527,2.17755e+07,113,10212,68562,6.52397e+06,178
an accepting run exists (use option '-e' to print it)
Formula 2 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-2 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 3 : !((X(X(F((("flag_1_10>=1")&&("flag_1_11>=1"))&&("p1_11>=1"))))))
Formula 3 simplified : !XXF("flag_1_10>=1" & "flag_1_11>=1" & "p1_11>=1")
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
21626 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,864.172,3090724,1,0,20527,2.33428e+07,19,10212,46706,7.07128e+06,300
an accepting run exists (use option '-e' to print it)
Formula 3 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-3 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 4 : !((F(F((G((("flag_1_48>=1")&&("flag_1_56>=1"))&&("p1_48>=1")))U(F((("flag_1_49>=1")&&("flag_1_75>=1"))&&("p1_49>=1")))))))
Formula 4 simplified : !F(G("flag_1_48>=1" & "flag_1_56>=1" & "p1_48>=1") U F("flag_1_49>=1" & "flag_1_75>=1" & "p1_49>=1"))
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
28225 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1146.43,3400184,1,0,20527,2.56924e+07,19,10212,46706,7.55311e+06,340
an accepting run exists (use option '-e' to print it)
Formula 4 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-4 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 5 : !(((("flag_1_10>=1")&&("flag_1_91>=1"))&&("p1_91>=1")))
Formula 5 simplified : !("flag_1_10>=1" & "flag_1_91>=1" & "p1_91>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
1181 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1158.24,3400184,1,0,20527,2.56924e+07,40,10212,68511,7.55311e+06,359
an accepting run exists (use option '-e' to print it)
Formula 5 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-5 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 6 : !((F(X(G(("flag_1_88>=1")&&("p3_88>=1"))))))
Formula 6 simplified : !FXG("flag_1_88>=1" & "p3_88>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
19444 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1352.68,3725576,1,0,20527,2.95607e+07,22,10212,46704,8.77663e+06,882
an accepting run exists (use option '-e' to print it)
Formula 6 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-6 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 7 : !((X(G(((("flag_1_24>=1")&&("flag_1_44>=1"))&&("p1_24>=1"))U(X((("flag_1_19>=1")&&("flag_1_73>=1"))&&("p1_19>=1")))))))
Formula 7 simplified : !XG(("flag_1_24>=1" & "flag_1_44>=1" & "p1_24>=1") U X("flag_1_19>=1" & "flag_1_73>=1" & "p1_19>=1"))
5 unique states visited
5 strongly connected components in search stack
6 transitions explored
5 items max in DFS search stack
1521 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1367.9,3725576,1,0,20527,2.95607e+07,56,10212,68518,8.77663e+06,909
an accepting run exists (use option '-e' to print it)
Formula 7 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-7 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 8 : !((F(G(G(X((("flag_1_12>=1")&&("flag_1_22>=1"))&&("p1_22>=1")))))))
Formula 8 simplified : !FGX("flag_1_12>=1" & "flag_1_22>=1" & "p1_22>=1")
2 unique states visited
1 strongly connected components in search stack
3 transitions explored
2 items max in DFS search stack
186 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1369.76,3725576,1,0,20527,2.95607e+07,71,10212,68527,8.77663e+06,917
an accepting run exists (use option '-e' to print it)
Formula 8 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-8 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 9 : !((X((((("flag_1_72>=1")&&("flag_1_78>=1"))&&("p1_78>=1"))U((("flag_1_27>=1")&&("flag_1_87>=1"))&&("p1_87>=1")))U(((("flag_1_73>=1")&&("flag_1_76>=1"))&&("p1_73>=1"))U((("flag_1_51>=1")&&("flag_1_87>=1"))&&("p1_51>=1"))))))
Formula 9 simplified : !X((("flag_1_72>=1" & "flag_1_78>=1" & "p1_78>=1") U ("flag_1_27>=1" & "flag_1_87>=1" & "p1_87>=1")) U (("flag_1_73>=1" & "flag_1_76>=1" & "p1_73>=1") U ("flag_1_51>=1" & "flag_1_87>=1" & "p1_51>=1")))
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
31 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1370.28,3725576,1,0,20527,2.95607e+07,212,10212,68663,8.77663e+06,931
an accepting run exists (use option '-e' to print it)
Formula 9 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-9 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 10 : !((G(G(F(F(X((("flag_1_29>=1")&&("flag_1_36>=1"))&&("p1_29>=1"))))))))
Formula 10 simplified : !GFX("flag_1_29>=1" & "flag_1_36>=1" & "p1_29>=1")
3 unique states visited
3 strongly connected components in search stack
4 transitions explored
3 items max in DFS search stack
177 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1372.04,3725576,1,0,20527,2.95607e+07,231,10212,68672,8.77663e+06,940
an accepting run exists (use option '-e' to print it)
Formula 10 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-10 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 11 : !((G((((("flag_1_87>=1")&&("flag_1_88>=1"))&&("p1_88>=1"))U((("flag_1_3>=1")&&("flag_1_18>=1"))&&("p1_18>=1")))U((("flag_1_14>=1")&&("flag_1_28>=1"))&&("p1_28>=1")))))
Formula 11 simplified : !G((("flag_1_87>=1" & "flag_1_88>=1" & "p1_88>=1") U ("flag_1_3>=1" & "flag_1_18>=1" & "p1_18>=1")) U ("flag_1_14>=1" & "flag_1_28>=1" & "p1_28>=1"))
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
1 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1372.12,3725576,1,0,20527,2.95607e+07,340,10212,68772,8.77663e+06,949
an accepting run exists (use option '-e' to print it)
Formula 11 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 12 : !((X(X(G((("flag_1_50>=1")&&("flag_1_83>=1"))&&("p1_50>=1"))))))
Formula 12 simplified : !XXG("flag_1_50>=1" & "flag_1_83>=1" & "p1_50>=1")
5 unique states visited
5 strongly connected components in search stack
5 transitions explored
5 items max in DFS search stack
4216 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1414.28,3725576,1,0,20527,2.95607e+07,360,10212,68786,8.77663e+06,1457
an accepting run exists (use option '-e' to print it)
Formula 12 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-12 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 13 : !((X(F(X(F((("flag_1_26>=1")&&("flag_1_64>=1"))&&("p1_26>=1")))))))
Formula 13 simplified : !XFXF("flag_1_26>=1" & "flag_1_64>=1" & "p1_26>=1")
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
24364 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1657.92,4119180,1,0,20527,3.22142e+07,19,10212,46706,1.00941e+07,260
an accepting run exists (use option '-e' to print it)
Formula 13 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 14 : !((X(F((("flag_1_91>=1")&&("flag_1_98>=1"))&&("p1_98>=1")))))
Formula 14 simplified : !XF("flag_1_91>=1" & "flag_1_98>=1" & "p1_98>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
14122 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1799.14,4481128,1,0,20527,3.56642e+07,39,10212,67911,1.03096e+07,777
an accepting run exists (use option '-e' to print it)
Formula 14 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-14 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 15 : !((("flag_1_23>=1")&&("p3_23>=1")))
Formula 15 simplified : !("flag_1_23>=1" & "p3_23>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
440 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1803.55,4495204,1,0,20527,3.56704e+07,54,10212,68516,1.0316e+07,789
an accepting run exists (use option '-e' to print it)
Formula 15 is FALSE accepting run found.
FORMULA Dekker-PT-100-LTLFireability-15 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Exit code :0

BK_STOP 1496321838170

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 12:26:28 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 12:26:30 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 1054 ms
Jun 01, 2017 12:26:30 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 500 places.
Jun 01, 2017 12:26:31 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 10200 transitions.
Jun 01, 2017 12:26:34 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 2955 ms
Jun 01, 2017 12:26:34 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 229 ms
Jun 01, 2017 12:26:34 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 1 ms
Jun 01, 2017 12:26:47 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 300 place invariants in 1478 ms
Jun 01, 2017 12:27:24 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 500 variables to be positive in 38165 ms
Jun 01, 2017 12:27:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 10200 transitions.
Jun 01, 2017 12:27:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/10200 took 64 ms. Total solver calls (SAT/UNSAT): 102(1/101)
Jun 01, 2017 12:27:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1/10200 took 10699 ms. Total solver calls (SAT/UNSAT): 10202(101/10101)
Jun 01, 2017 12:27:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/10200 took 13904 ms. Total solver calls (SAT/UNSAT): 10506(301/10205)
Jun 01, 2017 12:27:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/10200 took 17088 ms. Total solver calls (SAT/UNSAT): 10709(500/10209)
Jun 01, 2017 12:27:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/10200 took 20182 ms. Total solver calls (SAT/UNSAT): 10912(699/10213)
Jun 01, 2017 12:27:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/10200 took 23262 ms. Total solver calls (SAT/UNSAT): 11115(898/10217)
Jun 01, 2017 12:27:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/10200 took 26327 ms. Total solver calls (SAT/UNSAT): 11318(1097/10221)
Jun 01, 2017 12:27:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/10200 took 29408 ms. Total solver calls (SAT/UNSAT): 11521(1296/10225)
Jun 01, 2017 12:27:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/10200 took 32488 ms. Total solver calls (SAT/UNSAT): 11724(1495/10229)
Jun 01, 2017 12:28:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/10200 took 35562 ms. Total solver calls (SAT/UNSAT): 11927(1694/10233)
Jun 01, 2017 12:28:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/10200 took 38702 ms. Total solver calls (SAT/UNSAT): 12130(1893/10237)
Jun 01, 2017 12:28:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/10200 took 41863 ms. Total solver calls (SAT/UNSAT): 12333(2092/10241)
Jun 01, 2017 12:28:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :13/10200 took 44946 ms. Total solver calls (SAT/UNSAT): 12536(2291/10245)
Jun 01, 2017 12:28:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/10200 took 48027 ms. Total solver calls (SAT/UNSAT): 12739(2490/10249)
Jun 01, 2017 12:28:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/10200 took 51106 ms. Total solver calls (SAT/UNSAT): 12942(2689/10253)
Jun 01, 2017 12:28:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/10200 took 54191 ms. Total solver calls (SAT/UNSAT): 13145(2888/10257)
Jun 01, 2017 12:28:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/10200 took 57268 ms. Total solver calls (SAT/UNSAT): 13348(3087/10261)
Jun 01, 2017 12:28:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/10200 took 60409 ms. Total solver calls (SAT/UNSAT): 13551(3286/10265)
Jun 01, 2017 12:28:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/10200 took 63545 ms. Total solver calls (SAT/UNSAT): 13754(3485/10269)
Jun 01, 2017 12:28:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/10200 took 66626 ms. Total solver calls (SAT/UNSAT): 13957(3684/10273)
Jun 01, 2017 12:28:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/10200 took 69714 ms. Total solver calls (SAT/UNSAT): 14160(3883/10277)
Jun 01, 2017 12:28:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/10200 took 72800 ms. Total solver calls (SAT/UNSAT): 14363(4082/10281)
Jun 01, 2017 12:28:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/10200 took 75888 ms. Total solver calls (SAT/UNSAT): 14566(4281/10285)
Jun 01, 2017 12:28:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/10200 took 78975 ms. Total solver calls (SAT/UNSAT): 14769(4480/10289)
Jun 01, 2017 12:28:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/10200 took 82063 ms. Total solver calls (SAT/UNSAT): 14972(4679/10293)
Jun 01, 2017 12:28:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/10200 took 85151 ms. Total solver calls (SAT/UNSAT): 15175(4878/10297)
Jun 01, 2017 12:28:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/10200 took 88235 ms. Total solver calls (SAT/UNSAT): 15378(5077/10301)
Jun 01, 2017 12:28:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/10200 took 91327 ms. Total solver calls (SAT/UNSAT): 15581(5276/10305)
Jun 01, 2017 12:28:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/10200 took 94501 ms. Total solver calls (SAT/UNSAT): 15784(5475/10309)
Jun 01, 2017 12:29:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/10200 took 97612 ms. Total solver calls (SAT/UNSAT): 15987(5674/10313)
Jun 01, 2017 12:29:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/10200 took 100694 ms. Total solver calls (SAT/UNSAT): 16190(5873/10317)
Jun 01, 2017 12:29:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/10200 took 103773 ms. Total solver calls (SAT/UNSAT): 16393(6072/10321)
Jun 01, 2017 12:29:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/10200 took 106866 ms. Total solver calls (SAT/UNSAT): 16596(6271/10325)
Jun 01, 2017 12:29:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/10200 took 109968 ms. Total solver calls (SAT/UNSAT): 16799(6470/10329)
Jun 01, 2017 12:29:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/10200 took 113061 ms. Total solver calls (SAT/UNSAT): 17002(6669/10333)
Jun 01, 2017 12:29:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/10200 took 116160 ms. Total solver calls (SAT/UNSAT): 17205(6868/10337)
Jun 01, 2017 12:29:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/10200 took 119254 ms. Total solver calls (SAT/UNSAT): 17408(7067/10341)
Jun 01, 2017 12:29:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/10200 took 122346 ms. Total solver calls (SAT/UNSAT): 17611(7266/10345)
Jun 01, 2017 12:29:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/10200 took 125441 ms. Total solver calls (SAT/UNSAT): 17814(7465/10349)
Jun 01, 2017 12:29:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/10200 took 128533 ms. Total solver calls (SAT/UNSAT): 18017(7664/10353)
Jun 01, 2017 12:29:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/10200 took 131622 ms. Total solver calls (SAT/UNSAT): 18220(7863/10357)
Jun 01, 2017 12:29:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/10200 took 134713 ms. Total solver calls (SAT/UNSAT): 18423(8062/10361)
Jun 01, 2017 12:29:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/10200 took 137803 ms. Total solver calls (SAT/UNSAT): 18626(8261/10365)
Jun 01, 2017 12:29:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/10200 took 140896 ms. Total solver calls (SAT/UNSAT): 18829(8460/10369)
Jun 01, 2017 12:29:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/10200 took 143989 ms. Total solver calls (SAT/UNSAT): 19032(8659/10373)
Jun 01, 2017 12:29:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/10200 took 147058 ms. Total solver calls (SAT/UNSAT): 19235(8858/10377)
Jun 01, 2017 12:29:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/10200 took 150144 ms. Total solver calls (SAT/UNSAT): 19438(9057/10381)
Jun 01, 2017 12:29:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/10200 took 153233 ms. Total solver calls (SAT/UNSAT): 19641(9256/10385)
Jun 01, 2017 12:30:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/10200 took 156330 ms. Total solver calls (SAT/UNSAT): 19844(9455/10389)
Jun 01, 2017 12:30:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/10200 took 159415 ms. Total solver calls (SAT/UNSAT): 20047(9654/10393)
Jun 01, 2017 12:30:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/10200 took 162511 ms. Total solver calls (SAT/UNSAT): 20250(9853/10397)
Jun 01, 2017 12:30:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/10200 took 165607 ms. Total solver calls (SAT/UNSAT): 20453(10052/10401)
Jun 01, 2017 12:30:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/10200 took 168700 ms. Total solver calls (SAT/UNSAT): 20656(10251/10405)
Jun 01, 2017 12:30:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/10200 took 171785 ms. Total solver calls (SAT/UNSAT): 20859(10450/10409)
Jun 01, 2017 12:30:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/10200 took 174864 ms. Total solver calls (SAT/UNSAT): 21062(10649/10413)
Jun 01, 2017 12:30:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/10200 took 177951 ms. Total solver calls (SAT/UNSAT): 21265(10848/10417)
Jun 01, 2017 12:30:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/10200 took 181042 ms. Total solver calls (SAT/UNSAT): 21468(11047/10421)
Jun 01, 2017 12:30:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/10200 took 184115 ms. Total solver calls (SAT/UNSAT): 21671(11246/10425)
Jun 01, 2017 12:30:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/10200 took 187200 ms. Total solver calls (SAT/UNSAT): 21874(11445/10429)
Jun 01, 2017 12:30:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/10200 took 190307 ms. Total solver calls (SAT/UNSAT): 22077(11644/10433)
Jun 01, 2017 12:30:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/10200 took 193413 ms. Total solver calls (SAT/UNSAT): 22280(11843/10437)
Jun 01, 2017 12:30:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/10200 took 196500 ms. Total solver calls (SAT/UNSAT): 22483(12042/10441)
Jun 01, 2017 12:30:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/10200 took 199608 ms. Total solver calls (SAT/UNSAT): 22686(12241/10445)
Jun 01, 2017 12:30:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/10200 took 202711 ms. Total solver calls (SAT/UNSAT): 22889(12440/10449)
Jun 01, 2017 12:30:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/10200 took 205807 ms. Total solver calls (SAT/UNSAT): 23092(12639/10453)
Jun 01, 2017 12:30:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/10200 took 208976 ms. Total solver calls (SAT/UNSAT): 23295(12838/10457)
Jun 01, 2017 12:30:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/10200 took 212084 ms. Total solver calls (SAT/UNSAT): 23498(13037/10461)
Jun 01, 2017 12:30:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/10200 took 215248 ms. Total solver calls (SAT/UNSAT): 23701(13236/10465)
Jun 01, 2017 12:31:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/10200 took 218429 ms. Total solver calls (SAT/UNSAT): 23904(13435/10469)
Jun 01, 2017 12:31:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/10200 took 221603 ms. Total solver calls (SAT/UNSAT): 24107(13634/10473)
Jun 01, 2017 12:31:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/10200 took 224713 ms. Total solver calls (SAT/UNSAT): 24310(13833/10477)
Jun 01, 2017 12:31:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/10200 took 227932 ms. Total solver calls (SAT/UNSAT): 24513(14032/10481)
Jun 01, 2017 12:31:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/10200 took 231084 ms. Total solver calls (SAT/UNSAT): 24716(14231/10485)
Jun 01, 2017 12:31:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/10200 took 234360 ms. Total solver calls (SAT/UNSAT): 24919(14430/10489)
Jun 01, 2017 12:31:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/10200 took 237449 ms. Total solver calls (SAT/UNSAT): 25122(14629/10493)
Jun 01, 2017 12:31:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/10200 took 240554 ms. Total solver calls (SAT/UNSAT): 25325(14828/10497)
Jun 01, 2017 12:31:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/10200 took 243659 ms. Total solver calls (SAT/UNSAT): 25528(15027/10501)
Jun 01, 2017 12:31:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/10200 took 246743 ms. Total solver calls (SAT/UNSAT): 25731(15226/10505)
Jun 01, 2017 12:31:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/10200 took 249892 ms. Total solver calls (SAT/UNSAT): 25934(15425/10509)
Jun 01, 2017 12:31:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/10200 took 253027 ms. Total solver calls (SAT/UNSAT): 26137(15624/10513)
Jun 01, 2017 12:31:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/10200 took 256113 ms. Total solver calls (SAT/UNSAT): 26340(15823/10517)
Jun 01, 2017 12:31:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/10200 took 259203 ms. Total solver calls (SAT/UNSAT): 26543(16022/10521)
Jun 01, 2017 12:31:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/10200 took 262290 ms. Total solver calls (SAT/UNSAT): 26746(16221/10525)
Jun 01, 2017 12:31:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/10200 took 265384 ms. Total solver calls (SAT/UNSAT): 26949(16420/10529)
Jun 01, 2017 12:31:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/10200 took 268470 ms. Total solver calls (SAT/UNSAT): 27152(16619/10533)
Jun 01, 2017 12:31:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/10200 took 271565 ms. Total solver calls (SAT/UNSAT): 27355(16818/10537)
Jun 01, 2017 12:31:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/10200 took 274657 ms. Total solver calls (SAT/UNSAT): 27558(17017/10541)
Jun 01, 2017 12:32:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/10200 took 277736 ms. Total solver calls (SAT/UNSAT): 27761(17216/10545)
Jun 01, 2017 12:32:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/10200 took 280831 ms. Total solver calls (SAT/UNSAT): 27964(17415/10549)
Jun 01, 2017 12:32:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/10200 took 283922 ms. Total solver calls (SAT/UNSAT): 28167(17614/10553)
Jun 01, 2017 12:32:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/10200 took 287011 ms. Total solver calls (SAT/UNSAT): 28370(17813/10557)
Jun 01, 2017 12:32:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/10200 took 290102 ms. Total solver calls (SAT/UNSAT): 28573(18012/10561)
Jun 01, 2017 12:32:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/10200 took 293186 ms. Total solver calls (SAT/UNSAT): 28776(18211/10565)
Jun 01, 2017 12:32:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/10200 took 296279 ms. Total solver calls (SAT/UNSAT): 28979(18410/10569)
Jun 01, 2017 12:32:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/10200 took 299368 ms. Total solver calls (SAT/UNSAT): 29182(18609/10573)
Jun 01, 2017 12:32:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/10200 took 302457 ms. Total solver calls (SAT/UNSAT): 29385(18808/10577)
Jun 01, 2017 12:32:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/10200 took 305540 ms. Total solver calls (SAT/UNSAT): 29588(19007/10581)
Jun 01, 2017 12:32:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/10200 took 308620 ms. Total solver calls (SAT/UNSAT): 29791(19206/10585)
Jun 01, 2017 12:32:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/10200 took 311706 ms. Total solver calls (SAT/UNSAT): 29994(19405/10589)
Jun 01, 2017 12:32:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/10200 took 314885 ms. Total solver calls (SAT/UNSAT): 30197(19604/10593)
Jun 01, 2017 12:32:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/10200 took 317974 ms. Total solver calls (SAT/UNSAT): 30400(19803/10597)
Jun 01, 2017 12:32:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/10200 took 328408 ms. Total solver calls (SAT/UNSAT): 40602(19904/20698)
Jun 01, 2017 12:32:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/10200 took 331534 ms. Total solver calls (SAT/UNSAT): 40906(20104/20802)
Jun 01, 2017 12:32:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/10200 took 334602 ms. Total solver calls (SAT/UNSAT): 41109(20303/20806)
Jun 01, 2017 12:33:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/10200 took 337675 ms. Total solver calls (SAT/UNSAT): 41312(20502/20810)
Jun 01, 2017 12:33:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/10200 took 340751 ms. Total solver calls (SAT/UNSAT): 41515(20701/20814)
Jun 01, 2017 12:33:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/10200 took 343807 ms. Total solver calls (SAT/UNSAT): 41718(20900/20818)
Jun 01, 2017 12:33:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/10200 took 346874 ms. Total solver calls (SAT/UNSAT): 41921(21099/20822)
Jun 01, 2017 12:33:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/10200 took 349951 ms. Total solver calls (SAT/UNSAT): 42124(21298/20826)
Jun 01, 2017 12:33:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/10200 took 353200 ms. Total solver calls (SAT/UNSAT): 42327(21497/20830)
Jun 01, 2017 12:33:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/10200 took 356282 ms. Total solver calls (SAT/UNSAT): 42530(21696/20834)
Jun 01, 2017 12:33:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/10200 took 359412 ms. Total solver calls (SAT/UNSAT): 42733(21895/20838)
Jun 01, 2017 12:33:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/10200 took 362511 ms. Total solver calls (SAT/UNSAT): 42936(22094/20842)
Jun 01, 2017 12:33:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/10200 took 365611 ms. Total solver calls (SAT/UNSAT): 43139(22293/20846)
Jun 01, 2017 12:33:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/10200 took 368746 ms. Total solver calls (SAT/UNSAT): 43342(22492/20850)
Jun 01, 2017 12:33:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/10200 took 371894 ms. Total solver calls (SAT/UNSAT): 43545(22691/20854)
Jun 01, 2017 12:33:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/10200 took 374992 ms. Total solver calls (SAT/UNSAT): 43748(22890/20858)
Jun 01, 2017 12:33:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/10200 took 378076 ms. Total solver calls (SAT/UNSAT): 43951(23089/20862)
Jun 01, 2017 12:33:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/10200 took 381320 ms. Total solver calls (SAT/UNSAT): 44154(23288/20866)
Jun 01, 2017 12:33:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/10200 took 384395 ms. Total solver calls (SAT/UNSAT): 44357(23487/20870)
Jun 01, 2017 12:33:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/10200 took 387480 ms. Total solver calls (SAT/UNSAT): 44560(23686/20874)
Jun 01, 2017 12:33:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/10200 took 390565 ms. Total solver calls (SAT/UNSAT): 44763(23885/20878)
Jun 01, 2017 12:33:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/10200 took 393648 ms. Total solver calls (SAT/UNSAT): 44966(24084/20882)
Jun 01, 2017 12:34:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/10200 took 396806 ms. Total solver calls (SAT/UNSAT): 45169(24283/20886)
Jun 01, 2017 12:34:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/10200 took 399907 ms. Total solver calls (SAT/UNSAT): 45372(24482/20890)
Jun 01, 2017 12:34:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/10200 took 402997 ms. Total solver calls (SAT/UNSAT): 45575(24681/20894)
Jun 01, 2017 12:34:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/10200 took 406084 ms. Total solver calls (SAT/UNSAT): 45778(24880/20898)
Jun 01, 2017 12:34:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/10200 took 409176 ms. Total solver calls (SAT/UNSAT): 45981(25079/20902)
Jun 01, 2017 12:34:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/10200 took 412262 ms. Total solver calls (SAT/UNSAT): 46184(25278/20906)
Jun 01, 2017 12:34:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/10200 took 415504 ms. Total solver calls (SAT/UNSAT): 46387(25477/20910)
Jun 01, 2017 12:34:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/10200 took 418684 ms. Total solver calls (SAT/UNSAT): 46590(25676/20914)
Jun 01, 2017 12:34:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/10200 took 421773 ms. Total solver calls (SAT/UNSAT): 46793(25875/20918)
Jun 01, 2017 12:34:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/10200 took 425035 ms. Total solver calls (SAT/UNSAT): 46996(26074/20922)
Jun 01, 2017 12:34:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/10200 took 428117 ms. Total solver calls (SAT/UNSAT): 47199(26273/20926)
Jun 01, 2017 12:34:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/10200 took 431201 ms. Total solver calls (SAT/UNSAT): 47402(26472/20930)
Jun 01, 2017 12:34:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/10200 took 434280 ms. Total solver calls (SAT/UNSAT): 47605(26671/20934)
Jun 01, 2017 12:34:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/10200 took 437358 ms. Total solver calls (SAT/UNSAT): 47808(26870/20938)
Jun 01, 2017 12:34:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/10200 took 440437 ms. Total solver calls (SAT/UNSAT): 48011(27069/20942)
Jun 01, 2017 12:34:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/10200 took 443526 ms. Total solver calls (SAT/UNSAT): 48214(27268/20946)
Jun 01, 2017 12:34:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/10200 took 446617 ms. Total solver calls (SAT/UNSAT): 48417(27467/20950)
Jun 01, 2017 12:34:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/10200 took 449703 ms. Total solver calls (SAT/UNSAT): 48620(27666/20954)
Jun 01, 2017 12:34:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/10200 took 452791 ms. Total solver calls (SAT/UNSAT): 48823(27865/20958)
Jun 01, 2017 12:35:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/10200 took 455877 ms. Total solver calls (SAT/UNSAT): 49026(28064/20962)
Jun 01, 2017 12:35:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/10200 took 459016 ms. Total solver calls (SAT/UNSAT): 49229(28263/20966)
Jun 01, 2017 12:35:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/10200 took 462126 ms. Total solver calls (SAT/UNSAT): 49432(28462/20970)
Jun 01, 2017 12:35:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/10200 took 465206 ms. Total solver calls (SAT/UNSAT): 49635(28661/20974)
Jun 01, 2017 12:35:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/10200 took 468295 ms. Total solver calls (SAT/UNSAT): 49838(28860/20978)
Jun 01, 2017 12:35:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/10200 took 471410 ms. Total solver calls (SAT/UNSAT): 50041(29059/20982)
Jun 01, 2017 12:35:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/10200 took 474495 ms. Total solver calls (SAT/UNSAT): 50244(29258/20986)
Jun 01, 2017 12:35:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/10200 took 477611 ms. Total solver calls (SAT/UNSAT): 50447(29457/20990)
Jun 01, 2017 12:35:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/10200 took 480700 ms. Total solver calls (SAT/UNSAT): 50650(29656/20994)
Jun 01, 2017 12:35:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/10200 took 483791 ms. Total solver calls (SAT/UNSAT): 50853(29855/20998)
Jun 01, 2017 12:35:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/10200 took 486881 ms. Total solver calls (SAT/UNSAT): 51056(30054/21002)
Jun 01, 2017 12:35:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/10200 took 489970 ms. Total solver calls (SAT/UNSAT): 51259(30253/21006)
Jun 01, 2017 12:35:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/10200 took 493053 ms. Total solver calls (SAT/UNSAT): 51462(30452/21010)
Jun 01, 2017 12:35:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/10200 took 496149 ms. Total solver calls (SAT/UNSAT): 51665(30651/21014)
Jun 01, 2017 12:35:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/10200 took 499237 ms. Total solver calls (SAT/UNSAT): 51868(30850/21018)
Jun 01, 2017 12:35:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/10200 took 502310 ms. Total solver calls (SAT/UNSAT): 52071(31049/21022)
Jun 01, 2017 12:35:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/10200 took 505379 ms. Total solver calls (SAT/UNSAT): 52274(31248/21026)
Jun 01, 2017 12:35:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/10200 took 508460 ms. Total solver calls (SAT/UNSAT): 52477(31447/21030)
Jun 01, 2017 12:35:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/10200 took 511565 ms. Total solver calls (SAT/UNSAT): 52680(31646/21034)
Jun 01, 2017 12:35:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/10200 took 514625 ms. Total solver calls (SAT/UNSAT): 52883(31845/21038)
Jun 01, 2017 12:36:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/10200 took 517690 ms. Total solver calls (SAT/UNSAT): 53086(32044/21042)
Jun 01, 2017 12:36:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/10200 took 520772 ms. Total solver calls (SAT/UNSAT): 53289(32243/21046)
Jun 01, 2017 12:36:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/10200 took 523848 ms. Total solver calls (SAT/UNSAT): 53492(32442/21050)
Jun 01, 2017 12:36:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/10200 took 526931 ms. Total solver calls (SAT/UNSAT): 53695(32641/21054)
Jun 01, 2017 12:36:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/10200 took 530007 ms. Total solver calls (SAT/UNSAT): 53898(32840/21058)
Jun 01, 2017 12:36:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/10200 took 533086 ms. Total solver calls (SAT/UNSAT): 54101(33039/21062)
Jun 01, 2017 12:36:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/10200 took 536150 ms. Total solver calls (SAT/UNSAT): 54304(33238/21066)
Jun 01, 2017 12:36:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/10200 took 539219 ms. Total solver calls (SAT/UNSAT): 54507(33437/21070)
Jun 01, 2017 12:36:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/10200 took 542290 ms. Total solver calls (SAT/UNSAT): 54710(33636/21074)
Jun 01, 2017 12:36:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/10200 took 545359 ms. Total solver calls (SAT/UNSAT): 54913(33835/21078)
Jun 01, 2017 12:36:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/10200 took 548429 ms. Total solver calls (SAT/UNSAT): 55116(34034/21082)
Jun 01, 2017 12:36:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/10200 took 551501 ms. Total solver calls (SAT/UNSAT): 55319(34233/21086)
Jun 01, 2017 12:36:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/10200 took 554561 ms. Total solver calls (SAT/UNSAT): 55522(34432/21090)
Jun 01, 2017 12:36:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/10200 took 557640 ms. Total solver calls (SAT/UNSAT): 55725(34631/21094)
Jun 01, 2017 12:36:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/10200 took 560711 ms. Total solver calls (SAT/UNSAT): 55928(34830/21098)
Jun 01, 2017 12:36:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/10200 took 563769 ms. Total solver calls (SAT/UNSAT): 56131(35029/21102)
Jun 01, 2017 12:36:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/10200 took 566835 ms. Total solver calls (SAT/UNSAT): 56334(35228/21106)
Jun 01, 2017 12:36:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/10200 took 569896 ms. Total solver calls (SAT/UNSAT): 56537(35427/21110)
Jun 01, 2017 12:36:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/10200 took 572976 ms. Total solver calls (SAT/UNSAT): 56740(35626/21114)
Jun 01, 2017 12:37:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/10200 took 576058 ms. Total solver calls (SAT/UNSAT): 56943(35825/21118)
Jun 01, 2017 12:37:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/10200 took 579141 ms. Total solver calls (SAT/UNSAT): 57146(36024/21122)
Jun 01, 2017 12:37:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/10200 took 582221 ms. Total solver calls (SAT/UNSAT): 57349(36223/21126)
Jun 01, 2017 12:37:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/10200 took 585304 ms. Total solver calls (SAT/UNSAT): 57552(36422/21130)
Jun 01, 2017 12:37:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/10200 took 588387 ms. Total solver calls (SAT/UNSAT): 57755(36621/21134)
Jun 01, 2017 12:37:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/10200 took 591466 ms. Total solver calls (SAT/UNSAT): 57958(36820/21138)
Jun 01, 2017 12:37:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/10200 took 594530 ms. Total solver calls (SAT/UNSAT): 58161(37019/21142)
Jun 01, 2017 12:37:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/10200 took 597613 ms. Total solver calls (SAT/UNSAT): 58364(37218/21146)
Jun 01, 2017 12:37:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/10200 took 600689 ms. Total solver calls (SAT/UNSAT): 58567(37417/21150)
Jun 01, 2017 12:37:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/10200 took 603770 ms. Total solver calls (SAT/UNSAT): 58770(37616/21154)
Jun 01, 2017 12:37:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/10200 took 606848 ms. Total solver calls (SAT/UNSAT): 58973(37815/21158)
Jun 01, 2017 12:37:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/10200 took 609992 ms. Total solver calls (SAT/UNSAT): 59176(38014/21162)
Jun 01, 2017 12:37:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/10200 took 613134 ms. Total solver calls (SAT/UNSAT): 59379(38213/21166)
Jun 01, 2017 12:37:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/10200 took 616303 ms. Total solver calls (SAT/UNSAT): 59582(38412/21170)
Jun 01, 2017 12:37:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/10200 took 619416 ms. Total solver calls (SAT/UNSAT): 59785(38611/21174)
Jun 01, 2017 12:37:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/10200 took 622584 ms. Total solver calls (SAT/UNSAT): 59988(38810/21178)
Jun 01, 2017 12:37:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/10200 took 625698 ms. Total solver calls (SAT/UNSAT): 60191(39009/21182)
Jun 01, 2017 12:37:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/10200 took 628858 ms. Total solver calls (SAT/UNSAT): 60394(39208/21186)
Jun 01, 2017 12:37:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/10200 took 631954 ms. Total solver calls (SAT/UNSAT): 60597(39407/21190)
Jun 01, 2017 12:37:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/10200 took 635043 ms. Total solver calls (SAT/UNSAT): 60800(39606/21194)
Jun 01, 2017 12:38:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/10200 took 645757 ms. Total solver calls (SAT/UNSAT): 71002(39707/31295)
Jun 01, 2017 12:38:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/10200 took 648917 ms. Total solver calls (SAT/UNSAT): 71306(39907/31399)
Jun 01, 2017 12:38:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/10200 took 652030 ms. Total solver calls (SAT/UNSAT): 71509(40106/31403)
Jun 01, 2017 12:38:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/10200 took 655131 ms. Total solver calls (SAT/UNSAT): 71712(40305/31407)
Jun 01, 2017 12:38:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/10200 took 658272 ms. Total solver calls (SAT/UNSAT): 71915(40504/31411)
Jun 01, 2017 12:38:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/10200 took 661386 ms. Total solver calls (SAT/UNSAT): 72118(40703/31415)
Jun 01, 2017 12:38:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/10200 took 664483 ms. Total solver calls (SAT/UNSAT): 72321(40902/31419)
Jun 01, 2017 12:38:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/10200 took 667587 ms. Total solver calls (SAT/UNSAT): 72524(41101/31423)
Jun 01, 2017 12:38:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/10200 took 670692 ms. Total solver calls (SAT/UNSAT): 72727(41300/31427)
Jun 01, 2017 12:38:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/10200 took 673796 ms. Total solver calls (SAT/UNSAT): 72930(41499/31431)
Jun 01, 2017 12:38:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/10200 took 676894 ms. Total solver calls (SAT/UNSAT): 73133(41698/31435)
Jun 01, 2017 12:38:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/10200 took 679993 ms. Total solver calls (SAT/UNSAT): 73336(41897/31439)
Jun 01, 2017 12:38:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/10200 took 683088 ms. Total solver calls (SAT/UNSAT): 73539(42096/31443)
Jun 01, 2017 12:38:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/10200 took 686181 ms. Total solver calls (SAT/UNSAT): 73742(42295/31447)
Jun 01, 2017 12:38:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/10200 took 689278 ms. Total solver calls (SAT/UNSAT): 73945(42494/31451)
Jun 01, 2017 12:38:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/10200 took 692375 ms. Total solver calls (SAT/UNSAT): 74148(42693/31455)
Jun 01, 2017 12:39:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/10200 took 695476 ms. Total solver calls (SAT/UNSAT): 74351(42892/31459)
Jun 01, 2017 12:39:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/10200 took 698574 ms. Total solver calls (SAT/UNSAT): 74554(43091/31463)
Jun 01, 2017 12:39:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/10200 took 701664 ms. Total solver calls (SAT/UNSAT): 74757(43290/31467)
Jun 01, 2017 12:39:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/10200 took 704766 ms. Total solver calls (SAT/UNSAT): 74960(43489/31471)
Jun 01, 2017 12:39:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/10200 took 707875 ms. Total solver calls (SAT/UNSAT): 75163(43688/31475)
Jun 01, 2017 12:39:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/10200 took 710976 ms. Total solver calls (SAT/UNSAT): 75366(43887/31479)
Jun 01, 2017 12:39:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/10200 took 714077 ms. Total solver calls (SAT/UNSAT): 75569(44086/31483)
Jun 01, 2017 12:39:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/10200 took 717181 ms. Total solver calls (SAT/UNSAT): 75772(44285/31487)
Jun 01, 2017 12:39:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/10200 took 720283 ms. Total solver calls (SAT/UNSAT): 75975(44484/31491)
Jun 01, 2017 12:39:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/10200 took 723382 ms. Total solver calls (SAT/UNSAT): 76178(44683/31495)
Jun 01, 2017 12:39:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/10200 took 726479 ms. Total solver calls (SAT/UNSAT): 76381(44882/31499)
Jun 01, 2017 12:39:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/10200 took 729573 ms. Total solver calls (SAT/UNSAT): 76584(45081/31503)
Jun 01, 2017 12:39:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/10200 took 732655 ms. Total solver calls (SAT/UNSAT): 76787(45280/31507)
Jun 01, 2017 12:39:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/10200 took 735734 ms. Total solver calls (SAT/UNSAT): 76990(45479/31511)
Jun 01, 2017 12:39:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/10200 took 738805 ms. Total solver calls (SAT/UNSAT): 77193(45678/31515)
Jun 01, 2017 12:39:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/10200 took 741881 ms. Total solver calls (SAT/UNSAT): 77396(45877/31519)
Jun 01, 2017 12:39:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/10200 took 744959 ms. Total solver calls (SAT/UNSAT): 77599(46076/31523)
Jun 01, 2017 12:39:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/10200 took 748041 ms. Total solver calls (SAT/UNSAT): 77802(46275/31527)
Jun 01, 2017 12:39:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/10200 took 751122 ms. Total solver calls (SAT/UNSAT): 78005(46474/31531)
Jun 01, 2017 12:39:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/10200 took 754207 ms. Total solver calls (SAT/UNSAT): 78208(46673/31535)
Jun 01, 2017 12:40:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/10200 took 757291 ms. Total solver calls (SAT/UNSAT): 78411(46872/31539)
Jun 01, 2017 12:40:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/10200 took 760368 ms. Total solver calls (SAT/UNSAT): 78614(47071/31543)
Jun 01, 2017 12:40:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/10200 took 763445 ms. Total solver calls (SAT/UNSAT): 78817(47270/31547)
Jun 01, 2017 12:40:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/10200 took 766519 ms. Total solver calls (SAT/UNSAT): 79020(47469/31551)
Jun 01, 2017 12:40:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/10200 took 769597 ms. Total solver calls (SAT/UNSAT): 79223(47668/31555)
Jun 01, 2017 12:40:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/10200 took 772675 ms. Total solver calls (SAT/UNSAT): 79426(47867/31559)
Jun 01, 2017 12:40:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/10200 took 775755 ms. Total solver calls (SAT/UNSAT): 79629(48066/31563)
Jun 01, 2017 12:40:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/10200 took 778835 ms. Total solver calls (SAT/UNSAT): 79832(48265/31567)
Jun 01, 2017 12:40:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/10200 took 781898 ms. Total solver calls (SAT/UNSAT): 80035(48464/31571)
Jun 01, 2017 12:40:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/10200 took 784972 ms. Total solver calls (SAT/UNSAT): 80238(48663/31575)
Jun 01, 2017 12:40:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/10200 took 788053 ms. Total solver calls (SAT/UNSAT): 80441(48862/31579)
Jun 01, 2017 12:40:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/10200 took 791121 ms. Total solver calls (SAT/UNSAT): 80644(49061/31583)
Jun 01, 2017 12:40:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/10200 took 794188 ms. Total solver calls (SAT/UNSAT): 80847(49260/31587)
Jun 01, 2017 12:40:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/10200 took 797317 ms. Total solver calls (SAT/UNSAT): 81050(49459/31591)
Jun 01, 2017 12:40:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/10200 took 800396 ms. Total solver calls (SAT/UNSAT): 81253(49658/31595)
Jun 01, 2017 12:40:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/10200 took 803588 ms. Total solver calls (SAT/UNSAT): 81456(49857/31599)
Jun 01, 2017 12:40:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/10200 took 806669 ms. Total solver calls (SAT/UNSAT): 81659(50056/31603)
Jun 01, 2017 12:40:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/10200 took 809766 ms. Total solver calls (SAT/UNSAT): 81862(50255/31607)
Jun 01, 2017 12:40:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/10200 took 812920 ms. Total solver calls (SAT/UNSAT): 82065(50454/31611)
Jun 01, 2017 12:41:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/10200 took 816017 ms. Total solver calls (SAT/UNSAT): 82268(50653/31615)
Jun 01, 2017 12:41:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/10200 took 819166 ms. Total solver calls (SAT/UNSAT): 82471(50852/31619)
Jun 01, 2017 12:41:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/10200 took 822231 ms. Total solver calls (SAT/UNSAT): 82674(51051/31623)
Jun 01, 2017 12:41:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/10200 took 825308 ms. Total solver calls (SAT/UNSAT): 82877(51250/31627)
Jun 01, 2017 12:41:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/10200 took 828539 ms. Total solver calls (SAT/UNSAT): 83080(51449/31631)
Jun 01, 2017 12:41:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/10200 took 831615 ms. Total solver calls (SAT/UNSAT): 83283(51648/31635)
Jun 01, 2017 12:41:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/10200 took 834712 ms. Total solver calls (SAT/UNSAT): 83486(51847/31639)
Jun 01, 2017 12:41:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/10200 took 837796 ms. Total solver calls (SAT/UNSAT): 83689(52046/31643)
Jun 01, 2017 12:41:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/10200 took 840865 ms. Total solver calls (SAT/UNSAT): 83892(52245/31647)
Jun 01, 2017 12:41:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/10200 took 844007 ms. Total solver calls (SAT/UNSAT): 84095(52444/31651)
Jun 01, 2017 12:41:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/10200 took 847130 ms. Total solver calls (SAT/UNSAT): 84298(52643/31655)
Jun 01, 2017 12:41:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/10200 took 850267 ms. Total solver calls (SAT/UNSAT): 84501(52842/31659)
Jun 01, 2017 12:41:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/10200 took 853353 ms. Total solver calls (SAT/UNSAT): 84704(53041/31663)
Jun 01, 2017 12:41:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/10200 took 856436 ms. Total solver calls (SAT/UNSAT): 84907(53240/31667)
Jun 01, 2017 12:41:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/10200 took 859512 ms. Total solver calls (SAT/UNSAT): 85110(53439/31671)
Jun 01, 2017 12:41:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/10200 took 862585 ms. Total solver calls (SAT/UNSAT): 85313(53638/31675)
Jun 01, 2017 12:41:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/10200 took 865723 ms. Total solver calls (SAT/UNSAT): 85516(53837/31679)
Jun 01, 2017 12:41:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/10200 took 868861 ms. Total solver calls (SAT/UNSAT): 85719(54036/31683)
Jun 01, 2017 12:41:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/10200 took 871991 ms. Total solver calls (SAT/UNSAT): 85922(54235/31687)
Jun 01, 2017 12:41:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/10200 took 875054 ms. Total solver calls (SAT/UNSAT): 86125(54434/31691)
Jun 01, 2017 12:42:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/10200 took 878117 ms. Total solver calls (SAT/UNSAT): 86328(54633/31695)
Jun 01, 2017 12:42:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/10200 took 881305 ms. Total solver calls (SAT/UNSAT): 86531(54832/31699)
Jun 01, 2017 12:42:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/10200 took 884432 ms. Total solver calls (SAT/UNSAT): 86734(55031/31703)
Jun 01, 2017 12:42:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/10200 took 887488 ms. Total solver calls (SAT/UNSAT): 86937(55230/31707)
Jun 01, 2017 12:42:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/10200 took 890560 ms. Total solver calls (SAT/UNSAT): 87140(55429/31711)
Jun 01, 2017 12:42:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/10200 took 893635 ms. Total solver calls (SAT/UNSAT): 87343(55628/31715)
Jun 01, 2017 12:42:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/10200 took 896692 ms. Total solver calls (SAT/UNSAT): 87546(55827/31719)
Jun 01, 2017 12:42:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/10200 took 899750 ms. Total solver calls (SAT/UNSAT): 87749(56026/31723)
Jun 01, 2017 12:42:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/10200 took 902808 ms. Total solver calls (SAT/UNSAT): 87952(56225/31727)
Jun 01, 2017 12:42:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/10200 took 905870 ms. Total solver calls (SAT/UNSAT): 88155(56424/31731)
Jun 01, 2017 12:42:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/10200 took 908949 ms. Total solver calls (SAT/UNSAT): 88358(56623/31735)
Jun 01, 2017 12:42:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/10200 took 912046 ms. Total solver calls (SAT/UNSAT): 88561(56822/31739)
Jun 01, 2017 12:42:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/10200 took 915098 ms. Total solver calls (SAT/UNSAT): 88764(57021/31743)
Jun 01, 2017 12:42:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/10200 took 918177 ms. Total solver calls (SAT/UNSAT): 88967(57220/31747)
Jun 01, 2017 12:42:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/10200 took 921244 ms. Total solver calls (SAT/UNSAT): 89170(57419/31751)
Jun 01, 2017 12:42:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/10200 took 924303 ms. Total solver calls (SAT/UNSAT): 89373(57618/31755)
Jun 01, 2017 12:42:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/10200 took 927366 ms. Total solver calls (SAT/UNSAT): 89576(57817/31759)
Jun 01, 2017 12:42:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/10200 took 930434 ms. Total solver calls (SAT/UNSAT): 89779(58016/31763)
Jun 01, 2017 12:42:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/10200 took 933508 ms. Total solver calls (SAT/UNSAT): 89982(58215/31767)
Jun 01, 2017 12:43:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/10200 took 936572 ms. Total solver calls (SAT/UNSAT): 90185(58414/31771)
Jun 01, 2017 12:43:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/10200 took 939641 ms. Total solver calls (SAT/UNSAT): 90388(58613/31775)
Jun 01, 2017 12:43:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/10200 took 942709 ms. Total solver calls (SAT/UNSAT): 90591(58812/31779)
Jun 01, 2017 12:43:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/10200 took 945776 ms. Total solver calls (SAT/UNSAT): 90794(59011/31783)
Jun 01, 2017 12:43:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/10200 took 948832 ms. Total solver calls (SAT/UNSAT): 90997(59210/31787)
Jun 01, 2017 12:43:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/10200 took 951880 ms. Total solver calls (SAT/UNSAT): 91200(59409/31791)
Jun 01, 2017 12:43:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/10200 took 962310 ms. Total solver calls (SAT/UNSAT): 101402(59510/41892)
Jun 01, 2017 12:43:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/10200 took 965378 ms. Total solver calls (SAT/UNSAT): 101706(59710/41996)
Jun 01, 2017 12:43:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/10200 took 968357 ms. Total solver calls (SAT/UNSAT): 101909(59909/42000)
Jun 01, 2017 12:43:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/10200 took 971401 ms. Total solver calls (SAT/UNSAT): 102112(60108/42004)
Jun 01, 2017 12:43:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/10200 took 974391 ms. Total solver calls (SAT/UNSAT): 102315(60307/42008)
Jun 01, 2017 12:43:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/10200 took 977426 ms. Total solver calls (SAT/UNSAT): 102518(60506/42012)
Jun 01, 2017 12:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/10200 took 980441 ms. Total solver calls (SAT/UNSAT): 102721(60705/42016)
Jun 01, 2017 12:43:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/10200 took 983497 ms. Total solver calls (SAT/UNSAT): 102924(60904/42020)
Jun 01, 2017 12:43:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/10200 took 986557 ms. Total solver calls (SAT/UNSAT): 103127(61103/42024)
Jun 01, 2017 12:43:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/10200 took 989622 ms. Total solver calls (SAT/UNSAT): 103330(61302/42028)
Jun 01, 2017 12:43:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/10200 took 992765 ms. Total solver calls (SAT/UNSAT): 103533(61501/42032)
Jun 01, 2017 12:44:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/10200 took 995916 ms. Total solver calls (SAT/UNSAT): 103736(61700/42036)
Jun 01, 2017 12:44:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/10200 took 998972 ms. Total solver calls (SAT/UNSAT): 103939(61899/42040)
Jun 01, 2017 12:44:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/10200 took 1002019 ms. Total solver calls (SAT/UNSAT): 104142(62098/42044)
Jun 01, 2017 12:44:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/10200 took 1005066 ms. Total solver calls (SAT/UNSAT): 104345(62297/42048)
Jun 01, 2017 12:44:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/10200 took 1008120 ms. Total solver calls (SAT/UNSAT): 104548(62496/42052)
Jun 01, 2017 12:44:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/10200 took 1011172 ms. Total solver calls (SAT/UNSAT): 104751(62695/42056)
Jun 01, 2017 12:44:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/10200 took 1014292 ms. Total solver calls (SAT/UNSAT): 104954(62894/42060)
Jun 01, 2017 12:44:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/10200 took 1017344 ms. Total solver calls (SAT/UNSAT): 105157(63093/42064)
Jun 01, 2017 12:44:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/10200 took 1020408 ms. Total solver calls (SAT/UNSAT): 105360(63292/42068)
Jun 01, 2017 12:44:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/10200 took 1023469 ms. Total solver calls (SAT/UNSAT): 105563(63491/42072)
Jun 01, 2017 12:44:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/10200 took 1026531 ms. Total solver calls (SAT/UNSAT): 105766(63690/42076)
Jun 01, 2017 12:44:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/10200 took 1029601 ms. Total solver calls (SAT/UNSAT): 105969(63889/42080)
Jun 01, 2017 12:44:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/10200 took 1032672 ms. Total solver calls (SAT/UNSAT): 106172(64088/42084)
Jun 01, 2017 12:44:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/10200 took 1035751 ms. Total solver calls (SAT/UNSAT): 106375(64287/42088)
Jun 01, 2017 12:44:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/10200 took 1038850 ms. Total solver calls (SAT/UNSAT): 106578(64486/42092)
Jun 01, 2017 12:44:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/10200 took 1041935 ms. Total solver calls (SAT/UNSAT): 106781(64685/42096)
Jun 01, 2017 12:44:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/10200 took 1044992 ms. Total solver calls (SAT/UNSAT): 106984(64884/42100)
Jun 01, 2017 12:44:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/10200 took 1048052 ms. Total solver calls (SAT/UNSAT): 107187(65083/42104)
Jun 01, 2017 12:44:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/10200 took 1051116 ms. Total solver calls (SAT/UNSAT): 107390(65282/42108)
Jun 01, 2017 12:44:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :338/10200 took 1054184 ms. Total solver calls (SAT/UNSAT): 107593(65481/42112)
Jun 01, 2017 12:45:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/10200 took 1057246 ms. Total solver calls (SAT/UNSAT): 107796(65680/42116)
Jun 01, 2017 12:45:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/10200 took 1060310 ms. Total solver calls (SAT/UNSAT): 107999(65879/42120)
Jun 01, 2017 12:45:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/10200 took 1063368 ms. Total solver calls (SAT/UNSAT): 108202(66078/42124)
Jun 01, 2017 12:45:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/10200 took 1066426 ms. Total solver calls (SAT/UNSAT): 108405(66277/42128)
Jun 01, 2017 12:45:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/10200 took 1069481 ms. Total solver calls (SAT/UNSAT): 108608(66476/42132)
Jun 01, 2017 12:45:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/10200 took 1072543 ms. Total solver calls (SAT/UNSAT): 108811(66675/42136)
Jun 01, 2017 12:45:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/10200 took 1075601 ms. Total solver calls (SAT/UNSAT): 109014(66874/42140)
Jun 01, 2017 12:45:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/10200 took 1078663 ms. Total solver calls (SAT/UNSAT): 109217(67073/42144)
Jun 01, 2017 12:45:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/10200 took 1081724 ms. Total solver calls (SAT/UNSAT): 109420(67272/42148)
Jun 01, 2017 12:45:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/10200 took 1084787 ms. Total solver calls (SAT/UNSAT): 109623(67471/42152)
Jun 01, 2017 12:45:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/10200 took 1087855 ms. Total solver calls (SAT/UNSAT): 109826(67670/42156)
Jun 01, 2017 12:45:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/10200 took 1090915 ms. Total solver calls (SAT/UNSAT): 110029(67869/42160)
Jun 01, 2017 12:45:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/10200 took 1093977 ms. Total solver calls (SAT/UNSAT): 110232(68068/42164)
Jun 01, 2017 12:45:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/10200 took 1097024 ms. Total solver calls (SAT/UNSAT): 110435(68267/42168)
Jun 01, 2017 12:45:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/10200 took 1100176 ms. Total solver calls (SAT/UNSAT): 110638(68466/42172)
Jun 01, 2017 12:45:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/10200 took 1103232 ms. Total solver calls (SAT/UNSAT): 110841(68665/42176)
Jun 01, 2017 12:45:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/10200 took 1106279 ms. Total solver calls (SAT/UNSAT): 111044(68864/42180)
Jun 01, 2017 12:45:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/10200 took 1109345 ms. Total solver calls (SAT/UNSAT): 111247(69063/42184)
Jun 01, 2017 12:45:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/10200 took 1112414 ms. Total solver calls (SAT/UNSAT): 111450(69262/42188)
Jun 01, 2017 12:46:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/10200 took 1115473 ms. Total solver calls (SAT/UNSAT): 111653(69461/42192)
Jun 01, 2017 12:46:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/10200 took 1118529 ms. Total solver calls (SAT/UNSAT): 111856(69660/42196)
Jun 01, 2017 12:46:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/10200 took 1121588 ms. Total solver calls (SAT/UNSAT): 112059(69859/42200)
Jun 01, 2017 12:46:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/10200 took 1124637 ms. Total solver calls (SAT/UNSAT): 112262(70058/42204)
Jun 01, 2017 12:46:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/10200 took 1127708 ms. Total solver calls (SAT/UNSAT): 112465(70257/42208)
Jun 01, 2017 12:46:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/10200 took 1130815 ms. Total solver calls (SAT/UNSAT): 112668(70456/42212)
Jun 01, 2017 12:46:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/10200 took 1133878 ms. Total solver calls (SAT/UNSAT): 112871(70655/42216)
Jun 01, 2017 12:46:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/10200 took 1136918 ms. Total solver calls (SAT/UNSAT): 113074(70854/42220)
Jun 01, 2017 12:46:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/10200 took 1139967 ms. Total solver calls (SAT/UNSAT): 113277(71053/42224)
Jun 01, 2017 12:46:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/10200 took 1143014 ms. Total solver calls (SAT/UNSAT): 113480(71252/42228)
Jun 01, 2017 12:46:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/10200 took 1146054 ms. Total solver calls (SAT/UNSAT): 113683(71451/42232)
Jun 01, 2017 12:46:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/10200 took 1149086 ms. Total solver calls (SAT/UNSAT): 113886(71650/42236)
Jun 01, 2017 12:46:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/10200 took 1152135 ms. Total solver calls (SAT/UNSAT): 114089(71849/42240)
Jun 01, 2017 12:46:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/10200 took 1155186 ms. Total solver calls (SAT/UNSAT): 114292(72048/42244)
Jun 01, 2017 12:46:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/10200 took 1158310 ms. Total solver calls (SAT/UNSAT): 114495(72247/42248)
Jun 01, 2017 12:46:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/10200 took 1161407 ms. Total solver calls (SAT/UNSAT): 114698(72446/42252)
Jun 01, 2017 12:46:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/10200 took 1164469 ms. Total solver calls (SAT/UNSAT): 114901(72645/42256)
Jun 01, 2017 12:46:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/10200 took 1167521 ms. Total solver calls (SAT/UNSAT): 115104(72844/42260)
Jun 01, 2017 12:46:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/10200 took 1170568 ms. Total solver calls (SAT/UNSAT): 115307(73043/42264)
Jun 01, 2017 12:46:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/10200 took 1173618 ms. Total solver calls (SAT/UNSAT): 115510(73242/42268)
Jun 01, 2017 12:47:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/10200 took 1176666 ms. Total solver calls (SAT/UNSAT): 115713(73441/42272)
Jun 01, 2017 12:47:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/10200 took 1179715 ms. Total solver calls (SAT/UNSAT): 115916(73640/42276)
Jun 01, 2017 12:47:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/10200 took 1182761 ms. Total solver calls (SAT/UNSAT): 116119(73839/42280)
Jun 01, 2017 12:47:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/10200 took 1185796 ms. Total solver calls (SAT/UNSAT): 116322(74038/42284)
Jun 01, 2017 12:47:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/10200 took 1188845 ms. Total solver calls (SAT/UNSAT): 116525(74237/42288)
Jun 01, 2017 12:47:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/10200 took 1191987 ms. Total solver calls (SAT/UNSAT): 116728(74436/42292)
Jun 01, 2017 12:47:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/10200 took 1195020 ms. Total solver calls (SAT/UNSAT): 116931(74635/42296)
Jun 01, 2017 12:47:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/10200 took 1198055 ms. Total solver calls (SAT/UNSAT): 117134(74834/42300)
Jun 01, 2017 12:47:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/10200 took 1201091 ms. Total solver calls (SAT/UNSAT): 117337(75033/42304)
Jun 01, 2017 12:47:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/10200 took 1204145 ms. Total solver calls (SAT/UNSAT): 117540(75232/42308)
Jun 01, 2017 12:47:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/10200 took 1207197 ms. Total solver calls (SAT/UNSAT): 117743(75431/42312)
Jun 01, 2017 12:47:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/10200 took 1210251 ms. Total solver calls (SAT/UNSAT): 117946(75630/42316)
Jun 01, 2017 12:47:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/10200 took 1213303 ms. Total solver calls (SAT/UNSAT): 118149(75829/42320)
Jun 01, 2017 12:47:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/10200 took 1216352 ms. Total solver calls (SAT/UNSAT): 118352(76028/42324)
Jun 01, 2017 12:47:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/10200 took 1219406 ms. Total solver calls (SAT/UNSAT): 118555(76227/42328)
Jun 01, 2017 12:47:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/10200 took 1222457 ms. Total solver calls (SAT/UNSAT): 118758(76426/42332)
Jun 01, 2017 12:47:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/10200 took 1225496 ms. Total solver calls (SAT/UNSAT): 118961(76625/42336)
Jun 01, 2017 12:47:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/10200 took 1228547 ms. Total solver calls (SAT/UNSAT): 119164(76824/42340)
Jun 01, 2017 12:47:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/10200 took 1231597 ms. Total solver calls (SAT/UNSAT): 119367(77023/42344)
Jun 01, 2017 12:47:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/10200 took 1234655 ms. Total solver calls (SAT/UNSAT): 119570(77222/42348)
Jun 01, 2017 12:48:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/10200 took 1237723 ms. Total solver calls (SAT/UNSAT): 119773(77421/42352)
Jun 01, 2017 12:48:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/10200 took 1240823 ms. Total solver calls (SAT/UNSAT): 119976(77620/42356)
Jun 01, 2017 12:48:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/10200 took 1243901 ms. Total solver calls (SAT/UNSAT): 120179(77819/42360)
Jun 01, 2017 12:48:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/10200 took 1247008 ms. Total solver calls (SAT/UNSAT): 120382(78018/42364)
Jun 01, 2017 12:48:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/10200 took 1250071 ms. Total solver calls (SAT/UNSAT): 120585(78217/42368)
Jun 01, 2017 12:48:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/10200 took 1253133 ms. Total solver calls (SAT/UNSAT): 120788(78416/42372)
Jun 01, 2017 12:48:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/10200 took 1256268 ms. Total solver calls (SAT/UNSAT): 120991(78615/42376)
Jun 01, 2017 12:48:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/10200 took 1259407 ms. Total solver calls (SAT/UNSAT): 121194(78814/42380)
Jun 01, 2017 12:48:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/10200 took 1262521 ms. Total solver calls (SAT/UNSAT): 121397(79013/42384)
Jun 01, 2017 12:48:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/10200 took 1265576 ms. Total solver calls (SAT/UNSAT): 121600(79212/42388)
Jun 01, 2017 12:48:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/10200 took 1275971 ms. Total solver calls (SAT/UNSAT): 131802(79313/52489)
Jun 01, 2017 12:48:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/10200 took 1279057 ms. Total solver calls (SAT/UNSAT): 132106(79513/52593)
Jun 01, 2017 12:48:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/10200 took 1282077 ms. Total solver calls (SAT/UNSAT): 132309(79712/52597)
Jun 01, 2017 12:48:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/10200 took 1285087 ms. Total solver calls (SAT/UNSAT): 132512(79911/52601)
Jun 01, 2017 12:48:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/10200 took 1288088 ms. Total solver calls (SAT/UNSAT): 132715(80110/52605)
Jun 01, 2017 12:48:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/10200 took 1291099 ms. Total solver calls (SAT/UNSAT): 132918(80309/52609)
Jun 01, 2017 12:48:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/10200 took 1294118 ms. Total solver calls (SAT/UNSAT): 133121(80508/52613)
Jun 01, 2017 12:49:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/10200 took 1297146 ms. Total solver calls (SAT/UNSAT): 133324(80707/52617)
Jun 01, 2017 12:49:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/10200 took 1300170 ms. Total solver calls (SAT/UNSAT): 133527(80906/52621)
Jun 01, 2017 12:49:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/10200 took 1303184 ms. Total solver calls (SAT/UNSAT): 133730(81105/52625)
Jun 01, 2017 12:49:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/10200 took 1306220 ms. Total solver calls (SAT/UNSAT): 133933(81304/52629)
Jun 01, 2017 12:49:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/10200 took 1309245 ms. Total solver calls (SAT/UNSAT): 134136(81503/52633)
Jun 01, 2017 12:49:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/10200 took 1312273 ms. Total solver calls (SAT/UNSAT): 134339(81702/52637)
Jun 01, 2017 12:49:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/10200 took 1315303 ms. Total solver calls (SAT/UNSAT): 134542(81901/52641)
Jun 01, 2017 12:49:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/10200 took 1318394 ms. Total solver calls (SAT/UNSAT): 134745(82100/52645)
Jun 01, 2017 12:49:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/10200 took 1321408 ms. Total solver calls (SAT/UNSAT): 134948(82299/52649)
Jun 01, 2017 12:49:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/10200 took 1324444 ms. Total solver calls (SAT/UNSAT): 135151(82498/52653)
Jun 01, 2017 12:49:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/10200 took 1327478 ms. Total solver calls (SAT/UNSAT): 135354(82697/52657)
Jun 01, 2017 12:49:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/10200 took 1330494 ms. Total solver calls (SAT/UNSAT): 135557(82896/52661)
Jun 01, 2017 12:49:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/10200 took 1333520 ms. Total solver calls (SAT/UNSAT): 135760(83095/52665)
Jun 01, 2017 12:49:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/10200 took 1336551 ms. Total solver calls (SAT/UNSAT): 135963(83294/52669)
Jun 01, 2017 12:49:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/10200 took 1339572 ms. Total solver calls (SAT/UNSAT): 136166(83493/52673)
Jun 01, 2017 12:49:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/10200 took 1342595 ms. Total solver calls (SAT/UNSAT): 136369(83692/52677)
Jun 01, 2017 12:49:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/10200 took 1345620 ms. Total solver calls (SAT/UNSAT): 136572(83891/52681)
Jun 01, 2017 12:49:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/10200 took 1348653 ms. Total solver calls (SAT/UNSAT): 136775(84090/52685)
Jun 01, 2017 12:49:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/10200 took 1351693 ms. Total solver calls (SAT/UNSAT): 136978(84289/52689)
Jun 01, 2017 12:49:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/10200 took 1354799 ms. Total solver calls (SAT/UNSAT): 137181(84488/52693)
Jun 01, 2017 12:50:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/10200 took 1357851 ms. Total solver calls (SAT/UNSAT): 137384(84687/52697)
Jun 01, 2017 12:50:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/10200 took 1360930 ms. Total solver calls (SAT/UNSAT): 137587(84886/52701)
Jun 01, 2017 12:50:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/10200 took 1364010 ms. Total solver calls (SAT/UNSAT): 137790(85085/52705)
Jun 01, 2017 12:50:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/10200 took 1367094 ms. Total solver calls (SAT/UNSAT): 137993(85284/52709)
Jun 01, 2017 12:50:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/10200 took 1370170 ms. Total solver calls (SAT/UNSAT): 138196(85483/52713)
Jun 01, 2017 12:50:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/10200 took 1373250 ms. Total solver calls (SAT/UNSAT): 138399(85682/52717)
Jun 01, 2017 12:50:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/10200 took 1376331 ms. Total solver calls (SAT/UNSAT): 138602(85881/52721)
Jun 01, 2017 12:50:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/10200 took 1379417 ms. Total solver calls (SAT/UNSAT): 138805(86080/52725)
Jun 01, 2017 12:50:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/10200 took 1382496 ms. Total solver calls (SAT/UNSAT): 139008(86279/52729)
Jun 01, 2017 12:50:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/10200 took 1385605 ms. Total solver calls (SAT/UNSAT): 139211(86478/52733)
Jun 01, 2017 12:50:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/10200 took 1388708 ms. Total solver calls (SAT/UNSAT): 139414(86677/52737)
Jun 01, 2017 12:50:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/10200 took 1391814 ms. Total solver calls (SAT/UNSAT): 139617(86876/52741)
Jun 01, 2017 12:50:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/10200 took 1394903 ms. Total solver calls (SAT/UNSAT): 139820(87075/52745)
Jun 01, 2017 12:50:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/10200 took 1397990 ms. Total solver calls (SAT/UNSAT): 140023(87274/52749)
Jun 01, 2017 12:50:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/10200 took 1401067 ms. Total solver calls (SAT/UNSAT): 140226(87473/52753)
Jun 01, 2017 12:50:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/10200 took 1404140 ms. Total solver calls (SAT/UNSAT): 140429(87672/52757)
Jun 01, 2017 12:50:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/10200 took 1407219 ms. Total solver calls (SAT/UNSAT): 140632(87871/52761)
Jun 01, 2017 12:50:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/10200 took 1410284 ms. Total solver calls (SAT/UNSAT): 140835(88070/52765)
Jun 01, 2017 12:50:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/10200 took 1413365 ms. Total solver calls (SAT/UNSAT): 141038(88269/52769)
Jun 01, 2017 12:51:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/10200 took 1416443 ms. Total solver calls (SAT/UNSAT): 141241(88468/52773)
Jun 01, 2017 12:51:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/10200 took 1419518 ms. Total solver calls (SAT/UNSAT): 141444(88667/52777)
Jun 01, 2017 12:51:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/10200 took 1422579 ms. Total solver calls (SAT/UNSAT): 141647(88866/52781)
Jun 01, 2017 12:51:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/10200 took 1425654 ms. Total solver calls (SAT/UNSAT): 141850(89065/52785)
Jun 01, 2017 12:51:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/10200 took 1428730 ms. Total solver calls (SAT/UNSAT): 142053(89264/52789)
Jun 01, 2017 12:51:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/10200 took 1431809 ms. Total solver calls (SAT/UNSAT): 142256(89463/52793)
Jun 01, 2017 12:51:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/10200 took 1434883 ms. Total solver calls (SAT/UNSAT): 142459(89662/52797)
Jun 01, 2017 12:51:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/10200 took 1437948 ms. Total solver calls (SAT/UNSAT): 142662(89861/52801)
Jun 01, 2017 12:51:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/10200 took 1441027 ms. Total solver calls (SAT/UNSAT): 142865(90060/52805)
Jun 01, 2017 12:51:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/10200 took 1444106 ms. Total solver calls (SAT/UNSAT): 143068(90259/52809)
Jun 01, 2017 12:51:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/10200 took 1447239 ms. Total solver calls (SAT/UNSAT): 143271(90458/52813)
Jun 01, 2017 12:51:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/10200 took 1450314 ms. Total solver calls (SAT/UNSAT): 143474(90657/52817)
Jun 01, 2017 12:51:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/10200 took 1453412 ms. Total solver calls (SAT/UNSAT): 143677(90856/52821)
Jun 01, 2017 12:51:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/10200 took 1456513 ms. Total solver calls (SAT/UNSAT): 143880(91055/52825)
Jun 01, 2017 12:51:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/10200 took 1459596 ms. Total solver calls (SAT/UNSAT): 144083(91254/52829)
Jun 01, 2017 12:51:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/10200 took 1462674 ms. Total solver calls (SAT/UNSAT): 144286(91453/52833)
Jun 01, 2017 12:51:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/10200 took 1465770 ms. Total solver calls (SAT/UNSAT): 144489(91652/52837)
Jun 01, 2017 12:51:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/10200 took 1468856 ms. Total solver calls (SAT/UNSAT): 144692(91851/52841)
Jun 01, 2017 12:51:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/10200 took 1471947 ms. Total solver calls (SAT/UNSAT): 144895(92050/52845)
Jun 01, 2017 12:51:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/10200 took 1475017 ms. Total solver calls (SAT/UNSAT): 145098(92249/52849)
Jun 01, 2017 12:52:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/10200 took 1478161 ms. Total solver calls (SAT/UNSAT): 145301(92448/52853)
Jun 01, 2017 12:52:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/10200 took 1481247 ms. Total solver calls (SAT/UNSAT): 145504(92647/52857)
Jun 01, 2017 12:52:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/10200 took 1484337 ms. Total solver calls (SAT/UNSAT): 145707(92846/52861)
Jun 01, 2017 12:52:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/10200 took 1487421 ms. Total solver calls (SAT/UNSAT): 145910(93045/52865)
Jun 01, 2017 12:52:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/10200 took 1490507 ms. Total solver calls (SAT/UNSAT): 146113(93244/52869)
Jun 01, 2017 12:52:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/10200 took 1493591 ms. Total solver calls (SAT/UNSAT): 146316(93443/52873)
Jun 01, 2017 12:52:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/10200 took 1496677 ms. Total solver calls (SAT/UNSAT): 146519(93642/52877)
Jun 01, 2017 12:52:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/10200 took 1499805 ms. Total solver calls (SAT/UNSAT): 146722(93841/52881)
Jun 01, 2017 12:52:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/10200 took 1502894 ms. Total solver calls (SAT/UNSAT): 146925(94040/52885)
Jun 01, 2017 12:52:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/10200 took 1505979 ms. Total solver calls (SAT/UNSAT): 147128(94239/52889)
Jun 01, 2017 12:52:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/10200 took 1509054 ms. Total solver calls (SAT/UNSAT): 147331(94438/52893)
Jun 01, 2017 12:52:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/10200 took 1512129 ms. Total solver calls (SAT/UNSAT): 147534(94637/52897)
Jun 01, 2017 12:52:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/10200 took 1515208 ms. Total solver calls (SAT/UNSAT): 147737(94836/52901)
Jun 01, 2017 12:52:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/10200 took 1518301 ms. Total solver calls (SAT/UNSAT): 147940(95035/52905)
Jun 01, 2017 12:52:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/10200 took 1521393 ms. Total solver calls (SAT/UNSAT): 148143(95234/52909)
Jun 01, 2017 12:52:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/10200 took 1524483 ms. Total solver calls (SAT/UNSAT): 148346(95433/52913)
Jun 01, 2017 12:52:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/10200 took 1527572 ms. Total solver calls (SAT/UNSAT): 148549(95632/52917)
Jun 01, 2017 12:52:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/10200 took 1530656 ms. Total solver calls (SAT/UNSAT): 148752(95831/52921)
Jun 01, 2017 12:52:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/10200 took 1533741 ms. Total solver calls (SAT/UNSAT): 148955(96030/52925)
Jun 01, 2017 12:53:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/10200 took 1536828 ms. Total solver calls (SAT/UNSAT): 149158(96229/52929)
Jun 01, 2017 12:53:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/10200 took 1539898 ms. Total solver calls (SAT/UNSAT): 149361(96428/52933)
Jun 01, 2017 12:53:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/10200 took 1542982 ms. Total solver calls (SAT/UNSAT): 149564(96627/52937)
Jun 01, 2017 12:53:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/10200 took 1546066 ms. Total solver calls (SAT/UNSAT): 149767(96826/52941)
Jun 01, 2017 12:53:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/10200 took 1549147 ms. Total solver calls (SAT/UNSAT): 149970(97025/52945)
Jun 01, 2017 12:53:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/10200 took 1552232 ms. Total solver calls (SAT/UNSAT): 150173(97224/52949)
Jun 01, 2017 12:53:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/10200 took 1555323 ms. Total solver calls (SAT/UNSAT): 150376(97423/52953)
Jun 01, 2017 12:53:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/10200 took 1558408 ms. Total solver calls (SAT/UNSAT): 150579(97622/52957)
Jun 01, 2017 12:53:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/10200 took 1561531 ms. Total solver calls (SAT/UNSAT): 150782(97821/52961)
Jun 01, 2017 12:53:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/10200 took 1564597 ms. Total solver calls (SAT/UNSAT): 150985(98020/52965)
Jun 01, 2017 12:53:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/10200 took 1567676 ms. Total solver calls (SAT/UNSAT): 151188(98219/52969)
Jun 01, 2017 12:53:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/10200 took 1570746 ms. Total solver calls (SAT/UNSAT): 151391(98418/52973)
Jun 01, 2017 12:53:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/10200 took 1573811 ms. Total solver calls (SAT/UNSAT): 151594(98617/52977)
Jun 01, 2017 12:53:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/10200 took 1576878 ms. Total solver calls (SAT/UNSAT): 151797(98816/52981)
Jun 01, 2017 12:53:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/10200 took 1579946 ms. Total solver calls (SAT/UNSAT): 152000(99015/52985)
Jun 01, 2017 12:53:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/10200 took 1590314 ms. Total solver calls (SAT/UNSAT): 162202(99116/63086)
Jun 01, 2017 12:53:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/10200 took 1593451 ms. Total solver calls (SAT/UNSAT): 162506(99316/63190)
Jun 01, 2017 12:54:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/10200 took 1596495 ms. Total solver calls (SAT/UNSAT): 162709(99515/63194)
Jun 01, 2017 12:54:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/10200 took 1599551 ms. Total solver calls (SAT/UNSAT): 162912(99714/63198)
Jun 01, 2017 12:54:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/10200 took 1602614 ms. Total solver calls (SAT/UNSAT): 163115(99913/63202)
Jun 01, 2017 12:54:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/10200 took 1605676 ms. Total solver calls (SAT/UNSAT): 163318(100112/63206)
Jun 01, 2017 12:54:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/10200 took 1608744 ms. Total solver calls (SAT/UNSAT): 163521(100311/63210)
Jun 01, 2017 12:54:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/10200 took 1611852 ms. Total solver calls (SAT/UNSAT): 163724(100510/63214)
Jun 01, 2017 12:54:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/10200 took 1614921 ms. Total solver calls (SAT/UNSAT): 163927(100709/63218)
Jun 01, 2017 12:54:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/10200 took 1617992 ms. Total solver calls (SAT/UNSAT): 164130(100908/63222)
Jun 01, 2017 12:54:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/10200 took 1621056 ms. Total solver calls (SAT/UNSAT): 164333(101107/63226)
Jun 01, 2017 12:54:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/10200 took 1624118 ms. Total solver calls (SAT/UNSAT): 164536(101306/63230)
Jun 01, 2017 12:54:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/10200 took 1627179 ms. Total solver calls (SAT/UNSAT): 164739(101505/63234)
Jun 01, 2017 12:54:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/10200 took 1630244 ms. Total solver calls (SAT/UNSAT): 164942(101704/63238)
Jun 01, 2017 12:54:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/10200 took 1633308 ms. Total solver calls (SAT/UNSAT): 165145(101903/63242)
Jun 01, 2017 12:54:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/10200 took 1636371 ms. Total solver calls (SAT/UNSAT): 165348(102102/63246)
Jun 01, 2017 12:54:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/10200 took 1639432 ms. Total solver calls (SAT/UNSAT): 165551(102301/63250)
Jun 01, 2017 12:54:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/10200 took 1642496 ms. Total solver calls (SAT/UNSAT): 165754(102500/63254)
Jun 01, 2017 12:54:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/10200 took 1645544 ms. Total solver calls (SAT/UNSAT): 165957(102699/63258)
Jun 01, 2017 12:54:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/10200 took 1648602 ms. Total solver calls (SAT/UNSAT): 166160(102898/63262)
Jun 01, 2017 12:54:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/10200 took 1651664 ms. Total solver calls (SAT/UNSAT): 166363(103097/63266)
Jun 01, 2017 12:54:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/10200 took 1654728 ms. Total solver calls (SAT/UNSAT): 166566(103296/63270)
Jun 01, 2017 12:55:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/10200 took 1657788 ms. Total solver calls (SAT/UNSAT): 166769(103495/63274)
Jun 01, 2017 12:55:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/10200 took 1660851 ms. Total solver calls (SAT/UNSAT): 166972(103694/63278)
Jun 01, 2017 12:55:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/10200 took 1663976 ms. Total solver calls (SAT/UNSAT): 167175(103893/63282)
Jun 01, 2017 12:55:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/10200 took 1667055 ms. Total solver calls (SAT/UNSAT): 167378(104092/63286)
Jun 01, 2017 12:55:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/10200 took 1670134 ms. Total solver calls (SAT/UNSAT): 167581(104291/63290)
Jun 01, 2017 12:55:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/10200 took 1673213 ms. Total solver calls (SAT/UNSAT): 167784(104490/63294)
Jun 01, 2017 12:55:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/10200 took 1676295 ms. Total solver calls (SAT/UNSAT): 167987(104689/63298)
Jun 01, 2017 12:55:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/10200 took 1679380 ms. Total solver calls (SAT/UNSAT): 168190(104888/63302)
Jun 01, 2017 12:55:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/10200 took 1682469 ms. Total solver calls (SAT/UNSAT): 168393(105087/63306)
Jun 01, 2017 12:55:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/10200 took 1685555 ms. Total solver calls (SAT/UNSAT): 168596(105286/63310)
Jun 01, 2017 12:55:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/10200 took 1688638 ms. Total solver calls (SAT/UNSAT): 168799(105485/63314)
Jun 01, 2017 12:55:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/10200 took 1691725 ms. Total solver calls (SAT/UNSAT): 169002(105684/63318)
Jun 01, 2017 12:55:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/10200 took 1694809 ms. Total solver calls (SAT/UNSAT): 169205(105883/63322)
Jun 01, 2017 12:55:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/10200 took 1697890 ms. Total solver calls (SAT/UNSAT): 169408(106082/63326)
Jun 01, 2017 12:55:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/10200 took 1700974 ms. Total solver calls (SAT/UNSAT): 169611(106281/63330)
Jun 01, 2017 12:55:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/10200 took 1704062 ms. Total solver calls (SAT/UNSAT): 169814(106480/63334)
Jun 01, 2017 12:55:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/10200 took 1707154 ms. Total solver calls (SAT/UNSAT): 170017(106679/63338)
Jun 01, 2017 12:55:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/10200 took 1710244 ms. Total solver calls (SAT/UNSAT): 170220(106878/63342)
Jun 01, 2017 12:55:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/10200 took 1713331 ms. Total solver calls (SAT/UNSAT): 170423(107077/63346)
Jun 01, 2017 12:56:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/10200 took 1716419 ms. Total solver calls (SAT/UNSAT): 170626(107276/63350)
Jun 01, 2017 12:56:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/10200 took 1719507 ms. Total solver calls (SAT/UNSAT): 170829(107475/63354)
Jun 01, 2017 12:56:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/10200 took 1722592 ms. Total solver calls (SAT/UNSAT): 171032(107674/63358)
Jun 01, 2017 12:56:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/10200 took 1725666 ms. Total solver calls (SAT/UNSAT): 171235(107873/63362)
Jun 01, 2017 12:56:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/10200 took 1728755 ms. Total solver calls (SAT/UNSAT): 171438(108072/63366)
Jun 01, 2017 12:56:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/10200 took 1731843 ms. Total solver calls (SAT/UNSAT): 171641(108271/63370)
Jun 01, 2017 12:56:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/10200 took 1734934 ms. Total solver calls (SAT/UNSAT): 171844(108470/63374)
Jun 01, 2017 12:56:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/10200 took 1738072 ms. Total solver calls (SAT/UNSAT): 172047(108669/63378)
Jun 01, 2017 12:56:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/10200 took 1741216 ms. Total solver calls (SAT/UNSAT): 172250(108868/63382)
Jun 01, 2017 12:56:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/10200 took 1744301 ms. Total solver calls (SAT/UNSAT): 172453(109067/63386)
Jun 01, 2017 12:56:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/10200 took 1747380 ms. Total solver calls (SAT/UNSAT): 172656(109266/63390)
Jun 01, 2017 12:56:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/10200 took 1750576 ms. Total solver calls (SAT/UNSAT): 172859(109465/63394)
Jun 01, 2017 12:56:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/10200 took 1753652 ms. Total solver calls (SAT/UNSAT): 173062(109664/63398)
Jun 01, 2017 12:56:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/10200 took 1756750 ms. Total solver calls (SAT/UNSAT): 173265(109863/63402)
Jun 01, 2017 12:56:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/10200 took 1759845 ms. Total solver calls (SAT/UNSAT): 173468(110062/63406)
Jun 01, 2017 12:56:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/10200 took 1762925 ms. Total solver calls (SAT/UNSAT): 173671(110261/63410)
Jun 01, 2017 12:56:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/10200 took 1766003 ms. Total solver calls (SAT/UNSAT): 173874(110460/63414)
Jun 01, 2017 12:56:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/10200 took 1769095 ms. Total solver calls (SAT/UNSAT): 174077(110659/63418)
Jun 01, 2017 12:56:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/10200 took 1772185 ms. Total solver calls (SAT/UNSAT): 174280(110858/63422)
Jun 01, 2017 12:57:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/10200 took 1775339 ms. Total solver calls (SAT/UNSAT): 174483(111057/63426)
Jun 01, 2017 12:57:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/10200 took 1778465 ms. Total solver calls (SAT/UNSAT): 174686(111256/63430)
Jun 01, 2017 12:57:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/10200 took 1781545 ms. Total solver calls (SAT/UNSAT): 174889(111455/63434)
Jun 01, 2017 12:57:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/10200 took 1784617 ms. Total solver calls (SAT/UNSAT): 175092(111654/63438)
Jun 01, 2017 12:57:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/10200 took 1787693 ms. Total solver calls (SAT/UNSAT): 175295(111853/63442)
Jun 01, 2017 12:57:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/10200 took 1790761 ms. Total solver calls (SAT/UNSAT): 175498(112052/63446)
Jun 01, 2017 12:57:17 PM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
Reverse transition relation is NOT exact ! Due to transitions exit_0, exit_1, exit_2, exit_3, exit_4, exit_5, exit_6, exit_7, exit_8, exit_9, exit_10, exit_11, exit_12, exit_13, exit_14, exit_15, exit_16, exit_17, exit_18, exit_19, exit_20, exit_21, exit_22, exit_23, exit_24, exit_25, exit_26, exit_27, exit_28, exit_29, exit_30, exit_31, exit_32, exit_33, exit_34, exit_35, exit_36, exit_37, exit_38, exit_39, exit_40, exit_41, exit_42, exit_43, exit_44, exit_45, exit_46, exit_47, exit_48, exit_49, exit_50, exit_51, exit_52, exit_53, exit_54, exit_55, exit_56, exit_57, exit_58, exit_59, exit_60, exit_61, exit_62, exit_63, exit_64, exit_65, exit_66, exit_67, exit_68, exit_69, exit_70, exit_71, exit_72, exit_73, exit_74, exit_75, exit_76, exit_77, exit_78, exit_79, exit_80, exit_81, exit_82, exit_83, exit_84, exit_85, exit_86, exit_87, exit_88, exit_89, exit_90, exit_91, exit_92, exit_93, exit_94, exit_95, exit_96, exit_97, exit_98, exit_99, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/10100/100/10200

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Dekker-PT-100"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-100.tgz
mv Dekker-PT-100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool itstools"
echo " Input is Dekker-PT-100, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r020-ebro-149436312100213"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;