START probeA_o0 mode=A K=2 orient=1 N=14400 M=120 NF=120 HF=120 NS=5 NVF=20 NFC=4 NR=12 classes=174 admissible=140 root_type=-1 slice=0/780 heur=0 inadm=tables/t5333.inadm restrict=- filter=0 minrule=1 old=0 Sfresh=16,12 fresh_depth=-1
MODE-A level-2 a-priori options: 780
NODE depth=1 glued=2 dead=1 lists: F1:0  (inherited:)
COUNTS defines=1 links=20 merges=20
STATS probeA_o0 maxdepth=1 complete_rejected=0 cpu_seconds=0.01 filter_tests=0 filter_power_tests=0 filter_kills=0
DEPTH 0 trials=1 survived=1 nodes=0 dead=0 fresh=0
DEPTH 1 trials=1 survived=0 nodes=1 dead=1 fresh=0
SLICE probeA_o0 DONE nodes=2 solutions=0
